295 lines · plain
1; RUN: opt < %s -passes=dfsan -dfsan-track-origins=1 -dfsan-abilist=%S/Inputs/abilist.txt -S | FileCheck %s2target 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"3target triple = "x86_64-unknown-linux-gnu"4 5; CHECK: @__dfsan_arg_tls = external thread_local(initialexec) global [[TLS_ARR:\[100 x i64\]]]6define i32 @discard(i32 %a, i32 %b) {7 ret i32 08}9 10define i32 @call_discard(i32 %a, i32 %b) {11 ; CHECK: @call_discard.dfsan12 ; CHECK: %r = call i32 @discard(i32 %a, i32 %b)13 ; CHECK: store i32 0, ptr @__dfsan_retval_origin_tls, align 414 ; CHECK: ret i32 %r15 16 %r = call i32 @discard(i32 %a, i32 %b)17 ret i32 %r18}19 20; CHECK: i32 @functional(i32 %a, i32 %b)21define i32 @functional(i32 %a, i32 %b) {22 %c = add i32 %a, %b23 ret i32 %c24}25 26define i32 @call_functional(i32 %a, i32 %b) {27 ; CHECK-LABEL: @call_functional.dfsan28 ; CHECK: [[BO:%.*]] = load i32, ptr getelementptr inbounds ([200 x i32], ptr @__dfsan_arg_origin_tls, i64 0, i64 1), align 429 ; CHECK: [[AO:%.*]] = load i32, ptr @__dfsan_arg_origin_tls30 ; CHECK: [[RO:%.*]] = select i1 {{.*}}, i32 [[BO]], i32 [[AO]]31 ; CHECK: store i32 [[RO]], ptr @__dfsan_retval_origin_tls, align 432 33 %r = call i32 @functional(i32 %a, i32 %b)34 ret i32 %r35}36 37define i32 @uninstrumented(i32 %a, i32 %b) {38 %c = add i32 %a, %b39 ret i32 %c40}41 42define i32 @call_uninstrumented(i32 %a, i32 %b) {43 ; CHECK-LABEL: @call_uninstrumented.dfsan44 ; CHECK: %r = call i32 @uninstrumented(i32 %a, i32 %b)45 ; CHECK: store i32 0, ptr @__dfsan_retval_origin_tls, align 446 ; CHECK: ret i32 %r47 48 %r = call i32 @uninstrumented(i32 %a, i32 %b)49 ret i32 %r50}51 52define i32 @g(i32 %a, i32 %b) {53 %c = add i32 %a, %b54 ret i32 %c55}56 57@discardg = alias i32 (i32, i32), ptr @g58 59define i32 @call_discardg(i32 %a, i32 %b) {60 ; CHECK: @call_discardg.dfsan61 ; CHECK: %r = call i32 @discardg(i32 %a, i32 %b)62 ; CHECK: store i32 0, ptr @__dfsan_retval_origin_tls, align 463 ; CHECK: ret i32 %r64 65 %r = call i32 @discardg(i32 %a, i32 %b)66 ret i32 %r67}68 69define void @custom_without_ret(i32 %a, i32 %b) {70 ret void71}72 73define i32 @custom_with_ret(i32 %a, i32 %b) {74 %c = add i32 %a, %b75 ret i32 %c76}77 78define void @custom_varg_without_ret(i32 %a, i32 %b, ...) {79 ret void80}81 82define i32 @custom_varg_with_ret(i32 %a, i32 %b, ...) {83 %c = add i32 %a, %b84 ret i32 %c85}86 87define i32 @custom_cb_with_ret(ptr %cb, i32 %a, i32 %b) {88 %r = call i32 %cb(i32 %a, i32 %b)89 ret i32 %r90}91 92define i32 @cb_with_ret(i32 %a, i32 %b) {93 %c = add i32 %a, %b94 ret i32 %c95}96 97define void @custom_cb_without_ret(ptr %cb, i32 %a, i32 %b) {98 call void %cb(i32 %a, i32 %b)99 ret void100}101 102define void @cb_without_ret(i32 %a, i32 %b) {103 ret void104}105 106define ptr @ret_custom() {107 ; CHECK: @ret_custom.dfsan108 ; CHECK: store i32 0, ptr @__dfsan_retval_origin_tls, align 4109 110 ret ptr @custom_with_ret111}112 113define void @call_custom_without_ret(i32 %a, i32 %b) {114 ; CHECK: @call_custom_without_ret.dfsan115 ; CHECK: [[BO:%.*]] = load i32, ptr getelementptr inbounds ([200 x i32], ptr @__dfsan_arg_origin_tls, i64 0, i64 1), align 4116 ; CHECK: [[AO:%.*]] = load i32, ptr @__dfsan_arg_origin_tls, align 4117 ; CHECK: [[BS:%.*]] = load i8, ptr getelementptr (i8, ptr @__dfsan_arg_tls, i64 2), align 2118 ; CHECK: [[AS:%.*]] = load i8, ptr @__dfsan_arg_tls, align 2119 ; CHECK: call void @__dfso_custom_without_ret(i32 %a, i32 %b, i8 zeroext [[AS]], i8 zeroext [[BS]], i32 zeroext [[AO]], i32 zeroext [[BO]])120 ; CHECK-NEXT: ret void121 122 call void @custom_without_ret(i32 %a, i32 %b)123 ret void124}125 126define i32 @call_custom_with_ret(i32 %a, i32 %b) {127 ; CHECK: @call_custom_with_ret.dfsan128 ; CHECK: %originreturn = alloca i32, align 4129 ; CHECK: [[BO:%.*]] = load i32, ptr getelementptr inbounds ([200 x i32], ptr @__dfsan_arg_origin_tls, i64 0, i64 1), align 4130 ; CHECK: [[AO:%.*]] = load i32, ptr @__dfsan_arg_origin_tls, align 4131 ; CHECK: %labelreturn = alloca i8, align 1132 ; CHECK: [[BS:%.*]] = load i8, ptr getelementptr (i8, ptr @__dfsan_arg_tls, i64 2), align 2133 ; CHECK: [[AS:%.*]] = load i8, ptr @__dfsan_arg_tls, align 2134 ; CHECK: {{.*}} = call i32 @__dfso_custom_with_ret(i32 %a, i32 %b, i8 zeroext [[AS]], i8 zeroext [[BS]], ptr %labelreturn, i32 zeroext [[AO]], i32 zeroext [[BO]], ptr %originreturn)135 ; CHECK: [[RS:%.*]] = load i8, ptr %labelreturn, align 1136 ; CHECK: [[RO:%.*]] = load i32, ptr %originreturn, align 4137 ; CHECK: store i8 [[RS]], ptr @__dfsan_retval_tls, align 2138 ; CHECK: store i32 [[RO]], ptr @__dfsan_retval_origin_tls, align 4139 140 %r = call i32 @custom_with_ret(i32 %a, i32 %b)141 ret i32 %r142}143 144define void @call_custom_varg_without_ret(i32 %a, i32 %b) {145 ; CHECK: @call_custom_varg_without_ret.dfsan146 ; CHECK: %originva = alloca [1 x i32], align 4147 ; CHECK: [[BO:%.*]] = load i32, ptr getelementptr inbounds ([200 x i32], ptr @__dfsan_arg_origin_tls, i64 0, i64 1), align 4148 ; CHECK: [[AO:%.*]] = load i32, ptr @__dfsan_arg_origin_tls, align 4149 ; CHECK: %labelva = alloca [1 x i8], align 1150 ; CHECK: [[BS:%.*]] = load i8, ptr getelementptr (i8, ptr @__dfsan_arg_tls, i64 2), align 2151 ; CHECK: [[AS:%.*]] = load i8, ptr @__dfsan_arg_tls, align 2152 ; CHECK: [[VS0:%.*]] = getelementptr inbounds nuw [1 x i8], ptr %labelva, i32 0, i32 0153 ; CHECK: store i8 [[AS]], ptr [[VS0]], align 1154 ; CHECK: [[VS0:%.*]] = getelementptr inbounds nuw [1 x i8], ptr %labelva, i32 0, i32 0155 ; CHECK: [[VO0:%.*]] = getelementptr inbounds nuw [1 x i32], ptr %originva, i32 0, i32 0156 ; CHECK: store i32 [[AO]], ptr [[VO0]], align 4157 ; CHECK: [[VO0:%.*]] = getelementptr inbounds nuw [1 x i32], ptr %originva, i32 0, i32 0158 ; CHECK: call void (i32, i32, i8, i8, ptr, i32, i32, ptr, ...) @__dfso_custom_varg_without_ret(i32 %a, i32 %b, i8 zeroext [[AS]], i8 zeroext [[BS]], ptr [[VS0]], i32 zeroext [[AO]], i32 zeroext [[BO]], ptr [[VO0]], i32 %a)159 ; CHECK-NEXT: ret void160 161 call void (i32, i32, ...) @custom_varg_without_ret(i32 %a, i32 %b, i32 %a)162 ret void163}164 165define i32 @call_custom_varg_with_ret(i32 %a, i32 %b) {166 ; CHECK: @call_custom_varg_with_ret.dfsan167 ; CHECK: %originreturn = alloca i32, align 4168 ; CHECK: %originva = alloca [1 x i32], align 4169 ; CHECK: [[BO:%.*]] = load i32, ptr getelementptr inbounds ([200 x i32], ptr @__dfsan_arg_origin_tls, i64 0, i64 1), align 4170 ; CHECK: [[AO:%.*]] = load i32, ptr @__dfsan_arg_origin_tls171 ; CHECK: %labelreturn = alloca i8, align 1172 ; CHECK: %labelva = alloca [1 x i8], align 1173 ; CHECK: [[BS:%.*]] = load i8, ptr getelementptr (i8, ptr @__dfsan_arg_tls, i64 2), align 2174 ; CHECK: [[AS:%.*]] = load i8, ptr @__dfsan_arg_tls, align 2175 ; CHECK: [[VS0:%.*]] = getelementptr inbounds nuw [1 x i8], ptr %labelva, i32 0, i32 0176 ; CHECK: store i8 [[BS]], ptr [[VS0]], align 1177 ; CHECK: [[VS0:%.*]] = getelementptr inbounds nuw [1 x i8], ptr %labelva, i32 0, i32 0178 ; CHECK: [[VO0:%.*]] = getelementptr inbounds nuw [1 x i32], ptr %originva, i32 0, i32 0179 ; CHECK: store i32 [[BO]], ptr [[VO0]], align 4180 ; CHECK: [[VO0:%.*]] = getelementptr inbounds nuw [1 x i32], ptr %originva, i32 0, i32 0181 ; CHECK: {{.*}} = call i32 (i32, i32, i8, i8, ptr, ptr, i32, i32, ptr, ptr, ...) @__dfso_custom_varg_with_ret(i32 %a, i32 %b, i8 zeroext [[AS]], i8 zeroext [[BS]], ptr [[VS0]], ptr %labelreturn, i32 zeroext [[AO]], i32 zeroext [[BO]], ptr [[VO0]], ptr %originreturn, i32 %b)182 ; CHECK: [[RS:%.*]] = load i8, ptr %labelreturn, align 1183 ; CHECK: [[RO:%.*]] = load i32, ptr %originreturn, align 4184 ; CHECK: store i8 [[RS]], ptr @__dfsan_retval_tls, align 2185 ; CHECK: store i32 [[RO]], ptr @__dfsan_retval_origin_tls, align 4186 187 %r = call i32 (i32, i32, ...) @custom_varg_with_ret(i32 %a, i32 %b, i32 %b)188 ret i32 %r189}190 191define i32 @call_custom_cb_with_ret(i32 %a, i32 %b) {192 ; CHECK: @call_custom_cb_with_ret.dfsan193 ; CHECK: %originreturn = alloca i32, align 4194 ; CHECK: [[BO:%.*]] = load i32, ptr getelementptr inbounds ([200 x i32], ptr @__dfsan_arg_origin_tls, i64 0, i64 1), align 4195 ; CHECK: [[AO:%.*]] = load i32, ptr @__dfsan_arg_origin_tls, align 4196 ; CHECK: %labelreturn = alloca i8, align 1197 ; CHECK: [[BS:%.*]] = load i8, ptr getelementptr (i8, ptr @__dfsan_arg_tls, i64 2), align 2198 ; CHECK: [[AS:%.*]] = load i8, ptr @__dfsan_arg_tls, align 2199 ; CHECK: {{.*}} = call i32 @__dfso_custom_cb_with_ret(ptr @cb_with_ret.dfsan, i32 %a, i32 %b, i8 zeroext 0, i8 zeroext [[AS]], i8 zeroext [[BS]], ptr %labelreturn, i32 zeroext 0, i32 zeroext [[AO]], i32 zeroext [[BO]], ptr %originreturn)200 ; CHECK: [[RS:%.*]] = load i8, ptr %labelreturn, align 1201 ; CHECK: [[RO:%.*]] = load i32, ptr %originreturn, align 4202 ; CHECK: store i8 [[RS]], ptr @__dfsan_retval_tls, align 2203 ; CHECK: store i32 [[RO]], ptr @__dfsan_retval_origin_tls, align 4204 205 %r = call i32 @custom_cb_with_ret(ptr @cb_with_ret, i32 %a, i32 %b)206 ret i32 %r207}208 209define void @call_custom_cb_without_ret(i32 %a, i32 %b) {210 ; CHECK-LABEL: @call_custom_cb_without_ret.dfsan211 ; CHECK: [[BO:%.*]] = load i32, ptr getelementptr inbounds ([200 x i32], ptr @__dfsan_arg_origin_tls, i64 0, i64 1), align 4212 ; CHECK: [[AO:%.*]] = load i32, ptr @__dfsan_arg_origin_tls, align 4213 ; CHECK: [[BS:%.*]] = load i8, ptr getelementptr (i8, ptr @__dfsan_arg_tls, i64 2), align 2214 ; CHECK: [[AS:%.*]] = load i8, ptr @__dfsan_arg_tls, align 2215 ; CHECK: call void @__dfso_custom_cb_without_ret(ptr @cb_without_ret.dfsan, i32 %a, i32 %b, i8 zeroext 0, i8 zeroext [[AS]], i8 zeroext [[BS]], i32 zeroext 0, i32 zeroext [[AO]], i32 zeroext [[BO]])216 ; CHECK-NEXT: ret void217 218 call void @custom_cb_without_ret(ptr @cb_without_ret, i32 %a, i32 %b)219 ret void220}221 222; CHECK: define i32 @discardg(i32 %0, i32 %1)223; CHECK: [[R:%.*]] = call i32 @g.dfsan224; CHECK-NEXT: %_dfsret = load i8, ptr @__dfsan_retval_tls, align 2225; CHECK-NEXT: %_dfsret_o = load i32, ptr @__dfsan_retval_origin_tls, align 4226; CHECK-NEXT: ret i32 [[R]]227 228; CHECK: define linkonce_odr void @"dfso$custom_without_ret"(i32 %0, i32 %1)229; CHECK: [[BO:%.*]] = load i32, ptr getelementptr inbounds ([200 x i32], ptr @__dfsan_arg_origin_tls, i64 0, i64 1), align 4230; CHECK-NEXT: [[AO:%.*]] = load i32, ptr @__dfsan_arg_origin_tls, align 4231; CHECK-NEXT: [[BS:%.*]] = load i8, ptr getelementptr (i8, ptr @__dfsan_arg_tls, i64 2), align 2232; CHECK-NEXT: [[AS:%.*]] = load i8, ptr @__dfsan_arg_tls, align 2233; CHECK-NEXT: call void @__dfso_custom_without_ret(i32 %0, i32 %1, i8 zeroext [[AS]], i8 zeroext [[BS]], i32 zeroext [[AO]], i32 zeroext [[BO]])234; CHECK-NEXT: ret void235 236; CHECK: define linkonce_odr i32 @"dfso$custom_with_ret"(i32 %0, i32 %1)237; CHECK: %originreturn = alloca i32, align 4238; CHECK-NEXT: [[BO:%.*]] = load i32, ptr getelementptr inbounds ([200 x i32], ptr @__dfsan_arg_origin_tls, i64 0, i64 1), align 4239; CHECK-NEXT: [[AO:%.*]] = load i32, ptr @__dfsan_arg_origin_tls, align 4240; CHECK-NEXT: %labelreturn = alloca i8, align 1241; CHECK-NEXT: [[BS:%.*]] = load i8, ptr getelementptr (i8, ptr @__dfsan_arg_tls, i64 2), align 2242; CHECK-NEXT: [[AS:%.*]] = load i8, ptr @__dfsan_arg_tls, align 2243; CHECK-NEXT: [[R:%.*]] = call i32 @__dfso_custom_with_ret(i32 %0, i32 %1, i8 zeroext [[AS]], i8 zeroext [[BS]], ptr %labelreturn, i32 zeroext [[AO]], i32 zeroext [[BO]], ptr %originreturn)244; CHECK-NEXT: [[RS:%.*]] = load i8, ptr %labelreturn, align 1245; CHECK-NEXT: [[RO:%.*]] = load i32, ptr %originreturn, align 4246; CHECK-NEXT: store i8 [[RS]], ptr @__dfsan_retval_tls, align 2247; CHECK-NEXT: store i32 [[RO]], ptr @__dfsan_retval_origin_tls, align 4248; CHECK-NEXT: ret i32 [[R]]249 250; CHECK: define linkonce_odr void @"dfso$custom_varg_without_ret"(i32 %0, i32 %1, ...)251; CHECK: call void @__dfsan_vararg_wrapper(ptr @0)252; CHECK-NEXT: unreachable253 254; CHECK: define linkonce_odr i32 @"dfso$custom_varg_with_ret"(i32 %0, i32 %1, ...)255; CHECK: call void @__dfsan_vararg_wrapper(ptr @1)256; CHECK-NEXT: unreachable257 258; CHECK: define linkonce_odr i32 @"dfso$custom_cb_with_ret"(ptr %0, i32 %1, i32 %2)259; CHECK: %originreturn = alloca i32, align 4260; CHECK-NEXT: [[BO:%.*]] = load i32, ptr getelementptr inbounds ([200 x i32], ptr @__dfsan_arg_origin_tls, i64 0, i64 2), align 4261; CHECK-NEXT: [[AO:%.*]] = load i32, ptr getelementptr inbounds ([200 x i32], ptr @__dfsan_arg_origin_tls, i64 0, i64 1), align 4262; CHECK-NEXT: [[CO:%.*]] = load i32, ptr @__dfsan_arg_origin_tls, align 4263; CHECK-NEXT: %labelreturn = alloca i8, align 1264; CHECK-NEXT: [[BS:%.*]] = load i8, ptr getelementptr (i8, ptr @__dfsan_arg_tls, i64 4), align 2265; CHECK-NEXT: [[AS:%.*]] = load i8, ptr getelementptr (i8, ptr @__dfsan_arg_tls, i64 2), align 2266; CHECK-NEXT: [[CS:%.*]] = load i8, ptr @__dfsan_arg_tls, align 2267; CHECK-NEXT: [[R:%.*]] = call i32 @__dfso_custom_cb_with_ret(ptr %0, i32 %1, i32 %2, i8 zeroext [[CS]], i8 zeroext [[AS]], i8 zeroext [[BS]], ptr %labelreturn, i32 zeroext [[CO]], i32 zeroext [[AO]], i32 zeroext [[BO]], ptr %originreturn)268; CHECK-NEXT: [[RS:%.*]] = load i8, ptr %labelreturn, align 1269; CHECK-NEXT: [[RO:%.*]] = load i32, ptr %originreturn, align 4270; CHECK-NEXT: store i8 [[RS]], ptr @__dfsan_retval_tls, align 2271; CHECK-NEXT: store i32 [[RO]], ptr @__dfsan_retval_origin_tls, align 4272; CHECK-NEXT: ret i32 [[R]]273 274; CHECK: define linkonce_odr void @"dfso$custom_cb_without_ret"(ptr %0, i32 %1, i32 %2)275; CHECK: [[BO:%.*]] = load i32, ptr getelementptr inbounds ([200 x i32], ptr @__dfsan_arg_origin_tls, i64 0, i64 2), align 4276; CHECK-NEXT: [[AO:%.*]] = load i32, ptr getelementptr inbounds ([200 x i32], ptr @__dfsan_arg_origin_tls, i64 0, i64 1), align 4277; CHECK-NEXT: [[CO:%.*]] = load i32, ptr @__dfsan_arg_origin_tls, align 4278; CHECK-NEXT: [[BS:%.*]] = load i8, ptr getelementptr (i8, ptr @__dfsan_arg_tls, i64 4), align 2279; CHECK-NEXT: [[AS:%.*]] = load i8, ptr getelementptr (i8, ptr @__dfsan_arg_tls, i64 2), align 2280; CHECK-NEXT: [[CS:%.*]] = load i8, ptr @__dfsan_arg_tls, align 2281; CHECK-NEXT: call void @__dfso_custom_cb_without_ret(ptr %0, i32 %1, i32 %2, i8 zeroext [[CS]], i8 zeroext [[AS]], i8 zeroext [[BS]], i32 zeroext [[CO]], i32 zeroext [[AO]], i32 zeroext [[BO]])282; CHECK-NEXT: ret void283 284; CHECK: declare void @__dfso_custom_without_ret(i32, i32, i8, i8, i32, i32)285 286; CHECK: declare i32 @__dfso_custom_with_ret(i32, i32, i8, i8, ptr, i32, i32, ptr)287 288; CHECK: declare i32 @__dfso_custom_cb_with_ret(ptr, i32, i32, i8, i8, i8, ptr, i32, i32, i32, ptr)289 290; CHECK: declare void @__dfso_custom_cb_without_ret(ptr, i32, i32, i8, i8, i8, i32, i32, i32)291 292; CHECK: declare void @__dfso_custom_varg_without_ret(i32, i32, i8, i8, ptr, i32, i32, ptr, ...)293 294; CHECK: declare i32 @__dfso_custom_varg_with_ret(i32, i32, i8, i8, ptr, ptr, i32, i32, ptr, ptr, ...)295