1 ; Test of global redzone layout 2 3 ; REQUIRES: allow_dump 4 5 ; RUN: %p2i -i %s --args -threads=0 -fsanitize-address \ 6 ; RUN: | FileCheck %s 7 ; RUN: %p2i -i %s --args -verbose=global_init,inst -threads=0 \ 8 ; RUN: -fsanitize-address | FileCheck --check-prefix=DUMP %s 9 10 ; The array of redzones 11 12 ; DUMP-LABEL: ========= Instrumented Globals ========= 13 ; DUMP: @__$rz_array = internal constant <{ i32, i32, i32, i32, i32, i32 }> 14 ; DUMP: <{ i32 ptrtoint ([32 x i8]* @__$rz0 to i32), i32 ptrtoint ([32 x i8]* @__$rz1 to i32), 15 ; DUMP: i32 ptrtoint ([32 x i8]* @__$rz2 to i32), i32 ptrtoint ([32 x i8]* @__$rz3 to i32), 16 ; DUMP: i32 ptrtoint ([32 x i8]* @__$rz4 to i32), i32 ptrtoint ([32 x i8]* @__$rz5 to i32) }> 17 18 ; (SPACE is 32 ascii) 19 ; DUMP-NEXT: @__$rz_sizes = internal constant <{ [4 x i8], [4 x i8], [4 x i8], [4 x i8], [4 x i8], 20 ; DUMP-SAME: [4 x i8] }> <{ [4 x i8] c" \00\00\00", [4 x i8] c" \00\00\00", [4 x i8] c" \00\00\00", 21 ; DUMP-SAME: [4 x i8] c" \00\00\00", [4 x i8] c" \00\00\00", [4 x i8] c" \00\00\00" }> 22 23 ; CHECK-LABEL: .type __$rz_array,%object 24 ; CHECK-NEXT: .section .rodata 25 ; CHECK-NEXT: __$rz_array: 26 ; CHECK-NEXT: .long __$rz0 27 ; CHECK-NEXT: .long __$rz1 28 ; CHECK-NEXT: .long __$rz2 29 ; CHECK-NEXT: .long __$rz3 30 ; CHECK-NEXT: .long __$rz4 31 ; CHECK-NEXT: .long __$rz5 32 ; CHECK-LABEL: .type __$rz_sizes,%object 33 ; CHECK-NEXT: .section .rodata 34 ; CHECK-NEXT: __$rz_sizes: 35 ; CHECK-NEXT: .byte 32 36 ; CHECK-NEXT: .byte 0 37 ; CHECK-NEXT: .byte 0 38 ; CHECK-NEXT: .byte 0 39 ; CHECK-NEXT: .byte 32 40 ; CHECK-NEXT: .byte 0 41 ; CHECK-NEXT: .byte 0 42 ; CHECK-NEXT: .byte 0 43 ; CHECK-NEXT: .byte 32 44 ; CHECK-NEXT: .byte 0 45 ; CHECK-NEXT: .byte 0 46 ; CHECK-NEXT: .byte 0 47 ; CHECK-NEXT: .byte 32 48 ; CHECK-NEXT: .byte 0 49 ; CHECK-NEXT: .byte 0 50 ; CHECK-NEXT: .byte 0 51 ; CHECK-NEXT: .byte 32 52 ; CHECK-NEXT: .byte 0 53 ; CHECK-NEXT: .byte 0 54 ; CHECK-NEXT: .byte 0 55 ; CHECK-NEXT: .byte 32 56 ; CHECK-NEXT: .byte 0 57 ; CHECK-NEXT: .byte 0 58 ; CHECK-NEXT: .byte 0 59 60 ; A zero-initialized global 61 @zeroInitGlobal = internal global [32 x i8] zeroinitializer 62 63 ; DUMP-NEXT: @__$rz0 = internal global [32 x i8] zeroinitializer 64 ; DUMP-NEXT: @zeroInitGlobal = internal global [32 x i8] zeroinitializer 65 ; DUMP-NEXT: @__$rz1 = internal global [32 x i8] zeroinitializer 66 67 ; CHECK-LABEL: .type __$rz0,%object 68 ; CHECK-NEXT: .section .bss 69 ; CHECK-NEXT: .p2align 5 70 ; CHECK-NEXT: __$rz0: 71 ; CHECK-LABEL: .type zeroInitGlobal,%object 72 ; CHECK-NEXT: .section .bss 73 ; CHECK-NEXT: .p2align 5 74 ; CHECK-NEXT: zeroInitGlobal: 75 ; CHECK-LABEL: .type __$rz1,%object 76 ; CHECK-NEXT: .section .bss 77 ; CHECK-NEXT: __$rz1: 78 79 ; A constant-initialized global 80 @constInitGlobal = internal constant [32 x i8] c"ABCDEFGHIJKLMNOPQRSTUVWXYZ012345" 81 82 ; CHECK-LABEL: .type __$rz2,%object 83 ; CHECK-NEXT: .section .rodata 84 ; CHECK-NEXT: .p2align 5 85 ; CHECK-NEXT: __$rz2: 86 ; CHECK-LABEL: .type constInitGlobal,%object 87 ; CHECK-NEXT: .section .rodata 88 ; CHECK-NEXT: .p2align 5 89 ; CHECK-NEXT: constInitGlobal: 90 ; CHECK-LABEL: .type __$rz3,%object 91 ; CHECK-NEXT: .section .rodata 92 ; CHECK-NEXT: __$rz3: 93 94 ; DUMP-NEXT: @__$rz2 = internal constant [32 x i8] c"RRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRR" 95 ; DUMP-NEXT: @constInitGlobal = internal constant [32 x i8] c"ABCDEFGHIJKLMNOPQRSTUVWXYZ012345" 96 ; DUMP-NEXT: @__$rz3 = internal constant [32 x i8] c"RRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRR" 97 98 ; A regular global 99 @regInitGlobal = internal global [32 x i8] c"ABCDEFGHIJKLMNOPQRSTUVWXYZ012345" 100 101 ; DUMP-NEXT: @__$rz4 = internal global [32 x i8] c"RRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRR" 102 ; DUMP-NEXT: @regInitGlobal = internal global [32 x i8] c"ABCDEFGHIJKLMNOPQRSTUVWXYZ012345" 103 ; DUMP-NEXT: @__$rz5 = internal global [32 x i8] c"RRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRR" 104 105 ; CHECK-LABEL: .type __$rz4,%object 106 ; CHECK-NEXT: .section .data 107 ; CHECK-NEXT: .p2align 5 108 ; CHECK-NEXT: __$rz4: 109 ; CHECK-LABEL: .type regInitGlobal,%object 110 ; CHECK-NEXT: .section .data 111 ; CHECK-NEXT: .p2align 5 112 ; CHECK-NEXT: regInitGlobal: 113 ; CHECK-LABEL: .type __$rz5,%object 114 ; CHECK-NEXT: .section .data 115 ; CHECK-NEXT: __$rz5: 116 117 define internal void @func() { 118 ret void 119 } 120 121 ; DUMP-LABEL: define internal void @func() { 122 ; CHECK-LABEL: func:
