Lines Matching full:pos_sign_mask
12519 static IRExpr * Generate_sign_bit( IRExpr * pos_sign_mask,
12524 binop( Iop_And32, pos_sign_mask, mkU32( 0x00000000 ) ) );
12528 IRExpr * pos_sign_mask,
12536 binop( Iop_Or32, pos_sign_mask, neg_sign_mask ),
14363 IRTemp pos_sign_mask = newTemp( Ity_I32 );
14396 assign( pos_sign_mask, Generate_pos_sign_mask( mkexpr( sign ) ) );
14398 Generate_sign_bit( mkexpr( pos_sign_mask ),
14412 mkexpr( pos_sign_mask ),
14694 IRTemp pos_sign_mask = newTemp( Ity_I32 );
14703 assign( pos_sign_mask, Generate_pos_sign_mask( mkexpr( sign ) ) );
14705 Generate_sign_bit( mkexpr( pos_sign_mask ),
14773 mkexpr( pos_sign_mask ),
