LLVM's CallAnalyzer Breaks
I found this issue while working on #11295.
It seems that after first running -mem2reg -inline
on some nofib programs, such as imaginary/integrate
and real/lift
(using llvm-link
to roll the IR files together), running another pass that depends on LLVM's CallAnalyzer will cause opt
to overflow the stack.
For example, here are some pass sequences that break opt
when optimizing integrate
:
-mem2reg -inline -gvn
-mem2reg -inline -instcombine
-mem2reg -inline -early-cse
This happens in LLVM 5 and tip-of-tree (LLVM 6). It probably is present in LLVM 4 as well.
I'm working on putting together a reduced test case to report a bug to LLVM developers.
Trac metadata
Trac field | Value |
---|---|
Version | 8.2.1 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler (LLVM) |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |