Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Inliner Bugs #9

Open
SusanTan opened this issue Jul 10, 2020 · 0 comments
Open

Inliner Bugs #9

SusanTan opened this issue Jul 10, 2020 · 0 comments
Labels
bug Something isn't working

Comments

@SusanTan
Copy link
Collaborator

SusanTan commented Jul 10, 2020

Possibly two bugs

Benchmarks: 511.povray, 525.x264
How to reproduce: both didn't generate a descriptive error message
Error message: Failed to create benchmark.inlined.bc:
Error message: simplify.time opt -mem2reg -simplifycfg -simplifycfg-sink-common=false -instcombine -tailcallelim -loop-simplify -lcssa -licm -loop-unswitch -globalopt -instcombine -ipsccp -gvn -dse -adce -loop-simplify -lcssa -indvars -loop-deletion -instcombine -indvars benchmark.inlined.noopt.bc -o benchmark.inlined.bc
opt: benchmark.inlined.noopt.bc: error: Could not open input file: No such file or directory
../../Makefile.generic:636: recipe for target 'benchmark.inlined.bc' failed
make: *** [benchmark.inlined.bc] Error 1

Benchmark: 526.blender
problem: Seg Fault on Inlining noopt:
…. -always-inline -aggr-inliner benchmark.hack2.bc -o benchmark.inlined.noopt.bc
opt: /u/zujunt/cpf/liberty/lib/LoopProf/LoopProfLoad.cpp:200: virtual bool liberty::LoopProfLoad::runOnModule(llvm::Module&): Assertion `curLoopNum == numLoops' failed.
Stack dump:
0. Program arguments: opt -load /u/sa8/CAT/lib/libCudd.so -load /u/sa8/CAT/lib/libSvf.so -load /u/zujunt/cpf/llvm-liberty-objects//Debug+Asserts/lib//libUtil.so -load /u/zujunt/cpf/llvm-liberty-objects//Debug+Asserts/lib//libAnalysis.so -load /u/zujunt/cpf/llvm-liberty-objects//Debug+Asserts/lib//libLoopProf.so -load /u/zujunt/cpf/llvm-liberty-objects//Debug+Asserts/lib//libMetadata.so -load /u/zujunt/cpf/llvm-liberty-objects//Debug+Asserts/lib//libLAMPLoad.so -load /u/zujunt/cpf/llvm-liberty-objects//Debug+Asserts/lib//libLAMP.so -load /u/zujunt/cpf/llvm-liberty-objects//Debug+Asserts/lib//libSLAMP.so -load /u/zujunt/cpf/llvm-liberty-objects//Debug+Asserts/lib//libRedux.so -load /u/zujunt/cpf/llvm-liberty-objects//Debug+Asserts/lib//libPointsToProfiler.so -load /u/zujunt/cpf/llvm-liberty-objects//Debug+Asserts/lib//libGraphAlgorithms.so -load /u/gc14/noelle/install/lib/AllocAA.so -load /u/gc14/noelle/install/lib/TalkDown.so -load /u/gc14/noelle/install/lib/PDGAnalysis.so -load /u/zujunt/cpf/llvm-liberty-objects//Debug+Asserts/lib//libGraphAlgorithms.so -load /u/gc14/noelle/install/lib/HotProfiler.so -load /u/gc14/noelle/install/lib/Parallelization.so -load /u/ziyangx/z3_obj/lib/libz3.so -load /u/zujunt/cpf/llvm-liberty-objects//Debug+Asserts/lib//libStrategy.so -load /u/zujunt/cpf/llvm-liberty-objects//Debug+Asserts/lib//libOrchestration.so -load /u/zujunt/cpf/llvm-liberty-objects//Debug+Asserts/lib//libSpeculation.so -load /u/zujunt/cpf/llvm-liberty-objects//Debug+Asserts/lib//libAggrInliner.so -lamp-inst-cnt -lamp-map-loop -lamp-load-profile -always-inline -aggr-inliner benchmark.hack2.bc -o benchmark.inlined.noopt.bc

  1.  Running pass '(LoopProfLoad) Load loop profiling information' on module 'benchmark.hack2.bc'.
    

0x0000000002c9c1f9 llvm::sys::PrintStackTrace(llvm::raw_ostream&) /u/zujunt/llvm-workspace/llvm/lib/Support/Unix/Signals.inc:533:22
0x0000000002c9c28c PrintStackTraceSignalHandler(void*) /u/zujunt/llvm-workspace/llvm/lib/Support/Unix/Signals.inc:594:1
0x0000000002c9a15c llvm::sys::RunSignalHandlers() /u/zujunt/llvm-workspace/llvm/lib/Support/Signals.cpp:68:20
0x0000000002c9bbb2 SignalHandler(int) /u/zujunt/llvm-workspace/llvm/lib/Support/Unix/Signals.inc:385:1
0x00007f3e7839b390 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x11390)
0x00007f3e770aa428 raise /build/glibc-Cl5G7W/glibc-2.23/signal/../sysdeps/unix/sysv/linux/raise.c:54:0
0x00007f3e770ac02a abort /build/glibc-Cl5G7W/glibc-2.23/stdlib/abort.c:91:0
0x00007f3e770a2bd7 __assert_fail_base /build/glibc-Cl5G7W/glibc-2.23/assert/assert.c:92:0
0x00007f3e770a2c82 (/lib/x86_64-linux-gnu/libc.so.6+0x2dc82)
0x00007f3e75e8d4af liberty::LoopProfLoad::runOnModule(llvm::Module&) /u/zujunt/cpf/liberty/lib/LoopProf/LoopProfLoad.cpp:202:54
0x00000000023bc610 (anonymous namespace)::MPPassManager::runOnModule(llvm::Module&) /u/zujunt/llvm-workspace/llvm/lib/IR/LegacyPassManager.cpp:1750:20
0x00000000023bcdbb llvm::legacy::PassManagerImpl::run(llvm::Module&) /u/zujunt/llvm-workspace/llvm/lib/IR/LegacyPassManager.cpp:1863:13
0x00000000023bcfad llvm::legacy::PassManager::run(llvm::Module&) /u/zujunt/llvm-workspace/llvm/lib/IR/LegacyPassManager.cpp:1895:1
0x00000000014ba47a main /u/zujunt/llvm-workspace/llvm/tools/opt/opt.cpp:892:15
0x00007f3e77095830 __libc_start_main /build/glibc-Cl5G7W/glibc-2.23/csu/../csu/libc-start.c:325:0
0x000000000147c389 _start (/u/zujunt/llvm-workspace/llvm-objects/bin/opt+0x147c389)
regressions-watchdog 21600 simplify.time opt -mem2reg -simplifycfg -simplifycfg-sink-common=false -instcombine -tailcallelim -loop-simplify -lcssa -licm -loop-unswitch -globalopt -instcombine -ipsccp -gvn -dse -adce -loop-simplify -lcssa -indvars -loop-deletion -instcombine -indvars benchmark.inlined.noopt.bc -o benchmark.inlined.bc
opt: benchmark.inlined.noopt.bc: error: Could not open input file: No such file or directory
../../Makefile.generic:636: recipe for target 'benchmark.inlined.bc' failed

@SusanTan SusanTan added the bug Something isn't working label Jul 10, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

No branches or pull requests

1 participant