154 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature2; RUN: opt < %s -passes='module(sanmd-module)' -sanitizer-metadata-atomics -S | FileCheck %s3 4target 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"5target triple = "x86_64-unknown-linux-gnu"6 7declare void @escape(ptr)8 9@sink = global ptr null, align 410@const_global = external constant i3211@non_const_global = global i32 0, align 412@const_global_array = external constant [10 x i32]13 14define i32 @notcaptured() {15; CHECK-LABEL: define {{[^@]+}}@notcaptured() {16; CHECK-NEXT: entry:17; CHECK-NEXT: [[PTR:%.*]] = alloca i32, align 418; CHECK-NEXT: store i32 42, ptr [[PTR]], align 419; CHECK-NEXT: [[TMP:%.*]] = load i32, ptr [[PTR]], align 420; CHECK-NEXT: ret i32 [[TMP]]21;22entry:23 %ptr = alloca i32, align 424 store i32 42, ptr %ptr, align 425 %tmp = load i32, ptr %ptr, align 426 ret i32 %tmp27}28 29define void @captured0() {30; CHECK-LABEL: define {{[^@]+}}@captured0() !pcsections !0 {31; CHECK-NEXT: entry:32; CHECK-NEXT: [[PTR:%.*]] = alloca i32, align 433; CHECK-NEXT: call void @escape(ptr [[PTR]])34; CHECK-NEXT: store i32 42, ptr [[PTR]], align 435; CHECK-NEXT: ret void36;37entry:38 %ptr = alloca i32, align 439 ; escapes due to call40 call void @escape(ptr %ptr)41 store i32 42, ptr %ptr, align 442 ret void43}44 45define void @captured1() {46; CHECK-LABEL: define {{[^@]+}}@captured1() !pcsections !0 {47; CHECK-NEXT: entry:48; CHECK-NEXT: [[PTR:%.*]] = alloca i32, align 449; CHECK-NEXT: store ptr [[PTR]], ptr @sink, align 850; CHECK-NEXT: store i32 42, ptr [[PTR]], align 451; CHECK-NEXT: ret void52;53entry:54 %ptr = alloca i32, align 455 ; escapes due to store into global56 store ptr %ptr, ptr @sink, align 857 store i32 42, ptr %ptr, align 458 ret void59}60 61define void @captured2() {62; CHECK-LABEL: define {{[^@]+}}@captured2() !pcsections !0 {63; CHECK-NEXT: entry:64; CHECK-NEXT: [[PTR:%.*]] = alloca i32, align 465; CHECK-NEXT: [[TMP:%.*]] = alloca ptr, align 866; CHECK-NEXT: store ptr [[PTR]], ptr [[TMP]], align 867; CHECK-NEXT: [[TMP0:%.*]] = load ptr, ptr [[TMP]], align 868; CHECK-NEXT: store ptr [[TMP0]], ptr @sink, align 869; CHECK-NEXT: store i32 42, ptr [[PTR]], align 470; CHECK-NEXT: ret void71;72entry:73 %ptr = alloca i32, align 474 %tmp = alloca ptr, align 875 ; transitive escape76 store ptr %ptr, ptr %tmp, align 877 %0 = load ptr, ptr %tmp, align 878 store ptr %0, ptr @sink, align 879 store i32 42, ptr %ptr, align 480 ret void81}82 83define i32 @read_from_const_global() {84; CHECK-LABEL: define {{[^@]+}}@read_from_const_global() {85; CHECK-NEXT: entry:86; CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr @const_global, align 487; CHECK-NEXT: ret i32 [[TMP0]]88;89entry:90 %0 = load i32, ptr @const_global, align 491 ret i32 %092}93 94define i32 @read_from_non_const_global() {95; CHECK-LABEL: define {{[^@]+}}@read_from_non_const_global() !pcsections !0 {96; CHECK-NEXT: entry:97; CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr @non_const_global, align 498; CHECK-NEXT: ret i32 [[TMP0]]99;100entry:101 %0 = load i32, ptr @non_const_global, align 4102 ret i32 %0103}104 105define i32 @read_from_const_global_array(i32 %idx) {106; CHECK-LABEL: define {{[^@]+}}@read_from_const_global_array107; CHECK-SAME: (i32 [[IDX:%.*]]) {108; CHECK-NEXT: entry:109; CHECK-NEXT: [[IDXPROM:%.*]] = sext i32 [[IDX]] to i64110; CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds [10 x i32], ptr @const_global_array, i64 0, i64 [[IDXPROM]]111; CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr [[ARRAYIDX]], align 4112; CHECK-NEXT: ret i32 [[TMP0]]113;114entry:115 %idxprom = sext i32 %idx to i64116 %arrayidx = getelementptr inbounds [10 x i32], ptr @const_global_array, i64 0, i64 %idxprom117 %0 = load i32, ptr %arrayidx, align 4118 ret i32 %0119}120 121define i32 @notcaptured_and_global_access() {122; CHECK-LABEL: define {{[^@]+}}@notcaptured_and_global_access() !pcsections !0 {123; CHECK-NEXT: entry:124; CHECK-NEXT: [[PTR:%.*]] = alloca i32, align 4125; CHECK-NEXT: [[A:%.*]] = load i32, ptr @non_const_global, align 4126; CHECK-NEXT: store i32 [[A]], ptr [[PTR]], align 4127; CHECK-NEXT: [[B:%.*]] = load i32, ptr [[PTR]], align 4128; CHECK-NEXT: ret i32 [[B]]129;130entry:131 %ptr = alloca i32, align 4132 %a = load i32, ptr @non_const_global, align 4133 store i32 %a, ptr %ptr, align 4134 %b = load i32, ptr %ptr, align 4135 ret i32 %b136}137 138define i32 @notcaptured_and_const_global_access() {139; CHECK-LABEL: define {{[^@]+}}@notcaptured_and_const_global_access() {140; CHECK-NEXT: entry:141; CHECK-NEXT: [[PTR:%.*]] = alloca i32, align 4142; CHECK-NEXT: [[A:%.*]] = load i32, ptr @const_global, align 4143; CHECK-NEXT: store i32 [[A]], ptr [[PTR]], align 4144; CHECK-NEXT: [[B:%.*]] = load i32, ptr [[PTR]], align 4145; CHECK-NEXT: ret i32 [[B]]146;147entry:148 %ptr = alloca i32, align 4149 %a = load i32, ptr @const_global, align 4150 store i32 %a, ptr %ptr, align 4151 %b = load i32, ptr %ptr, align 4152 ret i32 %b153}154