Searched refs:resultantSignbit (Results 1 – 1 of 1) sorted by relevance
3347 IRTemp resultantSignbit = newTemp(Ity_I1); in getNegatedResult() local3357 assign( resultantSignbit, in getNegatedResult()3372 unop( Iop_1Uto32, mkexpr( resultantSignbit ) ), in getNegatedResult()3391 IRTemp resultantSignbit = newTemp(Ity_I1); in getNegatedResult_32() local3400 assign( resultantSignbit, in getNegatedResult_32()3414 unop( Iop_1Uto32, mkexpr( resultantSignbit ) ), in getNegatedResult_32()