1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
; Make sure we do not incorrectly add variables to the system.
define i1 @test(ptr %p1, ptr %p2, i32 %num_rows, i32 %start_row, i1 %c) {
; CHECK-LABEL: @test(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[ADD:%.*]] = add i32 [[NUM_ROWS:%.*]], [[START_ROW:%.*]]
; CHECK-NEXT: [[L3:%.*]] = load i32, ptr [[P1:%.*]], align 4
; CHECK-NEXT: [[CMP6:%.*]] = icmp ugt i32 [[L3]], [[START_ROW]]
; CHECK-NEXT: br i1 [[C:%.*]], label [[IF_END36:%.*]], label [[IF_END36]]
; CHECK: if.end36:
; CHECK-NEXT: [[L1:%.*]] = load i32, ptr [[P2:%.*]], align 4
; CHECK-NEXT: [[CMP37:%.*]] = icmp ult i32 [[L1]], [[ADD]]
; CHECK-NEXT: br i1 [[CMP37]], label [[IF_THEN39:%.*]], label [[EXIT:%.*]]
; CHECK: if.then39:
; CHECK-NEXT: [[CMP41:%.*]] = icmp ult i32 [[L1]], [[START_ROW]]
; CHECK-NEXT: ret i1 [[CMP41]]
; CHECK: exit:
; CHECK-NEXT: ret i1 false
;
entry:
%add = add i32 %num_rows, %start_row
%l3 = load i32, ptr %p1, align 4
%cmp6 = icmp ugt i32 %l3, %start_row
br i1 %c, label %if.end36, label %if.end36
if.end36: ; preds = %if.then11
%l1 = load i32, ptr %p2, align 4
%cmp37 = icmp ult i32 %l1, %add
br i1 %cmp37, label %if.then39, label %exit
if.then39: ; preds = %if.end36
%cmp41 = icmp ult i32 %l1, %start_row
ret i1 %cmp41
exit: ; preds = %if.end36
ret i1 false
}
|
