1 ; RUN: opt -inline -S < %s | FileCheck %s 2 ; RUN: opt -passes='cgscc(inline)' -S < %s | FileCheck %s 3 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" 4 5 declare void @llvm.lifetime.start.p0i8(i64, i8*) 6 declare void @llvm.lifetime.end.p0i8(i64, i8*) 7 8 define void @helper_both_markers() { 9 %a = alloca i8 10 ; Size in llvm.lifetime.start / llvm.lifetime.end differs from 11 ; allocation size. We should use the former. 12 call void @llvm.lifetime.start.p0i8(i64 2, i8* %a) 13 call void @llvm.lifetime.end.p0i8(i64 2, i8* %a) 14 ret void 15 } 16 17 define void @test_both_markers() { 18 ; CHECK-LABEL: @test_both_markers( 19 ; CHECK: llvm.lifetime.start.p0i8(i64 2 20 ; CHECK-NEXT: llvm.lifetime.end.p0i8(i64 2 21 call void @helper_both_markers() 22 ; CHECK-NEXT: llvm.lifetime.start.p0i8(i64 2 23 ; CHECK-NEXT: llvm.lifetime.end.p0i8(i64 2 24 call void @helper_both_markers() 25 ; CHECK-NEXT: ret void 26 ret void 27 } 28 29 ;; Without this, the inliner will simplify out @test_no_marker before adding 30 ;; any lifetime markers. 31 declare void @use(i8* %a) 32 33 define void @helper_no_markers() { 34 %a = alloca i8 ; Allocation size is 1 byte. 35 call void @use(i8* %a) 36 ret void 37 } 38 39 ;; We can't use CHECK-NEXT because there's an extra call void @use in between. 40 ;; Instead, we use CHECK-NOT to verify that there are no other lifetime calls. 41 define void @test_no_marker() { 42 ; CHECK-LABEL: @test_no_marker( 43 ; CHECK-NOT: lifetime 44 ; CHECK: llvm.lifetime.start.p0i8(i64 1 45 ; CHECK-NOT: lifetime 46 ; CHECK: llvm.lifetime.end.p0i8(i64 1 47 call void @helper_no_markers() 48 ; CHECK-NOT: lifetime 49 ; CHECK: llvm.lifetime.start.p0i8(i64 1 50 ; CHECK-NOT: lifetime 51 ; CHECK: llvm.lifetime.end.p0i8(i64 1 52 call void @helper_no_markers() 53 ; CHECK-NOT: lifetime 54 ; CHECK: ret void 55 ret void 56 } 57 58 define void @helper_two_casts() { 59 %a = alloca i32 60 %b = bitcast i32* %a to i8* 61 call void @llvm.lifetime.start.p0i8(i64 4, i8* %b) 62 %c = bitcast i32* %a to i8* 63 call void @llvm.lifetime.end.p0i8(i64 4, i8* %c) 64 ret void 65 } 66 67 define void @test_two_casts() { 68 ; CHECK-LABEL: @test_two_casts( 69 ; CHECK-NOT: lifetime 70 ; CHECK: llvm.lifetime.start.p0i8(i64 4 71 ; CHECK-NOT: lifetime 72 ; CHECK: llvm.lifetime.end.p0i8(i64 4 73 call void @helper_two_casts() 74 ; CHECK-NOT: lifetime 75 ; CHECK: llvm.lifetime.start.p0i8(i64 4 76 ; CHECK-NOT: lifetime 77 ; CHECK: llvm.lifetime.end.p0i8(i64 4 78 call void @helper_two_casts() 79 ; CHECK-NOT: lifetime 80 ; CHECK: ret void 81 ret void 82 } 83 84 define void @helper_arrays_alloca() { 85 %a = alloca [10 x i32], align 16 86 %1 = bitcast [10 x i32]* %a to i8* 87 call void @use(i8* %1) 88 ret void 89 } 90 91 define void @test_arrays_alloca() { 92 ; CHECK-LABEL: @test_arrays_alloca( 93 ; CHECK-NOT: lifetime 94 ; CHECK: llvm.lifetime.start.p0i8(i64 40, 95 ; CHECK-NOT: lifetime 96 ; CHECK: llvm.lifetime.end.p0i8(i64 40, 97 call void @helper_arrays_alloca() 98 ; CHECK-NOT: lifetime 99 ; CHECK: ret void 100 ret void 101 } 102 103 %swift.error = type opaque 104 105 define void @helper_swifterror_alloca() { 106 entry: 107 %swifterror = alloca swifterror %swift.error*, align 8 108 store %swift.error* null, %swift.error** %swifterror, align 8 109 ret void 110 } 111 112 define void @test_swifterror_alloca() { 113 ; CHECK-LABEL: @test_swifterror_alloca( 114 ; CHECK-NOT: lifetime 115 call void @helper_swifterror_alloca() 116 ; CHECK: ret void 117 ret void 118 } 119
