@@ -5,6 +5,7 @@ target datalayout = "e-p:64:64:64-p1:16:16:16-p2:32:32:32-p3:64:64:64-i1:8:8-i8:
5
5
6
6
declare ptr @getptr ()
7
7
declare void @use (ptr )
8
+ declare void @use.i1 (i1 )
8
9
9
10
define i1 @eq_base (ptr %x , i64 %y ) {
10
11
; CHECK-LABEL: @eq_base(
@@ -443,6 +444,29 @@ define i1 @test60_extra_use_const_operands_no_inbounds(ptr %foo, i64 %i, i64 %j)
443
444
ret i1 %cmp
444
445
}
445
446
447
+ define void @test60_extra_use_fold (ptr %foo , i64 %start.idx , i64 %end.offset ) {
448
+ ; CHECK-LABEL: @test60_extra_use_fold(
449
+ ; CHECK-NEXT: [[GEP1:%.*]] = getelementptr inbounds i32, ptr [[FOO:%.*]], i64 [[START_IDX:%.*]]
450
+ ; CHECK-NEXT: [[GEP2:%.*]] = getelementptr inbounds i8, ptr [[FOO]], i64 [[END_OFFSET:%.*]]
451
+ ; CHECK-NEXT: call void @use(ptr [[GEP1]])
452
+ ; CHECK-NEXT: call void @use(ptr [[GEP2]])
453
+ ; CHECK-NEXT: [[CMP1:%.*]] = icmp eq ptr [[GEP1]], [[GEP2]]
454
+ ; CHECK-NEXT: call void @use.i1(i1 [[CMP1]])
455
+ ; CHECK-NEXT: [[CMP2:%.*]] = icmp ult ptr [[GEP1]], [[GEP2]]
456
+ ; CHECK-NEXT: call void @use.i1(i1 [[CMP2]])
457
+ ; CHECK-NEXT: ret void
458
+ ;
459
+ %gep1 = getelementptr inbounds i32 , ptr %foo , i64 %start.idx
460
+ %gep2 = getelementptr inbounds i8 , ptr %foo , i64 %end.offset
461
+ call void @use (ptr %gep1 )
462
+ call void @use (ptr %gep2 )
463
+ %cmp1 = icmp eq ptr %gep1 , %gep2
464
+ call void @use.i1 (i1 %cmp1 )
465
+ %cmp2 = icmp ult ptr %gep1 , %gep2
466
+ call void @use.i1 (i1 %cmp2 )
467
+ ret void
468
+ }
469
+
446
470
define i1 @test_scalable_same (ptr %x ) {
447
471
; CHECK-LABEL: @test_scalable_same(
448
472
; CHECK-NEXT: ret i1 false
0 commit comments