Lines Matching refs:Iop_64to32
805 return ty == Ity_I64 ? unop(Iop_64to32, src) : src;
816 assign(t1, unop(Iop_64to32, mkexpr(t0)));
922 assign(t5, unop(Iop_64to32, mkexpr(t6))); //lo
2576 assign(t4, binop(Iop_Add32, mkexpr(t2), unop(Iop_64to32,
2580 unop(Iop_64to32, mkexpr(t3)))));
2602 assign(t4, binop(Iop_Add32, mkexpr(t2), unop(Iop_64to32,
2605 unop(Iop_64to32, mkexpr(t3)))));
2626 assign(t4, unop(Iop_64to32, mkexpr(t3))); //new lo
2653 assign(t4, unop(Iop_64to32, mkexpr(t3))); //new lo
2920 putLO(mkWidenFrom32(ty, unop(Iop_64to32, mkexpr(t2)), True));
2931 putLO(mkWidenFrom32(ty, unop(Iop_64to32, mkexpr(t2)), True));
2954 putLO(unop(Iop_64to32, mkexpr(t2)));
2966 putLO(unop(Iop_64to32, mkexpr(t2)));
