<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Hi Max,<div class=""><br class=""></div><div class="">Thank you for replying so quickly!</div><div class=""><br class=""></div><div class="">I’ve applied the change locally and the original IR module I used to bugpoint the reproducer I’ve sent you earlier failed anyway, this time for a different reason.</div><div class="">I can’t send the module as it is for IP reasons, but here’s another bugpoint from the same source (with some manual tidying up):</div><div class=""><br class=""></div><div class=""><div class="">define void @main(i32* %a, i32* %b) {</div><div class="">entry:</div><div class=""> br label %for.body</div><div class=""><br class=""></div><div class="">for.body:</div><div class=""> %i = phi i32 [ 0, %entry ], [ %i.inc, %latch ]</div><div class=""> br label %switch.bb</div><div class=""><br class=""></div><div class="">switch.bb:</div><div class=""> switch i2 1, label %default [</div><div class=""> i2 1, label %case</div><div class=""> ]</div><div class=""><br class=""></div><div class="">case:</div><div class=""> br label %latch</div><div class=""><br class=""></div><div class="">default:</div><div class=""> unreachable</div><div class=""><br class=""></div><div class="">latch:</div><div class=""> store i32 %i, i32* %a</div><div class=""> store i32 %i, i32* %b</div><div class=""> %i.inc = add nsw i32 %i, 1</div><div class=""> %exitcond = icmp eq i32 %i.inc, 4</div><div class=""> br i1 %exitcond, label %exit, label %for.body</div><div class=""><br class=""></div><div class="">exit:</div><div class=""> ret void</div><div class="">}</div><div class=""><br class=""></div><div class=""><div class="">./bin/opt -loop-simplifycfg loop-simplifycfg-term-folding-AND-mssa-loop-dependency-2.ll -enable-mssa-loop-dependency=true -verify-memoryssa=true -enable-loop-simplifycfg-term-folding=true -S -o -</div><div class="">Assertion failed: (dominates(MD, U) && "Memory Def does not dominate it's uses"), function verifyDomination, file ../lib/Analysis/MemorySSA.cpp, line 1912.</div></div><div><br class=""></div><div>If I don’t apply <a href="https://reviews.llvm.org/rL354547" class="">https://reviews.llvm.org/rL354547</a> it fails the same way the previous reproducer did, so I guess this test is strictly better. Sorry for overbugpointing the first time around!</div><div><br class=""></div><div>Thanks,</div><div>Roman</div><div><br class=""></div><div></div></div></body></html>