forked from OSchip/llvm-project
[tests] Precommit tests for phi recusion limits in known bits
This commit is contained in:
Philip Reames
Philip Reames
parent
4309170c87
commit
aa41fe664a
|
|
@ -0,0 +1,145 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -S -passes=instcombine < %s | FileCheck %s
|
||||
|
||||
;
|
||||
; Tests to show cases where computeKnownBits should be able to determine
|
||||
; the known bits of a phi based on limited recursion.
|
||||
;
|
||||
|
||||
declare i64 @llvm.ctpop.i64(i64)
|
||||
|
||||
|
||||
define i32 @single_entry_phi(i64 %x, i1 %c) {
|
||||
; CHECK-LABEL: @single_entry_phi(
|
||||
; CHECK-NEXT: entry:
|
||||
; CHECK-NEXT: br label [[BODY:%.*]]
|
||||
; CHECK: body:
|
||||
; CHECK-NEXT: br i1 [[C:%.*]], label [[END:%.*]], label [[BODY]]
|
||||
; CHECK: end:
|
||||
; CHECK-NEXT: [[Y:%.*]] = call i64 @llvm.ctpop.i64(i64 [[X:%.*]]), !range [[RNG0:![0-9]+]]
|
||||
; CHECK-NEXT: [[TRUNC:%.*]] = trunc i64 [[Y]] to i32
|
||||
; CHECK-NEXT: ret i32 [[TRUNC]]
|
||||
;
|
||||
entry:
|
||||
%y = call i64 @llvm.ctpop.i64(i64 %x)
|
||||
%trunc = trunc i64 %y to i32
|
||||
br label %body
|
||||
body:
|
||||
br i1 %c, label %end, label %body
|
||||
end:
|
||||
%phi = phi i32 [ %trunc, %body ]
|
||||
%res = and i32 %phi, 127
|
||||
ret i32 %res
|
||||
}
|
||||
|
||||
|
||||
define i32 @two_entry_phi_with_constant(i64 %x, i1 %c) {
|
||||
; CHECK-LABEL: @two_entry_phi_with_constant(
|
||||
; CHECK-NEXT: entry:
|
||||
; CHECK-NEXT: [[Y:%.*]] = call i64 @llvm.ctpop.i64(i64 [[X:%.*]]), !range [[RNG0]]
|
||||
; CHECK-NEXT: [[TRUNC:%.*]] = trunc i64 [[Y]] to i32
|
||||
; CHECK-NEXT: br i1 [[C:%.*]], label [[END:%.*]], label [[BODY:%.*]]
|
||||
; CHECK: body:
|
||||
; CHECK-NEXT: br label [[END]]
|
||||
; CHECK: end:
|
||||
; CHECK-NEXT: [[PHI:%.*]] = phi i32 [ [[TRUNC]], [[ENTRY:%.*]] ], [ 255, [[BODY]] ]
|
||||
; CHECK-NEXT: [[RES:%.*]] = and i32 [[PHI]], 255
|
||||
; CHECK-NEXT: ret i32 [[RES]]
|
||||
;
|
||||
entry:
|
||||
%y = call i64 @llvm.ctpop.i64(i64 %x)
|
||||
%trunc = trunc i64 %y to i32
|
||||
br i1 %c, label %end, label %body
|
||||
body:
|
||||
br label %end
|
||||
end:
|
||||
%phi = phi i32 [ %trunc, %entry ], [ 255, %body ]
|
||||
%res = and i32 %phi, 255
|
||||
ret i32 %res
|
||||
}
|
||||
|
||||
define i32 @two_entry_phi_non_constant(i64 %x, i64 %x2, i1 %c) {
|
||||
; CHECK-LABEL: @two_entry_phi_non_constant(
|
||||
; CHECK-NEXT: entry:
|
||||
; CHECK-NEXT: [[Y:%.*]] = call i64 @llvm.ctpop.i64(i64 [[X:%.*]]), !range [[RNG0]]
|
||||
; CHECK-NEXT: [[TRUNC:%.*]] = trunc i64 [[Y]] to i32
|
||||
; CHECK-NEXT: br i1 [[C:%.*]], label [[END:%.*]], label [[BODY:%.*]]
|
||||
; CHECK: body:
|
||||
; CHECK-NEXT: [[Y2:%.*]] = call i64 @llvm.ctpop.i64(i64 [[X2:%.*]]), !range [[RNG0]]
|
||||
; CHECK-NEXT: [[TRUNC2:%.*]] = trunc i64 [[Y2]] to i32
|
||||
; CHECK-NEXT: br label [[END]]
|
||||
; CHECK: end:
|
||||
; CHECK-NEXT: [[PHI:%.*]] = phi i32 [ [[TRUNC]], [[ENTRY:%.*]] ], [ [[TRUNC2]], [[BODY]] ]
|
||||
; CHECK-NEXT: [[RES:%.*]] = and i32 [[PHI]], 255
|
||||
; CHECK-NEXT: ret i32 [[RES]]
|
||||
;
|
||||
entry:
|
||||
%y = call i64 @llvm.ctpop.i64(i64 %x)
|
||||
%trunc = trunc i64 %y to i32
|
||||
br i1 %c, label %end, label %body
|
||||
body:
|
||||
%y2 = call i64 @llvm.ctpop.i64(i64 %x2)
|
||||
%trunc2 = trunc i64 %y2 to i32
|
||||
br label %end
|
||||
end:
|
||||
%phi = phi i32 [ %trunc, %entry ], [ %trunc2, %body ]
|
||||
%res = and i32 %phi, 255
|
||||
ret i32 %res
|
||||
}
|
||||
|
||||
define i32 @neg_many_branches(i64 %x) {
|
||||
; CHECK-LABEL: @neg_many_branches(
|
||||
; CHECK-NEXT: entry:
|
||||
; CHECK-NEXT: [[Y:%.*]] = call i64 @llvm.ctpop.i64(i64 [[X:%.*]]), !range [[RNG0]]
|
||||
; CHECK-NEXT: [[TRUNC:%.*]] = trunc i64 [[Y]] to i32
|
||||
; CHECK-NEXT: [[TRUNC1:%.*]] = trunc i64 [[Y]] to i7
|
||||
; CHECK-NEXT: switch i7 [[TRUNC1]], label [[END:%.*]] [
|
||||
; CHECK-NEXT: i7 1, label [[ONE:%.*]]
|
||||
; CHECK-NEXT: i7 2, label [[TWO:%.*]]
|
||||
; CHECK-NEXT: i7 3, label [[THREE:%.*]]
|
||||
; CHECK-NEXT: i7 4, label [[FOUR:%.*]]
|
||||
; CHECK-NEXT: ]
|
||||
; CHECK: one:
|
||||
; CHECK-NEXT: [[A:%.*]] = add nuw nsw i32 [[TRUNC]], 1
|
||||
; CHECK-NEXT: br label [[END]]
|
||||
; CHECK: two:
|
||||
; CHECK-NEXT: [[B:%.*]] = add nuw nsw i32 [[TRUNC]], 2
|
||||
; CHECK-NEXT: br label [[END]]
|
||||
; CHECK: three:
|
||||
; CHECK-NEXT: [[C:%.*]] = add nuw nsw i32 [[TRUNC]], 3
|
||||
; CHECK-NEXT: br label [[END]]
|
||||
; CHECK: four:
|
||||
; CHECK-NEXT: [[D:%.*]] = add nuw nsw i32 [[TRUNC]], 4
|
||||
; CHECK-NEXT: br label [[END]]
|
||||
; CHECK: end:
|
||||
; CHECK-NEXT: [[PHI:%.*]] = phi i32 [ [[TRUNC]], [[ENTRY:%.*]] ], [ [[A]], [[ONE]] ], [ [[B]], [[TWO]] ], [ [[C]], [[THREE]] ], [ [[D]], [[FOUR]] ]
|
||||
; CHECK-NEXT: [[RES:%.*]] = and i32 [[PHI]], 255
|
||||
; CHECK-NEXT: ret i32 [[RES]]
|
||||
;
|
||||
entry:
|
||||
%y = call i64 @llvm.ctpop.i64(i64 %x)
|
||||
%trunc = trunc i64 %y to i32
|
||||
switch i32 %trunc, label %end [
|
||||
i32 1, label %one
|
||||
i32 2, label %two
|
||||
i32 3, label %three
|
||||
i32 4, label %four
|
||||
]
|
||||
one:
|
||||
%a = add i32 %trunc, 1
|
||||
br label %end
|
||||
two:
|
||||
%b = add i32 %trunc, 2
|
||||
br label %end
|
||||
three:
|
||||
%c = add i32 %trunc, 3
|
||||
br label %end
|
||||
four:
|
||||
%d = add i32 %trunc, 4
|
||||
br label %end
|
||||
end:
|
||||
%phi = phi i32 [ %trunc, %entry ], [ %a, %one ], [ %b, %two ], [ %c, %three ], [ %d, %four ]
|
||||
%res = and i32 %phi, 255
|
||||
ret i32 %res
|
||||
}
|
||||
|
||||
Loading…
Reference in New Issue