test/Analysis/MemorySSA/unreachable.ll

   1 ; RUN: opt -licm -enable-mssa-loop-dependency -verify-memoryssa %s -S | FileCheck %s
   2 ; REQUIRES: asserts
   3 ; Ensure verification doesn't fail with unreachable blocks.
   4
   5 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   6 target triple = "x86_64-grtev4-linux-gnu"
   7
   8 declare dso_local void @f()
   9
  10 ; CHECK-LABEL: @foo
  11 define dso_local void @foo() {
  12 entry:
  13   br i1 undef, label %if.then, label %if.end
  14
  15 if.then:                                          ; preds = %entry
  16   br label %try.cont
  17
  18 if.end:                                           ; preds = %entry
  19 ; 1 = MemoryDef(liveOnEntry)
  20   call void @f()
  21   br label %try.cont
  22
  23 catch:                                            ; No predecessors!
  24 ; 2 = MemoryDef(liveOnEntry)
  25   call void @f()
  26   br label %try.cont
  27
  28 try.cont:                                         ; preds = %if.end, %catch, %if.then
  29 ; 3 = MemoryPhi({if.then,liveOnEntry},{if.end,1},{catch,liveOnEntry})
  30   ret void
  31 }