[PATCH] D60833: [MemorySSA] Teach LoopSimplify to preserve MemorySSA.

[Mikael Holmén via Phabricator via llvm-commits]

uabelho added a comment.

When the assertion fails we have:

  (gdb) call F.dump()
  
  define void @loop_imm_reg_plus2() {
    br i1 undef, label %bb5.preheader, label %bb3
  
  bb5.preheader:                                    ; preds = %0
    br label %bb5
  
  bb5:                                              ; preds = %bb5.preheader, %bb5
    store i16 undef, i16* undef
    br i1 false, label %bb5, label %bb3.loopexit
  
  bb3.loopexit:                                     ; preds = %bb5
    br label %bb3
  
  bb3:                                              ; preds = %bb3.loopexit, %0
    ret void
  }
  
  (gdb) call B.getName()
  $11 = "bb5"
  (gdb) call Phi->dump()
  2 = MemoryPhi({%0,liveOnEntry},{bb5,1})


Repository:
  rL LLVM

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D60833/new/

https://reviews.llvm.org/D60833