diff options
| author | Zdenek Dvorak <dvorakz@suse.cz> | 2007-07-20 03:29:43 +0200 |
|---|---|---|
| committer | Zdenek Dvorak <rakdver@gcc.gnu.org> | 2007-07-20 01:29:43 +0000 |
| commit | d24a32a1860b9d5a23ccca40cc70d165cd285e8b (patch) | |
| tree | c81b2b6144d7b5c7ede0be2fbe0f15356a34c424 /gcc/tree-ssa-loop-niter.c | |
| parent | 9143267b2119f7cded46e34402ec37665a9f045a (diff) | |
| download | gcc-d24a32a1860b9d5a23ccca40cc70d165cd285e8b.tar.gz | |
tree-ssa-loop-niter.c (assert_loop_rolls_lt): Convert the operands of compare to the same type.
* tree-ssa-loop-niter.c (assert_loop_rolls_lt): Convert the operands
of compare to the same type.
* cfgloopmanip.c (add_loop): Update information about loop exits.
(loop_version): Remove the innermost loop requirement.
* tree-ssa-loop-manip.c (determine_exit_conditions): Convert bounds
to sizetype for pointers.
From-SVN: r126796
Diffstat (limited to 'gcc/tree-ssa-loop-niter.c')
| -rw-r--r-- | gcc/tree-ssa-loop-niter.c | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/gcc/tree-ssa-loop-niter.c b/gcc/tree-ssa-loop-niter.c index e209f732a3b..fdce4be01d4 100644 --- a/gcc/tree-ssa-loop-niter.c +++ b/gcc/tree-ssa-loop-niter.c @@ -918,8 +918,9 @@ assert_loop_rolls_lt (tree type, affine_iv *iv0, affine_iv *iv1, /* And then we can compute iv0->base - diff, and compare it with iv1->base. */ - mbzl = fold_build2 (MINUS_EXPR, type1, iv0->base, diff); - mbzr = iv1->base; + mbzl = fold_build2 (MINUS_EXPR, type1, + fold_convert (type1, iv0->base), diff); + mbzr = fold_convert (type1, iv1->base); } else { @@ -934,8 +935,9 @@ assert_loop_rolls_lt (tree type, affine_iv *iv0, affine_iv *iv1, iv1->base, bound); } - mbzl = iv0->base; - mbzr = fold_build2 (MINUS_EXPR, type1, iv1->base, diff); + mbzl = fold_convert (type1, iv0->base); + mbzr = fold_build2 (MINUS_EXPR, type1, + fold_convert (type1, iv1->base), diff); } if (!integer_nonzerop (assumption)) |