https://llvm.org/bugs/show_bug.cgi?id=26736
Bug ID: 26736
Summary: [CodeGen] DominatorTree not kept up to date for
stack-overflow-in-load-hoisting.ll
Product: Polly
Version: unspecified
Hardware: PC
OS: Windows XP
Status: NEW
Severity: normal
Priority: P
Component: Other
Assignee: polly-...@googlegroups.com
Reporter: l...@meinersbur.de
CC: llvm-bugs@lists.llvm.org
Classification: Unclassified
Created attachment 15945
--> https://llvm.org/bugs/attachment.cgi?id=15945&action=edit
stack-overflow-in-load-hoisting.ll with added -verify-dom-info
The test case stack-overflow-in-load-hoisting.ll fails when adding
-verify-dom-info:
DominatorTree is not up to date!
Computed:
=============================--------------------------------
Inorder Dominator Tree: DFSNumbers invalid: 8 slow queries.
[1] %entry {0,13}
[2] %for.cond.12.preheader.lr.ph {1,12}
[3] %polly.split_new_and_old {4294967295,4294967295}
[4] %polly.preload.begin {4294967295,4294967295}
[5] %for.body.14.lr.ph {2,11}
[6] %for.body.14 {3,10}
[7] %for.end {4,9}
[8] %if.end.loopexit {5,8}
[5] %polly.start {4294967295,4294967295}
[6] %polly.exiting {4294967295,4294967295}
[5] %polly.merge_new_and_old {4294967295,4294967295}
[6] %if.end {6,7}
Actual:
=============================--------------------------------
Inorder Dominator Tree:
[1] %entry {0,21}
[2] %for.cond.12.preheader.lr.ph {1,20}
[3] %polly.split_new_and_old {2,19}
[4] %polly.preload.begin {3,18}
[5] %polly.start {4,5}
[5] %for.body.14.lr.ph {6,17}
[6] %for.body.14 {7,16}
[7] %for.end {8,15}
[8] %if.end.loopexit {9,14}
[9] %polly.merge_new_and_old {10,13}
[10] %if.end {11,12}
This happens when NodeBuilder.preloadInvariantLoads() return false. The
follow-up code does not try to repair the DominatorTree for the stub code.
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
