asan: add kernel inline instrumentation test

[andreyknvl]

Summary

Add a test that checks that kernel inline instrumentation works.

[vsk]

Thanks! Let me know if you need this to be committed for you.

[andreyknvl]

Yes, that would be great if you commit this.

[vsk]

I had to revert this: http://lab.llvm.org:8011/builders/llvm-clang-lld-x86_64-scei-ps4-ubuntu-fast/builds/24077/steps/test/logs/stdio.

Is the load_n supposed to be loadN?

[andreyknvl]

Fixed "_n" vs "N" naming and added "-asan-recover=1" flag, which is always enabled for the kernel.

[andreyknvl]

Sorry, it was supposed to go on top of https://reviews.llvm.org/D42423 (which is committed now).
Anyway, I noticed an issue in naming ("loadN" is actually supposed to be "load_n") and another issue with asan flags (need "-asan-recover=1" and "noabort" suffixes).
Could you try again?

[andreyknvl]

Renamed kernel_inline.ll to kernel-inline.ll

[andreyknvl]

This is still not committed AFAICT.

[eugenis]

I'll take care of it.

[vsk]

@eugenis I did not see your message in time. I committed this test in r325710.

[eugenis]

That's great, I'm still testing it in combination with https://reviews.llvm.org/D42473. It should simply go away when I do git pull.

test/Instrumentation/HWAddressSanitizer/kernel-inline.ll

+; Test kernel inline hwasan instrumentation.
+
+; RUN: opt < %s -asan -asan-kernel=1 -asan-recover=1 -asan-instrumentation-with-call-threshold=10000 -S | FileCheck --check-prefixes=CHECK-INLINE %s
+; RUN: opt < %s -asan -asan-kernel=1 -asan-recover=1 -asan-instrumentation-with-call-threshold=0 -S | FileCheck --check-prefixes=CHECK-CALLBACK %s
+
+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"
+target triple = "x86_64-unknown-linux-gnu"
+
+define void @test_load(i32* %a, i64* %b, i512* %c, i80* %d) sanitize_address {
+entry:
+  %tmp1 = load i32, i32* %a, align 4
+  %tmp2 = load i64, i64* %b, align 8
+  %tmp3 = load i512, i512* %c, align 32
+  %tmp4 = load i80, i80* %d, align 8
+  ret void
+}
+; CHECK-INLINE: call void @__asan_report_load4_noabort
+; CHECK-INLINE: call void @__asan_report_load8_noabort
+; CHECK-INLINE: call void @__asan_report_load_n_noabort
+; CHECK-INLINE-NOT: call void @__asan_load4_noabort
+; CHECK-INLINE-NOT: call void @__asan_load8_noabort
+; CHECK-INLINE-NOT: call void @__asan_loadN_noabort
+; CHECK-CALLBACK: call void @__asan_load4_noabort
+; CHECK-CALLBACK: call void @__asan_load8_noabort
+; CHECK-CALLBACK: call void @__asan_loadN_noabort
+; CHECK-CALLBACK-NOT: call void @__asan_report_load4_noabort
+; CHECK-CALLBACK-NOT: call void @__asan_report_load8_noabort
+; CHECK-CALLBACK-NOT: call void @__asan_report_load_n_noabort