Richard Guenther <rguenther@suse.de>
PR tree-optimization/33992
* tree-ssa-loop-im.c (rewrite_bittest): Fixup the type of
the zero we compare against.
* gcc.c-torture/execute/pr33992.c: New testcase.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@132234
138bc75d-0d04-0410-961f-
82ee72b054a4
+2008-02-11 Uros Bizjak <ubizjak@gmail.com>
+ Richard Guenther <rguenther@suse.de>
+
+ PR tree-optimization/33992
+ * tree-ssa-loop-im.c (rewrite_bittest): Fixup the type of
+ the zero we compare against.
+
2008-02-09 John David Anglin <dave.anglin@nrc-cnrc.gc.ca>
PR middle_end/34150
+2008-02-11 Uros Bizjak <ubizjak@gmail.com>
+ Richard Guenther <rguenther@suse.de>
+
+ PR tree-optimization/33992
+ * gcc.c-torture/execute/pr33992.c: New testcase.
+
2008-02-10 Thomas Koenig <tkoenig@gcc.gnu.org>
* gfortran.dg/streamio_14.f90: New test.
--- /dev/null
+extern void abort ();
+
+void __attribute__((noinline))
+bar (unsigned long long i)
+{
+ if (i)
+ abort ();
+}
+
+void __attribute__((always_inline))
+foo (unsigned long long *r)
+
+{
+ int i;
+
+ for (i = 0; ; i++)
+ if (*r & ((unsigned long long)1 << (63 - i)))
+ break;
+
+ bar (i);
+}
+
+void __attribute__((noinline))
+do_test (unsigned long long *r)
+{
+ int i;
+
+ for (i = 0; i < 2; ++i)
+ foo (r);
+}
+
+int main()
+{
+ unsigned long long r = 0x8000000000000001ull;
+
+ do_test (&r);
+ return 0;
+}
stmt2 = build_gimple_modify_stmt (var, t);
name = make_ssa_name (var, stmt2);
GIMPLE_STMT_OPERAND (stmt2, 0) = name;
+
+ /* Replace the SSA_NAME we compare against zero. Adjust
+ the type of zero accordingly. */
SET_USE (use, name);
+ TREE_OPERAND (COND_EXPR_COND (use_stmt), 1)
+ = build_int_cst_type (TREE_TYPE (name), 0);
bsi_insert_before (bsi, stmt1, BSI_SAME_STMT);
bsi_replace (bsi, stmt2, true);