search

Quuxplusone / LLVMBugzillaTest

0 stars 0 forks source link

[LICM] -licm-control-flow-hoisting triggers "New hoist point expected to dominate old hoist point" #38906

Open Quuxplusone opened 5 years ago

Quuxplusone commented 5 years ago
Bugzilla Link PR39934
Status NEW
Importance P enhancement
Reported by Jonas Paulsson (paulsson@linux.vnet.ibm.com)
Reported on 2018-12-10 01:45:34 -0800
Last modified on 2019-06-30 04:55:35 -0700
Version trunk
Hardware PC Linux
CC llvm-bugs@lists.llvm.org, paulsson@linux.vnet.ibm.com, uweigand@de.ibm.com, vivekvpandya@gmail.com
Fixed by commit(s)
Attachments tc_licm_CFHoist.ll (8287 bytes, text/plain)
crash5.bc (354876 bytes, application/octet-stream)
Blocks
Blocked by
See also 
Created attachment 21207
reduced testcase

opt -march=z13 -S -O3 tc_licm_CFHoist.ll -o out.opt.ll -licm-control-flow-
hoisting

lib/Transforms/Scalar/LICM.cpp:817: bool llvm::hoistRegion(llvm::DomTreeNode*,
llvm::AliasAnalysis*, llvm::LoopInfo*, llvm::DominatorTree*,
llvm::TargetLibraryInfo*, llvm::Loop*, llvm::AliasSetTracker*,
llvm::ICFLoopSafetyInfo*, llvm::OptimizationRemarkEmitter*): Assertion `DT-
>dominates(Dominator, HoistPoint->getParent()) && "New hoist point expected to
dominate old hoist point"' failed.
Quuxplusone commented 5 years ago

Attached tc_licm_CFHoist.ll (8287 bytes, text/plain): reduced testcase

Quuxplusone commented 5 years ago

Attached crash5.bc (354876 bytes, application/octet-stream): unreduced test input (.bc)

Quuxplusone commented 5 years ago

I am not able to reproduce this on TOT.