search

Quuxplusone / LLVMBugzillaTest

0 stars 0 forks source link

[MemSSA loop-dep] Assertion "Memory Def does not dominate it's uses"' failed. #39725

Closed Quuxplusone closed 5 years ago

Quuxplusone commented 5 years ago
Bugzilla Link PR40754
Status RESOLVED FIXED
Importance P enhancement
Reported by Jonas Paulsson (paulsson@linux.vnet.ibm.com)
Reported on 2019-02-17 19:02:05 -0800
Last modified on 2019-02-27 14:21:47 -0800
Version trunk
Hardware PC Linux
CC alina.sbirlea@gmail.com, llvm-bugs@lists.llvm.org, paulsson@linux.vnet.ibm.com, uweigand@de.ibm.com
Fixed by commit(s)
Attachments tc_mssa_memdef_dom.ll (3427 bytes, text/plain)
Blocks
Blocked by
See also 
Created attachment 21486
reduced testcase

opt -mtriple=systemz-unknown -mcpu=z13 tc_mssa_memdef_dom.ll -O3 -S -o
out.opt.ll -enable-mssa-loop-dependency

lib/Analysis/MemorySSA.cpp:1912: void
llvm::MemorySSA::verifyDomination(llvm::Function&) const: Assertion
`dominates(MD, U) && "Memory Def does not dominate it's uses"' failed.
Quuxplusone commented 5 years ago

Attached tc_mssa_memdef_dom.ll (3427 bytes, text/plain): reduced testcase

Quuxplusone commented 5 years ago

ping!

Still seeing this failure in csmith testing.

Quuxplusone commented 5 years ago

Should be resolved by r355040.