[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Instrumentation / HWAddressSanitizer / kernel-inline.ll
blob9421fc201ec0ae1a50c16e265806ec0f922c66a3
1 ; Test kernel inline hwasan instrumentation.
3 ; RUN: opt < %s -asan -asan-kernel=1 -asan-recover=1 -asan-instrumentation-with-call-threshold=10000 -S | FileCheck --check-prefixes=CHECK-INLINE %s
4 ; RUN: opt < %s -asan -asan-kernel=1 -asan-recover=1 -asan-instrumentation-with-call-threshold=0 -S | FileCheck --check-prefixes=CHECK-CALLBACK %s
6 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"
7 target triple = "x86_64-unknown-linux-gnu"
9 define void @test_load(i32* %a, i64* %b, i512* %c, i80* %d) sanitize_address {
10 entry:
11   %tmp1 = load i32, i32* %a, align 4
12   %tmp2 = load i64, i64* %b, align 8
13   %tmp3 = load i512, i512* %c, align 32
14   %tmp4 = load i80, i80* %d, align 8
15   ret void
17 ; CHECK-INLINE: call void @__asan_report_load4_noabort
18 ; CHECK-INLINE: call void @__asan_report_load8_noabort
19 ; CHECK-INLINE: call void @__asan_report_load_n_noabort
20 ; CHECK-INLINE-NOT: call void @__asan_load4_noabort
21 ; CHECK-INLINE-NOT: call void @__asan_load8_noabort
22 ; CHECK-INLINE-NOT: call void @__asan_loadN_noabort
23 ; CHECK-CALLBACK: call void @__asan_load4_noabort
24 ; CHECK-CALLBACK: call void @__asan_load8_noabort
25 ; CHECK-CALLBACK: call void @__asan_loadN_noabort
26 ; CHECK-CALLBACK-NOT: call void @__asan_report_load4_noabort
27 ; CHECK-CALLBACK-NOT: call void @__asan_report_load8_noabort
28 ; CHECK-CALLBACK-NOT: call void @__asan_report_load_n_noabort