70 lines · plain
1; RUN: opt -verify-loop-info -irce-print-changed-loops -passes=irce -S2; RUN: opt -verify-loop-info -irce-print-changed-loops -passes='require<branch-prob>,irce' -S3 4; Make sure that IRCE doesn't apply in case of empty ranges.5; (i + 30 < 40) if i in [-30, 10).6; Intersected with iteration space, it is [0, 10).7; (i - 60 < 40) if i in [60 , 100).8; The intersection with safe iteration space is the empty range [60, 10).9; It is better to eliminate one range check than attempt to eliminate both given10; that we will never go to the main loop in the latter case and basically11; only duplicate code with no benefits.12 13define void @test_01(ptr %arr, ptr %a_len_ptr) #0 {14 15; CHECK-LABEL: test_01(16; CHECK-NOT: preloop17; CHECK: entry:18; CHECK-NEXT: br i1 true, label %loop.preheader, label %main.pseudo.exit19; CHECK: in.bounds.1:20; CHECK-NEXT: %addr = getelementptr i32, ptr %arr, i32 %idx21; CHECK-NEXT: store i32 0, ptr %addr22; CHECK-NEXT: %off1 = add i32 %idx, 3023; CHECK-NEXT: %c2 = icmp slt i32 %off1, 4024; CHECK-NEXT: br i1 true, label %in.bounds.2, label %exit.loopexit225; CHECK: in.bounds.2:26; CHECK-NEXT: %off2 = add i32 %idx, -6027; CHECK-NEXT: %c3 = icmp slt i32 %off2, 4028; CHECK-NEXT: br i1 %c3, label %in.bounds.3, label %exit.loopexit229; CHECK: in.bounds.3:30; CHECK-NEXT: %next = icmp ult i32 %idx.next, 10031; CHECK-NEXT: [[COND1:%[^ ]+]] = icmp ult i32 %idx.next, 1032; CHECK-NEXT: br i1 [[COND1]], label %loop, label %main.exit.selector33; CHECK: main.exit.selector:34; CHECK-NEXT: %idx.next.lcssa = phi i32 [ %idx.next, %in.bounds.3 ]35; CHECK-NEXT: [[COND2:%[^ ]+]] = icmp ult i32 %idx.next.lcssa, 10036; CHECK-NEXT: br i1 [[COND2]], label %main.pseudo.exit, label %exit37; CHECK: postloop:38 39entry:40 br label %loop41 42loop:43 %idx = phi i32 [ 0, %entry ], [ %idx.next, %in.bounds.3 ]44 %idx.next = add nsw nuw i32 %idx, 145 %c1 = icmp slt i32 %idx, 2046 br i1 %c1, label %in.bounds.1, label %out.of.bounds47 48in.bounds.1:49 %addr = getelementptr i32, ptr %arr, i32 %idx50 store i32 0, ptr %addr51 %off1 = add i32 %idx, 3052 %c2 = icmp slt i32 %off1, 4053 br i1 %c2, label %in.bounds.2, label %exit54 55in.bounds.2:56 %off2 = add i32 %idx, -6057 %c3 = icmp slt i32 %off2, 4058 br i1 %c3, label %in.bounds.3, label %exit59 60in.bounds.3:61 %next = icmp ult i32 %idx.next, 10062 br i1 %next, label %loop, label %exit63 64out.of.bounds:65 ret void66 67exit:68 ret void69}70