Lines Matching defs:rmi
942 AMD64RMI* rmi = iselIntExpr_RMI(env, e->Iex.Binop.arg2);
944 addInstr(env, AMD64Instr_Alu64R(aluOp, rmi, dst));
1753 AMD64RMI* rmi = iselIntExpr_RMI ( env, e );
1755 addInstr(env, AMD64Instr_Alu64R(Aalu_MOV, rmi, r));
1929 AMD64RMI* rmi = iselIntExpr_RMI_wrk(env, e);
1931 switch (rmi->tag) {
1933 return rmi;
1935 vassert(hregClass(rmi->Armi.Reg.reg) == HRcInt64);
1936 vassert(hregIsVirtual(rmi->Armi.Reg.reg));
1937 return rmi;
1939 vassert(sane_AMode(rmi->Armi.Mem.am));
1940 return rmi;
1942 vpanic("iselIntExpr_RMI: unknown amd64 RMI tag");
3373 AMD64RMI* rmi = iselIntExpr_RMI(env, e->Iex.Unop.arg);
3374 addInstr(env, AMD64Instr_Push(rmi));
3582 AMD64RMI* rmi = iselIntExpr_RMI(env, e->Iex.Binop.arg2);
3587 addInstr(env, AMD64Instr_Push(rmi));
3897 AMD64RMI* rmi = iselIntExpr_RMI(env, stmt->Ist.WrTmp.data);
3899 addInstr(env, AMD64Instr_Alu64R(Aalu_MOV,rmi,dst));
