diff options
| author | Craig Topper <craig.topper@gmail.com> | 2017-04-26 05:59:19 +0000 |
|---|---|---|
| committer | Craig Topper <craig.topper@gmail.com> | 2017-04-26 05:59:19 +0000 |
| commit | 17a2b694c00751908e62b27db099d3e8c0f955e0 (patch) | |
| tree | fe2001c7ef55ce2acdcb0dd1d356e1a24f1864a2 /llvm/test | |
| parent | e3986c544dcd24105ed816cf0d17ddd2df852acc (diff) | |
| download | bcm5719-llvm-17a2b694c00751908e62b27db099d3e8c0f955e0.tar.gz bcm5719-llvm-17a2b694c00751908e62b27db099d3e8c0f955e0.zip | |
[InstCombine] Add test cases for opportunities to improve knownbits handling for cttz and ctlz intrinsics.
llvm-svn: 301385
Diffstat (limited to 'llvm/test')
| -rw-r--r-- | llvm/test/Transforms/InstCombine/intrinsics.ll | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/llvm/test/Transforms/InstCombine/intrinsics.ll b/llvm/test/Transforms/InstCombine/intrinsics.ll index e8f5ddd329f..b9e20844058 100644 --- a/llvm/test/Transforms/InstCombine/intrinsics.ll +++ b/llvm/test/Transforms/InstCombine/intrinsics.ll @@ -281,6 +281,19 @@ define i32 @cttz(i32 %a) { ret i32 %count } +define i1 @cttz_knownbits(i32 %arg) { +; CHECK-LABEL: @cttz_knownbits( +; CHECK-NEXT: [[OR:%.*]] = or i32 [[ARG:%.*]], 4 +; CHECK-NEXT: [[CNT:%.*]] = call i32 @llvm.cttz.i32(i32 [[OR]], i1 true) #0 +; CHECK-NEXT: [[RES:%.*]] = icmp eq i32 [[CNT]], 4 +; CHECK-NEXT: ret i1 [[RES]] +; + %or = or i32 %arg, 4 + %cnt = call i32 @llvm.cttz.i32(i32 %or, i1 true) nounwind readnone + %res = icmp eq i32 %cnt, 4 + ret i1 %res +} + define i8 @ctlz(i8 %a) { ; CHECK-LABEL: @ctlz( ; CHECK-NEXT: ret i8 2 @@ -291,6 +304,19 @@ define i8 @ctlz(i8 %a) { ret i8 %count } +define i1 @ctlz_knownbits(i8 %arg) { +; CHECK-LABEL: @ctlz_knownbits( +; CHECK-NEXT: [[OR:%.*]] = or i8 [[ARG:%.*]], 32 +; CHECK-NEXT: [[CNT:%.*]] = call i8 @llvm.ctlz.i8(i8 [[OR]], i1 true) #0 +; CHECK-NEXT: [[RES:%.*]] = icmp eq i8 [[CNT]], 4 +; CHECK-NEXT: ret i1 [[RES]] +; + %or = or i8 %arg, 32 + %cnt = call i8 @llvm.ctlz.i8(i8 %or, i1 true) nounwind readnone + %res = icmp eq i8 %cnt, 4 + ret i1 %res +} + define void @cmp.simplify(i32 %a, i32 %b, i1* %c) { %lz = tail call i32 @llvm.ctlz.i32(i32 %a, i1 false) nounwind readnone %lz.cmp = icmp eq i32 %lz, 32 |
