search

PrincetonUniversity / cpf

Collaborative Parallelization Framework (CPF)
MIT License
31 stars 4 forks source link

Inliner Bugs #9

Open SusanTan opened 4 years ago

SusanTan commented 4 years ago

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:

  1. 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
  2. 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