1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --include-generated-funcs 2; RUN: opt -S -mtriple=amdgcn-amd-amdhsa -amdgpu-rewrite-out-arguments < %s | FileCheck %s 3 4define void @no_ret_blocks() #0 { 5 unreachable 6} 7 8define void @void_one_out_arg_i32_no_use(ptr addrspace(5) %val) #0 { 9 ret void 10} 11 12define void @skip_byval_arg(ptr addrspace(5) byval(i32) %val) #0 { 13 store i32 0, ptr addrspace(5) %val 14 ret void 15} 16 17define void @skip_optnone(ptr addrspace(5) byval(i32) %val) #1 { 18 store i32 0, ptr addrspace(5) %val 19 ret void 20} 21 22define void @skip_volatile(ptr addrspace(5) byval(i32) %val) #0 { 23 store volatile i32 0, ptr addrspace(5) %val 24 ret void 25} 26 27define void @skip_atomic(ptr addrspace(5) byval(i32) %val) #0 { 28 store atomic i32 0, ptr addrspace(5) %val seq_cst, align 4 29 ret void 30} 31 32define void @skip_store_pointer_val(ptr addrspace(5) %val) #0 { 33 store ptr addrspace(5) %val, ptr poison 34 ret void 35} 36 37define void @skip_store_gep(ptr addrspace(5) %val) #0 { 38 %gep = getelementptr inbounds i32, ptr addrspace(5) %val, i32 1 39 store i32 0, ptr addrspace(5) %gep 40 ret void 41} 42 43define void @skip_sret(ptr addrspace(5) sret(i32) %sret, ptr addrspace(5) %out) #0 { 44 store i32 1, ptr addrspace(5) %sret 45 store i32 0, ptr addrspace(5) %out 46 ret void 47} 48 49 50define void @void_one_out_arg_i32_1_use(ptr addrspace(5) %val) #0 { 51 store i32 0, ptr addrspace(5) %val 52 ret void 53} 54 55 56define void @void_one_out_arg_i32_1_use_align(ptr addrspace(5) align 8 %val) #0 { 57 store i32 0, ptr addrspace(5) %val, align 8 58 ret void 59} 60 61 62 63 64define void @void_one_out_arg_i32_2_use(i1 %arg0, ptr addrspace(5) %val) #0 { 65 br i1 %arg0, label %ret0, label %ret1 66 67ret0: 68 store i32 0, ptr addrspace(5) %val 69 ret void 70 71ret1: 72 store i32 9, ptr addrspace(5) %val 73 ret void 74} 75 76declare void @may.clobber() 77 78 79define void @void_one_out_arg_i32_2_stores(ptr addrspace(5) %val) #0 { 80 store i32 0, ptr addrspace(5) %val 81 store i32 1, ptr addrspace(5) %val 82 ret void 83} 84 85 86define void @void_one_out_arg_i32_2_stores_clobber(ptr addrspace(5) %val) #0 { 87 store i32 0, ptr addrspace(5) %val 88 call void @may.clobber() 89 store i32 1, ptr addrspace(5) %val 90 ret void 91} 92 93 94define void @void_one_out_arg_i32_call_may_clobber(ptr addrspace(5) %val) #0 { 95 store i32 0, ptr addrspace(5) %val 96 call void @may.clobber() 97 ret void 98} 99 100 101define void @void_one_out_arg_i32_pre_call_may_clobber(ptr addrspace(5) %val) #0 { 102 call void @may.clobber() 103 store i32 0, ptr addrspace(5) %val 104 ret void 105} 106 107define void @void_one_out_arg_i32_reload(ptr addrspace(5) %val) #0 { 108 store i32 0, ptr addrspace(5) %val 109 %load = load i32, ptr addrspace(5) %val, align 4 110 ret void 111} 112 113define void @void_one_out_arg_i32_store_in_different_block(ptr addrspace(5) %out) #0 { 114 %load = load i32, ptr addrspace(1) poison 115 store i32 0, ptr addrspace(5) %out 116 br label %ret 117 118ret: 119 ret void 120} 121 122 123define void @unused_out_arg_one_branch(i1 %arg0, ptr addrspace(5) %val) #0 { 124 br i1 %arg0, label %ret0, label %ret1 125 126ret0: 127 ret void 128 129ret1: 130 store i32 9, ptr addrspace(5) %val 131 ret void 132} 133 134 135define void @void_one_out_arg_v2i32_1_use(ptr addrspace(5) %val) #0 { 136 store <2 x i32> <i32 17, i32 9>, ptr addrspace(5) %val 137 ret void 138} 139 140%struct = type { i32, i8, float } 141 142 143; Normally this is split into element accesses which we don't handle. 144define void @void_one_out_arg_struct_1_use(ptr addrspace(5) %out) #0 { 145 store %struct { i32 9, i8 99, float 4.0 }, ptr addrspace(5) %out 146 ret void 147} 148 149 150define i32 @i32_one_out_arg_i32_1_use(ptr addrspace(5) %val) #0 { 151 store i32 24, ptr addrspace(5) %val 152 ret i32 9 153} 154 155 156define void @unused_different_type(ptr addrspace(5) %arg0, ptr addrspace(5) nocapture %arg1) #0 { 157 store float 4.0, ptr addrspace(5) %arg1, align 4 158 ret void 159} 160 161 162define void @multiple_same_return_noalias(ptr addrspace(5) noalias %out0, ptr addrspace(5) noalias %out1) #0 { 163 store i32 1, ptr addrspace(5) %out0, align 4 164 store i32 2, ptr addrspace(5) %out1, align 4 165 ret void 166} 167 168 169define void @multiple_same_return_mayalias(ptr addrspace(5) %out0, ptr addrspace(5) %out1) #0 { 170 store i32 1, ptr addrspace(5) %out0, align 4 171 store i32 2, ptr addrspace(5) %out1, align 4 172 ret void 173} 174 175 176define void @multiple_same_return_mayalias_order(ptr addrspace(5) %out0, ptr addrspace(5) %out1) #0 { 177 store i32 2, ptr addrspace(5) %out1, align 4 178 store i32 1, ptr addrspace(5) %out0, align 4 179 ret void 180} 181 182; Currently this fails to convert because the store won't be found if 183; it isn't in the same block as the return. 184define i32 @store_in_entry_block(i1 %arg0, ptr addrspace(5) %out) #0 { 185entry: 186 %val0 = load i32, ptr addrspace(1) poison 187 store i32 %val0, ptr addrspace(5) %out 188 br i1 %arg0, label %if, label %endif 189 190if: 191 %val1 = load i32, ptr addrspace(1) poison 192 br label %endif 193 194endif: 195 %phi = phi i32 [ 0, %entry ], [ %val1, %if ] 196 ret i32 %phi 197} 198 199 200define i1 @i1_one_out_arg_i32_1_use(ptr addrspace(5) %val) #0 { 201 store i32 24, ptr addrspace(5) %val 202 ret i1 true 203} 204 205; Make sure we don't leave around return attributes that are 206; incompatible with struct return types. 207 208 209define zeroext i1 @i1_zeroext_one_out_arg_i32_1_use(ptr addrspace(5) %val) #0 { 210 store i32 24, ptr addrspace(5) %val 211 ret i1 true 212} 213 214 215define signext i1 @i1_signext_one_out_arg_i32_1_use(ptr addrspace(5) %val) #0 { 216 store i32 24, ptr addrspace(5) %val 217 ret i1 true 218} 219 220 221define noalias ptr addrspace(1) @p1i32_noalias_one_out_arg_i32_1_use(ptr addrspace(5) %val) #0 { 222 store i32 24, ptr addrspace(5) %val 223 ret ptr addrspace(1) null 224} 225 226define void @void_one_out_non_private_arg_i32_1_use(ptr addrspace(1) %val) #0 { 227 store i32 0, ptr addrspace(1) %val 228 ret void 229} 230 231define void @func_ptr_type(ptr addrspace(5) %out) #0 { 232 %func = load ptr, ptr poison 233 store ptr %func, ptr addrspace(5) %out 234 ret void 235} 236 237define void @bitcast_func_ptr_type(ptr addrspace(5) %out) #0 { 238 %func = load ptr, ptr poison 239 store ptr %func, ptr addrspace(5) %out 240 ret void 241} 242 243 244define void @out_arg_small_array(ptr addrspace(5) %val) #0 { 245 store [4 x i32] [i32 0, i32 1, i32 2, i32 3], ptr addrspace(5) %val 246 ret void 247} 248 249define void @out_arg_large_array(ptr addrspace(5) %val) #0 { 250 store [17 x i32] zeroinitializer, ptr addrspace(5) %val 251 ret void 252} 253 254define <16 x i32> @num_regs_return_limit(ptr addrspace(5) %out, i32 %val) #0 { 255 %load = load volatile <16 x i32>, ptr addrspace(1) poison 256 store i32 %val, ptr addrspace(5) %out 257 ret <16 x i32> %load 258} 259 260define [15 x i32] @num_regs_reach_limit(ptr addrspace(5) %out, i32 %val) #0 { 261 %load = load volatile [15 x i32], ptr addrspace(1) poison 262 store i32 %val, ptr addrspace(5) %out 263 ret [15 x i32] %load 264} 265 266 267define [15 x i32] @num_regs_reach_limit_leftover(ptr addrspace(5) %out0, ptr addrspace(5) %out1, i32 %val0) #0 { 268 %load0 = load volatile [15 x i32], ptr addrspace(1) poison 269 %load1 = load volatile i32, ptr addrspace(1) poison 270 store i32 %val0, ptr addrspace(5) %out0 271 store i32 %load1, ptr addrspace(5) %out1 272 ret [15 x i32] %load0 273} 274 275 276define void @preserve_debug_info(i32 %arg0, ptr addrspace(5) %val) #0 !dbg !5 { 277 call void @may.clobber(), !dbg !10 278 store i32 %arg0, ptr addrspace(5) %val, !dbg !11 279 ret void, !dbg !12 280} 281 282define void @preserve_metadata(i32 %arg0, ptr addrspace(5) %val) #0 !kernel_arg_access_qual !13 { 283 call void @may.clobber() 284 store i32 %arg0, ptr addrspace(5) %val 285 ret void 286} 287 288; Clang emits this pattern for 3-vectors for some reason. 289 290define void @bitcast_pointer_v4i32_v3i32(ptr addrspace(5) %out) #0 { 291 %load = load volatile <4 x i32>, ptr addrspace(1) poison 292 store <4 x i32> %load, ptr addrspace(5) %out 293 ret void 294} 295 296define void @bitcast_pointer_v4i32_v3f32(ptr addrspace(5) %out) #0 { 297 %load = load volatile <4 x i32>, ptr addrspace(1) poison 298 store <4 x i32> %load, ptr addrspace(5) %out 299 ret void 300} 301 302 303; Try different element and bitwidths which could produce broken 304; casts. 305 306 307define void @bitcast_pointer_i32_f32(ptr addrspace(5) %out) #0 { 308 %load = load volatile i32, ptr addrspace(1) poison 309 store i32 %load, ptr addrspace(5) %out 310 ret void 311} 312 313define void @bitcast_pointer_i32_f16(ptr addrspace(5) %out) #0 { 314 %load = load volatile i32, ptr addrspace(1) poison 315 store i32 %load, ptr addrspace(5) %out 316 ret void 317} 318 319define void @bitcast_pointer_f16_i32(ptr addrspace(5) %out) #0 { 320 %load = load volatile half, ptr addrspace(1) poison 321 store half %load, ptr addrspace(5) %out 322 ret void 323} 324 325%struct.i128 = type { i128 } 326%struct.v2f32 = type { <2 x float> } 327%struct.v3f32 = type { <3 x float> } 328%struct.v3f32.f32 = type { <3 x float>, float } 329%struct.v4f32 = type { <4 x float> } 330 331 332define void @bitcast_struct_v3f32_v3f32(ptr addrspace(5) %out, <3 x float> %value) #0 { 333 %extractVec = shufflevector <3 x float> %value, <3 x float> poison, <4 x i32> <i32 0, i32 1, i32 2, i32 poison> 334 store <4 x float> %extractVec, ptr addrspace(5) %out, align 16 335 ret void 336} 337 338 339define void @bitcast_struct_v3f32_v3i32(ptr addrspace(5) %out, <3 x i32> %value) #0 { 340 %extractVec = shufflevector <3 x i32> %value, <3 x i32> poison, <4 x i32> <i32 0, i32 1, i32 2, i32 poison> 341 store <4 x i32> %extractVec, ptr addrspace(5) %out, align 16 342 ret void 343} 344 345 346define void @bitcast_struct_v4f32_v4f32(ptr addrspace(5) %out, <4 x float> %value) #0 { 347 store <4 x float> %value, ptr addrspace(5) %out, align 16 348 ret void 349} 350 351define void @bitcast_struct_v3f32_v4i32(ptr addrspace(5) %out, <4 x i32> %value) #0 { 352 store <4 x i32> %value, ptr addrspace(5) %out, align 16 353 ret void 354} 355 356define void @bitcast_struct_v4f32_v3f32(ptr addrspace(5) %out, <3 x float> %value) #0 { 357 %extractVec = shufflevector <3 x float> %value, <3 x float> poison, <4 x i32> <i32 0, i32 1, i32 2, i32 poison> 358 store <4 x float> %extractVec, ptr addrspace(5) %out, align 16 359 ret void 360} 361 362define void @bitcast_struct_v3f32_v2f32(ptr addrspace(5) %out, <2 x float> %value) #0 { 363 store <2 x float> %value, ptr addrspace(5) %out, align 8 364 ret void 365} 366 367define void @bitcast_struct_v3f32_f32_v3f32(ptr addrspace(5) %out, <3 x float> %value) #0 { 368 %extractVec = shufflevector <3 x float> %value, <3 x float> poison, <4 x i32> <i32 0, i32 1, i32 2, i32 poison> 369 store <4 x float> %extractVec, ptr addrspace(5) %out, align 16 370 ret void 371} 372 373define void @bitcast_struct_v3f32_f32_v4f32(ptr addrspace(5) %out, <4 x float> %value) #0 { 374 store <4 x float> %value, ptr addrspace(5) %out, align 16 375 ret void 376} 377 378define void @bitcast_struct_i128_v4f32(ptr addrspace(5) %out, <4 x float> %value) #0 { 379 store <4 x float> %value, ptr addrspace(5) %out, align 16 380 ret void 381} 382 383define void @bitcast_array_v4i32_v4f32(ptr addrspace(5) %out, [4 x float] %value) #0 { 384 store [4 x float] %value, ptr addrspace(5) %out, align 4 385 ret void 386} 387 388 389define void @multi_return_bitcast_struct_v3f32_v3f32(i1 %cond, ptr addrspace(5) %out, <3 x float> %value) #0 { 390entry: 391 br i1 %cond, label %ret0, label %ret1 392 393ret0: 394 %extractVec = shufflevector <3 x float> %value, <3 x float> poison, <4 x i32> <i32 0, i32 1, i32 2, i32 poison> 395 store <4 x float> %extractVec, ptr addrspace(5) %out, align 16 396 ret void 397 398ret1: 399 %load = load <4 x float>, ptr addrspace(1) poison 400 store <4 x float> %load, ptr addrspace(5) %out, align 16 401 ret void 402} 403 404define void @bitcast_v3f32_struct_v3f32(ptr addrspace(5) %out, %struct.v3f32 %value) #0 { 405 store %struct.v3f32 %value, ptr addrspace(5) %out, align 4 406 ret void 407} 408 409attributes #0 = { nounwind } 410attributes #1 = { nounwind noinline optnone } 411attributes #2 = { alwaysinline nounwind } 412 413!llvm.dbg.cu = !{!0} 414!llvm.module.flags = !{!3, !4} 415 416!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 5.0.0", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, enums: !2) 417!1 = !DIFile(filename: "code-object-metadata-kernel-debug-props.cl", directory: "/some/random/directory") 418!2 = !{} 419!3 = !{i32 2, !"Dwarf Version", i32 2} 420!4 = !{i32 2, !"Debug Info Version", i32 3} 421!5 = distinct !DISubprogram(name: "test", scope: !1, file: !1, line: 1, type: !6, isLocal: false, isDefinition: true, scopeLine: 1, flags: DIFlagPrototyped, isOptimized: false, unit: !0, retainedNodes: !2) 422!6 = !DISubroutineType(types: !7) 423!7 = !{null, !8} 424!8 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !9, size: 64) 425!9 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) 426!10 = !DILocation(line: 2, column: 3, scope: !5) 427!11 = !DILocation(line: 2, column: 8, scope: !5) 428!12 = !DILocation(line: 3, column: 3, scope: !5) 429!13 = !{!"none"} 430 431; CHECK-LABEL: define {{[^@]+}}@no_ret_blocks 432; CHECK-SAME: () #[[ATTR0:[0-9]+]] { 433; CHECK-NEXT: unreachable 434; 435; 436; CHECK-LABEL: define {{[^@]+}}@void_one_out_arg_i32_no_use 437; CHECK-SAME: (ptr addrspace(5) [[VAL:%.*]]) #[[ATTR0]] { 438; CHECK-NEXT: ret void 439; 440; 441; CHECK-LABEL: define {{[^@]+}}@skip_byval_arg 442; CHECK-SAME: (ptr addrspace(5) byval(i32) [[VAL:%.*]]) #[[ATTR0]] { 443; CHECK-NEXT: store i32 0, ptr addrspace(5) [[VAL]], align 4 444; CHECK-NEXT: ret void 445; 446; 447; CHECK-LABEL: define {{[^@]+}}@skip_optnone 448; CHECK-SAME: (ptr addrspace(5) byval(i32) [[VAL:%.*]]) #[[ATTR1:[0-9]+]] { 449; CHECK-NEXT: store i32 0, ptr addrspace(5) [[VAL]], align 4 450; CHECK-NEXT: ret void 451; 452; 453; CHECK-LABEL: define {{[^@]+}}@skip_volatile 454; CHECK-SAME: (ptr addrspace(5) byval(i32) [[VAL:%.*]]) #[[ATTR0]] { 455; CHECK-NEXT: store volatile i32 0, ptr addrspace(5) [[VAL]], align 4 456; CHECK-NEXT: ret void 457; 458; 459; CHECK-LABEL: define {{[^@]+}}@skip_atomic 460; CHECK-SAME: (ptr addrspace(5) byval(i32) [[VAL:%.*]]) #[[ATTR0]] { 461; CHECK-NEXT: store atomic i32 0, ptr addrspace(5) [[VAL]] seq_cst, align 4 462; CHECK-NEXT: ret void 463; 464; 465; CHECK-LABEL: define {{[^@]+}}@skip_store_pointer_val 466; CHECK-SAME: (ptr addrspace(5) [[VAL:%.*]]) #[[ATTR0]] { 467; CHECK-NEXT: store ptr addrspace(5) [[VAL]], ptr poison, align 4 468; CHECK-NEXT: ret void 469; 470; 471; CHECK-LABEL: define {{[^@]+}}@skip_store_gep 472; CHECK-SAME: (ptr addrspace(5) [[VAL:%.*]]) #[[ATTR0]] { 473; CHECK-NEXT: [[GEP:%.*]] = getelementptr inbounds i32, ptr addrspace(5) [[VAL]], i32 1 474; CHECK-NEXT: store i32 0, ptr addrspace(5) [[GEP]], align 4 475; CHECK-NEXT: ret void 476; 477; 478; CHECK-LABEL: define {{[^@]+}}@skip_sret 479; CHECK-SAME: (ptr addrspace(5) sret(i32) [[SRET:%.*]], ptr addrspace(5) [[OUT:%.*]]) #[[ATTR0]] { 480; CHECK-NEXT: store i32 1, ptr addrspace(5) [[SRET]], align 4 481; CHECK-NEXT: store i32 0, ptr addrspace(5) [[OUT]], align 4 482; CHECK-NEXT: ret void 483; 484; 485; CHECK-LABEL: define {{[^@]+}}@void_one_out_arg_i32_1_use.body 486; CHECK-SAME: (ptr addrspace(5) [[VAL:%.*]]) #[[ATTR0]] { 487; CHECK-NEXT: ret [[VOID_ONE_OUT_ARG_I32_1_USE:%.*]] zeroinitializer 488; 489; 490; CHECK-LABEL: define {{[^@]+}}@void_one_out_arg_i32_1_use 491; CHECK-SAME: (ptr addrspace(5) [[TMP0:%.*]]) #[[ATTR2:[0-9]+]] { 492; CHECK-NEXT: [[TMP2:%.*]] = call [[VOID_ONE_OUT_ARG_I32_1_USE:%.*]] @[[VOID_ONE_OUT_ARG_I32_1_USE_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) poison) 493; CHECK-NEXT: [[TMP3:%.*]] = extractvalue [[VOID_ONE_OUT_ARG_I32_1_USE]] [[TMP2]], 0 494; CHECK-NEXT: store i32 [[TMP3]], ptr addrspace(5) [[TMP0]], align 4 495; CHECK-NEXT: ret void 496; 497; 498; CHECK-LABEL: define {{[^@]+}}@void_one_out_arg_i32_1_use_align.body 499; CHECK-SAME: (ptr addrspace(5) align 8 [[VAL:%.*]]) #[[ATTR0]] { 500; CHECK-NEXT: ret [[VOID_ONE_OUT_ARG_I32_1_USE_ALIGN:%.*]] zeroinitializer 501; 502; 503; CHECK-LABEL: define {{[^@]+}}@void_one_out_arg_i32_1_use_align 504; CHECK-SAME: (ptr addrspace(5) align 8 [[TMP0:%.*]]) #[[ATTR2]] { 505; CHECK-NEXT: [[TMP2:%.*]] = call [[VOID_ONE_OUT_ARG_I32_1_USE_ALIGN:%.*]] @[[VOID_ONE_OUT_ARG_I32_1_USE_ALIGN_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) poison) 506; CHECK-NEXT: [[TMP3:%.*]] = extractvalue [[VOID_ONE_OUT_ARG_I32_1_USE_ALIGN]] [[TMP2]], 0 507; CHECK-NEXT: store i32 [[TMP3]], ptr addrspace(5) [[TMP0]], align 8 508; CHECK-NEXT: ret void 509; 510; 511; CHECK-LABEL: define {{[^@]+}}@void_one_out_arg_i32_2_use.body 512; CHECK-SAME: (i1 [[ARG0:%.*]], ptr addrspace(5) [[VAL:%.*]]) #[[ATTR0]] { 513; CHECK-NEXT: br i1 [[ARG0]], label [[RET0:%.*]], label [[RET1:%.*]] 514; CHECK: ret0: 515; CHECK-NEXT: ret [[VOID_ONE_OUT_ARG_I32_2_USE:%.*]] zeroinitializer 516; CHECK: ret1: 517; CHECK-NEXT: ret [[VOID_ONE_OUT_ARG_I32_2_USE]] { i32 9 } 518; 519; 520; CHECK-LABEL: define {{[^@]+}}@void_one_out_arg_i32_2_use 521; CHECK-SAME: (i1 [[TMP0:%.*]], ptr addrspace(5) [[TMP1:%.*]]) #[[ATTR2]] { 522; CHECK-NEXT: [[TMP3:%.*]] = call [[VOID_ONE_OUT_ARG_I32_2_USE:%.*]] @[[VOID_ONE_OUT_ARG_I32_2_USE_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](i1 [[TMP0]], ptr addrspace(5) poison) 523; CHECK-NEXT: [[TMP4:%.*]] = extractvalue [[VOID_ONE_OUT_ARG_I32_2_USE]] [[TMP3]], 0 524; CHECK-NEXT: store i32 [[TMP4]], ptr addrspace(5) [[TMP1]], align 4 525; CHECK-NEXT: ret void 526; 527; 528; CHECK-LABEL: define {{[^@]+}}@void_one_out_arg_i32_2_stores.body 529; CHECK-SAME: (ptr addrspace(5) [[VAL:%.*]]) #[[ATTR0]] { 530; CHECK-NEXT: store i32 0, ptr addrspace(5) [[VAL]], align 4 531; CHECK-NEXT: ret [[VOID_ONE_OUT_ARG_I32_2_STORES:%.*]] { i32 1 } 532; 533; 534; CHECK-LABEL: define {{[^@]+}}@void_one_out_arg_i32_2_stores 535; CHECK-SAME: (ptr addrspace(5) [[TMP0:%.*]]) #[[ATTR2]] { 536; CHECK-NEXT: [[TMP2:%.*]] = call [[VOID_ONE_OUT_ARG_I32_2_STORES:%.*]] @[[VOID_ONE_OUT_ARG_I32_2_STORES_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) poison) 537; CHECK-NEXT: [[TMP3:%.*]] = extractvalue [[VOID_ONE_OUT_ARG_I32_2_STORES]] [[TMP2]], 0 538; CHECK-NEXT: store i32 [[TMP3]], ptr addrspace(5) [[TMP0]], align 4 539; CHECK-NEXT: ret void 540; 541; 542; CHECK-LABEL: define {{[^@]+}}@void_one_out_arg_i32_2_stores_clobber.body 543; CHECK-SAME: (ptr addrspace(5) [[VAL:%.*]]) #[[ATTR0]] { 544; CHECK-NEXT: store i32 0, ptr addrspace(5) [[VAL]], align 4 545; CHECK-NEXT: call void @may.clobber() 546; CHECK-NEXT: ret [[VOID_ONE_OUT_ARG_I32_2_STORES_CLOBBER:%.*]] { i32 1 } 547; 548; 549; CHECK-LABEL: define {{[^@]+}}@void_one_out_arg_i32_2_stores_clobber 550; CHECK-SAME: (ptr addrspace(5) [[TMP0:%.*]]) #[[ATTR2]] { 551; CHECK-NEXT: [[TMP2:%.*]] = call [[VOID_ONE_OUT_ARG_I32_2_STORES_CLOBBER:%.*]] @[[VOID_ONE_OUT_ARG_I32_2_STORES_CLOBBER_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) poison) 552; CHECK-NEXT: [[TMP3:%.*]] = extractvalue [[VOID_ONE_OUT_ARG_I32_2_STORES_CLOBBER]] [[TMP2]], 0 553; CHECK-NEXT: store i32 [[TMP3]], ptr addrspace(5) [[TMP0]], align 4 554; CHECK-NEXT: ret void 555; 556; 557; CHECK-LABEL: define {{[^@]+}}@void_one_out_arg_i32_call_may_clobber 558; CHECK-SAME: (ptr addrspace(5) [[VAL:%.*]]) #[[ATTR0]] { 559; CHECK-NEXT: store i32 0, ptr addrspace(5) [[VAL]], align 4 560; CHECK-NEXT: call void @may.clobber() 561; CHECK-NEXT: ret void 562; 563; 564; CHECK-LABEL: define {{[^@]+}}@void_one_out_arg_i32_pre_call_may_clobber.body 565; CHECK-SAME: (ptr addrspace(5) [[VAL:%.*]]) #[[ATTR0]] { 566; CHECK-NEXT: call void @may.clobber() 567; CHECK-NEXT: ret [[VOID_ONE_OUT_ARG_I32_PRE_CALL_MAY_CLOBBER:%.*]] zeroinitializer 568; 569; 570; CHECK-LABEL: define {{[^@]+}}@void_one_out_arg_i32_pre_call_may_clobber 571; CHECK-SAME: (ptr addrspace(5) [[TMP0:%.*]]) #[[ATTR2]] { 572; CHECK-NEXT: [[TMP2:%.*]] = call [[VOID_ONE_OUT_ARG_I32_PRE_CALL_MAY_CLOBBER:%.*]] @[[VOID_ONE_OUT_ARG_I32_PRE_CALL_MAY_CLOBBER_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) poison) 573; CHECK-NEXT: [[TMP3:%.*]] = extractvalue [[VOID_ONE_OUT_ARG_I32_PRE_CALL_MAY_CLOBBER]] [[TMP2]], 0 574; CHECK-NEXT: store i32 [[TMP3]], ptr addrspace(5) [[TMP0]], align 4 575; CHECK-NEXT: ret void 576; 577; 578; CHECK-LABEL: define {{[^@]+}}@void_one_out_arg_i32_reload 579; CHECK-SAME: (ptr addrspace(5) [[VAL:%.*]]) #[[ATTR0]] { 580; CHECK-NEXT: store i32 0, ptr addrspace(5) [[VAL]], align 4 581; CHECK-NEXT: [[LOAD:%.*]] = load i32, ptr addrspace(5) [[VAL]], align 4 582; CHECK-NEXT: ret void 583; 584; 585; CHECK-LABEL: define {{[^@]+}}@void_one_out_arg_i32_store_in_different_block 586; CHECK-SAME: (ptr addrspace(5) [[OUT:%.*]]) #[[ATTR0]] { 587; CHECK-NEXT: [[LOAD:%.*]] = load i32, ptr addrspace(1) poison, align 4 588; CHECK-NEXT: store i32 0, ptr addrspace(5) [[OUT]], align 4 589; CHECK-NEXT: br label [[RET:%.*]] 590; CHECK: ret: 591; CHECK-NEXT: ret void 592; 593; 594; CHECK-LABEL: define {{[^@]+}}@unused_out_arg_one_branch 595; CHECK-SAME: (i1 [[ARG0:%.*]], ptr addrspace(5) [[VAL:%.*]]) #[[ATTR0]] { 596; CHECK-NEXT: br i1 [[ARG0]], label [[RET0:%.*]], label [[RET1:%.*]] 597; CHECK: ret0: 598; CHECK-NEXT: ret void 599; CHECK: ret1: 600; CHECK-NEXT: store i32 9, ptr addrspace(5) [[VAL]], align 4 601; CHECK-NEXT: ret void 602; 603; 604; CHECK-LABEL: define {{[^@]+}}@void_one_out_arg_v2i32_1_use.body 605; CHECK-SAME: (ptr addrspace(5) [[VAL:%.*]]) #[[ATTR0]] { 606; CHECK-NEXT: ret [[VOID_ONE_OUT_ARG_V2I32_1_USE:%.*]] { <2 x i32> <i32 17, i32 9> } 607; 608; 609; CHECK-LABEL: define {{[^@]+}}@void_one_out_arg_v2i32_1_use 610; CHECK-SAME: (ptr addrspace(5) [[TMP0:%.*]]) #[[ATTR2]] { 611; CHECK-NEXT: [[TMP2:%.*]] = call [[VOID_ONE_OUT_ARG_V2I32_1_USE:%.*]] @[[VOID_ONE_OUT_ARG_V2I32_1_USE_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) poison) 612; CHECK-NEXT: [[TMP3:%.*]] = extractvalue [[VOID_ONE_OUT_ARG_V2I32_1_USE]] [[TMP2]], 0 613; CHECK-NEXT: store <2 x i32> [[TMP3]], ptr addrspace(5) [[TMP0]], align 8 614; CHECK-NEXT: ret void 615; 616; 617; CHECK-LABEL: define {{[^@]+}}@void_one_out_arg_struct_1_use.body 618; CHECK-SAME: (ptr addrspace(5) [[OUT:%.*]]) #[[ATTR0]] { 619; CHECK-NEXT: ret [[VOID_ONE_OUT_ARG_STRUCT_1_USE:%.*]] { [[STRUCT:%.*]] { i32 9, i8 99, float 4.000000e+00 } } 620; 621; 622; CHECK-LABEL: define {{[^@]+}}@void_one_out_arg_struct_1_use 623; CHECK-SAME: (ptr addrspace(5) [[TMP0:%.*]]) #[[ATTR2]] { 624; CHECK-NEXT: [[TMP2:%.*]] = call [[VOID_ONE_OUT_ARG_STRUCT_1_USE:%.*]] @[[VOID_ONE_OUT_ARG_STRUCT_1_USE_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) poison) 625; CHECK-NEXT: [[TMP3:%.*]] = extractvalue [[VOID_ONE_OUT_ARG_STRUCT_1_USE]] [[TMP2]], 0 626; CHECK-NEXT: store [[STRUCT:%.*]] [[TMP3]], ptr addrspace(5) [[TMP0]], align 4 627; CHECK-NEXT: ret void 628; 629; 630; CHECK-LABEL: define {{[^@]+}}@i32_one_out_arg_i32_1_use.body 631; CHECK-SAME: (ptr addrspace(5) [[VAL:%.*]]) #[[ATTR0]] { 632; CHECK-NEXT: ret [[I32_ONE_OUT_ARG_I32_1_USE:%.*]] { i32 9, i32 24 } 633; 634; 635; CHECK-LABEL: define {{[^@]+}}@i32_one_out_arg_i32_1_use 636; CHECK-SAME: (ptr addrspace(5) [[TMP0:%.*]]) #[[ATTR2]] { 637; CHECK-NEXT: [[TMP2:%.*]] = call [[I32_ONE_OUT_ARG_I32_1_USE:%.*]] @[[I32_ONE_OUT_ARG_I32_1_USE_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) poison) 638; CHECK-NEXT: [[TMP3:%.*]] = extractvalue [[I32_ONE_OUT_ARG_I32_1_USE]] [[TMP2]], 1 639; CHECK-NEXT: store i32 [[TMP3]], ptr addrspace(5) [[TMP0]], align 4 640; CHECK-NEXT: [[TMP4:%.*]] = extractvalue [[I32_ONE_OUT_ARG_I32_1_USE]] [[TMP2]], 0 641; CHECK-NEXT: ret i32 [[TMP4]] 642; 643; 644; CHECK-LABEL: define {{[^@]+}}@unused_different_type.body 645; CHECK-SAME: (ptr addrspace(5) [[ARG0:%.*]], ptr addrspace(5) captures(none) [[ARG1:%.*]]) #[[ATTR0]] { 646; CHECK-NEXT: ret [[UNUSED_DIFFERENT_TYPE:%.*]] { float 4.000000e+00 } 647; 648; 649; CHECK-LABEL: define {{[^@]+}}@unused_different_type 650; CHECK-SAME: (ptr addrspace(5) [[TMP0:%.*]], ptr addrspace(5) captures(none) [[TMP1:%.*]]) #[[ATTR2]] { 651; CHECK-NEXT: [[TMP3:%.*]] = call [[UNUSED_DIFFERENT_TYPE:%.*]] @[[UNUSED_DIFFERENT_TYPE_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) [[TMP0]], ptr addrspace(5) poison) 652; CHECK-NEXT: [[TMP4:%.*]] = extractvalue [[UNUSED_DIFFERENT_TYPE]] [[TMP3]], 0 653; CHECK-NEXT: store float [[TMP4]], ptr addrspace(5) [[TMP1]], align 4 654; CHECK-NEXT: ret void 655; 656; 657; CHECK-LABEL: define {{[^@]+}}@multiple_same_return_noalias.body 658; CHECK-SAME: (ptr addrspace(5) noalias [[OUT0:%.*]], ptr addrspace(5) noalias [[OUT1:%.*]]) #[[ATTR0]] { 659; CHECK-NEXT: ret [[MULTIPLE_SAME_RETURN_NOALIAS:%.*]] { i32 1, i32 2 } 660; 661; 662; CHECK-LABEL: define {{[^@]+}}@multiple_same_return_noalias 663; CHECK-SAME: (ptr addrspace(5) noalias [[TMP0:%.*]], ptr addrspace(5) noalias [[TMP1:%.*]]) #[[ATTR2]] { 664; CHECK-NEXT: [[TMP3:%.*]] = call [[MULTIPLE_SAME_RETURN_NOALIAS:%.*]] @[[MULTIPLE_SAME_RETURN_NOALIAS_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) poison, ptr addrspace(5) poison) 665; CHECK-NEXT: [[TMP4:%.*]] = extractvalue [[MULTIPLE_SAME_RETURN_NOALIAS]] [[TMP3]], 0 666; CHECK-NEXT: store i32 [[TMP4]], ptr addrspace(5) [[TMP0]], align 4 667; CHECK-NEXT: [[TMP5:%.*]] = extractvalue [[MULTIPLE_SAME_RETURN_NOALIAS]] [[TMP3]], 1 668; CHECK-NEXT: store i32 [[TMP5]], ptr addrspace(5) [[TMP1]], align 4 669; CHECK-NEXT: ret void 670; 671; 672; CHECK-LABEL: define {{[^@]+}}@multiple_same_return_mayalias.body 673; CHECK-SAME: (ptr addrspace(5) [[OUT0:%.*]], ptr addrspace(5) [[OUT1:%.*]]) #[[ATTR0]] { 674; CHECK-NEXT: ret [[MULTIPLE_SAME_RETURN_MAYALIAS:%.*]] { i32 2, i32 1 } 675; 676; 677; CHECK-LABEL: define {{[^@]+}}@multiple_same_return_mayalias 678; CHECK-SAME: (ptr addrspace(5) [[TMP0:%.*]], ptr addrspace(5) [[TMP1:%.*]]) #[[ATTR2]] { 679; CHECK-NEXT: [[TMP3:%.*]] = call [[MULTIPLE_SAME_RETURN_MAYALIAS:%.*]] @[[MULTIPLE_SAME_RETURN_MAYALIAS_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) poison, ptr addrspace(5) poison) 680; CHECK-NEXT: [[TMP4:%.*]] = extractvalue [[MULTIPLE_SAME_RETURN_MAYALIAS]] [[TMP3]], 0 681; CHECK-NEXT: store i32 [[TMP4]], ptr addrspace(5) [[TMP0]], align 4 682; CHECK-NEXT: [[TMP5:%.*]] = extractvalue [[MULTIPLE_SAME_RETURN_MAYALIAS]] [[TMP3]], 1 683; CHECK-NEXT: store i32 [[TMP5]], ptr addrspace(5) [[TMP1]], align 4 684; CHECK-NEXT: ret void 685; 686; 687; CHECK-LABEL: define {{[^@]+}}@multiple_same_return_mayalias_order.body 688; CHECK-SAME: (ptr addrspace(5) [[OUT0:%.*]], ptr addrspace(5) [[OUT1:%.*]]) #[[ATTR0]] { 689; CHECK-NEXT: ret [[MULTIPLE_SAME_RETURN_MAYALIAS_ORDER:%.*]] { i32 1, i32 2 } 690; 691; 692; CHECK-LABEL: define {{[^@]+}}@multiple_same_return_mayalias_order 693; CHECK-SAME: (ptr addrspace(5) [[TMP0:%.*]], ptr addrspace(5) [[TMP1:%.*]]) #[[ATTR2]] { 694; CHECK-NEXT: [[TMP3:%.*]] = call [[MULTIPLE_SAME_RETURN_MAYALIAS_ORDER:%.*]] @[[MULTIPLE_SAME_RETURN_MAYALIAS_ORDER_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) poison, ptr addrspace(5) poison) 695; CHECK-NEXT: [[TMP4:%.*]] = extractvalue [[MULTIPLE_SAME_RETURN_MAYALIAS_ORDER]] [[TMP3]], 0 696; CHECK-NEXT: store i32 [[TMP4]], ptr addrspace(5) [[TMP0]], align 4 697; CHECK-NEXT: [[TMP5:%.*]] = extractvalue [[MULTIPLE_SAME_RETURN_MAYALIAS_ORDER]] [[TMP3]], 1 698; CHECK-NEXT: store i32 [[TMP5]], ptr addrspace(5) [[TMP1]], align 4 699; CHECK-NEXT: ret void 700; 701; 702; CHECK-LABEL: define {{[^@]+}}@store_in_entry_block 703; CHECK-SAME: (i1 [[ARG0:%.*]], ptr addrspace(5) [[OUT:%.*]]) #[[ATTR0]] { 704; CHECK-NEXT: entry: 705; CHECK-NEXT: [[VAL0:%.*]] = load i32, ptr addrspace(1) poison, align 4 706; CHECK-NEXT: store i32 [[VAL0]], ptr addrspace(5) [[OUT]], align 4 707; CHECK-NEXT: br i1 [[ARG0]], label [[IF:%.*]], label [[ENDIF:%.*]] 708; CHECK: if: 709; CHECK-NEXT: [[VAL1:%.*]] = load i32, ptr addrspace(1) poison, align 4 710; CHECK-NEXT: br label [[ENDIF]] 711; CHECK: endif: 712; CHECK-NEXT: [[PHI:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[VAL1]], [[IF]] ] 713; CHECK-NEXT: ret i32 [[PHI]] 714; 715; 716; CHECK-LABEL: define {{[^@]+}}@i1_one_out_arg_i32_1_use.body 717; CHECK-SAME: (ptr addrspace(5) [[VAL:%.*]]) #[[ATTR0]] { 718; CHECK-NEXT: ret [[I1_ONE_OUT_ARG_I32_1_USE:%.*]] { i1 true, i32 24 } 719; 720; 721; CHECK-LABEL: define {{[^@]+}}@i1_one_out_arg_i32_1_use 722; CHECK-SAME: (ptr addrspace(5) [[TMP0:%.*]]) #[[ATTR2]] { 723; CHECK-NEXT: [[TMP2:%.*]] = call [[I1_ONE_OUT_ARG_I32_1_USE:%.*]] @[[I1_ONE_OUT_ARG_I32_1_USE_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) poison) 724; CHECK-NEXT: [[TMP3:%.*]] = extractvalue [[I1_ONE_OUT_ARG_I32_1_USE]] [[TMP2]], 1 725; CHECK-NEXT: store i32 [[TMP3]], ptr addrspace(5) [[TMP0]], align 4 726; CHECK-NEXT: [[TMP4:%.*]] = extractvalue [[I1_ONE_OUT_ARG_I32_1_USE]] [[TMP2]], 0 727; CHECK-NEXT: ret i1 [[TMP4]] 728; 729; 730; CHECK-LABEL: define {{[^@]+}}@i1_zeroext_one_out_arg_i32_1_use.body 731; CHECK-SAME: (ptr addrspace(5) [[VAL:%.*]]) #[[ATTR0]] { 732; CHECK-NEXT: ret [[I1_ZEROEXT_ONE_OUT_ARG_I32_1_USE:%.*]] { i1 true, i32 24 } 733; 734; 735; CHECK-LABEL: define {{[^@]+}}@i1_zeroext_one_out_arg_i32_1_use 736; CHECK-SAME: (ptr addrspace(5) [[TMP0:%.*]]) #[[ATTR2]] { 737; CHECK-NEXT: [[TMP2:%.*]] = call [[I1_ZEROEXT_ONE_OUT_ARG_I32_1_USE:%.*]] @[[I1_ZEROEXT_ONE_OUT_ARG_I32_1_USE_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) poison) 738; CHECK-NEXT: [[TMP3:%.*]] = extractvalue [[I1_ZEROEXT_ONE_OUT_ARG_I32_1_USE]] [[TMP2]], 1 739; CHECK-NEXT: store i32 [[TMP3]], ptr addrspace(5) [[TMP0]], align 4 740; CHECK-NEXT: [[TMP4:%.*]] = extractvalue [[I1_ZEROEXT_ONE_OUT_ARG_I32_1_USE]] [[TMP2]], 0 741; CHECK-NEXT: ret i1 [[TMP4]] 742; 743; 744; CHECK-LABEL: define {{[^@]+}}@i1_signext_one_out_arg_i32_1_use.body 745; CHECK-SAME: (ptr addrspace(5) [[VAL:%.*]]) #[[ATTR0]] { 746; CHECK-NEXT: ret [[I1_SIGNEXT_ONE_OUT_ARG_I32_1_USE:%.*]] { i1 true, i32 24 } 747; 748; 749; CHECK-LABEL: define {{[^@]+}}@i1_signext_one_out_arg_i32_1_use 750; CHECK-SAME: (ptr addrspace(5) [[TMP0:%.*]]) #[[ATTR2]] { 751; CHECK-NEXT: [[TMP2:%.*]] = call [[I1_SIGNEXT_ONE_OUT_ARG_I32_1_USE:%.*]] @[[I1_SIGNEXT_ONE_OUT_ARG_I32_1_USE_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) poison) 752; CHECK-NEXT: [[TMP3:%.*]] = extractvalue [[I1_SIGNEXT_ONE_OUT_ARG_I32_1_USE]] [[TMP2]], 1 753; CHECK-NEXT: store i32 [[TMP3]], ptr addrspace(5) [[TMP0]], align 4 754; CHECK-NEXT: [[TMP4:%.*]] = extractvalue [[I1_SIGNEXT_ONE_OUT_ARG_I32_1_USE]] [[TMP2]], 0 755; CHECK-NEXT: ret i1 [[TMP4]] 756; 757; 758; CHECK-LABEL: define {{[^@]+}}@p1i32_noalias_one_out_arg_i32_1_use.body 759; CHECK-SAME: (ptr addrspace(5) [[VAL:%.*]]) #[[ATTR0]] { 760; CHECK-NEXT: ret [[P1I32_NOALIAS_ONE_OUT_ARG_I32_1_USE:%.*]] { ptr addrspace(1) null, i32 24 } 761; 762; 763; CHECK-LABEL: define {{[^@]+}}@p1i32_noalias_one_out_arg_i32_1_use 764; CHECK-SAME: (ptr addrspace(5) [[TMP0:%.*]]) #[[ATTR2]] { 765; CHECK-NEXT: [[TMP2:%.*]] = call [[P1I32_NOALIAS_ONE_OUT_ARG_I32_1_USE:%.*]] @[[P1I32_NOALIAS_ONE_OUT_ARG_I32_1_USE_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) poison) 766; CHECK-NEXT: [[TMP3:%.*]] = extractvalue [[P1I32_NOALIAS_ONE_OUT_ARG_I32_1_USE]] [[TMP2]], 1 767; CHECK-NEXT: store i32 [[TMP3]], ptr addrspace(5) [[TMP0]], align 4 768; CHECK-NEXT: [[TMP4:%.*]] = extractvalue [[P1I32_NOALIAS_ONE_OUT_ARG_I32_1_USE]] [[TMP2]], 0 769; CHECK-NEXT: ret ptr addrspace(1) [[TMP4]] 770; 771; 772; CHECK-LABEL: define {{[^@]+}}@void_one_out_non_private_arg_i32_1_use 773; CHECK-SAME: (ptr addrspace(1) [[VAL:%.*]]) #[[ATTR0]] { 774; CHECK-NEXT: store i32 0, ptr addrspace(1) [[VAL]], align 4 775; CHECK-NEXT: ret void 776; 777; 778; CHECK-LABEL: define {{[^@]+}}@func_ptr_type.body 779; CHECK-SAME: (ptr addrspace(5) [[OUT:%.*]]) #[[ATTR0]] { 780; CHECK-NEXT: [[FUNC:%.*]] = load ptr, ptr poison, align 8 781; CHECK-NEXT: [[TMP1:%.*]] = insertvalue [[FUNC_PTR_TYPE:%.*]] poison, ptr [[FUNC]], 0 782; CHECK-NEXT: ret [[FUNC_PTR_TYPE]] [[TMP1]] 783; 784; 785; CHECK-LABEL: define {{[^@]+}}@func_ptr_type 786; CHECK-SAME: (ptr addrspace(5) [[TMP0:%.*]]) #[[ATTR2]] { 787; CHECK-NEXT: [[TMP2:%.*]] = call [[FUNC_PTR_TYPE:%.*]] @[[FUNC_PTR_TYPE_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) poison) 788; CHECK-NEXT: [[TMP3:%.*]] = extractvalue [[FUNC_PTR_TYPE]] [[TMP2]], 0 789; CHECK-NEXT: store ptr [[TMP3]], ptr addrspace(5) [[TMP0]], align 8 790; CHECK-NEXT: ret void 791; 792; 793; CHECK-LABEL: define {{[^@]+}}@bitcast_func_ptr_type.body 794; CHECK-SAME: (ptr addrspace(5) [[OUT:%.*]]) #[[ATTR0]] { 795; CHECK-NEXT: [[FUNC:%.*]] = load ptr, ptr poison, align 8 796; CHECK-NEXT: [[TMP1:%.*]] = insertvalue [[BITCAST_FUNC_PTR_TYPE:%.*]] poison, ptr [[FUNC]], 0 797; CHECK-NEXT: ret [[BITCAST_FUNC_PTR_TYPE]] [[TMP1]] 798; 799; 800; CHECK-LABEL: define {{[^@]+}}@bitcast_func_ptr_type 801; CHECK-SAME: (ptr addrspace(5) [[TMP0:%.*]]) #[[ATTR2]] { 802; CHECK-NEXT: [[TMP2:%.*]] = call [[BITCAST_FUNC_PTR_TYPE:%.*]] @[[BITCAST_FUNC_PTR_TYPE_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) poison) 803; CHECK-NEXT: [[TMP3:%.*]] = extractvalue [[BITCAST_FUNC_PTR_TYPE]] [[TMP2]], 0 804; CHECK-NEXT: store ptr [[TMP3]], ptr addrspace(5) [[TMP0]], align 8 805; CHECK-NEXT: ret void 806; 807; 808; CHECK-LABEL: define {{[^@]+}}@out_arg_small_array.body 809; CHECK-SAME: (ptr addrspace(5) [[VAL:%.*]]) #[[ATTR0]] { 810; CHECK-NEXT: ret [[OUT_ARG_SMALL_ARRAY:%.*]] { [4 x i32] [i32 0, i32 1, i32 2, i32 3] } 811; 812; 813; CHECK-LABEL: define {{[^@]+}}@out_arg_small_array 814; CHECK-SAME: (ptr addrspace(5) [[TMP0:%.*]]) #[[ATTR2]] { 815; CHECK-NEXT: [[TMP2:%.*]] = call [[OUT_ARG_SMALL_ARRAY:%.*]] @[[OUT_ARG_SMALL_ARRAY_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) poison) 816; CHECK-NEXT: [[TMP3:%.*]] = extractvalue [[OUT_ARG_SMALL_ARRAY]] [[TMP2]], 0 817; CHECK-NEXT: store [4 x i32] [[TMP3]], ptr addrspace(5) [[TMP0]], align 4 818; CHECK-NEXT: ret void 819; 820; 821; CHECK-LABEL: define {{[^@]+}}@out_arg_large_array 822; CHECK-SAME: (ptr addrspace(5) [[VAL:%.*]]) #[[ATTR0]] { 823; CHECK-NEXT: store [17 x i32] zeroinitializer, ptr addrspace(5) [[VAL]], align 4 824; CHECK-NEXT: ret void 825; 826; 827; CHECK-LABEL: define {{[^@]+}}@num_regs_return_limit 828; CHECK-SAME: (ptr addrspace(5) [[OUT:%.*]], i32 [[VAL:%.*]]) #[[ATTR0]] { 829; CHECK-NEXT: [[LOAD:%.*]] = load volatile <16 x i32>, ptr addrspace(1) poison, align 64 830; CHECK-NEXT: store i32 [[VAL]], ptr addrspace(5) [[OUT]], align 4 831; CHECK-NEXT: ret <16 x i32> [[LOAD]] 832; 833; 834; CHECK-LABEL: define {{[^@]+}}@num_regs_reach_limit.body 835; CHECK-SAME: (ptr addrspace(5) [[OUT:%.*]], i32 [[VAL:%.*]]) #[[ATTR0]] { 836; CHECK-NEXT: [[LOAD:%.*]] = load volatile [15 x i32], ptr addrspace(1) poison, align 4 837; CHECK-NEXT: [[TMP1:%.*]] = insertvalue [[NUM_REGS_REACH_LIMIT:%.*]] poison, [15 x i32] [[LOAD]], 0 838; CHECK-NEXT: [[TMP2:%.*]] = insertvalue [[NUM_REGS_REACH_LIMIT]] [[TMP1]], i32 [[VAL]], 1 839; CHECK-NEXT: ret [[NUM_REGS_REACH_LIMIT]] [[TMP2]] 840; 841; 842; CHECK-LABEL: define {{[^@]+}}@num_regs_reach_limit 843; CHECK-SAME: (ptr addrspace(5) [[TMP0:%.*]], i32 [[TMP1:%.*]]) #[[ATTR2]] { 844; CHECK-NEXT: [[TMP3:%.*]] = call [[NUM_REGS_REACH_LIMIT:%.*]] @[[NUM_REGS_REACH_LIMIT_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) poison, i32 [[TMP1]]) 845; CHECK-NEXT: [[TMP4:%.*]] = extractvalue [[NUM_REGS_REACH_LIMIT]] [[TMP3]], 1 846; CHECK-NEXT: store i32 [[TMP4]], ptr addrspace(5) [[TMP0]], align 4 847; CHECK-NEXT: [[TMP5:%.*]] = extractvalue [[NUM_REGS_REACH_LIMIT]] [[TMP3]], 0 848; CHECK-NEXT: ret [15 x i32] [[TMP5]] 849; 850; 851; CHECK-LABEL: define {{[^@]+}}@num_regs_reach_limit_leftover.body 852; CHECK-SAME: (ptr addrspace(5) [[OUT0:%.*]], ptr addrspace(5) [[OUT1:%.*]], i32 [[VAL0:%.*]]) #[[ATTR0]] { 853; CHECK-NEXT: [[LOAD0:%.*]] = load volatile [15 x i32], ptr addrspace(1) poison, align 4 854; CHECK-NEXT: [[LOAD1:%.*]] = load volatile i32, ptr addrspace(1) poison, align 4 855; CHECK-NEXT: [[TMP1:%.*]] = insertvalue [[NUM_REGS_REACH_LIMIT_LEFTOVER:%.*]] poison, [15 x i32] [[LOAD0]], 0 856; CHECK-NEXT: [[TMP2:%.*]] = insertvalue [[NUM_REGS_REACH_LIMIT_LEFTOVER]] [[TMP1]], i32 [[LOAD1]], 1 857; CHECK-NEXT: [[TMP3:%.*]] = insertvalue [[NUM_REGS_REACH_LIMIT_LEFTOVER]] [[TMP2]], i32 [[VAL0]], 2 858; CHECK-NEXT: ret [[NUM_REGS_REACH_LIMIT_LEFTOVER]] [[TMP3]] 859; 860; 861; CHECK-LABEL: define {{[^@]+}}@num_regs_reach_limit_leftover 862; CHECK-SAME: (ptr addrspace(5) [[TMP0:%.*]], ptr addrspace(5) [[TMP1:%.*]], i32 [[TMP2:%.*]]) #[[ATTR2]] { 863; CHECK-NEXT: [[TMP4:%.*]] = call [[NUM_REGS_REACH_LIMIT_LEFTOVER:%.*]] @[[NUM_REGS_REACH_LIMIT_LEFTOVER_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) poison, ptr addrspace(5) poison, i32 [[TMP2]]) 864; CHECK-NEXT: [[TMP5:%.*]] = extractvalue [[NUM_REGS_REACH_LIMIT_LEFTOVER]] [[TMP4]], 1 865; CHECK-NEXT: store i32 [[TMP5]], ptr addrspace(5) [[TMP0]], align 4 866; CHECK-NEXT: [[TMP6:%.*]] = extractvalue [[NUM_REGS_REACH_LIMIT_LEFTOVER]] [[TMP4]], 2 867; CHECK-NEXT: store i32 [[TMP6]], ptr addrspace(5) [[TMP1]], align 4 868; CHECK-NEXT: [[TMP7:%.*]] = extractvalue [[NUM_REGS_REACH_LIMIT_LEFTOVER]] [[TMP4]], 0 869; CHECK-NEXT: ret [15 x i32] [[TMP7]] 870; 871; 872; CHECK-LABEL: define {{[^@]+}}@preserve_debug_info.body 873; CHECK-SAME: (i32 [[ARG0:%.*]], ptr addrspace(5) [[VAL:%.*]]) #[[ATTR0]] { 874; CHECK-NEXT: call void @may.clobber(), !dbg [[DBG5:![0-9]+]] 875; CHECK-NEXT: [[TMP1:%.*]] = insertvalue [[PRESERVE_DEBUG_INFO:%.*]] poison, i32 [[ARG0]], 0, !dbg [[DBG11:![0-9]+]] 876; CHECK-NEXT: ret [[PRESERVE_DEBUG_INFO]] [[TMP1]], !dbg [[DBG11]] 877; 878; 879; CHECK-LABEL: define {{[^@]+}}@preserve_debug_info 880; CHECK-SAME: (i32 [[TMP0:%.*]], ptr addrspace(5) [[TMP1:%.*]]) #[[ATTR2]] !dbg [[DBG6:![0-9]+]] { 881; CHECK-NEXT: [[TMP3:%.*]] = call [[PRESERVE_DEBUG_INFO:%.*]] @[[PRESERVE_DEBUG_INFO_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](i32 [[TMP0]], ptr addrspace(5) poison) 882; CHECK-NEXT: [[TMP4:%.*]] = extractvalue [[PRESERVE_DEBUG_INFO]] [[TMP3]], 0 883; CHECK-NEXT: store i32 [[TMP4]], ptr addrspace(5) [[TMP1]], align 4 884; CHECK-NEXT: ret void 885; 886; 887; CHECK-LABEL: define {{[^@]+}}@preserve_metadata.body 888; CHECK-SAME: (i32 [[ARG0:%.*]], ptr addrspace(5) [[VAL:%.*]]) #[[ATTR0]] { 889; CHECK-NEXT: call void @may.clobber() 890; CHECK-NEXT: [[TMP1:%.*]] = insertvalue [[PRESERVE_METADATA:%.*]] poison, i32 [[ARG0]], 0 891; CHECK-NEXT: ret [[PRESERVE_METADATA]] [[TMP1]] 892; 893; 894; CHECK-LABEL: define {{[^@]+}}@preserve_metadata 895; CHECK-SAME: (i32 [[TMP0:%.*]], ptr addrspace(5) [[TMP1:%.*]]) #[[ATTR2]] !kernel_arg_access_qual [[META12:![0-9]+]] { 896; CHECK-NEXT: [[TMP3:%.*]] = call [[PRESERVE_METADATA:%.*]] @[[PRESERVE_METADATA_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](i32 [[TMP0]], ptr addrspace(5) poison) 897; CHECK-NEXT: [[TMP4:%.*]] = extractvalue [[PRESERVE_METADATA]] [[TMP3]], 0 898; CHECK-NEXT: store i32 [[TMP4]], ptr addrspace(5) [[TMP1]], align 4 899; CHECK-NEXT: ret void 900; 901; 902; CHECK-LABEL: define {{[^@]+}}@bitcast_pointer_v4i32_v3i32.body 903; CHECK-SAME: (ptr addrspace(5) [[OUT:%.*]]) #[[ATTR0]] { 904; CHECK-NEXT: [[LOAD:%.*]] = load volatile <4 x i32>, ptr addrspace(1) poison, align 16 905; CHECK-NEXT: [[TMP1:%.*]] = insertvalue [[BITCAST_POINTER_V4I32_V3I32:%.*]] poison, <4 x i32> [[LOAD]], 0 906; CHECK-NEXT: ret [[BITCAST_POINTER_V4I32_V3I32]] [[TMP1]] 907; 908; 909; CHECK-LABEL: define {{[^@]+}}@bitcast_pointer_v4i32_v3i32 910; CHECK-SAME: (ptr addrspace(5) [[TMP0:%.*]]) #[[ATTR2]] { 911; CHECK-NEXT: [[TMP2:%.*]] = call [[BITCAST_POINTER_V4I32_V3I32:%.*]] @[[BITCAST_POINTER_V4I32_V3I32_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) poison) 912; CHECK-NEXT: [[TMP3:%.*]] = extractvalue [[BITCAST_POINTER_V4I32_V3I32]] [[TMP2]], 0 913; CHECK-NEXT: store <4 x i32> [[TMP3]], ptr addrspace(5) [[TMP0]], align 16 914; CHECK-NEXT: ret void 915; 916; 917; CHECK-LABEL: define {{[^@]+}}@bitcast_pointer_v4i32_v3f32.body 918; CHECK-SAME: (ptr addrspace(5) [[OUT:%.*]]) #[[ATTR0]] { 919; CHECK-NEXT: [[LOAD:%.*]] = load volatile <4 x i32>, ptr addrspace(1) poison, align 16 920; CHECK-NEXT: [[TMP1:%.*]] = insertvalue [[BITCAST_POINTER_V4I32_V3F32:%.*]] poison, <4 x i32> [[LOAD]], 0 921; CHECK-NEXT: ret [[BITCAST_POINTER_V4I32_V3F32]] [[TMP1]] 922; 923; 924; CHECK-LABEL: define {{[^@]+}}@bitcast_pointer_v4i32_v3f32 925; CHECK-SAME: (ptr addrspace(5) [[TMP0:%.*]]) #[[ATTR2]] { 926; CHECK-NEXT: [[TMP2:%.*]] = call [[BITCAST_POINTER_V4I32_V3F32:%.*]] @[[BITCAST_POINTER_V4I32_V3F32_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) poison) 927; CHECK-NEXT: [[TMP3:%.*]] = extractvalue [[BITCAST_POINTER_V4I32_V3F32]] [[TMP2]], 0 928; CHECK-NEXT: store <4 x i32> [[TMP3]], ptr addrspace(5) [[TMP0]], align 16 929; CHECK-NEXT: ret void 930; 931; 932; CHECK-LABEL: define {{[^@]+}}@bitcast_pointer_i32_f32.body 933; CHECK-SAME: (ptr addrspace(5) [[OUT:%.*]]) #[[ATTR0]] { 934; CHECK-NEXT: [[LOAD:%.*]] = load volatile i32, ptr addrspace(1) poison, align 4 935; CHECK-NEXT: [[TMP1:%.*]] = insertvalue [[BITCAST_POINTER_I32_F32:%.*]] poison, i32 [[LOAD]], 0 936; CHECK-NEXT: ret [[BITCAST_POINTER_I32_F32]] [[TMP1]] 937; 938; 939; CHECK-LABEL: define {{[^@]+}}@bitcast_pointer_i32_f32 940; CHECK-SAME: (ptr addrspace(5) [[TMP0:%.*]]) #[[ATTR2]] { 941; CHECK-NEXT: [[TMP2:%.*]] = call [[BITCAST_POINTER_I32_F32:%.*]] @[[BITCAST_POINTER_I32_F32_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) poison) 942; CHECK-NEXT: [[TMP3:%.*]] = extractvalue [[BITCAST_POINTER_I32_F32]] [[TMP2]], 0 943; CHECK-NEXT: store i32 [[TMP3]], ptr addrspace(5) [[TMP0]], align 4 944; CHECK-NEXT: ret void 945; 946; 947; CHECK-LABEL: define {{[^@]+}}@bitcast_pointer_i32_f16.body 948; CHECK-SAME: (ptr addrspace(5) [[OUT:%.*]]) #[[ATTR0]] { 949; CHECK-NEXT: [[LOAD:%.*]] = load volatile i32, ptr addrspace(1) poison, align 4 950; CHECK-NEXT: [[TMP1:%.*]] = insertvalue [[BITCAST_POINTER_I32_F16:%.*]] poison, i32 [[LOAD]], 0 951; CHECK-NEXT: ret [[BITCAST_POINTER_I32_F16]] [[TMP1]] 952; 953; 954; CHECK-LABEL: define {{[^@]+}}@bitcast_pointer_i32_f16 955; CHECK-SAME: (ptr addrspace(5) [[TMP0:%.*]]) #[[ATTR2]] { 956; CHECK-NEXT: [[TMP2:%.*]] = call [[BITCAST_POINTER_I32_F16:%.*]] @[[BITCAST_POINTER_I32_F16_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) poison) 957; CHECK-NEXT: [[TMP3:%.*]] = extractvalue [[BITCAST_POINTER_I32_F16]] [[TMP2]], 0 958; CHECK-NEXT: store i32 [[TMP3]], ptr addrspace(5) [[TMP0]], align 4 959; CHECK-NEXT: ret void 960; 961; 962; CHECK-LABEL: define {{[^@]+}}@bitcast_pointer_f16_i32.body 963; CHECK-SAME: (ptr addrspace(5) [[OUT:%.*]]) #[[ATTR0]] { 964; CHECK-NEXT: [[LOAD:%.*]] = load volatile half, ptr addrspace(1) poison, align 2 965; CHECK-NEXT: [[TMP1:%.*]] = insertvalue [[BITCAST_POINTER_F16_I32:%.*]] poison, half [[LOAD]], 0 966; CHECK-NEXT: ret [[BITCAST_POINTER_F16_I32]] [[TMP1]] 967; 968; 969; CHECK-LABEL: define {{[^@]+}}@bitcast_pointer_f16_i32 970; CHECK-SAME: (ptr addrspace(5) [[TMP0:%.*]]) #[[ATTR2]] { 971; CHECK-NEXT: [[TMP2:%.*]] = call [[BITCAST_POINTER_F16_I32:%.*]] @[[BITCAST_POINTER_F16_I32_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) poison) 972; CHECK-NEXT: [[TMP3:%.*]] = extractvalue [[BITCAST_POINTER_F16_I32]] [[TMP2]], 0 973; CHECK-NEXT: store half [[TMP3]], ptr addrspace(5) [[TMP0]], align 2 974; CHECK-NEXT: ret void 975; 976; 977; CHECK-LABEL: define {{[^@]+}}@bitcast_struct_v3f32_v3f32.body 978; CHECK-SAME: (ptr addrspace(5) [[OUT:%.*]], <3 x float> [[VALUE:%.*]]) #[[ATTR0]] { 979; CHECK-NEXT: [[EXTRACTVEC:%.*]] = shufflevector <3 x float> [[VALUE]], <3 x float> poison, <4 x i32> <i32 0, i32 1, i32 2, i32 poison> 980; CHECK-NEXT: [[TMP1:%.*]] = insertvalue [[BITCAST_STRUCT_V3F32_V3F32:%.*]] poison, <4 x float> [[EXTRACTVEC]], 0 981; CHECK-NEXT: ret [[BITCAST_STRUCT_V3F32_V3F32]] [[TMP1]] 982; 983; 984; CHECK-LABEL: define {{[^@]+}}@bitcast_struct_v3f32_v3f32 985; CHECK-SAME: (ptr addrspace(5) [[TMP0:%.*]], <3 x float> [[TMP1:%.*]]) #[[ATTR2]] { 986; CHECK-NEXT: [[TMP3:%.*]] = call [[BITCAST_STRUCT_V3F32_V3F32:%.*]] @[[BITCAST_STRUCT_V3F32_V3F32_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) poison, <3 x float> [[TMP1]]) 987; CHECK-NEXT: [[TMP4:%.*]] = extractvalue [[BITCAST_STRUCT_V3F32_V3F32]] [[TMP3]], 0 988; CHECK-NEXT: store <4 x float> [[TMP4]], ptr addrspace(5) [[TMP0]], align 16 989; CHECK-NEXT: ret void 990; 991; 992; CHECK-LABEL: define {{[^@]+}}@bitcast_struct_v3f32_v3i32.body 993; CHECK-SAME: (ptr addrspace(5) [[OUT:%.*]], <3 x i32> [[VALUE:%.*]]) #[[ATTR0]] { 994; CHECK-NEXT: [[EXTRACTVEC:%.*]] = shufflevector <3 x i32> [[VALUE]], <3 x i32> poison, <4 x i32> <i32 0, i32 1, i32 2, i32 poison> 995; CHECK-NEXT: [[TMP1:%.*]] = insertvalue [[BITCAST_STRUCT_V3F32_V3I32:%.*]] poison, <4 x i32> [[EXTRACTVEC]], 0 996; CHECK-NEXT: ret [[BITCAST_STRUCT_V3F32_V3I32]] [[TMP1]] 997; 998; 999; CHECK-LABEL: define {{[^@]+}}@bitcast_struct_v3f32_v3i32 1000; CHECK-SAME: (ptr addrspace(5) [[TMP0:%.*]], <3 x i32> [[TMP1:%.*]]) #[[ATTR2]] { 1001; CHECK-NEXT: [[TMP3:%.*]] = call [[BITCAST_STRUCT_V3F32_V3I32:%.*]] @[[BITCAST_STRUCT_V3F32_V3I32_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) poison, <3 x i32> [[TMP1]]) 1002; CHECK-NEXT: [[TMP4:%.*]] = extractvalue [[BITCAST_STRUCT_V3F32_V3I32]] [[TMP3]], 0 1003; CHECK-NEXT: store <4 x i32> [[TMP4]], ptr addrspace(5) [[TMP0]], align 16 1004; CHECK-NEXT: ret void 1005; 1006; 1007; CHECK-LABEL: define {{[^@]+}}@bitcast_struct_v4f32_v4f32.body 1008; CHECK-SAME: (ptr addrspace(5) [[OUT:%.*]], <4 x float> [[VALUE:%.*]]) #[[ATTR0]] { 1009; CHECK-NEXT: [[TMP1:%.*]] = insertvalue [[BITCAST_STRUCT_V4F32_V4F32:%.*]] poison, <4 x float> [[VALUE]], 0 1010; CHECK-NEXT: ret [[BITCAST_STRUCT_V4F32_V4F32]] [[TMP1]] 1011; 1012; 1013; CHECK-LABEL: define {{[^@]+}}@bitcast_struct_v4f32_v4f32 1014; CHECK-SAME: (ptr addrspace(5) [[TMP0:%.*]], <4 x float> [[TMP1:%.*]]) #[[ATTR2]] { 1015; CHECK-NEXT: [[TMP3:%.*]] = call [[BITCAST_STRUCT_V4F32_V4F32:%.*]] @[[BITCAST_STRUCT_V4F32_V4F32_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) poison, <4 x float> [[TMP1]]) 1016; CHECK-NEXT: [[TMP4:%.*]] = extractvalue [[BITCAST_STRUCT_V4F32_V4F32]] [[TMP3]], 0 1017; CHECK-NEXT: store <4 x float> [[TMP4]], ptr addrspace(5) [[TMP0]], align 16 1018; CHECK-NEXT: ret void 1019; 1020; 1021; CHECK-LABEL: define {{[^@]+}}@bitcast_struct_v3f32_v4i32.body 1022; CHECK-SAME: (ptr addrspace(5) [[OUT:%.*]], <4 x i32> [[VALUE:%.*]]) #[[ATTR0]] { 1023; CHECK-NEXT: [[TMP1:%.*]] = insertvalue [[BITCAST_STRUCT_V3F32_V4I32:%.*]] poison, <4 x i32> [[VALUE]], 0 1024; CHECK-NEXT: ret [[BITCAST_STRUCT_V3F32_V4I32]] [[TMP1]] 1025; 1026; 1027; CHECK-LABEL: define {{[^@]+}}@bitcast_struct_v3f32_v4i32 1028; CHECK-SAME: (ptr addrspace(5) [[TMP0:%.*]], <4 x i32> [[TMP1:%.*]]) #[[ATTR2]] { 1029; CHECK-NEXT: [[TMP3:%.*]] = call [[BITCAST_STRUCT_V3F32_V4I32:%.*]] @[[BITCAST_STRUCT_V3F32_V4I32_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) poison, <4 x i32> [[TMP1]]) 1030; CHECK-NEXT: [[TMP4:%.*]] = extractvalue [[BITCAST_STRUCT_V3F32_V4I32]] [[TMP3]], 0 1031; CHECK-NEXT: store <4 x i32> [[TMP4]], ptr addrspace(5) [[TMP0]], align 16 1032; CHECK-NEXT: ret void 1033; 1034; 1035; CHECK-LABEL: define {{[^@]+}}@bitcast_struct_v4f32_v3f32.body 1036; CHECK-SAME: (ptr addrspace(5) [[OUT:%.*]], <3 x float> [[VALUE:%.*]]) #[[ATTR0]] { 1037; CHECK-NEXT: [[EXTRACTVEC:%.*]] = shufflevector <3 x float> [[VALUE]], <3 x float> poison, <4 x i32> <i32 0, i32 1, i32 2, i32 poison> 1038; CHECK-NEXT: [[TMP1:%.*]] = insertvalue [[BITCAST_STRUCT_V4F32_V3F32:%.*]] poison, <4 x float> [[EXTRACTVEC]], 0 1039; CHECK-NEXT: ret [[BITCAST_STRUCT_V4F32_V3F32]] [[TMP1]] 1040; 1041; 1042; CHECK-LABEL: define {{[^@]+}}@bitcast_struct_v4f32_v3f32 1043; CHECK-SAME: (ptr addrspace(5) [[TMP0:%.*]], <3 x float> [[TMP1:%.*]]) #[[ATTR2]] { 1044; CHECK-NEXT: [[TMP3:%.*]] = call [[BITCAST_STRUCT_V4F32_V3F32:%.*]] @[[BITCAST_STRUCT_V4F32_V3F32_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) poison, <3 x float> [[TMP1]]) 1045; CHECK-NEXT: [[TMP4:%.*]] = extractvalue [[BITCAST_STRUCT_V4F32_V3F32]] [[TMP3]], 0 1046; CHECK-NEXT: store <4 x float> [[TMP4]], ptr addrspace(5) [[TMP0]], align 16 1047; CHECK-NEXT: ret void 1048; 1049; 1050; CHECK-LABEL: define {{[^@]+}}@bitcast_struct_v3f32_v2f32.body 1051; CHECK-SAME: (ptr addrspace(5) [[OUT:%.*]], <2 x float> [[VALUE:%.*]]) #[[ATTR0]] { 1052; CHECK-NEXT: [[TMP1:%.*]] = insertvalue [[BITCAST_STRUCT_V3F32_V2F32:%.*]] poison, <2 x float> [[VALUE]], 0 1053; CHECK-NEXT: ret [[BITCAST_STRUCT_V3F32_V2F32]] [[TMP1]] 1054; 1055; 1056; CHECK-LABEL: define {{[^@]+}}@bitcast_struct_v3f32_v2f32 1057; CHECK-SAME: (ptr addrspace(5) [[TMP0:%.*]], <2 x float> [[TMP1:%.*]]) #[[ATTR2]] { 1058; CHECK-NEXT: [[TMP3:%.*]] = call [[BITCAST_STRUCT_V3F32_V2F32:%.*]] @[[BITCAST_STRUCT_V3F32_V2F32_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) poison, <2 x float> [[TMP1]]) 1059; CHECK-NEXT: [[TMP4:%.*]] = extractvalue [[BITCAST_STRUCT_V3F32_V2F32]] [[TMP3]], 0 1060; CHECK-NEXT: store <2 x float> [[TMP4]], ptr addrspace(5) [[TMP0]], align 8 1061; CHECK-NEXT: ret void 1062; 1063; 1064; CHECK-LABEL: define {{[^@]+}}@bitcast_struct_v3f32_f32_v3f32.body 1065; CHECK-SAME: (ptr addrspace(5) [[OUT:%.*]], <3 x float> [[VALUE:%.*]]) #[[ATTR0]] { 1066; CHECK-NEXT: [[EXTRACTVEC:%.*]] = shufflevector <3 x float> [[VALUE]], <3 x float> poison, <4 x i32> <i32 0, i32 1, i32 2, i32 poison> 1067; CHECK-NEXT: [[TMP1:%.*]] = insertvalue [[BITCAST_STRUCT_V3F32_F32_V3F32:%.*]] poison, <4 x float> [[EXTRACTVEC]], 0 1068; CHECK-NEXT: ret [[BITCAST_STRUCT_V3F32_F32_V3F32]] [[TMP1]] 1069; 1070; 1071; CHECK-LABEL: define {{[^@]+}}@bitcast_struct_v3f32_f32_v3f32 1072; CHECK-SAME: (ptr addrspace(5) [[TMP0:%.*]], <3 x float> [[TMP1:%.*]]) #[[ATTR2]] { 1073; CHECK-NEXT: [[TMP3:%.*]] = call [[BITCAST_STRUCT_V3F32_F32_V3F32:%.*]] @[[BITCAST_STRUCT_V3F32_F32_V3F32_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) poison, <3 x float> [[TMP1]]) 1074; CHECK-NEXT: [[TMP4:%.*]] = extractvalue [[BITCAST_STRUCT_V3F32_F32_V3F32]] [[TMP3]], 0 1075; CHECK-NEXT: store <4 x float> [[TMP4]], ptr addrspace(5) [[TMP0]], align 16 1076; CHECK-NEXT: ret void 1077; 1078; 1079; CHECK-LABEL: define {{[^@]+}}@bitcast_struct_v3f32_f32_v4f32.body 1080; CHECK-SAME: (ptr addrspace(5) [[OUT:%.*]], <4 x float> [[VALUE:%.*]]) #[[ATTR0]] { 1081; CHECK-NEXT: [[TMP1:%.*]] = insertvalue [[BITCAST_STRUCT_V3F32_F32_V4F32:%.*]] poison, <4 x float> [[VALUE]], 0 1082; CHECK-NEXT: ret [[BITCAST_STRUCT_V3F32_F32_V4F32]] [[TMP1]] 1083; 1084; 1085; CHECK-LABEL: define {{[^@]+}}@bitcast_struct_v3f32_f32_v4f32 1086; CHECK-SAME: (ptr addrspace(5) [[TMP0:%.*]], <4 x float> [[TMP1:%.*]]) #[[ATTR2]] { 1087; CHECK-NEXT: [[TMP3:%.*]] = call [[BITCAST_STRUCT_V3F32_F32_V4F32:%.*]] @[[BITCAST_STRUCT_V3F32_F32_V4F32_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) poison, <4 x float> [[TMP1]]) 1088; CHECK-NEXT: [[TMP4:%.*]] = extractvalue [[BITCAST_STRUCT_V3F32_F32_V4F32]] [[TMP3]], 0 1089; CHECK-NEXT: store <4 x float> [[TMP4]], ptr addrspace(5) [[TMP0]], align 16 1090; CHECK-NEXT: ret void 1091; 1092; 1093; CHECK-LABEL: define {{[^@]+}}@bitcast_struct_i128_v4f32.body 1094; CHECK-SAME: (ptr addrspace(5) [[OUT:%.*]], <4 x float> [[VALUE:%.*]]) #[[ATTR0]] { 1095; CHECK-NEXT: [[TMP1:%.*]] = insertvalue [[BITCAST_STRUCT_I128_V4F32:%.*]] poison, <4 x float> [[VALUE]], 0 1096; CHECK-NEXT: ret [[BITCAST_STRUCT_I128_V4F32]] [[TMP1]] 1097; 1098; 1099; CHECK-LABEL: define {{[^@]+}}@bitcast_struct_i128_v4f32 1100; CHECK-SAME: (ptr addrspace(5) [[TMP0:%.*]], <4 x float> [[TMP1:%.*]]) #[[ATTR2]] { 1101; CHECK-NEXT: [[TMP3:%.*]] = call [[BITCAST_STRUCT_I128_V4F32:%.*]] @[[BITCAST_STRUCT_I128_V4F32_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) poison, <4 x float> [[TMP1]]) 1102; CHECK-NEXT: [[TMP4:%.*]] = extractvalue [[BITCAST_STRUCT_I128_V4F32]] [[TMP3]], 0 1103; CHECK-NEXT: store <4 x float> [[TMP4]], ptr addrspace(5) [[TMP0]], align 16 1104; CHECK-NEXT: ret void 1105; 1106; 1107; CHECK-LABEL: define {{[^@]+}}@bitcast_array_v4i32_v4f32.body 1108; CHECK-SAME: (ptr addrspace(5) [[OUT:%.*]], [4 x float] [[VALUE:%.*]]) #[[ATTR0]] { 1109; CHECK-NEXT: [[TMP1:%.*]] = insertvalue [[BITCAST_ARRAY_V4I32_V4F32:%.*]] poison, [4 x float] [[VALUE]], 0 1110; CHECK-NEXT: ret [[BITCAST_ARRAY_V4I32_V4F32]] [[TMP1]] 1111; 1112; 1113; CHECK-LABEL: define {{[^@]+}}@bitcast_array_v4i32_v4f32 1114; CHECK-SAME: (ptr addrspace(5) [[TMP0:%.*]], [4 x float] [[TMP1:%.*]]) #[[ATTR2]] { 1115; CHECK-NEXT: [[TMP3:%.*]] = call [[BITCAST_ARRAY_V4I32_V4F32:%.*]] @[[BITCAST_ARRAY_V4I32_V4F32_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) poison, [4 x float] [[TMP1]]) 1116; CHECK-NEXT: [[TMP4:%.*]] = extractvalue [[BITCAST_ARRAY_V4I32_V4F32]] [[TMP3]], 0 1117; CHECK-NEXT: store [4 x float] [[TMP4]], ptr addrspace(5) [[TMP0]], align 4 1118; CHECK-NEXT: ret void 1119; 1120; 1121; CHECK-LABEL: define {{[^@]+}}@multi_return_bitcast_struct_v3f32_v3f32.body 1122; CHECK-SAME: (i1 [[COND:%.*]], ptr addrspace(5) [[OUT:%.*]], <3 x float> [[VALUE:%.*]]) #[[ATTR0]] { 1123; CHECK-NEXT: entry: 1124; CHECK-NEXT: br i1 [[COND]], label [[RET0:%.*]], label [[RET1:%.*]] 1125; CHECK: ret0: 1126; CHECK-NEXT: [[EXTRACTVEC:%.*]] = shufflevector <3 x float> [[VALUE]], <3 x float> poison, <4 x i32> <i32 0, i32 1, i32 2, i32 poison> 1127; CHECK-NEXT: [[TMP0:%.*]] = insertvalue [[MULTI_RETURN_BITCAST_STRUCT_V3F32_V3F32:%.*]] poison, <4 x float> [[EXTRACTVEC]], 0 1128; CHECK-NEXT: ret [[MULTI_RETURN_BITCAST_STRUCT_V3F32_V3F32]] [[TMP0]] 1129; CHECK: ret1: 1130; CHECK-NEXT: [[LOAD:%.*]] = load <4 x float>, ptr addrspace(1) poison, align 16 1131; CHECK-NEXT: [[TMP1:%.*]] = insertvalue [[MULTI_RETURN_BITCAST_STRUCT_V3F32_V3F32]] poison, <4 x float> [[LOAD]], 0 1132; CHECK-NEXT: ret [[MULTI_RETURN_BITCAST_STRUCT_V3F32_V3F32]] [[TMP1]] 1133; 1134; 1135; CHECK-LABEL: define {{[^@]+}}@multi_return_bitcast_struct_v3f32_v3f32 1136; CHECK-SAME: (i1 [[TMP0:%.*]], ptr addrspace(5) [[TMP1:%.*]], <3 x float> [[TMP2:%.*]]) #[[ATTR2]] { 1137; CHECK-NEXT: [[TMP4:%.*]] = call [[MULTI_RETURN_BITCAST_STRUCT_V3F32_V3F32:%.*]] @[[MULTI_RETURN_BITCAST_STRUCT_V3F32_V3F32_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](i1 [[TMP0]], ptr addrspace(5) poison, <3 x float> [[TMP2]]) 1138; CHECK-NEXT: [[TMP5:%.*]] = extractvalue [[MULTI_RETURN_BITCAST_STRUCT_V3F32_V3F32]] [[TMP4]], 0 1139; CHECK-NEXT: store <4 x float> [[TMP5]], ptr addrspace(5) [[TMP1]], align 16 1140; CHECK-NEXT: ret void 1141; 1142; 1143; CHECK-LABEL: define {{[^@]+}}@bitcast_v3f32_struct_v3f32.body 1144; CHECK-SAME: (ptr addrspace(5) [[OUT:%.*]], [[STRUCT_V3F32:%.*]] [[VALUE:%.*]]) #[[ATTR0]] { 1145; CHECK-NEXT: [[TMP1:%.*]] = insertvalue [[BITCAST_V3F32_STRUCT_V3F32:%.*]] poison, [[STRUCT_V3F32]] [[VALUE]], 0 1146; CHECK-NEXT: ret [[BITCAST_V3F32_STRUCT_V3F32]] [[TMP1]] 1147; 1148; 1149; CHECK-LABEL: define {{[^@]+}}@bitcast_v3f32_struct_v3f32 1150; CHECK-SAME: (ptr addrspace(5) [[TMP0:%.*]], [[STRUCT_V3F32:%.*]] [[TMP1:%.*]]) #[[ATTR2]] { 1151; CHECK-NEXT: [[TMP3:%.*]] = call [[BITCAST_V3F32_STRUCT_V3F32:%.*]] @[[BITCAST_V3F32_STRUCT_V3F32_BODY:[a-zA-Z0-9_$\"\\.-]*[a-zA-Z_$\"\\.-][a-zA-Z0-9_$\"\\.-]*]](ptr addrspace(5) poison, [[STRUCT_V3F32]] [[TMP1]]) 1152; CHECK-NEXT: [[TMP4:%.*]] = extractvalue [[BITCAST_V3F32_STRUCT_V3F32]] [[TMP3]], 0 1153; CHECK-NEXT: store [[STRUCT_V3F32]] [[TMP4]], ptr addrspace(5) [[TMP0]], align 16 1154; CHECK-NEXT: ret void 1155; 1156