645    i->Ain.Alu32R.op  = op;  in AMD64Instr_Alu32R()
646    i->Ain.Alu32R.src = src;  in AMD64Instr_Alu32R()
647    i->Ain.Alu32R.dst = dst;  in AMD64Instr_Alu32R()
1059          vex_printf("%sl ", showAMD64AluOp(i->Ain.Alu32R.op));  in ppAMD64Instr()
1060          ppAMD64RMI_lo32(i->Ain.Alu32R.src);  in ppAMD64Instr()
1062          ppHRegAMD64_lo32(i->Ain.Alu32R.dst);  in ppAMD64Instr()
1395          vassert(i->Ain.Alu32R.op != Aalu_MOV);  in getRegUsage_AMD64Instr()
1396          addRegUsage_AMD64RMI(u, i->Ain.Alu32R.src);  in getRegUsage_AMD64Instr()
1397          if (i->Ain.Alu32R.op == Aalu_CMP) {   in getRegUsage_AMD64Instr()
1398             addHRegUse(u, HRmRead, i->Ain.Alu32R.dst);  in getRegUsage_AMD64Instr()
1401          addHRegUse(u, HRmModify, i->Ain.Alu32R.dst);  in getRegUsage_AMD64Instr()
1701          mapRegs_AMD64RMI(m, i->Ain.Alu32R.src);  in mapRegs_AMD64Instr()
1702          mapReg(m, &i->Ain.Alu32R.dst);  in mapRegs_AMD64Instr()
2610       switch (i->Ain.Alu32R.op) {  in emit_AMD64Instr()
2625       switch (i->Ain.Alu32R.src->tag) {  in emit_AMD64Instr()
2627             if (sameHReg(i->Ain.Alu32R.dst, hregAMD64_RAX())  in emit_AMD64Instr()
2628                 && !fits8bits(i->Ain.Alu32R.src->Armi.Imm.imm32)) {  in emit_AMD64Instr()
2631                p = emit32(p, i->Ain.Alu32R.src->Armi.Imm.imm32);  in emit_AMD64Instr()
2633             if (fits8bits(i->Ain.Alu32R.src->Armi.Imm.imm32)) {  in emit_AMD64Instr()
2634                rex  = clearWBit( rexAMode_R_enc_reg( 0, i->Ain.Alu32R.dst ) );  in emit_AMD64Instr()
2637                p    = doAMode_R_enc_reg(p, subopc_imm, i->Ain.Alu32R.dst);  in emit_AMD64Instr()
2638                *p++ = toUChar(0xFF & i->Ain.Alu32R.src->Armi.Imm.imm32);  in emit_AMD64Instr()
2640                rex  = clearWBit( rexAMode_R_enc_reg( 0, i->Ain.Alu32R.dst) );  in emit_AMD64Instr()
2643                p    = doAMode_R_enc_reg(p, subopc_imm, i->Ain.Alu32R.dst);  in emit_AMD64Instr()
2644                p    = emit32(p, i->Ain.Alu32R.src->Armi.Imm.imm32);  in emit_AMD64Instr()
2649                    rexAMode_R( i->Ain.Alu32R.src->Armi.Reg.reg,  in emit_AMD64Instr()
2650                                i->Ain.Alu32R.dst) );  in emit_AMD64Instr()
2653             p = doAMode_R(p, i->Ain.Alu32R.src->Armi.Reg.reg,  in emit_AMD64Instr()
2654                              i->Ain.Alu32R.dst);  in emit_AMD64Instr()
2658                    rexAMode_M( i->Ain.Alu32R.dst,  in emit_AMD64Instr()
2659                                i->Ain.Alu32R.src->Armi.Mem.am) );  in emit_AMD64Instr()
2662             p = doAMode_M(p, i->Ain.Alu32R.dst,  in emit_AMD64Instr()
2663                              i->Ain.Alu32R.src->Armi.Mem.am);  in emit_AMD64Instr()