diff options
| author | Richard Biener <rguenther@suse.de> | 2024-06-25 16:13:02 +0200 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2024-06-26 08:53:29 +0200 |
| commit | 453b1d291d1a0f89087ad91cf6b1bed1ec68eff3 (patch) | |
| tree | 0584426c13e1a84d6c0b7d51920e0848c61c093d /gcc | |
| parent | 5a10ac0e5921d5aeac58429457423b611ee325d2 (diff) | |
| download | gcc-453b1d291d1a0f89087ad91cf6b1bed1ec68eff3.zip gcc-453b1d291d1a0f89087ad91cf6b1bed1ec68eff3.tar.gz gcc-453b1d291d1a0f89087ad91cf6b1bed1ec68eff3.tar.bz2 | |
tree-optimization/115646 - ICE with pow shrink-wrapping from bitfield
The following makes analysis and transform agree on constraints.
PR tree-optimization/115646
* tree-call-cdce.cc (check_pow): Check for bit_sz values
as allowed by transform.
* gcc.dg/pr115646.c: New testcase.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr115646.c | 13 | ||||
| -rw-r--r-- | gcc/tree-call-cdce.cc | 2 |
2 files changed, 14 insertions, 1 deletions
diff --git a/gcc/testsuite/gcc.dg/pr115646.c b/gcc/testsuite/gcc.dg/pr115646.c new file mode 100644 index 0000000..247777b --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr115646.c @@ -0,0 +1,13 @@ +/* { dg-do compile } */ +/* { dg-options "-O2" } */ + +extern double pow(double x, double y); + +struct S { + unsigned int a : 3, b : 8, c : 21; +}; + +void foo (struct S *p) +{ + pow (p->c, 42); +} diff --git a/gcc/tree-call-cdce.cc b/gcc/tree-call-cdce.cc index 7f67a0b..befe6ac 100644 --- a/gcc/tree-call-cdce.cc +++ b/gcc/tree-call-cdce.cc @@ -260,7 +260,7 @@ check_pow (gcall *pow_call) /* If the type of the base is too wide, the resulting shrink wrapping condition will be too conservative. */ - if (bit_sz > MAX_BASE_INT_BIT_SIZE) + if (bit_sz != 8 && bit_sz != 16 && bit_sz != MAX_BASE_INT_BIT_SIZE) return false; return true; |