323 lines · plain
1; RUN: opt < %s -passes=dfsan -dfsan-event-callbacks=true -S | FileCheck %s --check-prefixes=CHECK,EVENT_CALLBACKS2; RUN: opt < %s -passes=dfsan -S | FileCheck %s --check-prefixes=CHECK,FAST3; RUN: opt < %s -passes=dfsan -dfsan-combine-pointer-labels-on-load=false -S | FileCheck %s --check-prefixes=CHECK,NO_COMBINE_LOAD_PTR4; RUN: opt < %s -passes=dfsan -dfsan-combine-pointer-labels-on-store=true -S | FileCheck %s --check-prefixes=CHECK,COMBINE_STORE_PTR5; RUN: opt < %s -passes=dfsan -dfsan-debug-nonzero-labels -S | FileCheck %s --check-prefixes=CHECK,DEBUG_NONZERO_LABELS6target 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 9; CHECK: @__dfsan_arg_tls = external thread_local(initialexec) global [[TLS_ARR:\[100 x i64\]]]10; CHECK: @__dfsan_retval_tls = external thread_local(initialexec) global [[TLS_ARR]]11define [4 x i8] @pass_array([4 x i8] %a) {12 ; NO_COMBINE_LOAD_PTR: @pass_array.dfsan13 ; NO_COMBINE_LOAD_PTR: %1 = load [4 x i8], ptr @__dfsan_arg_tls, align [[ALIGN:2]]14 ; NO_COMBINE_LOAD_PTR: store [4 x i8] %1, ptr @__dfsan_retval_tls, align [[ALIGN]]15 16 ; DEBUG_NONZERO_LABELS: @pass_array.dfsan17 ; DEBUG_NONZERO_LABELS: [[L:%.*]] = load [4 x i8], ptr @__dfsan_arg_tls, align [[ALIGN:2]]18 ; DEBUG_NONZERO_LABELS: [[L0:%.*]] = extractvalue [4 x i8] [[L]], 019 ; DEBUG_NONZERO_LABELS: [[L1:%.*]] = extractvalue [4 x i8] [[L]], 120 ; DEBUG_NONZERO_LABELS: [[L01:%.*]] = or i8 [[L0]], [[L1]]21 ; DEBUG_NONZERO_LABELS: [[L2:%.*]] = extractvalue [4 x i8] [[L]], 222 ; DEBUG_NONZERO_LABELS: [[L012:%.*]] = or i8 [[L01]], [[L2]]23 ; DEBUG_NONZERO_LABELS: [[L3:%.*]] = extractvalue [4 x i8] [[L]], 324 ; DEBUG_NONZERO_LABELS: [[L0123:%.*]] = or i8 [[L012]], [[L3]]25 ; DEBUG_NONZERO_LABELS: {{.*}} = icmp ne i8 [[L0123]], 026 ; DEBUG_NONZERO_LABELS: call void @__dfsan_nonzero_label()27 28 ret [4 x i8] %a29}30 31%ArrayOfStruct = type [4 x {ptr, i32}]32 33define %ArrayOfStruct @pass_array_of_struct(%ArrayOfStruct %as) {34 ; NO_COMBINE_LOAD_PTR: @pass_array_of_struct.dfsan35 ; NO_COMBINE_LOAD_PTR: %1 = load [4 x { i8, i8 }], ptr @__dfsan_arg_tls, align [[ALIGN:2]]36 ; NO_COMBINE_LOAD_PTR: store [4 x { i8, i8 }] %1, ptr @__dfsan_retval_tls, align [[ALIGN]]37 38 ret %ArrayOfStruct %as39}40 41define ptr @alloca_ret_array() {42 ; NO_COMBINE_LOAD_PTR: @alloca_ret_array.dfsan43 ; NO_COMBINE_LOAD_PTR: store i8 0, ptr @__dfsan_retval_tls, align 244 %p = alloca [4 x i1]45 ret ptr %p46}47 48define [4 x i1] @load_alloca_array() {49 ; NO_COMBINE_LOAD_PTR-LABEL: @load_alloca_array.dfsan50 ; NO_COMBINE_LOAD_PTR-NEXT: %[[#R:]] = alloca i8, align 151 ; NO_COMBINE_LOAD_PTR-NEXT: %p = alloca [4 x i1]52 ; NO_COMBINE_LOAD_PTR-NEXT: %[[#R+1]] = load i8, ptr %[[#R]], align 153 ; NO_COMBINE_LOAD_PTR-NEXT: %[[#R+2]] = insertvalue [4 x i8] undef, i8 %[[#R+1]], 054 ; NO_COMBINE_LOAD_PTR-NEXT: %[[#R+3]] = insertvalue [4 x i8] %[[#R+2]], i8 %[[#R+1]], 155 ; NO_COMBINE_LOAD_PTR-NEXT: %[[#R+4]] = insertvalue [4 x i8] %[[#R+3]], i8 %[[#R+1]], 256 ; NO_COMBINE_LOAD_PTR-NEXT: %[[#R+5]] = insertvalue [4 x i8] %[[#R+4]], i8 %[[#R+1]], 357 ; NO_COMBINE_LOAD_PTR-NEXT: %a = load [4 x i1], ptr %p58 ; NO_COMBINE_LOAD_PTR-NEXT: store [4 x i8] %[[#R+5]], ptr @__dfsan_retval_tls, align 259 ; NO_COMBINE_LOAD_PTR-NEXT: ret [4 x i1] %a60 61 %p = alloca [4 x i1]62 %a = load [4 x i1], ptr %p63 ret [4 x i1] %a64}65 66define [0 x i1] @load_array0(ptr %p) {67 ; NO_COMBINE_LOAD_PTR: @load_array0.dfsan68 ; NO_COMBINE_LOAD_PTR: store [0 x i8] zeroinitializer, ptr @__dfsan_retval_tls, align 269 %a = load [0 x i1], ptr %p70 ret [0 x i1] %a71}72 73define [1 x i1] @load_array1(ptr %p) {74 ; NO_COMBINE_LOAD_PTR: @load_array1.dfsan75 ; NO_COMBINE_LOAD_PTR: [[L:%.*]] = load i8,76 ; NO_COMBINE_LOAD_PTR: [[S:%.*]] = insertvalue [1 x i8] undef, i8 [[L]], 077 ; NO_COMBINE_LOAD_PTR: store [1 x i8] [[S]], ptr @__dfsan_retval_tls, align 278 79 ; EVENT_CALLBACKS: @load_array1.dfsan80 ; EVENT_CALLBACKS: [[L:%.*]] = or i881 ; EVENT_CALLBACKS: call void @__dfsan_load_callback(i8 zeroext [[L]], ptr {{.*}})82 83 ; FAST: @load_array1.dfsan84 ; FAST: [[P:%.*]] = load i8, ptr @__dfsan_arg_tls, align [[ALIGN:2]]85 ; FAST: [[L:%.*]] = load i8, ptr {{.*}}, align 186 ; FAST: [[U:%.*]] = or i8 [[L]], [[P]]87 ; FAST: [[S1:%.*]] = insertvalue [1 x i8] undef, i8 [[U]], 088 ; FAST: store [1 x i8] [[S1]], ptr @__dfsan_retval_tls, align [[ALIGN]]89 90 %a = load [1 x i1], ptr %p91 ret [1 x i1] %a92}93 94define [2 x i1] @load_array2(ptr %p) {95 ; NO_COMBINE_LOAD_PTR: @load_array2.dfsan96 ; NO_COMBINE_LOAD_PTR: [[P1:%.*]] = getelementptr i8, ptr [[P0:%.*]], i64 197 ; NO_COMBINE_LOAD_PTR-DAG: [[E1:%.*]] = load i8, ptr [[P1]], align 198 ; NO_COMBINE_LOAD_PTR-DAG: [[E0:%.*]] = load i8, ptr [[P0]], align 199 ; NO_COMBINE_LOAD_PTR: [[U:%.*]] = or i8 [[E0]], [[E1]]100 ; NO_COMBINE_LOAD_PTR: [[S1:%.*]] = insertvalue [2 x i8] undef, i8 [[U]], 0101 ; NO_COMBINE_LOAD_PTR: [[S2:%.*]] = insertvalue [2 x i8] [[S1]], i8 [[U]], 1102 ; NO_COMBINE_LOAD_PTR: store [2 x i8] [[S2]], ptr @__dfsan_retval_tls, align [[ALIGN:2]]103 104 ; EVENT_CALLBACKS: @load_array2.dfsan105 ; EVENT_CALLBACKS: [[O1:%.*]] = or i8106 ; EVENT_CALLBACKS: [[O2:%.*]] = or i8 [[O1]]107 ; EVENT_CALLBACKS: call void @__dfsan_load_callback(i8 zeroext [[O2]], ptr {{.*}})108 109 ; FAST: @load_array2.dfsan110 ; FAST: [[P:%.*]] = load i8, ptr @__dfsan_arg_tls, align [[ALIGN:2]]111 ; FAST: [[O:%.*]] = or i8112 ; FAST: [[U:%.*]] = or i8 [[O]], [[P]]113 ; FAST: [[S:%.*]] = insertvalue [2 x i8] undef, i8 [[U]], 0114 ; FAST: [[S1:%.*]] = insertvalue [2 x i8] [[S]], i8 [[U]], 1115 ; FAST: store [2 x i8] [[S1]], ptr @__dfsan_retval_tls, align [[ALIGN]]116 %a = load [2 x i1], ptr %p117 ret [2 x i1] %a118}119 120define [4 x i1] @load_array4(ptr %p) {121 ; NO_COMBINE_LOAD_PTR: @load_array4.dfsan122 ; NO_COMBINE_LOAD_PTR: [[T:%.*]] = trunc i32 {{.*}} to i8123 ; NO_COMBINE_LOAD_PTR: [[S1:%.*]] = insertvalue [4 x i8] undef, i8 [[T]], 0124 ; NO_COMBINE_LOAD_PTR: [[S2:%.*]] = insertvalue [4 x i8] [[S1]], i8 [[T]], 1125 ; NO_COMBINE_LOAD_PTR: [[S3:%.*]] = insertvalue [4 x i8] [[S2]], i8 [[T]], 2126 ; NO_COMBINE_LOAD_PTR: [[S4:%.*]] = insertvalue [4 x i8] [[S3]], i8 [[T]], 3127 ; NO_COMBINE_LOAD_PTR: store [4 x i8] [[S4]], ptr @__dfsan_retval_tls, align 2128 129 ; EVENT_CALLBACKS: @load_array4.dfsan130 ; EVENT_CALLBACKS: [[O0:%.*]] = or i32131 ; EVENT_CALLBACKS: [[O1:%.*]] = or i32 [[O0]]132 ; EVENT_CALLBACKS: [[O2:%.*]] = trunc i32 [[O1]] to i8133 ; EVENT_CALLBACKS: [[O3:%.*]] = or i8 [[O2]]134 ; EVENT_CALLBACKS: call void @__dfsan_load_callback(i8 zeroext [[O3]], ptr {{.*}})135 136 ; FAST: @load_array4.dfsan137 ; FAST: [[T:%.*]] = trunc i32 {{.*}} to i8138 ; FAST: [[O:%.*]] = or i8 [[T]]139 ; FAST: [[S1:%.*]] = insertvalue [4 x i8] undef, i8 [[O]], 0140 ; FAST: [[S2:%.*]] = insertvalue [4 x i8] [[S1]], i8 [[O]], 1141 ; FAST: [[S3:%.*]] = insertvalue [4 x i8] [[S2]], i8 [[O]], 2142 ; FAST: [[S4:%.*]] = insertvalue [4 x i8] [[S3]], i8 [[O]], 3143 ; FAST: store [4 x i8] [[S4]], ptr @__dfsan_retval_tls, align 2144 145 %a = load [4 x i1], ptr %p146 ret [4 x i1] %a147}148 149define i1 @extract_array([4 x i1] %a) {150 ; NO_COMBINE_LOAD_PTR: @extract_array.dfsan151 ; NO_COMBINE_LOAD_PTR: [[AM:%.*]] = load [4 x i8], ptr @__dfsan_arg_tls, align [[ALIGN:2]]152 ; NO_COMBINE_LOAD_PTR: [[EM:%.*]] = extractvalue [4 x i8] [[AM]], 2153 ; NO_COMBINE_LOAD_PTR: store i8 [[EM]], ptr @__dfsan_retval_tls, align 2154 %e2 = extractvalue [4 x i1] %a, 2155 ret i1 %e2156}157 158define [4 x i1] @insert_array([4 x i1] %a, i1 %e2) {159 ; NO_COMBINE_LOAD_PTR: @insert_array.dfsan160 ; NO_COMBINE_LOAD_PTR: [[EM:%.*]] = load i8, ptr161 ; NO_COMBINE_LOAD_PTR-SAME: getelementptr (i8, ptr @__dfsan_arg_tls, i64 4), align [[ALIGN:2]]162 ; NO_COMBINE_LOAD_PTR: [[AM:%.*]] = load [4 x i8], ptr @__dfsan_arg_tls, align [[ALIGN]]163 ; NO_COMBINE_LOAD_PTR: [[AM1:%.*]] = insertvalue [4 x i8] [[AM]], i8 [[EM]], 0164 ; NO_COMBINE_LOAD_PTR: store [4 x i8] [[AM1]], ptr @__dfsan_retval_tls, align [[ALIGN]]165 %a1 = insertvalue [4 x i1] %a, i1 %e2, 0166 ret [4 x i1] %a1167}168 169define void @store_alloca_array([4 x i1] %a) {170 ; FAST: @store_alloca_array.dfsan171 ; FAST: [[S:%.*]] = load [4 x i8], ptr @__dfsan_arg_tls, align [[ALIGN:2]]172 ; FAST: [[SP:%.*]] = alloca i8, align 1173 ; FAST: [[E0:%.*]] = extractvalue [4 x i8] [[S]], 0174 ; FAST: [[E1:%.*]] = extractvalue [4 x i8] [[S]], 1175 ; FAST: [[E01:%.*]] = or i8 [[E0]], [[E1]]176 ; FAST: [[E2:%.*]] = extractvalue [4 x i8] [[S]], 2177 ; FAST: [[E012:%.*]] = or i8 [[E01]], [[E2]]178 ; FAST: [[E3:%.*]] = extractvalue [4 x i8] [[S]], 3179 ; FAST: [[E0123:%.*]] = or i8 [[E012]], [[E3]]180 ; FAST: store i8 [[E0123]], ptr [[SP]], align 1181 %p = alloca [4 x i1]182 store [4 x i1] %a, ptr %p183 ret void184}185 186define void @store_zero_array(ptr %p) {187 ; FAST: @store_zero_array.dfsan188 ; FAST: store i32 0, ptr {{.*}}189 store [4 x i1] zeroinitializer, ptr %p190 ret void191}192 193define void @store_array2([2 x i1] %a, ptr %p) {194 ; EVENT_CALLBACKS: @store_array2.dfsan195 ; EVENT_CALLBACKS: [[E12:%.*]] = or i8196 ; EVENT_CALLBACKS: call void @__dfsan_store_callback(i8 zeroext [[E12]], ptr %p)197 198 ; FAST: @store_array2.dfsan199 ; FAST: [[S:%.*]] = load [2 x i8], ptr @__dfsan_arg_tls, align [[ALIGN:2]]200 ; FAST: [[E1:%.*]] = extractvalue [2 x i8] [[S]], 0201 ; FAST: [[E2:%.*]] = extractvalue [2 x i8] [[S]], 1202 ; FAST: [[E12:%.*]] = or i8 [[E1]], [[E2]]203 ; FAST: [[SP0:%.*]] = getelementptr i8, ptr [[SP:%.*]], i32 0204 ; FAST: store i8 [[E12]], ptr [[SP0]], align 1205 ; FAST: [[SP1:%.*]] = getelementptr i8, ptr [[SP]], i32 1206 ; FAST: store i8 [[E12]], ptr [[SP1]], align 1207 208 ; COMBINE_STORE_PTR: @store_array2.dfsan209 ; COMBINE_STORE_PTR: [[O:%.*]] = or i8210 ; COMBINE_STORE_PTR: [[U:%.*]] = or i8 [[O]]211 ; COMBINE_STORE_PTR: [[P1:%.*]] = getelementptr i8, ptr [[P:%.*]], i32 0212 ; COMBINE_STORE_PTR: store i8 [[U]], ptr [[P1]], align 1213 ; COMBINE_STORE_PTR: [[P2:%.*]] = getelementptr i8, ptr [[P]], i32 1214 ; COMBINE_STORE_PTR: store i8 [[U]], ptr [[P2]], align 1215 216 store [2 x i1] %a, ptr %p217 ret void218}219 220define void @store_array17([17 x i1] %a, ptr %p) {221 ; FAST: @store_array17.dfsan222 ; FAST: %[[#R:]] = load [17 x i8], ptr @__dfsan_arg_tls, align 2223 ; FAST: %[[#R+1]] = extractvalue [17 x i8] %[[#R]], 0224 ; FAST: %[[#R+2]] = extractvalue [17 x i8] %[[#R]], 1225 ; FAST: %[[#R+3]] = or i8 %[[#R+1]], %[[#R+2]]226 ; FAST: %[[#R+4]] = extractvalue [17 x i8] %[[#R]], 2227 ; FAST: %[[#R+5]] = or i8 %[[#R+3]], %[[#R+4]]228 ; FAST: %[[#R+6]] = extractvalue [17 x i8] %[[#R]], 3229 ; FAST: %[[#R+7]] = or i8 %[[#R+5]], %[[#R+6]]230 ; FAST: %[[#R+8]] = extractvalue [17 x i8] %[[#R]], 4231 ; FAST: %[[#R+9]] = or i8 %[[#R+7]], %[[#R+8]]232 ; FAST: %[[#R+10]] = extractvalue [17 x i8] %[[#R]], 5233 ; FAST: %[[#R+11]] = or i8 %[[#R+9]], %[[#R+10]]234 ; FAST: %[[#R+12]] = extractvalue [17 x i8] %[[#R]], 6235 ; FAST: %[[#R+13]] = or i8 %[[#R+11]], %[[#R+12]]236 ; FAST: %[[#R+14]] = extractvalue [17 x i8] %[[#R]], 7237 ; FAST: %[[#R+15]] = or i8 %[[#R+13]], %[[#R+14]]238 ; FAST: %[[#R+16]] = extractvalue [17 x i8] %[[#R]], 8239 ; FAST: %[[#R+17]] = or i8 %[[#R+15]], %[[#R+16]]240 ; FAST: %[[#R+18]] = extractvalue [17 x i8] %[[#R]], 9241 ; FAST: %[[#R+19]] = or i8 %[[#R+17]], %[[#R+18]]242 ; FAST: %[[#R+20]] = extractvalue [17 x i8] %[[#R]], 10243 ; FAST: %[[#R+21]] = or i8 %[[#R+19]], %[[#R+20]]244 ; FAST: %[[#R+22]] = extractvalue [17 x i8] %[[#R]], 11245 ; FAST: %[[#R+23]] = or i8 %[[#R+21]], %[[#R+22]]246 ; FAST: %[[#R+24]] = extractvalue [17 x i8] %[[#R]], 12247 ; FAST: %[[#R+25]] = or i8 %[[#R+23]], %[[#R+24]]248 ; FAST: %[[#R+26]] = extractvalue [17 x i8] %[[#R]], 13249 ; FAST: %[[#R+27]] = or i8 %[[#R+25]], %[[#R+26]]250 ; FAST: %[[#R+28]] = extractvalue [17 x i8] %[[#R]], 14251 ; FAST: %[[#R+29]] = or i8 %[[#R+27]], %[[#R+28]]252 ; FAST: %[[#R+30]] = extractvalue [17 x i8] %[[#R]], 15253 ; FAST: %[[#R+31]] = or i8 %[[#R+29]], %[[#R+30]]254 ; FAST: %[[#R+32]] = extractvalue [17 x i8] %[[#R]], 16255 ; FAST: %[[#R+33]] = or i8 %[[#R+31]], %[[#R+32]]256 ; FAST: %[[#VREG:]] = insertelement <8 x i8> poison, i8 %[[#R+33]], i32 0257 ; FAST: %[[#VREG+1]] = insertelement <8 x i8> %[[#VREG]], i8 %[[#R+33]], i32 1258 ; FAST: %[[#VREG+2]] = insertelement <8 x i8> %[[#VREG+1]], i8 %[[#R+33]], i32 2259 ; FAST: %[[#VREG+3]] = insertelement <8 x i8> %[[#VREG+2]], i8 %[[#R+33]], i32 3260 ; FAST: %[[#VREG+4]] = insertelement <8 x i8> %[[#VREG+3]], i8 %[[#R+33]], i32 4261 ; FAST: %[[#VREG+5]] = insertelement <8 x i8> %[[#VREG+4]], i8 %[[#R+33]], i32 5262 ; FAST: %[[#VREG+6]] = insertelement <8 x i8> %[[#VREG+5]], i8 %[[#R+33]], i32 6263 ; FAST: %[[#VREG+7]] = insertelement <8 x i8> %[[#VREG+6]], i8 %[[#R+33]], i32 7264 ; FAST: %[[#VREG+8]] = getelementptr <8 x i8>, ptr %[[P:.*]], i32 0265 ; FAST: store <8 x i8> %[[#VREG+7]], ptr %[[#VREG+8]], align 1266 ; FAST: %[[#VREG+9]] = getelementptr <8 x i8>, ptr %[[P]], i32 1267 ; FAST: store <8 x i8> %[[#VREG+7]], ptr %[[#VREG+9]], align 1268 ; FAST: %[[#VREG+10]] = getelementptr i8, ptr %[[P]], i32 16269 ; FAST: store i8 %[[#R+33]], ptr %[[#VREG+10]], align 1270 store [17 x i1] %a, ptr %p271 ret void272}273 274define [2 x i32] @const_array() {275 ; FAST: @const_array.dfsan276 ; FAST: store [2 x i8] zeroinitializer, ptr @__dfsan_retval_tls, align 2277 ret [2 x i32] [ i32 42, i32 11 ]278}279 280define [4 x i8] @call_array([4 x i8] %a) {281 ; FAST-LABEL: @call_array.dfsan282 ; FAST: %[[#R:]] = load [4 x i8], ptr @__dfsan_arg_tls, align [[ALIGN:2]]283 ; FAST: store [4 x i8] %[[#R]], ptr @__dfsan_arg_tls, align [[ALIGN]]284 ; FAST: %_dfsret = load [4 x i8], ptr @__dfsan_retval_tls, align [[ALIGN]]285 ; FAST: store [4 x i8] %_dfsret, ptr @__dfsan_retval_tls, align [[ALIGN]]286 287 %r = call [4 x i8] @pass_array([4 x i8] %a)288 ret [4 x i8] %r289}290 291%LargeArr = type [1000 x i8]292 293define i8 @fun_with_large_args(i1 %i, %LargeArr %a) {294 ; FAST: @fun_with_large_args.dfsan295 ; FAST: store i8 0, ptr @__dfsan_retval_tls, align 2296 %r = extractvalue %LargeArr %a, 0297 ret i8 %r298}299 300define %LargeArr @fun_with_large_ret() {301 ; FAST: @fun_with_large_ret.dfsan302 ; FAST-NEXT: ret [1000 x i8] zeroinitializer303 ret %LargeArr zeroinitializer304}305 306define i8 @call_fun_with_large_ret() {307 ; FAST: @call_fun_with_large_ret.dfsan308 ; FAST: store i8 0, ptr @__dfsan_retval_tls, align 2309 %r = call %LargeArr @fun_with_large_ret()310 %e = extractvalue %LargeArr %r, 0311 ret i8 %e312}313 314define i8 @call_fun_with_large_args(i1 %i, %LargeArr %a) {315 ; FAST: @call_fun_with_large_args.dfsan316 ; FAST: [[I:%.*]] = load i8, ptr @__dfsan_arg_tls, align [[ALIGN:2]]317 ; FAST: store i8 [[I]], ptr @__dfsan_arg_tls, align [[ALIGN]]318 ; FAST: %r = call i8 @fun_with_large_args.dfsan(i1 %i, [1000 x i8] %a)319 320 %r = call i8 @fun_with_large_args(i1 %i, %LargeArr %a)321 ret i8 %r322}323