1 ; Test whether we don't mangle external, undefined, global names. This 2 ; feature is needed for cross tests on global initializer relocations. 3 ; 4 ; Note: This code was generated by compiling subzero/crosstest/test_global.cpp 5 6 ; We use lc2i (rather than p2i) because PNaCl bitcode files do not 7 ; allow externally defined global variables. Hence, this test can only 8 ; work if we read LLVM IR source, and convert to to ICE. 9 10 ; REQUIRES: allow_llvm_ir_as_input 11 ; RUN: %lc2i -i %s --insts --args --allow-uninitialized-globals \ 12 ; RUN: -allow-externally-defined-symbols | FileCheck %s 13 ; RUN: %lc2i -i %s --insts --args --allow-uninitialized-globals \ 14 ; RUN: -allow-externally-defined-symbols \ 15 ; RUN: -prefix Subzero_ | FileCheck --check-prefix=CROSS %s 16 17 @ArrayInitPartial = internal global [40 x i8] c"<\00\00\00F\00\00\00P\00\00\00Z\00\00\00d\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00", align 4 18 19 ; CHECK: @ArrayInitPartial = internal global [40 x i8] c"<\00\00\00F\00\00\00P\00\00\00Z\00\00\00d\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00", align 4 20 ; CROSS: @Subzero_ArrayInitPartial = internal global [40 x i8] c"<\00\00\00F\00\00\00P\00\00\00Z\00\00\00d\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00", align 4 21 22 @ArrayInitFull = internal global [20 x i8] c"\0A\00\00\00\14\00\00\00\1E\00\00\00(\00\00\002\00\00\00", align 4 23 24 ; CHECK: @ArrayInitFull = internal global [20 x i8] c"\0A\00\00\00\14\00\00\00\1E\00\00\00(\00\00\002\00\00\00", align 4 25 ; CROSS: @Subzero_ArrayInitFull = internal global [20 x i8] c"\0A\00\00\00\14\00\00\00\1E\00\00\00(\00\00\002\00\00\00", align 4 26 27 @NumArraysElements = internal global [4 x i8] c"\06\00\00\00", align 4 28 29 ; CHECK: @NumArraysElements = internal global [4 x i8] c"\06\00\00\00", align 4 30 ; CROSS: @Subzero_NumArraysElements = internal global [4 x i8] c"\06\00\00\00", align 4 31 32 @Arrays = internal constant <{ i32, [4 x i8], i32, [4 x i8], i32, [4 x i8], i32, [4 x i8], i32, [4 x i8], i32, [4 x i8] }> <{ i32 ptrtoint ([40 x i8]* @ArrayInitPartial to i32), [4 x i8] c"(\00\00\00", i32 ptrtoint ([20 x i8]* @ArrayInitFull to i32), [4 x i8] c"\14\00\00\00", i32 ptrtoint ([12 x i8]* @_ZL10ArrayConst to i32), [4 x i8] c"\0C\00\00\00", i32 ptrtoint ([80 x i8]* @_ZL11ArrayDouble to i32), [4 x i8] c"P\00\00\00", i32 add (i32 ptrtoint ([40 x i8]* @ArrayInitPartial to i32), i32 8), [4 x i8] c" \00\00\00", i32 ptrtoint ([80 x i8]* @_ZL8StructEx to i32), [4 x i8] c"P\00\00\00" }>, align 4 33 34 ; CHECK: @Arrays = internal constant <{ i32, [4 x i8], i32, [4 x i8], i32, [4 x i8], i32, [4 x i8], i32, [4 x i8], i32, [4 x i8] }> <{ i32 ptrtoint ([40 x i8]* @ArrayInitPartial to i32), [4 x i8] c"(\00\00\00", i32 ptrtoint ([20 x i8]* @ArrayInitFull to i32), [4 x i8] c"\14\00\00\00", i32 ptrtoint ([12 x i8]* @_ZL10ArrayConst to i32), [4 x i8] c"\0C\00\00\00", i32 ptrtoint ([80 x i8]* @_ZL11ArrayDouble to i32), [4 x i8] c"P\00\00\00", i32 add (i32 ptrtoint ([40 x i8]* @ArrayInitPartial to i32), i32 8), [4 x i8] c" \00\00\00", i32 ptrtoint ([80 x i8]* @_ZL8StructEx to i32), [4 x i8] c"P\00\00\00" }>, align 4 35 ; CROSS: @Subzero_Arrays = internal constant <{ i32, [4 x i8], i32, [4 x i8], i32, [4 x i8], i32, [4 x i8], i32, [4 x i8], i32, [4 x i8] }> <{ i32 ptrtoint ([40 x i8]* @Subzero_ArrayInitPartial to i32), [4 x i8] c"(\00\00\00", i32 ptrtoint ([20 x i8]* @Subzero_ArrayInitFull to i32), [4 x i8] c"\14\00\00\00", i32 ptrtoint ([12 x i8]* @Subzero__ZL10ArrayConst to i32), [4 x i8] c"\0C\00\00\00", i32 ptrtoint ([80 x i8]* @Subzero__ZL11ArrayDouble to i32), [4 x i8] c"P\00\00\00", i32 add (i32 ptrtoint ([40 x i8]* @Subzero_ArrayInitPartial to i32), i32 8), [4 x i8] c" \00\00\00", i32 ptrtoint ([80 x i8]* @Subzero__ZL8StructEx to i32), [4 x i8] c"P\00\00\00" }>, align 4 36 37 38 @_ZL10ArrayConst = internal constant [12 x i8] c"\F6\FF\FF\FF\EC\FF\FF\FF\E2\FF\FF\FF", align 4 39 40 ; CHECK: @_ZL10ArrayConst = internal constant [12 x i8] c"\F6\FF\FF\FF\EC\FF\FF\FF\E2\FF\FF\FF", align 4 41 ; CROSS: @Subzero__ZL10ArrayConst = internal constant [12 x i8] c"\F6\FF\FF\FF\EC\FF\FF\FF\E2\FF\FF\FF", align 4 42 43 @_ZL11ArrayDouble = internal global [80 x i8] c"\00\00\00\00\00\00\E0?\00\00\00\00\00\00\F8?\00\00\00\00\00\00\04@\00\00\00\00\00\00\0C@\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00", align 8 44 45 ; CHECK: @_ZL11ArrayDouble = internal global [80 x i8] c"\00\00\00\00\00\00\E0?\00\00\00\00\00\00\F8?\00\00\00\00\00\00\04@\00\00\00\00\00\00\0C@\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00", align 8 46 ; CROSS: @Subzero__ZL11ArrayDouble = internal global [80 x i8] c"\00\00\00\00\00\00\E0?\00\00\00\00\00\00\F8?\00\00\00\00\00\00\04@\00\00\00\00\00\00\0C@\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00", align 8 47 48 @_ZL8StructEx = internal global [80 x i8] zeroinitializer, align 8 49 50 ; CHECK: @_ZL8StructEx = internal global [80 x i8] zeroinitializer, align 8 51 ; CROSS: @Subzero__ZL8StructEx = internal global [80 x i8] zeroinitializer, align 8 52 53 @ExternName1 = external global [4 x i8], align 4 54 55 ; CHECK: @ExternName1 = external global <{ }> <{ }>, align 4 56 ; CROSS: @ExternName1 = external global <{ }> <{ }>, align 4 57 58 @ExternName4 = external global [4 x i8], align 4 59 60 ; CHECK: @ExternName4 = external global <{ }> <{ }>, align 4 61 ; CROSS: @ExternName4 = external global <{ }> <{ }>, align 4 62 63 @ExternName3 = external global [4 x i8], align 4 64 65 ; CHECK: @ExternName3 = external global <{ }> <{ }>, align 4 66 ; CROSS: @ExternName3 = external global <{ }> <{ }>, align 4 67 68 @ExternName2 = external global [4 x i8], align 4 69 70 ; CHECK: @ExternName2 = external global <{ }> <{ }>, align 4 71 ; CROSS: @ExternName2 = external global <{ }> <{ }>, align 4 72 73 @ExternName5 = external global [4 x i8], align 4 74 75 ; CHECK: @ExternName5 = external global <{ }> <{ }>, align 4 76 ; CROSS: @ExternName5 = external global <{ }> <{ }>, align 4 77 78 define i32 @_Z12getNumArraysv() { 79 ; CHECK: define i32 @_Z12getNumArraysv() { 80 ; CROSS: define i32 @_ZN8Subzero_12getNumArraysEv() { 81 entry: 82 %NumArraysElements.bc = bitcast [4 x i8]* @NumArraysElements to i32* 83 ; CHECK: %NumArraysElements.bc = bitcast i32 @NumArraysElements to i32 84 ; CROSS: %NumArraysElements.bc = bitcast i32 @Subzero_NumArraysElements to i32 85 %0 = load i32, i32* %NumArraysElements.bc, align 1 86 ret i32 %0 87 } 88 89 define i32 @_Z8getArrayjRj(i32 %WhichArray, i32 %Len) { 90 ; CHECK: define i32 @_Z8getArrayjRj(i32 %WhichArray, i32 %Len) { 91 ; CROSS: define i32 @_ZN8Subzero_8getArrayEjRj(i32 %WhichArray, i32 %Len) { 92 entry: 93 %NumArraysElements.bc = bitcast [4 x i8]* @NumArraysElements to i32* 94 ; CHECK: %NumArraysElements.bc = bitcast i32 @NumArraysElements to i32 95 ; CROSS: %NumArraysElements.bc = bitcast i32 @Subzero_NumArraysElements to i32 96 %0 = load i32, i32* %NumArraysElements.bc, align 1 97 %cmp = icmp ugt i32 %0, %WhichArray 98 ; CHECK: %cmp = icmp ugt i32 %__3, %WhichArray 99 ; CROSS: %cmp = icmp ugt i32 %__3, %WhichArray 100 br i1 %cmp, label %if.end, label %if.then 101 102 if.then: ; preds = %entry 103 %Len.asptr = inttoptr i32 %Len to i32* 104 ; CHECK: %Len.asptr = i32 %Len 105 ; CROSS: %Len.asptr = i32 %Len 106 store i32 -1, i32* %Len.asptr, align 1 107 br label %return 108 109 if.end: ; preds = %entry 110 %gep_array = mul i32 %WhichArray, 8 111 ; CHECK: %gep_array = mul i32 %WhichArray, 8 112 ; CROSS: %gep_array = mul i32 %WhichArray, 8 113 %expanded1 = ptrtoint <{ i32, [4 x i8], i32, [4 x i8], i32, [4 x i8], i32, [4 x i8], i32, [4 x i8], i32, [4 x i8] }>* @Arrays to i32 114 ; CHECK: %expanded1 = i32 @Arrays 115 ; CROSS: %expanded1 = i32 @Subzero_Arrays 116 %gep = add i32 %expanded1, %gep_array 117 %gep1 = add i32 %gep, 4 118 %gep1.asptr = inttoptr i32 %gep1 to i32* 119 %1 = load i32, i32* %gep1.asptr, align 1 120 %Len.asptr3 = inttoptr i32 %Len to i32* 121 ; CHECK: %Len.asptr3 = i32 %Len 122 ; CROSS: %Len.asptr3 = i32 %Len 123 store i32 %1, i32* %Len.asptr3, align 1 124 %gep_array3 = mul i32 %WhichArray, 8 125 ; CHECK: %gep_array3 = mul i32 %WhichArray, 8 126 ; CROSS: %gep_array3 = mul i32 %WhichArray, 8 127 %expanded2 = ptrtoint <{ i32, [4 x i8], i32, [4 x i8], i32, [4 x i8], i32, [4 x i8], i32, [4 x i8], i32, [4 x i8] }>* @Arrays to i32 128 ; CHECK: %expanded2 = i32 @Arrays 129 ; CROSS: %expanded2 = i32 @Subzero_Arrays 130 %gep4 = add i32 %expanded2, %gep_array3 131 %gep4.asptr = inttoptr i32 %gep4 to i32* 132 %2 = load i32, i32* %gep4.asptr, align 1 133 br label %return 134 135 return: ; preds = %if.end, %if.then 136 %retval.0 = phi i32 [ 0, %if.then ], [ %2, %if.end ] 137 ret i32 %retval.0 138 } 139 140 define void @_GLOBAL__I_a() { 141 ; CHECK: define void @_GLOBAL__I_a() { 142 ; CROSS: define void @Subzero__GLOBAL__I_a() { 143 entry: 144 %_ZL8StructEx.bc = bitcast [80 x i8]* @_ZL8StructEx to i32* 145 ; CHECK: %_ZL8StructEx.bc = bitcast i32 @_ZL8StructEx to i32 146 ; CROSS: %_ZL8StructEx.bc = bitcast i32 @Subzero__ZL8StructEx to i32 147 store i32 10, i32* %_ZL8StructEx.bc, align 1 148 %expanded1 = ptrtoint [80 x i8]* @_ZL8StructEx to i32 149 ; CHECK: %expanded1 = i32 @_ZL8StructEx 150 ; CROSS: %expanded1 = i32 @Subzero__ZL8StructEx 151 %gep = add i32 %expanded1, 4 152 %gep.asptr = inttoptr i32 %gep to i32* 153 store i32 20, i32* %gep.asptr, align 1 154 %expanded2 = ptrtoint [80 x i8]* @_ZL8StructEx to i32 155 ; CHECK: %expanded2 = i32 @_ZL8StructEx 156 ; CROSS: %expanded2 = i32 @Subzero__ZL8StructEx 157 %gep18 = add i32 %expanded2, 8 158 %gep18.asptr = inttoptr i32 %gep18 to i32* 159 store i32 30, i32* %gep18.asptr, align 1 160 %expanded3 = ptrtoint [80 x i8]* @_ZL8StructEx to i32 161 ; CHECK: %expanded3 = i32 @_ZL8StructEx 162 ; CROSS: %expanded3 = i32 @Subzero__ZL8StructEx 163 %gep20 = add i32 %expanded3, 12 164 %gep20.asptr = inttoptr i32 %gep20 to i32* 165 store i32 40, i32* %gep20.asptr, align 1 166 %expanded4 = ptrtoint [80 x i8]* @_ZL8StructEx to i32 167 ; CHECK: %expanded4 = i32 @_ZL8StructEx 168 ; CROSS: %expanded4 = i32 @Subzero__ZL8StructEx 169 %gep22 = add i32 %expanded4, 16 170 %gep22.asptr = inttoptr i32 %gep22 to i32* 171 store i32 50, i32* %gep22.asptr, align 1 172 %ExternName1.bc = bitcast [4 x i8]* @ExternName1 to i32* 173 ; CHECK: %ExternName1.bc = bitcast i32 @ExternName1 to i32 174 ; CROSS: %ExternName1.bc = bitcast i32 @ExternName1 to i32 175 %0 = load i32, i32* %ExternName1.bc, align 1 176 %expanded6 = ptrtoint [80 x i8]* @_ZL8StructEx to i32 177 ; CHECK: %expanded6 = i32 @_ZL8StructEx 178 ; CROSS: %expanded6 = i32 @Subzero__ZL8StructEx 179 %gep24 = add i32 %expanded6, 20 180 %gep24.asptr = inttoptr i32 %gep24 to i32* 181 store i32 %0, i32* %gep24.asptr, align 1 182 %expanded7 = ptrtoint [80 x i8]* @_ZL8StructEx to i32 183 ; CHECK: %expanded7 = i32 @_ZL8StructEx 184 ; CROSS: %expanded7 = i32 @Subzero__ZL8StructEx 185 %gep26 = add i32 %expanded7, 24 186 %gep26.asptr = inttoptr i32 %gep26 to double* 187 store double 5.000000e-01, double* %gep26.asptr, align 8 188 %expanded8 = ptrtoint [80 x i8]* @_ZL8StructEx to i32 189 ; CHECK: %expanded8 = i32 @_ZL8StructEx 190 ; CROSS: %expanded8 = i32 @Subzero__ZL8StructEx 191 %gep28 = add i32 %expanded8, 32 192 %gep28.asptr = inttoptr i32 %gep28 to double* 193 store double 1.500000e+00, double* %gep28.asptr, align 8 194 %expanded9 = ptrtoint [80 x i8]* @_ZL8StructEx to i32 195 ; CHECK: %expanded9 = i32 @_ZL8StructEx 196 ; CROSS: %expanded9 = i32 @Subzero__ZL8StructEx 197 %gep30 = add i32 %expanded9, 40 198 %gep30.asptr = inttoptr i32 %gep30 to double* 199 store double 2.500000e+00, double* %gep30.asptr, align 8 200 %ExternName4.bc = bitcast [4 x i8]* @ExternName4 to i32* 201 ; CHECK: %ExternName4.bc = bitcast i32 @ExternName4 to i32 202 ; CROSS: %ExternName4.bc = bitcast i32 @ExternName4 to i32 203 %1 = load i32, i32* %ExternName4.bc, align 1 204 %expanded11 = ptrtoint [80 x i8]* @_ZL8StructEx to i32 205 ; CHECK: %expanded11 = i32 @_ZL8StructEx 206 ; CROSS: %expanded11 = i32 @Subzero__ZL8StructEx 207 %gep32 = add i32 %expanded11, 48 208 %gep32.asptr = inttoptr i32 %gep32 to i32* 209 store i32 %1, i32* %gep32.asptr, align 1 210 %ExternName3.bc = bitcast [4 x i8]* @ExternName3 to i32* 211 ; CHECK: %ExternName3.bc = bitcast i32 @ExternName3 to i32 212 ; CROSS: %ExternName3.bc = bitcast i32 @ExternName3 to i32 213 %2 = load i32, i32* %ExternName3.bc, align 1 214 %expanded13 = ptrtoint [80 x i8]* @_ZL8StructEx to i32 215 ; CHECK: %expanded13 = i32 @_ZL8StructEx 216 ; CROSS: %expanded13 = i32 @Subzero__ZL8StructEx 217 %gep34 = add i32 %expanded13, 52 218 %gep34.asptr = inttoptr i32 %gep34 to i32* 219 store i32 %2, i32* %gep34.asptr, align 1 220 %expanded14 = ptrtoint [80 x i8]* @_ZL8StructEx to i32 221 ; CHECK: %expanded14 = i32 @_ZL8StructEx 222 ; CROSS: %expanded14 = i32 @Subzero__ZL8StructEx 223 %gep36 = add i32 %expanded14, 56 224 %gep36.asptr = inttoptr i32 %gep36 to i32* 225 store i32 1000, i32* %gep36.asptr, align 1 226 %expanded15 = ptrtoint [80 x i8]* @_ZL8StructEx to i32 227 ; CHECK: %expanded15 = i32 @_ZL8StructEx 228 ; CROSS: %expanded15 = i32 @Subzero__ZL8StructEx 229 %gep38 = add i32 %expanded15, 60 230 %gep38.asptr = inttoptr i32 %gep38 to i32* 231 store i32 1010, i32* %gep38.asptr, align 1 232 %expanded16 = ptrtoint [80 x i8]* @_ZL8StructEx to i32 233 ; CHECK: %expanded16 = i32 @_ZL8StructEx 234 ; CROSS: %expanded16 = i32 @Subzero__ZL8StructEx 235 %gep40 = add i32 %expanded16, 64 236 %gep40.asptr = inttoptr i32 %gep40 to i32* 237 store i32 1020, i32* %gep40.asptr, align 1 238 %ExternName2.bc = bitcast [4 x i8]* @ExternName2 to i32* 239 ; CHECK: %ExternName2.bc = bitcast i32 @ExternName2 to i32 240 ; CROSS: %ExternName2.bc = bitcast i32 @ExternName2 to i32 241 %3 = load i32, i32* %ExternName2.bc, align 1 242 %expanded18 = ptrtoint [80 x i8]* @_ZL8StructEx to i32 243 ; CHECK: %expanded18 = i32 @_ZL8StructEx 244 ; CROSS: %expanded18 = i32 @Subzero__ZL8StructEx 245 %gep42 = add i32 %expanded18, 68 246 %gep42.asptr = inttoptr i32 %gep42 to i32* 247 store i32 %3, i32* %gep42.asptr, align 1 248 %ExternName5.bc = bitcast [4 x i8]* @ExternName5 to i32* 249 ; CHECK: %ExternName5.bc = bitcast i32 @ExternName5 to i32 250 ; CROSS: %ExternName5.bc = bitcast i32 @ExternName5 to i32 251 %4 = load i32, i32* %ExternName5.bc, align 1 252 %expanded20 = ptrtoint [80 x i8]* @_ZL8StructEx to i32 253 ; CHECK: %expanded20 = i32 @_ZL8StructEx 254 ; CROSS: %expanded20 = i32 @Subzero__ZL8StructEx 255 %gep44 = add i32 %expanded20, 72 256 %gep44.asptr = inttoptr i32 %gep44 to i32* 257 store i32 %4, i32* %gep44.asptr, align 1 258 ret void 259 } 260 261 define i32 @nacl_tp_tdb_offset(i32) { 262 entry: 263 ret i32 0 264 } 265 266 define i32 @nacl_tp_tls_offset(i32 %size) { 267 entry: 268 %result = sub i32 0, %size 269 ret i32 %result 270 } 271
