Home | History | Annotate | Download | only in priv

Lines Matching refs:irRes

2516 /* irRes :: Ity_I32 holds a floating point comparison result encoded
2521 IRTemp mk_convert_IRCmpF64Result_to_NZCV ( IRTemp irRes )
2528    /* This is where the fun starts.  We have to convert 'irRes' from
2562                   binop(Iop_Shr32, mkexpr(irRes), mkU8(5)),
2564             binop(Iop_And32, mkexpr(irRes), mkU32(1))));
15075          IRTemp irRes = newTemp(Ity_I32);
15078          assign(irRes, binop(Iop_CmpF64, mkexpr(argL), mkexpr(argR)));
15084          /* This is where the fun starts.  We have to convert 'irRes'
15097          nzcv = mk_convert_IRCmpF64Result_to_NZCV(irRes);
15584          IRTemp irRes = newTemp(Ity_I32);
15589          assign(irRes, binop(Iop_CmpF64, mkexpr(argL), mkexpr(argR)));
15595          /* This is where the fun starts.  We have to convert 'irRes'
15608          nzcv = mk_convert_IRCmpF64Result_to_NZCV(irRes);