[4.4 PATCH] Fix another signed 1 bit comparison issue (PR middle-end/48973)

Jakub Jelinek jakub@redhat.com
Thu Jul 21 08:40:00 GMT 2011


Hi!

The 4.4 expr.c is significantly different from 4.5 that the PR48973
backport wasn't trivial, and apparently I've missed another place
- on the 4.4 branch the new pr48973-{1,2}.c tests fail on s390{,x}-linux.

The following patch fixes it, ok for 4.4 branch?

2011-07-21  Jakub Jelinek  <jakub@redhat.com>

	PR middle-end/48973
	* expr.c (expand_expr_real_1) <case TRUTH_ANDIF_EXPR:>: If
	the comparison has a single bit signed type, use
	constm1_rtx instead of const1_rtx for true value.

--- gcc/expr.c	(revision 176517)
+++ gcc/expr.c	(working copy)
@@ -9171,7 +9171,9 @@ expand_expr_real_1 (tree exp, rtx target
       jumpifnot (exp, op1, -1);
 
       if (target)
-	emit_move_insn (target, const1_rtx);
+	emit_move_insn (target,
+			TYPE_PRECISION (type) == 1 && !TYPE_UNSIGNED (type)
+			? constm1_rtx : const1_rtx);
 
       emit_label (op1);
       return ignore ? const0_rtx : target;

	Jakub



More information about the Gcc-patches mailing list