Searched refs:resultantSignbit (Results 1 – 1 of 1) sorted by relevance
3239 IRTemp resultantSignbit = newTemp(Ity_I1); in getNegatedResult() local3249 assign( resultantSignbit, in getNegatedResult()3264 unop( Iop_1Uto32, mkexpr( resultantSignbit ) ), in getNegatedResult()3283 IRTemp resultantSignbit = newTemp(Ity_I1); in getNegatedResult_32() local3292 assign( resultantSignbit, in getNegatedResult_32()3306 unop( Iop_1Uto32, mkexpr( resultantSignbit ) ), in getNegatedResult_32()