Home | History | Annotate | Download | only in asan_tests 
      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: }