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

[Alina Sbirlea via llvm-commits]

Hi Mikael,

I don't seem to get this reproduced with the test and command you sent. Is
this still happening?

Could you please file a PR and assign to me?

Please note I will be slow to answer due to traveling until Tuesday when
I'm back in the office.

Thanks,
Alina

*From: *Mikael Holmén via Phabricator <reviews at reviews.llvm.org>
*Date: *Fri, May 10, 2019 at 12:30 AM
*To: * <asbirlea at google.com>, <chandlerc at gmail.com>, <
george.burgess.iv at gmail.com>
*Cc: * <mikael.holmen at ericsson.com>, <nemanja.i.ibm at gmail.com>, <
jlebar at google.com>, <javed.absar at arm.com>, <piotr.padlewski at gmail.com>, <
kit.barton at gmail.com>, <zhaoshiz at codeaurora.org>, <jji at us.ibm.com>, <
llvm-commits at lists.llvm.org>, <sanjoy at playingwithpointers.com>, <
wmi at google.com>, <florian_hahn at apple.com>

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
>
>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190512/8808cf87/attachment.html>