Searched refs:signbit_32 (Results 1 – 1 of 1) sorted by relevance
3346 IRTemp signbit_32 = newTemp(Ity_I32); in getNegatedResult() local3349 assign( signbit_32, binop( Iop_Shr32, in getNegatedResult()3361 mkexpr( signbit_32 ), in getNegatedResult()3390 IRTemp signbit_32 = newTemp(Ity_I32); in getNegatedResult_32() local3393 assign( signbit_32, binop( Iop_Shr32, in getNegatedResult_32()3404 mkexpr( signbit_32 ), in getNegatedResult_32()