1 ; RUN: opt -inline -S < %s | FileCheck %s 2 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" 3 4 declare void @llvm.lifetime.start(i64, i8*) 5 declare void @llvm.lifetime.end(i64, i8*) 6 7 define void @helper_both_markers() { 8 %a = alloca i8 9 ; Size in llvm.lifetime.start / llvm.lifetime.end differs from 10 ; allocation size. We should use the former. 11 call void @llvm.lifetime.start(i64 2, i8* %a) 12 call void @llvm.lifetime.end(i64 2, i8* %a) 13 ret void 14 } 15 16 define void @test_both_markers() { 17 ; CHECK-LABEL: @test_both_markers( 18 ; CHECK: llvm.lifetime.start(i64 2 19 ; CHECK-NEXT: llvm.lifetime.end(i64 2 20 call void @helper_both_markers() 21 ; CHECK-NEXT: llvm.lifetime.start(i64 2 22 ; CHECK-NEXT: llvm.lifetime.end(i64 2 23 call void @helper_both_markers() 24 ; CHECK-NEXT: ret void 25 ret void 26 } 27 28 ;; Without this, the inliner will simplify out @test_no_marker before adding 29 ;; any lifetime markers. 30 declare void @use(i8* %a) 31 32 define void @helper_no_markers() { 33 %a = alloca i8 ; Allocation size is 1 byte. 34 call void @use(i8* %a) 35 ret void 36 } 37 38 ;; We can't use CHECK-NEXT because there's an extra call void @use in between. 39 ;; Instead, we use CHECK-NOT to verify that there are no other lifetime calls. 40 define void @test_no_marker() { 41 ; CHECK-LABEL: @test_no_marker( 42 ; CHECK-NOT: lifetime 43 ; CHECK: llvm.lifetime.start(i64 1 44 ; CHECK-NOT: lifetime 45 ; CHECK: llvm.lifetime.end(i64 1 46 call void @helper_no_markers() 47 ; CHECK-NOT: lifetime 48 ; CHECK: llvm.lifetime.start(i64 1 49 ; CHECK-NOT: lifetime 50 ; CHECK: llvm.lifetime.end(i64 1 51 call void @helper_no_markers() 52 ; CHECK-NOT: lifetime 53 ; CHECK: ret void 54 ret void 55 } 56 57 define void @helper_two_casts() { 58 %a = alloca i32 59 %b = bitcast i32* %a to i8* 60 call void @llvm.lifetime.start(i64 4, i8* %b) 61 %c = bitcast i32* %a to i8* 62 call void @llvm.lifetime.end(i64 4, i8* %c) 63 ret void 64 } 65 66 define void @test_two_casts() { 67 ; CHECK-LABEL: @test_two_casts( 68 ; CHECK-NOT: lifetime 69 ; CHECK: llvm.lifetime.start(i64 4 70 ; CHECK-NOT: lifetime 71 ; CHECK: llvm.lifetime.end(i64 4 72 call void @helper_two_casts() 73 ; CHECK-NOT: lifetime 74 ; CHECK: llvm.lifetime.start(i64 4 75 ; CHECK-NOT: lifetime 76 ; CHECK: llvm.lifetime.end(i64 4 77 call void @helper_two_casts() 78 ; CHECK-NOT: lifetime 79 ; CHECK: ret void 80 ret void 81 } 82 83 define void @helper_arrays_alloca() { 84 %a = alloca [10 x i32], align 16 85 %1 = bitcast [10 x i32]* %a to i8* 86 call void @use(i8* %1) 87 ret void 88 } 89 90 define void @test_arrays_alloca() { 91 ; CHECK-LABEL: @test_arrays_alloca( 92 ; CHECK-NOT: lifetime 93 ; CHECK: llvm.lifetime.start(i64 40, 94 ; CHECK-NOT: lifetime 95 ; CHECK: llvm.lifetime.end(i64 40, 96 call void @helper_arrays_alloca() 97 ; CHECK-NOT: lifetime 98 ; CHECK: ret void 99 ret void 100 } 101
