tree-optimization/100278 - handle mismatched code in TBAA adjust of PRE
authorRichard Biener <rguenther@suse.de>
Tue, 27 Apr 2021 07:41:38 +0000 (09:41 +0200)
committerRichard Biener <rguenther@suse.de>
Tue, 27 Apr 2021 08:30:06 +0000 (10:30 +0200)
commitacfe5290406cc70485df8899d14982278a9371f8
treef52f3166eb0719caad9159e11b06eb35b6f394a7
parent71c8aaf29bb122ebe5e67c84903fd23ff05f04ec
tree-optimization/100278 - handle mismatched code in TBAA adjust of PRE

PRE has code to adjust TBAA behavior for refs that expects the base
operation code to match.  The testcase shows a case where we have
a VAR_DECL vs. a MEM_REF so add code to give up in such cases.

2021-04-27  Richard Biener  <rguenther@suse.de>

PR tree-optimization/100278
* tree-ssa-pre.c (compute_avail): Give up when we cannot
adjust TBAA beacuse of mismatching bases.

* gcc.dg/tree-ssa/pr100278.c: New testcase.
gcc/testsuite/gcc.dg/tree-ssa/pr100278.c [new file with mode: 0644]
gcc/tree-ssa-pre.c