diff options
| author | hubicka <hubicka@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-09-04 10:45:57 +0000 |
|---|---|---|
| committer | hubicka <hubicka@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-09-04 10:45:57 +0000 |
| commit | af761b0069f0ccc8832e67f0b553f93467686735 (patch) | |
| tree | 903a28d7a99c5324861ffdddaa9bcefacc331363 /gcc | |
| parent | 775abe9df5ddfc691e71538752e035f12b39d7dc (diff) | |
| download | gcc-af761b0069f0ccc8832e67f0b553f93467686735.tar.gz | |
PR middle-end/37343
* tree-switch-conversion.c (check_final_bb): Accept only IP
invariants.
* g++.dg/torture/pr37343.C New file.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@139983 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/torture/pr37343.C | 19 | ||||
| -rw-r--r-- | gcc/tree-switch-conversion.c | 2 |
4 files changed, 32 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 02d59e08915..7dd49a719c7 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,11 @@ 2008-09-04 Jan Hubicka <jh@suse.cz> + PR middle-end/37343 + * tree-switch-conversion.c (check_final_bb): Accept only IP + invariants. + +2008-09-04 Jan Hubicka <jh@suse.cz> + * tree-vrp.c (vrp_evaluate_conditional_warnv_with_ops_using_ranges): Break out from ... (vrp_evaluate_conditional_warnv_with_ops): ... this one. Add diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 226a77da0a8..5e1b4669c14 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2008-09-03 Jan Hubicka <jh@suse.cz> + + PR middle-end/37343 + * g++.dg/torture/pr37343.C New file. + 2008-09-03 Ira Rosen <irar@il.ibm.com> * gcc.dg/vect/slp-perm-1.c: Add call to check_vect. @@ -11,7 +16,7 @@ PR tree-optimization/37345 PR tree-optimization/37358 PR tree-optimization/37357 - * g++.dg/torture/pr37345.c: New file. + * g++.dg/torture/pr37345.C: New file. 2008-09-03 Tobias Grosser <grosser@fim.uni-passau.de> diff --git a/gcc/testsuite/g++.dg/torture/pr37343.C b/gcc/testsuite/g++.dg/torture/pr37343.C new file mode 100644 index 00000000000..c4614f39faa --- /dev/null +++ b/gcc/testsuite/g++.dg/torture/pr37343.C @@ -0,0 +1,19 @@ +/* { dg-do compile } */ +typedef enum RW { rwBitmapGrey, rwBitmapGrey16 } RW; +void FindDepth(RW); +void ParseDumpBitmap(RW kind, int maxfiles) +{ + static const RW normalTypes[] = { }; + const RW *bitmapTypes; + int i; + switch (kind) { + case rwBitmapGrey: + case rwBitmapGrey16: + bitmapTypes = &kind; + break; + default: + bitmapTypes = normalTypes; + } + for (i = 0; i < maxfiles; i++) + FindDepth(bitmapTypes[i]); +} diff --git a/gcc/tree-switch-conversion.c b/gcc/tree-switch-conversion.c index 8bcfcfde5ca..e9757454f21 100644 --- a/gcc/tree-switch-conversion.c +++ b/gcc/tree-switch-conversion.c @@ -298,7 +298,7 @@ check_final_bb (void) if ((bb == info.switch_bb || (single_pred_p (bb) && single_pred (bb) == info.switch_bb)) - && !is_gimple_min_invariant (gimple_phi_arg_def (phi, i))) + && !is_gimple_ip_invariant (gimple_phi_arg_def (phi, i))) { info.reason = " Non-invariant value from a case\n"; return false; /* Non-invariant argument. */ |