]> git.ipfire.org Git - thirdparty/gcc.git/commit
tree-optimization/100934 - properly mark irreducible regions for DOM
authorRichard Biener <rguenther@suse.de>
Mon, 14 Jun 2021 12:57:26 +0000 (14:57 +0200)
committerRichard Biener <rguenther@suse.de>
Mon, 14 Jun 2021 14:37:23 +0000 (16:37 +0200)
commit788bb7edb3975b80c4cb16323e7a5e55a2471e46
tree834405bec8c423976d9b8fb364b84cd44aa24c8e
parenta40d2293a7a417fc7711f8f4e52dbd4c48c2a43f
tree-optimization/100934 - properly mark irreducible regions for DOM

The jump threading code requires marked irreducible regions for the
purpose of validating jump threading paths but DOM fails to provide
that resulting in mised number of iteration upper bounds clearing.

2021-06-14  Richard Biener  <rguenther@suse.de>

PR tree-optimization/100934
* tree-ssa-dom.c (pass_dominator::execute): Properly
mark irreducible regions.

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