@@ -430,20 +430,27 @@ entry:
430
430
431
431
declare void @use.v2 (<2 x i64 addrspace (4 )*>)
432
432
declare void @use.v4 (<4 x i64 addrspace (4 )*>)
433
- define i8 addrspace (5 )* @multini (i1 %alwaysFalse , i8 addrspace (4 )* %val , i8 addrspace (4 )** %loc ) {
434
- ; CHECK-LABEL: @multini(
435
- ; CHECK-NOT: inttoptr
436
- ; CHECK-NOT: ptrtoint
437
- ; CHECK-NOT: addrspacecast
438
- entry:
439
- store i8 addrspace (4 )* %val , i8 addrspace (4 )** %loc
440
- br i1 %alwaysFalse , label %neverTaken , label %alwaysTaken
433
+ define i8 addrspace (5 )* @multini (i1 %alwaysFalse , i8 addrspace (4 )* %val , i8 addrspace (4 )** %loc ) {
434
+ ; CHECK-LABEL: @multini(
435
+ ; CHECK-NEXT: entry:
436
+ ; CHECK-NEXT: store i8 addrspace(4)* [[VAL:%.*]], i8 addrspace(4)** [[LOC:%.*]], align 8
437
+ ; CHECK-NEXT: br i1 [[ALWAYSFALSE:%.*]], label [[NEVERTAKEN:%.*]], label [[ALWAYSTAKEN:%.*]]
438
+ ; CHECK: neverTaken:
439
+ ; CHECK-NEXT: [[LOC_BC:%.*]] = bitcast i8 addrspace(4)** [[LOC]] to i8 addrspace(5)**
440
+ ; CHECK-NEXT: [[DIFFERENTAS:%.*]] = load i8 addrspace(5)*, i8 addrspace(5)** [[LOC_BC]], align 8
441
+ ; CHECK-NEXT: ret i8 addrspace(5)* [[DIFFERENTAS]]
442
+ ; CHECK: alwaysTaken:
443
+ ; CHECK-NEXT: ret i8 addrspace(5)* null
444
+ ;
445
+ entry:
446
+ store i8 addrspace (4 )* %val , i8 addrspace (4 )** %loc
447
+ br i1 %alwaysFalse , label %neverTaken , label %alwaysTaken
441
448
442
- neverTaken:
443
- %loc.bc = bitcast i8 addrspace (4 )** %loc to i8 addrspace (5 )**
444
- %differentas = load i8 addrspace (5 )*, i8 addrspace (5 )** %loc.bc
445
- ret i8 addrspace (5 )* %differentas
449
+ neverTaken:
450
+ %loc.bc = bitcast i8 addrspace (4 )** %loc to i8 addrspace (5 )**
451
+ %differentas = load i8 addrspace (5 )*, i8 addrspace (5 )** %loc.bc
452
+ ret i8 addrspace (5 )* %differentas
446
453
447
- alwaysTaken:
448
- ret i8 addrspace (5 )* null
449
- }
454
+ alwaysTaken:
455
+ ret i8 addrspace (5 )* null
456
+ }
0 commit comments