| Stephen Hines | 36b5688 | 2014-04-23 16:57:46 -0700 | [diff] [blame] | 1 | ; RUN: opt < %s -asan -asan-module -asan-coverage=1 -S | FileCheck %s --check-prefix=CHECK1 |
| 2 | ; RUN: opt < %s -asan -asan-module -asan-coverage=2 -S | FileCheck %s --check-prefix=CHECK2 |
| Bob Wilson | 4b89914 | 2013-11-15 07:16:09 +0000 | [diff] [blame] | 3 | 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" |
| 4 | target triple = "x86_64-unknown-linux-gnu" |
| Stephen Hines | 36b5688 | 2014-04-23 16:57:46 -0700 | [diff] [blame] | 5 | define void @foo(i32* %a) sanitize_address { |
| Bob Wilson | 4b89914 | 2013-11-15 07:16:09 +0000 | [diff] [blame] | 6 | entry: |
| Stephen Hines | 36b5688 | 2014-04-23 16:57:46 -0700 | [diff] [blame] | 7 | %tobool = icmp eq i32* %a, null |
| 8 | br i1 %tobool, label %if.end, label %if.then |
| 9 | |
| 10 | if.then: ; preds = %entry |
| 11 | store i32 0, i32* %a, align 4 |
| 12 | br label %if.end |
| 13 | |
| 14 | if.end: ; preds = %entry, %if.then |
| 15 | ret void |
| Bob Wilson | 4b89914 | 2013-11-15 07:16:09 +0000 | [diff] [blame] | 16 | } |
| Stephen Hines | 36b5688 | 2014-04-23 16:57:46 -0700 | [diff] [blame] | 17 | ; CHECK1-LABEL: define void @foo |
| 18 | ; CHECK1: %0 = load atomic i8* @__asan_gen_cov_foo monotonic, align 1 |
| 19 | ; CHECK1: %1 = icmp eq i8 0, %0 |
| 20 | ; CHECK1: br i1 %1, label %2, label %3 |
| 21 | ; CHECK1: call void @__sanitizer_cov |
| 22 | ; CHECK1-NOT: call void @__sanitizer_cov |
| 23 | ; CHECK1: store atomic i8 1, i8* @__asan_gen_cov_foo monotonic, align 1 |
| 24 | |
| 25 | ; CHECK2-LABEL: define void @foo |
| 26 | ; CHECK2: call void @__sanitizer_cov |
| 27 | ; CHECK2: call void @__sanitizer_cov |
| 28 | ; CHECK2: call void @__sanitizer_cov |
| 29 | ; CHECK2-NOT: call void @__sanitizer_cov |
| 30 | ; CHECK2: ret void |