286 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; Test handling of llvm.lifetime intrinsics.3; RUN: opt < %s -passes=asan -asan-use-after-scope -asan-use-after-return=never -asan-use-stack-safety=0 -S | FileCheck %s --check-prefixes=CHECK,CHECK-DEFAULT4; RUN: opt < %s -passes=asan -asan-use-after-scope -asan-use-after-return=never -asan-use-stack-safety=0 -asan-instrument-dynamic-allocas=0 -S | FileCheck %s --check-prefixes=CHECK,CHECK-NO-DYNAMIC5 6target 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"7target triple = "x86_64-unknown-linux-gnu"8 9declare void @llvm.lifetime.start.p0(i64, ptr nocapture) nounwind10declare void @llvm.lifetime.end.p0(i64, ptr nocapture) nounwind11 12; Generic case of lifetime analysis.13define void @lifetime() sanitize_address {14; CHECK-DEFAULT-LABEL: define void @lifetime(15; CHECK-DEFAULT-SAME: ) #[[ATTR0:[0-9]+]] {16; CHECK-DEFAULT-NEXT: [[TMP1:%.*]] = alloca i64, align 3217; CHECK-DEFAULT-NEXT: store i64 0, ptr [[TMP1]], align 818; CHECK-DEFAULT-NEXT: [[MYALLOCA:%.*]] = alloca i8, i64 64, align 3219; CHECK-DEFAULT-NEXT: [[TMP4:%.*]] = getelementptr i8, ptr [[MYALLOCA]], i64 3220; CHECK-DEFAULT-NEXT: store i64 1102416563, ptr [[MYALLOCA]], align 821; CHECK-DEFAULT-NEXT: [[TMP7:%.*]] = getelementptr i8, ptr [[MYALLOCA]], i64 822; CHECK-DEFAULT-NEXT: store i64 ptrtoint (ptr @___asan_gen_stack to i64), ptr [[TMP7]], align 823; CHECK-DEFAULT-NEXT: [[TMP9:%.*]] = getelementptr i8, ptr [[MYALLOCA]], i64 1624; CHECK-DEFAULT-NEXT: store i64 ptrtoint (ptr @lifetime to i64), ptr [[TMP9]], align 825; CHECK-DEFAULT-NEXT: [[TMP2:%.*]] = ptrtoint ptr [[MYALLOCA]] to i6426; CHECK-DEFAULT-NEXT: [[TMP10:%.*]] = lshr i64 [[TMP2]], 327; CHECK-DEFAULT-NEXT: [[TMP11:%.*]] = add i64 [[TMP10]], 214745088028; CHECK-DEFAULT-NEXT: [[TMP12:%.*]] = add i64 [[TMP11]], 029; CHECK-DEFAULT-NEXT: [[TMP13:%.*]] = inttoptr i64 [[TMP12]] to ptr30; CHECK-DEFAULT-NEXT: store i64 -868082052615769615, ptr [[TMP13]], align 131; CHECK-DEFAULT-NEXT: [[TMP14:%.*]] = add i64 [[TMP11]], 432; CHECK-DEFAULT-NEXT: [[TMP15:%.*]] = inttoptr i64 [[TMP14]] to ptr33; CHECK-DEFAULT-NEXT: store i8 4, ptr [[TMP15]], align 134; CHECK-DEFAULT-NEXT: [[TMP16:%.*]] = ptrtoint ptr [[TMP4]] to i6435; CHECK-DEFAULT-NEXT: [[TMP17:%.*]] = lshr i64 [[TMP16]], 336; CHECK-DEFAULT-NEXT: [[TMP18:%.*]] = add i64 [[TMP17]], 214745088037; CHECK-DEFAULT-NEXT: [[TMP19:%.*]] = inttoptr i64 [[TMP18]] to ptr38; CHECK-DEFAULT-NEXT: [[TMP20:%.*]] = load i8, ptr [[TMP19]], align 139; CHECK-DEFAULT-NEXT: [[TMP21:%.*]] = icmp ne i8 [[TMP20]], 040; CHECK-DEFAULT-NEXT: br i1 [[TMP21]], label %[[BB18:.*]], label %[[BB23:.*]], !prof [[PROF1:![0-9]+]]41; CHECK-DEFAULT: [[BB18]]:42; CHECK-DEFAULT-NEXT: [[TMP23:%.*]] = and i64 [[TMP16]], 743; CHECK-DEFAULT-NEXT: [[TMP24:%.*]] = trunc i64 [[TMP23]] to i844; CHECK-DEFAULT-NEXT: [[TMP25:%.*]] = icmp sge i8 [[TMP24]], [[TMP20]]45; CHECK-DEFAULT-NEXT: br i1 [[TMP25]], label %[[BB22:.*]], label %[[BB23]]46; CHECK-DEFAULT: [[BB22]]:47; CHECK-DEFAULT-NEXT: call void @__asan_report_store1(i64 [[TMP16]]) #[[ATTR4:[0-9]+]]48; CHECK-DEFAULT-NEXT: unreachable49; CHECK-DEFAULT: [[BB23]]:50; CHECK-DEFAULT-NEXT: store volatile i8 0, ptr [[TMP4]], align 151; CHECK-DEFAULT-NEXT: [[TMP28:%.*]] = add i64 [[TMP11]], 452; CHECK-DEFAULT-NEXT: [[TMP29:%.*]] = inttoptr i64 [[TMP28]] to ptr53; CHECK-DEFAULT-NEXT: store i8 -8, ptr [[TMP29]], align 154; CHECK-DEFAULT-NEXT: [[TMP30:%.*]] = add i64 [[TMP11]], 455; CHECK-DEFAULT-NEXT: [[TMP31:%.*]] = inttoptr i64 [[TMP30]] to ptr56; CHECK-DEFAULT-NEXT: store i8 -8, ptr [[TMP31]], align 157; CHECK-DEFAULT-NEXT: [[TMP32:%.*]] = alloca i8, i64 128, align 3258; CHECK-DEFAULT-NEXT: [[TMP33:%.*]] = ptrtoint ptr [[TMP32]] to i6459; CHECK-DEFAULT-NEXT: [[TMP34:%.*]] = add i64 [[TMP33]], 3260; CHECK-DEFAULT-NEXT: call void @__asan_alloca_poison(i64 [[TMP34]], i64 40)61; CHECK-DEFAULT-NEXT: [[TMP35:%.*]] = ptrtoint ptr [[TMP32]] to i6462; CHECK-DEFAULT-NEXT: store i64 [[TMP35]], ptr [[TMP1]], align 863; CHECK-DEFAULT-NEXT: [[TMP36:%.*]] = inttoptr i64 [[TMP34]] to ptr64; CHECK-DEFAULT-NEXT: [[TMP37:%.*]] = ptrtoint ptr [[TMP36]] to i6465; CHECK-DEFAULT-NEXT: call void @__asan_unpoison_stack_memory(i64 [[TMP37]], i64 40)66; CHECK-DEFAULT-NEXT: [[TMP38:%.*]] = ptrtoint ptr [[TMP36]] to i6467; CHECK-DEFAULT-NEXT: [[TMP39:%.*]] = lshr i64 [[TMP38]], 368; CHECK-DEFAULT-NEXT: [[TMP40:%.*]] = add i64 [[TMP39]], 214745088069; CHECK-DEFAULT-NEXT: [[TMP41:%.*]] = inttoptr i64 [[TMP40]] to ptr70; CHECK-DEFAULT-NEXT: [[TMP42:%.*]] = load i8, ptr [[TMP41]], align 171; CHECK-DEFAULT-NEXT: [[TMP43:%.*]] = icmp ne i8 [[TMP42]], 072; CHECK-DEFAULT-NEXT: br i1 [[TMP43]], label %[[BB40:.*]], label %[[BB45:.*]], !prof [[PROF1]]73; CHECK-DEFAULT: [[BB40]]:74; CHECK-DEFAULT-NEXT: [[TMP45:%.*]] = and i64 [[TMP38]], 775; CHECK-DEFAULT-NEXT: [[TMP46:%.*]] = trunc i64 [[TMP45]] to i876; CHECK-DEFAULT-NEXT: [[TMP47:%.*]] = icmp sge i8 [[TMP46]], [[TMP42]]77; CHECK-DEFAULT-NEXT: br i1 [[TMP47]], label %[[BB44:.*]], label %[[BB45]]78; CHECK-DEFAULT: [[BB44]]:79; CHECK-DEFAULT-NEXT: call void @__asan_report_store1(i64 [[TMP38]]) #[[ATTR4]]80; CHECK-DEFAULT-NEXT: unreachable81; CHECK-DEFAULT: [[BB45]]:82; CHECK-DEFAULT-NEXT: store volatile i8 0, ptr [[TMP36]], align 183; CHECK-DEFAULT-NEXT: [[TMP50:%.*]] = ptrtoint ptr [[TMP36]] to i6484; CHECK-DEFAULT-NEXT: call void @__asan_poison_stack_memory(i64 [[TMP50]], i64 40)85; CHECK-DEFAULT-NEXT: [[TMP51:%.*]] = add i64 [[TMP11]], 486; CHECK-DEFAULT-NEXT: [[TMP52:%.*]] = inttoptr i64 [[TMP51]] to ptr87; CHECK-DEFAULT-NEXT: store i8 4, ptr [[TMP52]], align 188; CHECK-DEFAULT-NEXT: [[TMP53:%.*]] = ptrtoint ptr [[TMP4]] to i6489; CHECK-DEFAULT-NEXT: [[TMP54:%.*]] = lshr i64 [[TMP53]], 390; CHECK-DEFAULT-NEXT: [[TMP55:%.*]] = add i64 [[TMP54]], 214745088091; CHECK-DEFAULT-NEXT: [[TMP56:%.*]] = inttoptr i64 [[TMP55]] to ptr92; CHECK-DEFAULT-NEXT: [[TMP57:%.*]] = load i8, ptr [[TMP56]], align 193; CHECK-DEFAULT-NEXT: [[TMP58:%.*]] = icmp ne i8 [[TMP57]], 094; CHECK-DEFAULT-NEXT: br i1 [[TMP58]], label %[[BB55:.*]], label %[[BB60:.*]], !prof [[PROF1]]95; CHECK-DEFAULT: [[BB55]]:96; CHECK-DEFAULT-NEXT: [[TMP60:%.*]] = and i64 [[TMP53]], 797; CHECK-DEFAULT-NEXT: [[TMP61:%.*]] = trunc i64 [[TMP60]] to i898; CHECK-DEFAULT-NEXT: [[TMP62:%.*]] = icmp sge i8 [[TMP61]], [[TMP57]]99; CHECK-DEFAULT-NEXT: br i1 [[TMP62]], label %[[BB59:.*]], label %[[BB60]]100; CHECK-DEFAULT: [[BB59]]:101; CHECK-DEFAULT-NEXT: call void @__asan_report_store1(i64 [[TMP53]]) #[[ATTR4]]102; CHECK-DEFAULT-NEXT: unreachable103; CHECK-DEFAULT: [[BB60]]:104; CHECK-DEFAULT-NEXT: store volatile i8 0, ptr [[TMP4]], align 1105; CHECK-DEFAULT-NEXT: [[TMP65:%.*]] = add i64 [[TMP11]], 4106; CHECK-DEFAULT-NEXT: [[TMP66:%.*]] = inttoptr i64 [[TMP65]] to ptr107; CHECK-DEFAULT-NEXT: store i8 -8, ptr [[TMP66]], align 1108; CHECK-DEFAULT-NEXT: [[TMP67:%.*]] = ptrtoint ptr [[TMP1]] to i64109; CHECK-DEFAULT-NEXT: [[TMP68:%.*]] = load i64, ptr [[TMP1]], align 8110; CHECK-DEFAULT-NEXT: call void @__asan_allocas_unpoison(i64 [[TMP68]], i64 [[TMP67]])111; CHECK-DEFAULT-NEXT: store i64 1172321806, ptr [[MYALLOCA]], align 8112; CHECK-DEFAULT-NEXT: [[TMP69:%.*]] = add i64 [[TMP11]], 0113; CHECK-DEFAULT-NEXT: [[TMP70:%.*]] = inttoptr i64 [[TMP69]] to ptr114; CHECK-DEFAULT-NEXT: store i64 0, ptr [[TMP70]], align 1115; CHECK-DEFAULT-NEXT: ret void116;117; CHECK-NO-DYNAMIC-LABEL: define void @lifetime(118; CHECK-NO-DYNAMIC-SAME: ) #[[ATTR0:[0-9]+]] {119; CHECK-NO-DYNAMIC-NEXT: [[MYALLOCA:%.*]] = alloca i8, i64 64, align 32120; CHECK-NO-DYNAMIC-NEXT: [[TMP3:%.*]] = getelementptr i8, ptr [[MYALLOCA]], i64 32121; CHECK-NO-DYNAMIC-NEXT: store i64 1102416563, ptr [[MYALLOCA]], align 8122; CHECK-NO-DYNAMIC-NEXT: [[TMP6:%.*]] = getelementptr i8, ptr [[MYALLOCA]], i64 8123; CHECK-NO-DYNAMIC-NEXT: store i64 ptrtoint (ptr @___asan_gen_stack to i64), ptr [[TMP6]], align 8124; CHECK-NO-DYNAMIC-NEXT: [[TMP8:%.*]] = getelementptr i8, ptr [[MYALLOCA]], i64 16125; CHECK-NO-DYNAMIC-NEXT: store i64 ptrtoint (ptr @lifetime to i64), ptr [[TMP8]], align 8126; CHECK-NO-DYNAMIC-NEXT: [[TMP1:%.*]] = ptrtoint ptr [[MYALLOCA]] to i64127; CHECK-NO-DYNAMIC-NEXT: [[TMP9:%.*]] = lshr i64 [[TMP1]], 3128; CHECK-NO-DYNAMIC-NEXT: [[TMP10:%.*]] = add i64 [[TMP9]], 2147450880129; CHECK-NO-DYNAMIC-NEXT: [[TMP11:%.*]] = add i64 [[TMP10]], 0130; CHECK-NO-DYNAMIC-NEXT: [[TMP12:%.*]] = inttoptr i64 [[TMP11]] to ptr131; CHECK-NO-DYNAMIC-NEXT: store i64 -868082052615769615, ptr [[TMP12]], align 1132; CHECK-NO-DYNAMIC-NEXT: [[TMP13:%.*]] = add i64 [[TMP10]], 4133; CHECK-NO-DYNAMIC-NEXT: [[TMP14:%.*]] = inttoptr i64 [[TMP13]] to ptr134; CHECK-NO-DYNAMIC-NEXT: store i8 4, ptr [[TMP14]], align 1135; CHECK-NO-DYNAMIC-NEXT: [[TMP15:%.*]] = ptrtoint ptr [[TMP3]] to i64136; CHECK-NO-DYNAMIC-NEXT: [[TMP16:%.*]] = lshr i64 [[TMP15]], 3137; CHECK-NO-DYNAMIC-NEXT: [[TMP17:%.*]] = add i64 [[TMP16]], 2147450880138; CHECK-NO-DYNAMIC-NEXT: [[TMP18:%.*]] = inttoptr i64 [[TMP17]] to ptr139; CHECK-NO-DYNAMIC-NEXT: [[TMP19:%.*]] = load i8, ptr [[TMP18]], align 1140; CHECK-NO-DYNAMIC-NEXT: [[TMP20:%.*]] = icmp ne i8 [[TMP19]], 0141; CHECK-NO-DYNAMIC-NEXT: br i1 [[TMP20]], label %[[BB17:.*]], label %[[BB22:.*]], !prof [[PROF1:![0-9]+]]142; CHECK-NO-DYNAMIC: [[BB17]]:143; CHECK-NO-DYNAMIC-NEXT: [[TMP22:%.*]] = and i64 [[TMP15]], 7144; CHECK-NO-DYNAMIC-NEXT: [[TMP23:%.*]] = trunc i64 [[TMP22]] to i8145; CHECK-NO-DYNAMIC-NEXT: [[TMP24:%.*]] = icmp sge i8 [[TMP23]], [[TMP19]]146; CHECK-NO-DYNAMIC-NEXT: br i1 [[TMP24]], label %[[BB21:.*]], label %[[BB22]]147; CHECK-NO-DYNAMIC: [[BB21]]:148; CHECK-NO-DYNAMIC-NEXT: call void @__asan_report_store1(i64 [[TMP15]]) #[[ATTR4:[0-9]+]]149; CHECK-NO-DYNAMIC-NEXT: unreachable150; CHECK-NO-DYNAMIC: [[BB22]]:151; CHECK-NO-DYNAMIC-NEXT: store volatile i8 0, ptr [[TMP3]], align 1152; CHECK-NO-DYNAMIC-NEXT: [[TMP27:%.*]] = add i64 [[TMP10]], 4153; CHECK-NO-DYNAMIC-NEXT: [[TMP28:%.*]] = inttoptr i64 [[TMP27]] to ptr154; CHECK-NO-DYNAMIC-NEXT: store i8 -8, ptr [[TMP28]], align 1155; CHECK-NO-DYNAMIC-NEXT: [[TMP29:%.*]] = add i64 [[TMP10]], 4156; CHECK-NO-DYNAMIC-NEXT: [[TMP30:%.*]] = inttoptr i64 [[TMP29]] to ptr157; CHECK-NO-DYNAMIC-NEXT: store i8 -8, ptr [[TMP30]], align 1158; CHECK-NO-DYNAMIC-NEXT: [[ARR:%.*]] = alloca [10 x i32], align 16159; CHECK-NO-DYNAMIC-NEXT: call void @llvm.lifetime.start.p0(ptr [[ARR]])160; CHECK-NO-DYNAMIC-NEXT: [[TMP31:%.*]] = ptrtoint ptr [[ARR]] to i64161; CHECK-NO-DYNAMIC-NEXT: [[TMP32:%.*]] = lshr i64 [[TMP31]], 3162; CHECK-NO-DYNAMIC-NEXT: [[TMP33:%.*]] = add i64 [[TMP32]], 2147450880163; CHECK-NO-DYNAMIC-NEXT: [[TMP34:%.*]] = inttoptr i64 [[TMP33]] to ptr164; CHECK-NO-DYNAMIC-NEXT: [[TMP35:%.*]] = load i8, ptr [[TMP34]], align 1165; CHECK-NO-DYNAMIC-NEXT: [[TMP36:%.*]] = icmp ne i8 [[TMP35]], 0166; CHECK-NO-DYNAMIC-NEXT: br i1 [[TMP36]], label %[[BB33:.*]], label %[[BB38:.*]], !prof [[PROF1]]167; CHECK-NO-DYNAMIC: [[BB33]]:168; CHECK-NO-DYNAMIC-NEXT: [[TMP38:%.*]] = and i64 [[TMP31]], 7169; CHECK-NO-DYNAMIC-NEXT: [[TMP39:%.*]] = trunc i64 [[TMP38]] to i8170; CHECK-NO-DYNAMIC-NEXT: [[TMP40:%.*]] = icmp sge i8 [[TMP39]], [[TMP35]]171; CHECK-NO-DYNAMIC-NEXT: br i1 [[TMP40]], label %[[BB37:.*]], label %[[BB38]]172; CHECK-NO-DYNAMIC: [[BB37]]:173; CHECK-NO-DYNAMIC-NEXT: call void @__asan_report_store1(i64 [[TMP31]]) #[[ATTR4]]174; CHECK-NO-DYNAMIC-NEXT: unreachable175; CHECK-NO-DYNAMIC: [[BB38]]:176; CHECK-NO-DYNAMIC-NEXT: store volatile i8 0, ptr [[ARR]], align 1177; CHECK-NO-DYNAMIC-NEXT: call void @llvm.lifetime.end.p0(ptr [[ARR]])178; CHECK-NO-DYNAMIC-NEXT: [[TMP43:%.*]] = add i64 [[TMP10]], 4179; CHECK-NO-DYNAMIC-NEXT: [[TMP44:%.*]] = inttoptr i64 [[TMP43]] to ptr180; CHECK-NO-DYNAMIC-NEXT: store i8 4, ptr [[TMP44]], align 1181; CHECK-NO-DYNAMIC-NEXT: [[TMP45:%.*]] = ptrtoint ptr [[TMP3]] to i64182; CHECK-NO-DYNAMIC-NEXT: [[TMP46:%.*]] = lshr i64 [[TMP45]], 3183; CHECK-NO-DYNAMIC-NEXT: [[TMP47:%.*]] = add i64 [[TMP46]], 2147450880184; CHECK-NO-DYNAMIC-NEXT: [[TMP48:%.*]] = inttoptr i64 [[TMP47]] to ptr185; CHECK-NO-DYNAMIC-NEXT: [[TMP49:%.*]] = load i8, ptr [[TMP48]], align 1186; CHECK-NO-DYNAMIC-NEXT: [[TMP50:%.*]] = icmp ne i8 [[TMP49]], 0187; CHECK-NO-DYNAMIC-NEXT: br i1 [[TMP50]], label %[[BB47:.*]], label %[[BB52:.*]], !prof [[PROF1]]188; CHECK-NO-DYNAMIC: [[BB47]]:189; CHECK-NO-DYNAMIC-NEXT: [[TMP52:%.*]] = and i64 [[TMP45]], 7190; CHECK-NO-DYNAMIC-NEXT: [[TMP53:%.*]] = trunc i64 [[TMP52]] to i8191; CHECK-NO-DYNAMIC-NEXT: [[TMP54:%.*]] = icmp sge i8 [[TMP53]], [[TMP49]]192; CHECK-NO-DYNAMIC-NEXT: br i1 [[TMP54]], label %[[BB51:.*]], label %[[BB52]]193; CHECK-NO-DYNAMIC: [[BB51]]:194; CHECK-NO-DYNAMIC-NEXT: call void @__asan_report_store1(i64 [[TMP45]]) #[[ATTR4]]195; CHECK-NO-DYNAMIC-NEXT: unreachable196; CHECK-NO-DYNAMIC: [[BB52]]:197; CHECK-NO-DYNAMIC-NEXT: store volatile i8 0, ptr [[TMP3]], align 1198; CHECK-NO-DYNAMIC-NEXT: [[TMP57:%.*]] = add i64 [[TMP10]], 4199; CHECK-NO-DYNAMIC-NEXT: [[TMP58:%.*]] = inttoptr i64 [[TMP57]] to ptr200; CHECK-NO-DYNAMIC-NEXT: store i8 -8, ptr [[TMP58]], align 1201; CHECK-NO-DYNAMIC-NEXT: store i64 1172321806, ptr [[MYALLOCA]], align 8202; CHECK-NO-DYNAMIC-NEXT: [[TMP59:%.*]] = add i64 [[TMP10]], 0203; CHECK-NO-DYNAMIC-NEXT: [[TMP60:%.*]] = inttoptr i64 [[TMP59]] to ptr204; CHECK-NO-DYNAMIC-NEXT: store i64 0, ptr [[TMP60]], align 1205; CHECK-NO-DYNAMIC-NEXT: ret void206;207 208 ; Regular variable lifetime intrinsics.209 %i = alloca i32, align 4210 211 ; Poison memory in prologue: F1F1F1F1F8F3F3F3212 213 ; Memory is unpoisoned at llvm.lifetime.start214 call void @llvm.lifetime.start.p0(i64 3, ptr %i)215 216 store volatile i8 0, ptr %i217 218 call void @llvm.lifetime.end.p0(i64 4, ptr %i)219 220 ; Memory is poisoned at every call to llvm.lifetime.end221 call void @llvm.lifetime.end.p0(i64 2, ptr %i)222 223 ; Lifetime intrinsics for array.224 %arr = alloca [10 x i32], align 16225 226 call void @llvm.lifetime.start.p0(i64 40, ptr %arr)227 228 store volatile i8 0, ptr %arr229 230 call void @llvm.lifetime.end.p0(i64 40, ptr %arr)231 232 ; One more lifetime start/end for the same variable %i.233 call void @llvm.lifetime.start.p0(i64 2, ptr %i)234 235 store volatile i8 0, ptr %i236 237 call void @llvm.lifetime.end.p0(i64 4, ptr %i)238 239 ; Memory is unpoisoned at function exit (only once).240 ret void241}242 243define void @zero_sized(i64 %a) #0 {244; CHECK-LABEL: define void @zero_sized(245; CHECK-SAME: i64 [[A:%.*]]) {246; CHECK-NEXT: [[ENTRY:.*:]]247; CHECK-NEXT: [[A_ADDR:%.*]] = alloca i64, align 8248; CHECK-NEXT: [[B:%.*]] = alloca [0 x i8], align 1249; CHECK-NEXT: store i64 [[A]], ptr [[A_ADDR]], align 8250; CHECK-NEXT: call void @llvm.lifetime.start.p0(ptr [[B]])251; CHECK-NEXT: call void @llvm.lifetime.end.p0(ptr [[B]])252; CHECK-NEXT: ret void253;254 255entry:256 %a.addr = alloca i64, align 8257 %b = alloca [0 x i8], align 1258 store i64 %a, ptr %a.addr, align 8259 260 call void @llvm.lifetime.start.p0(i64 0, ptr %b) #2261 262 call void @llvm.lifetime.end.p0(i64 0, ptr %b) #2263 264 ret void265}266 267; Lifetimes on poison should be ignored.268define void @lifetime_poison(i64 %a) #0 {269; CHECK-LABEL: define void @lifetime_poison(270; CHECK-SAME: i64 [[A:%.*]]) {271; CHECK-NEXT: [[A_ADDR:%.*]] = alloca i64, align 8272; CHECK-NEXT: store i64 [[A]], ptr [[A_ADDR]], align 8273; CHECK-NEXT: ret void274;275 %a.addr = alloca i64, align 8276 call void @llvm.lifetime.start.p0(i64 8, ptr poison)277 store i64 %a, ptr %a.addr, align 8278 call void @llvm.lifetime.end.p0(i64 8, ptr poison)279 ret void280}281;.282; CHECK-DEFAULT: [[PROF1]] = !{!"branch_weights", i32 1, i32 1048575}283;.284; CHECK-NO-DYNAMIC: [[PROF1]] = !{!"branch_weights", i32 1, i32 1048575}285;.286