llvm/test/Transforms/GVN/mssa-update-dead-def.ll

   1 ; RUN: opt -passes='require<memoryssa>,gvn' -verify-memoryssa -S %s | FileCheck %s
   2
   3 ; This is a regression test for a bug in MemorySSA updater.
   4 ; Make sure that we don't crash and end up with a valid MemorySSA.
   5
   6 ; CHECK: @test()
   7 define void @test() personality ptr null {
   8   invoke void @bar()
   9           to label %bar.normal unwind label %exceptional
  10
  11 bar.normal:
  12   ret void
  13
  14 dead.block:
  15   br label %baz.invoke
  16
  17 baz.invoke:
  18   invoke void @baz()
  19           to label %baz.normal unwind label %exceptional
  20
  21 baz.normal:
  22   ret void
  23
  24 exceptional:
  25   %tmp9 = landingpad { ptr, i32 }
  26           cleanup
  27   call void @foo()
  28   ret void
  29 }
  30
  31 declare void @foo()
  32 declare void @bar()
  33 declare void @baz()