Home | History | Annotate | Download | only in priv

Lines Matching refs:irRes

2195 /* irRes :: Ity_I32 holds a floating point comparison result encoded
2206    IRTemp irRes    = newTemp(Ity_I64);
2208    /* This is where the fun starts.  We have to convert 'irRes' from
2238    assign(irRes, unop(Iop_32Uto64, mkexpr(irRes32)));
2244                   binop(Iop_Shr64, mkexpr(irRes), mkU8(5)),
2246             binop(Iop_And64, mkexpr(irRes), mkU64(1))));
13458          IRTemp irRes = newTemp(Ity_I32);
13464          assign(irRes, binop(isD ? Iop_CmpF64 : Iop_CmpF32,
13466          IRTemp nzcv = mk_convert_IRCmpF64Result_to_NZCV(irRes);
13519       IRTemp irRes  = newTemp(Ity_I32);
13522       assign(irRes, binop(isD ? Iop_CmpF64 : Iop_CmpF32,
13526       IRTemp nzcvT = mk_convert_IRCmpF64Result_to_NZCV(irRes);