OLD | NEW |
(Empty) | |
| 1 ; Test that static allocas throughout the entry block are instrumented correctly |
| 2 |
| 3 ; REQUIRES: allow_dump |
| 4 |
| 5 ; RUN: %p2i -i %s --args -verbose=inst -threads=0 -fsanitize-address \ |
| 6 ; RUN: -allow-externally-defined-symbols | FileCheck --check-prefix=DUMP %s |
| 7 |
| 8 declare external i32 @malloc(i32) |
| 9 declare external void @free(i32) |
| 10 |
| 11 define void @func() { |
| 12 %a = alloca i8, i32 4, align 4 |
| 13 %m1 = call i32 @malloc(i32 42) |
| 14 %b = alloca i8, i32 16, align 4 |
| 15 store i8 50, i8* %a, align 1 |
| 16 %c = alloca i8, i32 8, align 8 |
| 17 call void @free(i32 %m1) |
| 18 %d = alloca i8, i32 12, align 4 |
| 19 ret void |
| 20 } |
| 21 |
| 22 ; DUMP-LABEL: ================ Instrumented CFG ================ |
| 23 ; DUMP-NEXT: define void @func() { |
| 24 ; DUMP-NEXT: __0: |
| 25 ; DUMP-NEXT: %__$rz0 = alloca i8, i32 32, align 8 |
| 26 ; DUMP-NEXT: %a = alloca i8, i32 64, align 8 |
| 27 ; DUMP-NEXT: %b = alloca i8, i32 64, align 8 |
| 28 ; DUMP-NEXT: %c = alloca i8, i32 64, align 8 |
| 29 ; DUMP-NEXT: %d = alloca i8, i32 64, align 8 |
| 30 ; DUMP-NEXT: %shadowIndex = lshr i32 %__$rz0, 3 |
| 31 ; DUMP-NEXT: %firstShadowLoc = add i32 %shadowIndex, 536870912 |
| 32 ; DUMP-NEXT: %__8 = add i32 %firstShadowLoc, 0 |
| 33 ; DUMP-NEXT: store i32 -1, i32* %__8, align 1 |
| 34 ; DUMP-NEXT: %__9 = add i32 %firstShadowLoc, 4 |
| 35 ; DUMP-NEXT: store i32 -252, i32* %__9, align 1 |
| 36 ; DUMP-NEXT: %__10 = add i32 %firstShadowLoc, 8 |
| 37 ; DUMP-NEXT: store i32 -1, i32* %__10, align 1 |
| 38 ; DUMP-NEXT: %__11 = add i32 %firstShadowLoc, 12 |
| 39 ; DUMP-NEXT: store i32 -65536, i32* %__11, align 1 |
| 40 ; DUMP-NEXT: %__12 = add i32 %firstShadowLoc, 16 |
| 41 ; DUMP-NEXT: store i32 -1, i32* %__12, align 1 |
| 42 ; DUMP-NEXT: %__13 = add i32 %firstShadowLoc, 20 |
| 43 ; DUMP-NEXT: store i32 -256, i32* %__13, align 1 |
| 44 ; DUMP-NEXT: %__14 = add i32 %firstShadowLoc, 24 |
| 45 ; DUMP-NEXT: store i32 -1, i32* %__14, align 1 |
| 46 ; DUMP-NEXT: %__15 = add i32 %firstShadowLoc, 28 |
| 47 ; DUMP-NEXT: store i32 -64512, i32* %__15, align 1 |
| 48 ; DUMP-NEXT: %__16 = add i32 %firstShadowLoc, 32 |
| 49 ; DUMP-NEXT: store i32 -1, i32* %__16, align 1 |
| 50 ; DUMP-NEXT: %m1 = call i32 @__asan_malloc(i32 42) |
| 51 ; DUMP-NEXT: store i8 50, i8* %a, align 1 |
| 52 ; DUMP-NEXT: call void @__asan_free(i32 %m1) |
| 53 ; DUMP-NEXT: store i32 0, i32* %__8, align 1 |
| 54 ; DUMP-NEXT: store i32 0, i32* %__9, align 1 |
| 55 ; DUMP-NEXT: store i32 0, i32* %__10, align 1 |
| 56 ; DUMP-NEXT: store i32 0, i32* %__11, align 1 |
| 57 ; DUMP-NEXT: store i32 0, i32* %__12, align 1 |
| 58 ; DUMP-NEXT: store i32 0, i32* %__13, align 1 |
| 59 ; DUMP-NEXT: store i32 0, i32* %__14, align 1 |
| 60 ; DUMP-NEXT: store i32 0, i32* %__15, align 1 |
| 61 ; DUMP-NEXT: store i32 0, i32* %__16, align 1 |
| 62 ; DUMP-NEXT: ret void |
| 63 ; DUMP-NEXT: } |
OLD | NEW |