search

Quuxplusone / LLVMBugzillaTest

0 stars 0 forks source link

[MemSSA] Assertion "Should have dominated the new access"' failed. #39720

Closed Quuxplusone closed 5 years ago

Quuxplusone commented 5 years ago
Bugzilla Link PR40749
Status RESOLVED FIXED
Importance P enhancement
Reported by Jonas Paulsson (paulsson@linux.vnet.ibm.com)
Reported on 2019-02-17 09:26:52 -0800
Last modified on 2019-04-12 15:07:29 -0700
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_dom_access.ll (7005 bytes, text/plain)
tc_memssa_domnewacc.ll (15705 bytes, text/plain)
tc_memssa_domnewacc_unreduced.bc (204824 bytes, application/octet-stream)
Blocks
Blocked by
See also 
Created attachment 21485
reduced testcase

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

lib/Analysis/MemorySSAUpdater.cpp:369: void
llvm::MemorySSAUpdater::fixupDefs(const llvm::SmallVectorImpl<llvm::WeakVH>&):
Assertion `MSSA->dominates(NewDef, FirstDef) && "Should have dominated the new
access"' failed.
Stack dump:
Quuxplusone commented 5 years ago

Attached tc_mssa_dom_access.ll (7005 bytes, text/plain): reduced testcase

Quuxplusone commented 5 years ago

ping!

Still seeing this in testing...

Quuxplusone commented 5 years ago

Should be resolved by r355040.

Quuxplusone commented 5 years ago

Attached tc_memssa_domnewacc.ll (15705 bytes, text/plain): reduced test case

Quuxplusone commented 5 years ago

Attached tc_memssa_domnewacc_unreduced.bc (204824 bytes, application/octet-stream): unreduced test

Quuxplusone commented 5 years ago

Should be resolved by r358313. Thank you for the report!