maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/llvm/test/Instrumentation/AddressSanitizer/test64.ll

41 lines
1.1 KiB
LLVM
Raw Normal View History

[ASan] Add -asan-module to the ASan .ll tests. After the -asan pass had been split into -asan (function-level) and -asan-module (module-level) some of the tests have silently stopped working, because they didn't instrument the globals anymore. We've decided to have every test using both passes, irrespective of the presence of globals in it. llvm-svn: 204335
2014-03-20 19:16:34 +08:00
; RUN: opt < %s -asan -asan-module -S | FileCheck %s
AddressSanitizer, first commit (compiler module only) llvm-svn: 144758
2011-11-16 09:35:23 +08:00
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"
Unify clang/llvm attributes for asan/tsan/msan (LLVM part) These are two related changes (one in llvm, one in clang). LLVM: - rename address_safety => sanitize_address (the enum value is the same, so we preserve binary compatibility with old bitcode) - rename thread_safety => sanitize_thread - rename no_uninitialized_checks -> sanitize_memory CLANG: - add __attribute__((no_sanitize_address)) as a synonym for __attribute__((no_address_safety_analysis)) - add __attribute__((no_sanitize_thread)) - add __attribute__((no_sanitize_memory)) for S in address thread memory If -fsanitize=S is present and __attribute__((no_sanitize_S)) is not set llvm attribute sanitize_S llvm-svn: 176075
2013-02-26 14:58:09 +08:00
define i32 @read_4_bytes(i32* %a) sanitize_address {
AddressSanitizer, first commit (compiler module only) llvm-svn: 144758
2011-11-16 09:35:23 +08:00
entry:
[opaque pointer type] Add textual IR support for explicit type parameter to load instruction Essentially the same as the GEP change in r230786. A similar migration script can be used to update test cases, though a few more test case improvements/changes were required this time around: (r229269-r229278) import fileinput import sys import re pat = re.compile(r"((?:=|:|^)\s*load (?:atomic )?(?:volatile )?(.*?))(| addrspace\(\d+\) *)\*($| *(?:%|@|null|undef|blockaddress|getelementptr|addrspacecast|bitcast|inttoptr|\[\[[a-zA-Z]|\{\{).*$)") for line in sys.stdin: sys.stdout.write(re.sub(pat, r"\1, \2\3*\4", line)) Reviewers: rafael, dexonsmith, grosser Differential Revision: http://reviews.llvm.org/D7649 llvm-svn: 230794
2015-02-28 05:17:42 +08:00
%tmp1 = load i32, i32* %a, align 4
AddressSanitizer, first commit (compiler module only) llvm-svn: 144758
2011-11-16 09:35:23 +08:00
ret i32 %tmp1
}
[asan] properly instrument memory accesses that have small alignment (smaller than min(8,size)) by making two checks instead of one. This may slowdown some cases, e.g. long long on 32-bit or wide loads produced after loop unrolling. The benefit is higher sencitivity. llvm-svn: 209508
2014-05-23 19:52:07 +08:00
; CHECK-LABEL: @read_4_bytes
AddressSanitizer, first commit (compiler module only) llvm-svn: 144758
2011-11-16 09:35:23 +08:00
; CHECK-NOT: ret
; CHECK: lshr {{.*}} 3
[asan] simplify a test llvm-svn: 200378
2014-01-29 15:35:43 +08:00
; Check for ASAN's Offset for 64-bit (7fff8000)
; CHECK-NEXT: add{{.*}}2147450880
AddressSanitizer, first commit (compiler module only) llvm-svn: 144758
2011-11-16 09:35:23 +08:00
; CHECK: ret
[asan] instrument cmpxchg and atomicrmw llvm-svn: 157683
2012-05-30 17:04:06 +08:00
Unify clang/llvm attributes for asan/tsan/msan (LLVM part) These are two related changes (one in llvm, one in clang). LLVM: - rename address_safety => sanitize_address (the enum value is the same, so we preserve binary compatibility with old bitcode) - rename thread_safety => sanitize_thread - rename no_uninitialized_checks -> sanitize_memory CLANG: - add __attribute__((no_sanitize_address)) as a synonym for __attribute__((no_address_safety_analysis)) - add __attribute__((no_sanitize_thread)) - add __attribute__((no_sanitize_memory)) for S in address thread memory If -fsanitize=S is present and __attribute__((no_sanitize_S)) is not set llvm attribute sanitize_S llvm-svn: 176075
2013-02-26 14:58:09 +08:00
define void @example_atomicrmw(i64* %ptr) nounwind uwtable sanitize_address {
[asan] instrument cmpxchg and atomicrmw llvm-svn: 157683
2012-05-30 17:04:06 +08:00
entry:
%0 = atomicrmw add i64* %ptr, i64 1 seq_cst
ret void
}
[asan] properly instrument memory accesses that have small alignment (smaller than min(8,size)) by making two checks instead of one. This may slowdown some cases, e.g. long long on 32-bit or wide loads produced after loop unrolling. The benefit is higher sencitivity. llvm-svn: 209508
2014-05-23 19:52:07 +08:00
; CHECK-LABEL: @example_atomicrmw
[asan] instrument cmpxchg and atomicrmw llvm-svn: 157683
2012-05-30 17:04:06 +08:00
; CHECK: lshr {{.*}} 3
[asan] properly instrument memory accesses that have small alignment (smaller than min(8,size)) by making two checks instead of one. This may slowdown some cases, e.g. long long on 32-bit or wide loads produced after loop unrolling. The benefit is higher sencitivity. llvm-svn: 209508
2014-05-23 19:52:07 +08:00
; CHECK: __asan_report_store8
; CHECK-NOT: __asan_report
[asan] instrument cmpxchg and atomicrmw llvm-svn: 157683
2012-05-30 17:04:06 +08:00
; CHECK: atomicrmw
; CHECK: ret
Unify clang/llvm attributes for asan/tsan/msan (LLVM part) These are two related changes (one in llvm, one in clang). LLVM: - rename address_safety => sanitize_address (the enum value is the same, so we preserve binary compatibility with old bitcode) - rename thread_safety => sanitize_thread - rename no_uninitialized_checks -> sanitize_memory CLANG: - add __attribute__((no_sanitize_address)) as a synonym for __attribute__((no_address_safety_analysis)) - add __attribute__((no_sanitize_thread)) - add __attribute__((no_sanitize_memory)) for S in address thread memory If -fsanitize=S is present and __attribute__((no_sanitize_S)) is not set llvm attribute sanitize_S llvm-svn: 176075
2013-02-26 14:58:09 +08:00
define void @example_cmpxchg(i64* %ptr, i64 %compare_to, i64 %new_value) nounwind uwtable sanitize_address {
[asan] instrument cmpxchg and atomicrmw llvm-svn: 157683
2012-05-30 17:04:06 +08:00
entry:
IR: add a second ordering operand to cmpxhg for failure The syntax for "cmpxchg" should now look something like: cmpxchg i32* %addr, i32 42, i32 3 acquire monotonic where the second ordering argument gives the required semantics in the case that no exchange takes place. It should be no stronger than the first ordering constraint and cannot be either "release" or "acq_rel" (since no store will have taken place). rdar://problem/15996804 llvm-svn: 203559
2014-03-11 18:48:52 +08:00
%0 = cmpxchg i64* %ptr, i64 %compare_to, i64 %new_value seq_cst seq_cst
[asan] instrument cmpxchg and atomicrmw llvm-svn: 157683
2012-05-30 17:04:06 +08:00
ret void
}
[asan] properly instrument memory accesses that have small alignment (smaller than min(8,size)) by making two checks instead of one. This may slowdown some cases, e.g. long long on 32-bit or wide loads produced after loop unrolling. The benefit is higher sencitivity. llvm-svn: 209508
2014-05-23 19:52:07 +08:00
; CHECK-LABEL: @example_cmpxchg
[asan] instrument cmpxchg and atomicrmw llvm-svn: 157683
2012-05-30 17:04:06 +08:00
; CHECK: lshr {{.*}} 3
[asan] properly instrument memory accesses that have small alignment (smaller than min(8,size)) by making two checks instead of one. This may slowdown some cases, e.g. long long on 32-bit or wide loads produced after loop unrolling. The benefit is higher sencitivity. llvm-svn: 209508
2014-05-23 19:52:07 +08:00
; CHECK: __asan_report_store8
; CHECK-NOT: __asan_report
[asan] instrument cmpxchg and atomicrmw llvm-svn: 157683
2012-05-30 17:04:06 +08:00
; CHECK: cmpxchg
; CHECK: ret