OLD | NEW |
1 ; Test for insertion of redzones around global variables | 1 ; Test for insertion of redzones around local variables |
2 | 2 |
3 ; REQUIRES: allow_dump | 3 ; REQUIRES: allow_dump |
4 | 4 |
5 ; RUN: %p2i -i %s --args -verbose=inst -threads=0 -fsanitize-address \ | 5 ; RUN: %p2i -i %s --args -verbose=inst -threads=0 -fsanitize-address \ |
6 ; RUN: | FileCheck --check-prefix=DUMP %s | 6 ; RUN: | FileCheck --check-prefix=DUMP %s |
7 | 7 |
8 ; Function with local variables to be instrumented | 8 ; Function with local variables to be instrumented |
9 define internal void @func() { | 9 define internal void @func() { |
10 %local0 = alloca i8, i32 4, align 4 | 10 %local1 = alloca i8, i32 4, align 4 |
11 %local1 = alloca i8, i32 32, align 4 | 11 %local2 = alloca i8, i32 32, align 1 |
12 %local2 = alloca i8, i32 13, align 4 | 12 %local3 = alloca i8, i32 13, align 2 |
13 %local3 = alloca i8, i32 75, align 4 | 13 %local4 = alloca i8, i32 75, align 4 |
14 %local4 = alloca i8, i32 64, align 4 | 14 %local5 = alloca i8, i32 64, align 8 |
15 %local5 = alloca i8, i32 4, align 1 | |
16 %local6 = alloca i8, i32 32, align 1 | |
17 %local7 = alloca i8, i32 13, align 1 | |
18 %local8 = alloca i8, i32 75, align 1 | |
19 %local9 = alloca i8, i32 64, align 1 | |
20 ret void | 15 ret void |
21 } | 16 } |
22 | 17 |
23 ; DUMP-LABEL: ================ Instrumented CFG ================ | 18 ; DUMP-LABEL: ================ Instrumented CFG ================ |
24 ; DUMP-NEXT: define internal void @func() { | 19 ; DUMP-NEXT: define internal void @func() { |
25 ; DUMP-NEXT: __0: | 20 ; DUMP-NEXT: __0: |
26 ; DUMP-NEXT: %__$rz{{[0-9]+}} = alloca i8, i32 32, align 4 | 21 ; DUMP-NEXT: %local1 = alloca i8, i32 64, align 8 |
27 ; DUMP-NEXT: %local0 = alloca i8, i32 4, align 4 | 22 ; DUMP-NEXT: %local2 = alloca i8, i32 64, align 8 |
28 ; DUMP-NEXT: %__$rz{{[0-9]+}} = alloca i8, i32 60, align 1 | 23 ; DUMP-NEXT: %local3 = alloca i8, i32 64, align 8 |
29 ; DUMP-NEXT: %local1 = alloca i8, i32 32, align 4 | 24 ; DUMP-NEXT: %local4 = alloca i8, i32 128, align 8 |
30 ; DUMP-NEXT: %__$rz{{[0-9]+}} = alloca i8, i32 32, align 1 | 25 ; DUMP-NEXT: %local5 = alloca i8, i32 96, align 8 |
31 ; DUMP-NEXT: %local2 = alloca i8, i32 13, align 4 | 26 ; DUMP-NEXT: %__$rz[[RZ0:[0-9]+]] = alloca i8, i32 32, align 8 |
32 ; DUMP-NEXT: %__$rz{{[0-9]+}} = alloca i8, i32 51, align 1 | 27 ; DUMP-NEXT: call void @__asan_poison(i32 %__$rz[[RZ0]], i32 32) |
33 ; DUMP-NEXT: %local3 = alloca i8, i32 75, align 4 | 28 ; DUMP-NEXT: %__$rz[[RZ1:[0-9]+]] = add i32 %local1, 4 |
34 ; DUMP-NEXT: %__$rz{{[0-9]+}} = alloca i8, i32 53, align 1 | 29 ; DUMP-NEXT: call void @__asan_poison(i32 %__$rz[[RZ1]], i32 60) |
35 ; DUMP-NEXT: %local4 = alloca i8, i32 64, align 4 | 30 ; DUMP-NEXT: %__$rz[[RZ2:[0-9]+]] = add i32 %local2, 32 |
36 ; DUMP-NEXT: %__$rz{{[0-9]+}} = alloca i8, i32 32, align 1 | 31 ; DUMP-NEXT: call void @__asan_poison(i32 %__$rz[[RZ2]], i32 32) |
37 ; DUMP-NEXT: %local5 = alloca i8, i32 4, align 1 | 32 ; DUMP-NEXT: %__$rz[[RZ3:[0-9]+]] = add i32 %local3, 13 |
38 ; DUMP-NEXT: %__$rz{{[0-9]+}} = alloca i8, i32 60, align 1 | 33 ; DUMP-NEXT: call void @__asan_poison(i32 %__$rz[[RZ3]], i32 51) |
39 ; DUMP-NEXT: %local6 = alloca i8, i32 32, align 1 | 34 ; DUMP-NEXT: %__$rz[[RZ4:[0-9]+]] = add i32 %local4, 75 |
40 ; DUMP-NEXT: %__$rz{{[0-9]+}} = alloca i8, i32 32, align 1 | 35 ; DUMP-NEXT: call void @__asan_poison(i32 %__$rz[[RZ4]], i32 53) |
41 ; DUMP-NEXT: %local7 = alloca i8, i32 13, align 1 | 36 ; DUMP-NEXT: %__$rz[[RZ5:[0-9]+]] = add i32 %local5, 64 |
42 ; DUMP-NEXT: %__$rz{{[0-9]+}} = alloca i8, i32 51, align 1 | 37 ; DUMP-NEXT: call void @__asan_poison(i32 %__$rz[[RZ5]], i32 32) |
43 ; DUMP-NEXT: %local8 = alloca i8, i32 75, align 1 | 38 ; DUMP-NEXT: call void @__asan_unpoison(i32 %__$rz[[RZ1]], i32 60) |
44 ; DUMP-NEXT: %__$rz{{[0-9]+}} = alloca i8, i32 53, align 1 | 39 ; DUMP-NEXT: call void @__asan_unpoison(i32 %__$rz[[RZ2]], i32 32) |
45 ; DUMP-NEXT: %local9 = alloca i8, i32 64, align | 40 ; DUMP-NEXT: call void @__asan_unpoison(i32 %__$rz[[RZ3]], i32 51) |
46 ; DUMP-NEXT: %__$rz{{[0-9]+}} = alloca i8, i32 32, align 1 | 41 ; DUMP-NEXT: call void @__asan_unpoison(i32 %__$rz[[RZ4]], i32 53) |
| 42 ; DUMP-NEXT: call void @__asan_unpoison(i32 %__$rz[[RZ5]], i32 32) |
| 43 ; DUMP-NEXT: call void @__asan_unpoison(i32 %__$rz[[RZ0]], i32 32) |
47 ; DUMP-NEXT: ret void | 44 ; DUMP-NEXT: ret void |
48 ; DUMP-NEXT: } | 45 ; DUMP-NEXT: } |
OLD | NEW |