llvm/test/Analysis/MemorySSA/renamephis.ll

   1 ; RUN: opt -passes=licm -verify-memoryssa -S %s | FileCheck %s
   2 ; REQUIRES: asserts
   3 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   4 target triple = "x86_64-unknown-linux-gnu"
   5
   6 @0 = external global { { ptr, i32, i32 }, ptr, i8, i8 }
   7
   8 declare void @g()
   9
  10 ; Function Attrs: argmemonly nounwind willreturn
  11 declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #0
  12
  13 ; CHECK-LABEL: @f
  14 define void @f(i1 %arg) align 2 {
  15 entry:
  16   %P = alloca ptr, align 8
  17   br label %cond.end.i.i.i.i
  18
  19 cond.end.i.i.i.i:                                 ; preds = %cont20, %entry
  20   br i1 %arg, label %cont20, label %if.end
  21
  22 cont20:                                           ; preds = %cond.end.i.i.i.i, %cond.end.i.i.i.i, %cond.end.i.i.i.i
  23   store ptr undef, ptr %P, align 8
  24   br label %cond.end.i.i.i.i
  25
  26 if.end:                                           ; preds = %cond.end.i.i.i.i
  27   br i1 %arg, label %cond.exit, label %handler.type_mismatch2.i
  28
  29 handler.type_mismatch2.i:                         ; preds = %if.end
  30   tail call void @g()
  31   unreachable
  32
  33 cond.exit:             ; preds = %if.end
  34   switch i8 undef, label %block.exit [
  35     i8 81, label %sw.bb94
  36     i8 12, label %cleanup
  37     i8 74, label %cleanup
  38   ]
  39
  40 block.exit: ; preds = %cond.exit
  41   unreachable
  42
  43 sw.bb94:                                          ; preds = %cond.exit
  44   call void @llvm.lifetime.end.p0(i64 8, ptr nonnull undef)
  45   br label %cleanup
  46
  47 cleanup:                                          ; preds = %sw.bb94, %cond.exit, %cond.exit
  48   ret void
  49 }
  50
  51 attributes #0 = { argmemonly nounwind willreturn }