; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -passes=correlated-propagation -S | FileCheck %s
define i8 @simple(i1) {
; CHECK-LABEL: @simple(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[S:%.*]] = select i1 [[TMP0:%.*]], i8 0, i8 1
; CHECK-NEXT: br i1 [[TMP0]], label [[THEN:%.*]], label [[ELSE:%.*]]
; CHECK: then:
; CHECK-NEXT: ret i8 0
; CHECK: else:
; CHECK-NEXT: ret i8 1
;
entry:
%s = select i1 %0, i8 0, i8 1
br i1 %0, label %then, label %else
then:
%a = phi i8 [ %s, %entry ]
ret i8 %a
else:
%b = phi i8 [ %s, %entry ]
ret i8 %b
}
define void @loop(i32) {
; CHECK-LABEL: @loop(
; CHECK-NEXT: entry:
; CHECK-NEXT: br label [[LOOP:%.*]]
; CHECK: loop:
; CHECK-NEXT: [[IDX:%.*]] = phi i32 [ [[TMP0:%.*]], [[ENTRY:%.*]] ], [ [[TMP2:%.*]], [[LOOP]] ]
; CHECK-NEXT: [[TMP1:%.*]] = icmp eq i32 [[IDX]], 0
; CHECK-NEXT: [[TMP2]] = add i32 [[IDX]], -1
; CHECK-NEXT: [[SEL:%.*]] = select i1 [[TMP1]], i32 0, i32 [[TMP2]]
; CHECK-NEXT: br i1 [[TMP1]], label [[OUT:%.*]], label [[LOOP]]
; CHECK: out:
; CHECK-NEXT: ret void
;
entry:
br label %loop
loop:
%idx = phi i32 [ %0, %entry ], [ %sel, %loop ]
%1 = icmp eq i32 %idx, 0
%2 = add i32 %idx, -1
%sel = select i1 %1, i32 0, i32 %2
br i1 %1, label %out, label %loop
out:
ret void
}
define i8 @not_correlated(i1, i1) {
; CHECK-LABEL: @not_correlated(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[S:%.*]] = select i1 [[TMP0:%.*]], i8 0, i8 1
; CHECK-NEXT: br i1 [[TMP1:%.*]], label [[THEN:%.*]], label [[ELSE:%.*]]
; CHECK: then:
; CHECK-NEXT: ret i8 [[S]]
; CHECK: else:
; CHECK-NEXT: ret i8 [[S]]
;
entry:
%s = select i1 %0, i8 0, i8 1
br i1 %1, label %then, label %else
then:
%a = phi i8 [ %s, %entry ]
ret i8 %a
else:
%b = phi i8 [ %s, %entry ]
ret i8 %b
}
@c = global i32 0, align 4
@b = global i32 0, align 4
define i32 @PR23752() {
; CHECK-LABEL: @PR23752(
; CHECK-NEXT: entry:
; CHECK-NEXT: br label [[FOR_BODY:%.*]]
; CHECK: for.body:
; CHECK-NEXT: [[SEL:%.*]] = select i1 icmp sgt (i32* @b, i32* @c), i32 0, i32 1
; CHECK-NEXT: [[CMP:%.*]] = icmp ne i32 [[SEL]], 1
; CHECK-NEXT: br i1 [[CMP]], label [[FOR_BODY]], label [[IF_END:%.*]]
; CHECK: if.end:
; CHECK-NEXT: ret i32 1
;
entry:
br label %for.body
for.body:
%phi = phi i32 [ 0, %entry ], [ %sel, %for.body ]
%sel = select i1 icmp sgt (i32* @b, i32* @c), i32 %phi, i32 1
%cmp = icmp ne i32 %sel, 1
br i1 %cmp, label %for.body, label %if.end
if.end:
ret i32 %sel
}
define i1 @test1(i32* %p, i1 %unknown) {
; CHECK-LABEL: @test1(
; CHECK-NEXT: [[PVAL:%.*]] = load i32, i32* [[P:%.*]], align 4
; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i32 [[PVAL]], 255
; CHECK-NEXT: br i1 [[CMP1]], label [[NEXT:%.*]], label [[EXIT:%.*]]
; CHECK: next:
; CHECK-NEXT: [[MIN:%.*]] = select i1 [[UNKNOWN:%.*]], i32 [[PVAL]], i32 5
; CHECK-NEXT: ret i1 false
; CHECK: exit:
; CHECK-NEXT: ret i1 true
;
%pval = load i32, i32* %p
%cmp1 = icmp slt i32 %pval, 255
br i1 %cmp1, label %next, label %exit
next:
%min = select i1 %unknown, i32 %pval, i32 5
%res = icmp eq i32 %min, 255
ret i1 %res
exit:
ret i1 true
}
; Check that we take a conservative meet
define i1 @test2(i32* %p, i32 %qval, i1 %unknown) {
; CHECK-LABEL: @test2(
; CHECK-NEXT: [[PVAL:%.*]] = load i32, i32* [[P:%.*]], align 4
; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i32 [[PVAL]], 255
; CHECK-NEXT: br i1 [[CMP1]], label [[NEXT:%.*]], label [[EXIT:%.*]]
; CHECK: next:
; CHECK-NEXT: [[MIN:%.*]] = select i1 [[UNKNOWN:%.*]], i32 [[PVAL]], i32 [[QVAL:%.*]]
; CHECK-NEXT: [[RES:%.*]] = icmp eq i32 [[MIN]], 255
; CHECK-NEXT: ret i1 [[RES]]
; CHECK: exit:
; CHECK-NEXT: ret i1 true
;
%pval = load i32, i32* %p
%cmp1 = icmp slt i32 %pval, 255
br i1 %cmp1, label %next, label %exit
next:
%min = select i1 %unknown, i32 %pval, i32 %qval
%res = icmp eq i32 %min, 255
ret i1 %res
exit:
ret i1 true
}
; Same as @test2, but for the opposite select input
define i1 @test3(i32* %p, i32 %qval, i1 %unknown) {
; CHECK-LABEL: @test3(
; CHECK-NEXT: [[PVAL:%.*]] = load i32, i32* [[P:%.*]], align 4
; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i32 [[PVAL]], 255
; CHECK-NEXT: br i1 [[CMP1]], label [[NEXT:%.*]], label [[EXIT:%.*]]
; CHECK: next:
; CHECK-NEXT: [[MIN:%.*]] = select i1 [[UNKNOWN:%.*]], i32 [[QVAL:%.*]], i32 [[PVAL]]
; CHECK-NEXT: [[RES:%.*]] = icmp eq i32 [[MIN]], 255
; CHECK-NEXT: ret i1 [[RES]]
; CHECK: exit:
; CHECK-NEXT: ret i1 true
;
%pval = load i32, i32* %p
%cmp1 = icmp slt i32 %pval, 255
br i1 %cmp1, label %next, label %exit
next:
%min = select i1 %unknown, i32 %qval, i32 %pval
%res = icmp eq i32 %min, 255
ret i1 %res
exit:
ret i1 true
}
; Conflicting constants (i.e. isOverdefined result)
; NOTE: Using doubles in this version is a bit of a hack. This
; is to get around the fact that all integers (including constants
; and non-constants) are actually represented as constant-ranges.
define i1 @test4(i32* %p, i32 %qval, i1 %unknown) {
; CHECK-LABEL: @test4(
; CHECK-NEXT: [[PVAL:%.*]] = load i32, i32* [[P:%.*]], align 4
; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i32 [[PVAL]], 255
; CHECK-NEXT: br i1 [[CMP1]], label [[NEXT:%.*]], label [[EXIT:%.*]]
; CHECK: next:
; CHECK-NEXT: [[MIN:%.*]] = select i1 [[UNKNOWN:%.*]], double 1.000000e+00, double 0.000000e+00
; CHECK-NEXT: [[RES:%.*]] = fcmp oeq double [[MIN]], 3.000000e+02
; CHECK-NEXT: ret i1 [[RES]]
; CHECK: exit:
; CHECK-NEXT: ret i1 true
;
%pval = load i32, i32* %p
%cmp1 = icmp slt i32 %pval, 255
br i1 %cmp1, label %next, label %exit
next:
%min = select i1 %unknown, double 1.0, double 0.0
%res = fcmp oeq double %min, 300.0
ret i1 %res
exit:
ret i1 true
}
;; Using the condition to clamp the result
;;
define i1 @test5(i32* %p, i1 %unknown) {
; CHECK-LABEL: @test5(
; CHECK-NEXT: [[PVAL:%.*]] = load i32, i32* [[P:%.*]], align 4
; CHECK-NEXT: [[CMP1:%.*]] = icmp slt i32 [[PVAL]], 255
; CHECK-NEXT: br i1 [[CMP1]], label [[NEXT:%.*]], label [[EXIT:%.*]]
; CHECK: next:
; CHECK-NEXT: [[COND:%.*]] = icmp sgt i32 [[PVAL]], 0
; CHECK-NEXT: [[MIN:%.*]] = select i1 [[COND]], i32 [[PVAL]], i32 5
; CHECK-NEXT: ret i1 false
; CHECK: exit:
; CHECK-NEXT: ret i1 true
;
%pval = load i32, i32* %p
%cmp1 = icmp slt i32 %pval, 255
br i1 %cmp1, label %next, label %exit
next:
%cond = icmp sgt i32 %pval, 0
%min = select i1 %cond, i32 %pval, i32 5
%res = icmp eq i32 %min, -1
ret i1 %res
exit:
ret i1 true
}
define i1 @test6(i32* %p, i1 %unknown) {
; CHECK-LABEL: @test6(
; CHECK-NEXT: [[PVAL:%.*]] = load i32, i32* [[P:%.*]], align 4
; CHECK-NEXT: [[CMP1:%.*]] = icmp ult i32 [[PVAL]], 255
; CHECK-NEXT: br i1 [[CMP1]], label [[NEXT:%.*]], label [[EXIT:%.*]]
; CHECK: next:
; CHECK-NEXT: [[COND:%.*]] = icmp ne i32 [[PVAL]], 254
; CHECK-NEXT: [[SEL:%.*]] = select i1 [[COND]], i32 [[PVAL]], i32 1
; CHECK-NEXT: ret i1 true
; CHECK: exit:
; CHECK-NEXT: ret i1 true
;
%pval = load i32, i32* %p
%cmp1 = icmp ult i32 %pval, 255
br i1 %cmp1, label %next, label %exit
next:
%cond = icmp ne i32 %pval, 254
%sel = select i1 %cond, i32 %pval, i32 1
%res = icmp slt i32 %sel, 254
ret i1 %res
exit:
ret i1 true
}