ADDL $0x428a2f98, R15 MOVL R12, CX RORL $0x06, AX MOVL R12, DX RORL $0x0b, CX XORL CX, AX MOVL R12, CX RORL $0x19, DX ANDL R13, CX XORL AX, DX MOVL R12, AX NOTL AX ADDL DX, R15 ANDL R14, AX XORL CX, AX ADDL R15, AX MOVL R8, DI MOVL R10, BX RORL $0x02, DI MOVL R8, DX ANDL R9, BX RORL $0x0d, DX MOVL R8, CX ANDL R10, CX XORL DX, DI XORL CX, BX MOVL R8, DX MOVL R9, CX RORL $0x16, DX ANDL R8, CX XORL CX, BX XORL DX, DI ADDL DI, BX MOVL BX, R15 ADDL AX, R11 ADDL AX, R15 MOVL 4(SI), AX BSWAPL AX MOVL AX,...

	ANDL DX, (BX)                           // 2113
	ANDL R11, (BX)                          // 44211b
	ANDL DX, (R11)                          // 412113
	ANDL R11, (R11)                         // 45211b
	ANDL DX, DX                             // 21d2 or 23d2
	ANDL R11, DX                            // 4421da or 4123d3
	ANDL DX, R11                            // 4121d3 or 4423da