diff options
| author | Richard Biener <rguenther@suse.de> | 2022-05-18 14:18:10 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2022-05-18 14:23:24 +0200 |
| commit | da159b3057a9b4fbd51697ad369fa96eadfbb0e9 (patch) | |
| tree | 7b04faaa6e4f412b82a6d10a7fb6a9d1a6587bd6 | |
| parent | 8d64734864d8c43c854b0e3a9e52b97230bc1e2a (diff) | |
| download | gcc-da159b3057a9b4fbd51697ad369fa96eadfbb0e9.zip gcc-da159b3057a9b4fbd51697ad369fa96eadfbb0e9.tar.gz gcc-da159b3057a9b4fbd51697ad369fa96eadfbb0e9.tar.bz2 | |
Another bogus range from .invert so don't use it.
From _1 < _2 we conclude [-INF, +INF - 1] and invert it as [+INF, +INF] -
oops. Compute the other edge range explicitely.
| -rw-r--r-- | gcc/testsuite/gcc.dg/torture/20220518-2.c | 14 | ||||
| -rw-r--r-- | gcc/tree-ssa-loop-unswitch.cc | 17 |
2 files changed, 19 insertions, 12 deletions
diff --git a/gcc/testsuite/gcc.dg/torture/20220518-2.c b/gcc/testsuite/gcc.dg/torture/20220518-2.c new file mode 100644 index 0000000..af70d7f --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/20220518-2.c @@ -0,0 +1,14 @@ +/* { dg-do compile } */ +/* { dg-additional-options "-funswitch-loops" } */ + +int Get_Spline_Val_sp_0, Get_Spline_Val_k; +double Get_Spline_Val_p, Get_Spline_Val_se_0_0_0; +double *Get_Spline_Val_v; +void Get_Spline_Val() { + int i; + for (;;) + if (i > Get_Spline_Val_sp_0) + Get_Spline_Val_k = Get_Spline_Val_se_0_0_0; + else if (Get_Spline_Val_sp_0 == 1) + Get_Spline_Val_v[Get_Spline_Val_k] = Get_Spline_Val_p; +} diff --git a/gcc/tree-ssa-loop-unswitch.cc b/gcc/tree-ssa-loop-unswitch.cc index 2710c11..d2898bd 100644 --- a/gcc/tree-ssa-loop-unswitch.cc +++ b/gcc/tree-ssa-loop-unswitch.cc @@ -143,22 +143,15 @@ struct unswitch_predicate rhs_range.set (rhs); if (!range_op->op1_range (true_range, TREE_TYPE (lhs), int_range<2> (boolean_true_node, - boolean_true_node), rhs_range)) + boolean_true_node), rhs_range) + || !range_op->op1_range (false_range, TREE_TYPE (lhs), + int_range<2> (boolean_false_node, + boolean_false_node), + rhs_range)) { true_range.set_varying (TREE_TYPE (lhs)); false_range.set_varying (TREE_TYPE (lhs)); } - else - { - false_range = true_range; - if (!false_range.varying_p () - && !false_range.undefined_p ()) - false_range.invert (); - else - /* ??? Inversion of undefined is varying, of varying - is undefined but ranger asserts. */ - false_range.set_varying (TREE_TYPE (lhs)); - } } num = predicates->length (); predicates->safe_push (this); |