diff options
Diffstat (limited to 'test/Instrumentation')
5 files changed, 62 insertions, 9 deletions
diff --git a/test/Instrumentation/AddressSanitizer/X86/asm_cpuid.ll b/test/Instrumentation/AddressSanitizer/X86/asm_cpuid.ll new file mode 100644 index 0000000..cfa91d4 --- /dev/null +++ b/test/Instrumentation/AddressSanitizer/X86/asm_cpuid.ll @@ -0,0 +1,53 @@ +; RUN: opt < %s -asan -S -o %t.ll +; RUN: FileCheck %s < %t.ll +; RUN: llc < %t.ll | FileCheck %s --check-prefix=ASM + +target datalayout = "e-m:x-p:32:32-i64:64-f80:32-n8:16:32-S32" +target triple = "i386-pc-windows-msvc" + +define void @MyCPUID(i32 %fxn, i32* %out) sanitize_address { + %fxn.ptr = alloca i32 + %a.ptr = alloca i32 + %b.ptr = alloca i32 + %c.ptr = alloca i32 + %d.ptr = alloca i32 + store i32 %fxn, i32* %fxn.ptr + call void asm sideeffect inteldialect "xchg ebx, esi\0A\09mov eax, dword ptr $4\0A\09cpuid\0A\09mov dword ptr $0, eax\0A\09mov dword ptr $1, ebx\0A\09mov dword ptr $2, ecx\0A\09mov dword ptr $3, edx\0A\09xchg ebx, esi", "=*m,=*m,=*m,=*m,*m,~{eax},~{ebx},~{ecx},~{edx},~{esi},~{dirflag},~{fpsr},~{flags}"(i32* %a.ptr, i32* %b.ptr, i32* %c.ptr, i32* %d.ptr, i32* %fxn.ptr) + + %a = load i32, i32* %a.ptr + %a.out = getelementptr inbounds i32, i32* %out, i32 0 + store i32 %a, i32* %a.out + + %b = load i32, i32* %b.ptr + %b.out = getelementptr inbounds i32, i32* %out, i32 1 + store i32 %b, i32* %b.out + + %c = load i32, i32* %c.ptr + %c.out = getelementptr inbounds i32, i32* %out, i32 2 + store i32 %c, i32* %c.out + + %d = load i32, i32* %d.ptr + %d.out = getelementptr inbounds i32, i32* %out, i32 3 + store i32 %d, i32* %d.out + + ret void +} + +; We used to introduce stack mallocs for UAR detection, but that makes LLVM run +; out of registers on 32-bit platforms. Therefore, we don't do stack malloc on +; such functions. + +; CHECK-LABEL: define void @MyCPUID(i32 %fxn, i32* %out) +; CHECK: %MyAlloca = alloca [96 x i8], align 32 +; CHECK-NOT: call {{.*}} @__asan_stack_malloc + +; The code generator should recognize that all operands are just stack memory. +; This is important with MS inline asm where operand lists are implicit and all +; local variables can be referenced freely. + +; ASM-LABEL: MyCPUID: +; ASM: cpuid +; ASM-NEXT: movl %eax, {{[0-9]+}}(%esp) +; ASM-NEXT: movl %ebx, {{[0-9]+}}(%esp) +; ASM-NEXT: movl %ecx, {{[0-9]+}}(%esp) +; ASM-NEXT: movl %edx, {{[0-9]+}}(%esp) diff --git a/test/Instrumentation/AddressSanitizer/debug_info.ll b/test/Instrumentation/AddressSanitizer/debug_info.ll index da18b4b..8670344 100644 --- a/test/Instrumentation/AddressSanitizer/debug_info.ll +++ b/test/Instrumentation/AddressSanitizer/debug_info.ll @@ -34,7 +34,7 @@ declare void @llvm.dbg.declare(metadata, metadata, metadata) nounwind readnone !llvm.module.flags = !{!17} !0 = !MDCompileUnit(language: DW_LANG_C_plus_plus, producer: "clang version 3.3 (trunk 169314)", isOptimized: true, emissionKind: 0, file: !16, enums: !1, retainedTypes: !1, subprograms: !3, globals: !1) -!1 = !{i32 0} +!1 = !{} !3 = !{!5} !5 = !MDSubprogram(name: "zzz", linkageName: "_Z3zzzi", line: 1, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, scopeLine: 1, file: !16, scope: !6, type: !7, function: i32 (i32)* @_Z3zzzi, variables: !1) !6 = !MDFile(filename: "a.cc", directory: "/usr/local/google/llvm_cmake_clang/tmp/debuginfo") diff --git a/test/Instrumentation/DataFlowSanitizer/abilist.ll b/test/Instrumentation/DataFlowSanitizer/abilist.ll index 7998513..90103f8 100644 --- a/test/Instrumentation/DataFlowSanitizer/abilist.ll +++ b/test/Instrumentation/DataFlowSanitizer/abilist.ll @@ -61,13 +61,13 @@ define void @f(i32 %x) { ; CHECK: %[[LABELVA1_1:.*]] = getelementptr inbounds [2 x i16], [2 x i16]* %[[LABELVA1]], i32 0, i32 1 ; CHECK: store i16 %{{.*}}, i16* %[[LABELVA1_1]] ; CHECK: %[[LABELVA1_0A:.*]] = getelementptr inbounds [2 x i16], [2 x i16]* %[[LABELVA1]], i32 0, i32 0 - ; CHECK: call void (i32, i16, i16*, ...)* @__dfsw_custom3(i32 1, i16 0, i16* %[[LABELVA1_0A]], i32 2, i32 %{{.*}}) - call void (i32, ...)* @custom3(i32 1, i32 2, i32 %x) + ; CHECK: call void (i32, i16, i16*, ...) @__dfsw_custom3(i32 1, i16 0, i16* %[[LABELVA1_0A]], i32 2, i32 %{{.*}}) + call void (i32, ...) @custom3(i32 1, i32 2, i32 %x) ; CHECK: %[[LABELVA2_0:.*]] = getelementptr inbounds [2 x i16], [2 x i16]* %[[LABELVA2]], i32 0, i32 0 ; CHECK: %[[LABELVA2_0A:.*]] = getelementptr inbounds [2 x i16], [2 x i16]* %[[LABELVA2]], i32 0, i32 0 - ; CHECK: call i32 (i32, i16, i16*, i16*, ...)* @__dfsw_custom4(i32 1, i16 0, i16* %[[LABELVA2_0A]], i16* %[[LABELRETURN]], i32 2, i32 3) - call i32 (i32, ...)* @custom4(i32 1, i32 2, i32 3) + ; CHECK: call i32 (i32, i16, i16*, i16*, ...) @__dfsw_custom4(i32 1, i16 0, i16* %[[LABELVA2_0A]], i16* %[[LABELRETURN]], i32 2, i32 3) + call i32 (i32, ...) @custom4(i32 1, i32 2, i32 3) ret void } diff --git a/test/Instrumentation/MemorySanitizer/instrumentation-with-call-threshold.ll b/test/Instrumentation/MemorySanitizer/instrumentation-with-call-threshold.ll index fb1cdbb..855125a 100644 --- a/test/Instrumentation/MemorySanitizer/instrumentation-with-call-threshold.ll +++ b/test/Instrumentation/MemorySanitizer/instrumentation-with-call-threshold.ll @@ -16,7 +16,7 @@ entry: br i1 %tobool, label %if.end, label %if.then if.then: ; preds = %entry - tail call void (...)* @foo() nounwind + tail call void (...) @foo() nounwind br label %if.end if.end: ; preds = %entry, %if.then diff --git a/test/Instrumentation/MemorySanitizer/msan_basic.ll b/test/Instrumentation/MemorySanitizer/msan_basic.ll index 7472559..4e84aef 100644 --- a/test/Instrumentation/MemorySanitizer/msan_basic.ll +++ b/test/Instrumentation/MemorySanitizer/msan_basic.ll @@ -75,7 +75,7 @@ entry: br i1 %tobool, label %if.end, label %if.then if.then: ; preds = %entry - tail call void (...)* @foo() nounwind + tail call void (...) @foo() nounwind br label %if.end if.end: ; preds = %entry, %if.then @@ -841,7 +841,7 @@ entry: %agg.tmp.sroa.2.0.copyload = load i64, i64* %agg.tmp.sroa.2.0..sroa_cast, align 4 %1 = bitcast %struct.StructByVal* %agg.tmp2 to i8* call void @llvm.memcpy.p0i8.p0i8.i64(i8* %1, i8* %0, i64 16, i32 4, i1 false) - call void (i32, ...)* @VAArgStructFn(i32 undef, i64 %agg.tmp.sroa.0.0.copyload, i64 %agg.tmp.sroa.2.0.copyload, i64 %agg.tmp.sroa.0.0.copyload, i64 %agg.tmp.sroa.2.0.copyload, %struct.StructByVal* byval align 8 %agg.tmp2) + call void (i32, ...) @VAArgStructFn(i32 undef, i64 %agg.tmp.sroa.0.0.copyload, i64 %agg.tmp.sroa.2.0.copyload, i64 %agg.tmp.sroa.0.0.copyload, i64 %agg.tmp.sroa.2.0.copyload, %struct.StructByVal* byval align 8 %agg.tmp2) ret void } @@ -862,7 +862,7 @@ entry: ; CHECK: bitcast { i32, i32, i32, i32 }* {{.*}}@__msan_va_arg_tls {{.*}}, i64 176 ; CHECK: call void @llvm.memcpy.p0i8.p0i8.i64 ; CHECK: store i64 16, i64* @__msan_va_arg_overflow_size_tls -; CHECK: call void (i32, ...)* @VAArgStructFn +; CHECK: call void (i32, ...) @VAArgStructFn ; CHECK: ret void declare i32 @InnerTailCall(i32 %a) |