diff options
| author | Richard Biener <rguenther@suse.de> | 2023-10-23 14:08:41 +0200 |
|---|---|---|
| committer | Richard Biener <rguenther@suse.de> | 2023-10-23 15:30:02 +0200 |
| commit | 458db9b6149b2e9bef94ab76909eb914ed9f675a (patch) | |
| tree | b1fa2b03c466dcf30cf4ce04f3a49e493ed54fa0 /gcc | |
| parent | 00eb0812e6464307f9f971d2a743d720015e70cf (diff) | |
| download | gcc-458db9b6149b2e9bef94ab76909eb914ed9f675a.zip gcc-458db9b6149b2e9bef94ab76909eb914ed9f675a.tar.gz gcc-458db9b6149b2e9bef94ab76909eb914ed9f675a.tar.bz2 | |
tree-optimization/111916 - SRA of BIT_FIELD_REF of constant pool entries
The following adjusts a leftover BIT_FIELD_REF special-casing to only
cover the cases general code doesn't handle.
PR tree-optimization/111916
* tree-sra.cc (sra_modify_assign): Do not lower all
BIT_FIELD_REF reads that are sra_handled_bf_read_p.
* gcc.dg/torture/pr111916.c: New testcase.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/gcc.dg/torture/pr111916.c | 16 | ||||
| -rw-r--r-- | gcc/tree-sra.cc | 3 |
2 files changed, 18 insertions, 1 deletions
diff --git a/gcc/testsuite/gcc.dg/torture/pr111916.c b/gcc/testsuite/gcc.dg/torture/pr111916.c new file mode 100644 index 0000000..2873045 --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr111916.c @@ -0,0 +1,16 @@ +/* { dg-do run } */ + +#pragma pack(1) +struct A { + int b : 4; + int c : 11; + int d : 2; + int e : 5; +} f; +int main() +{ + struct A g = {1, 1, 1, 1}; + while (!g.b) + f = g; + return 0; +} diff --git a/gcc/tree-sra.cc b/gcc/tree-sra.cc index f8dff8b..b985dee 100644 --- a/gcc/tree-sra.cc +++ b/gcc/tree-sra.cc @@ -4275,7 +4275,8 @@ sra_modify_assign (gimple *stmt, gimple_stmt_iterator *gsi) if (TREE_CODE (rhs) == REALPART_EXPR || TREE_CODE (lhs) == REALPART_EXPR || TREE_CODE (rhs) == IMAGPART_EXPR || TREE_CODE (lhs) == IMAGPART_EXPR - || TREE_CODE (rhs) == BIT_FIELD_REF || TREE_CODE (lhs) == BIT_FIELD_REF) + || (TREE_CODE (rhs) == BIT_FIELD_REF && !sra_handled_bf_read_p (rhs)) + || TREE_CODE (lhs) == BIT_FIELD_REF) { modify_this_stmt = sra_modify_expr (gimple_assign_rhs1_ptr (stmt), gsi, false); |