llvm/test/Transforms/SimplifyCFG/lifetime-landingpad.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals
   2 ; RUN: opt < %s -passes=simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S | FileCheck %s
   3
   4 define void @foo() personality ptr @__gxx_personality_v0 {
   5 ; CHECK-LABEL: @foo(
   6 ; CHECK-NEXT:  entry:
   7 ; CHECK-NEXT:    [[A:%.*]] = alloca i8, align 1
   8 ; CHECK-NEXT:    call void @llvm.lifetime.start.p0(i64 1, ptr nonnull [[A]]) #[[ATTR1:[0-9]+]]
   9 ; CHECK-NEXT:    call void @bar()
  10 ; CHECK-NEXT:    call void @llvm.lifetime.end.p0(i64 1, ptr nonnull [[A]]) #[[ATTR1]]
  11 ; CHECK-NEXT:    ret void
  12 ;
  13 entry:
  14   %a = alloca i8
  15   call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %a) nounwind
  16   invoke void @bar() to label %invoke.cont unwind label %lpad
  17
  18 invoke.cont:
  19   call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %a) nounwind
  20   ret void
  21
  22 lpad:
  23   %b = landingpad { ptr, i32 }
  24   cleanup
  25   call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %a) nounwind
  26   resume { ptr, i32 } %b
  27 }
  28
  29 declare void @bar()
  30
  31 declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) nounwind
  32
  33 declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) nounwind
  34
  35 declare i32 @__gxx_personality_v0(...)
  36 ;.
  37 ; CHECK: attributes #[[ATTR0:[0-9]+]] = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
  38 ; CHECK: attributes #[[ATTR1]] = { nounwind }
  39 ;.