diff options
| -rw-r--r-- | llvm/include/llvm/IR/PatternMatch.h | 5 | ||||
| -rw-r--r-- | llvm/test/Transforms/InstCombine/select-cmp-cttz-ctlz.ll | 12 |
2 files changed, 5 insertions, 12 deletions
diff --git a/llvm/include/llvm/IR/PatternMatch.h b/llvm/include/llvm/IR/PatternMatch.h index 9e9c8ac75d2..4015e445097 100644 --- a/llvm/include/llvm/IR/PatternMatch.h +++ b/llvm/include/llvm/IR/PatternMatch.h @@ -399,10 +399,7 @@ struct specific_intval { if (const auto *C = dyn_cast<Constant>(V)) CI = dyn_cast_or_null<ConstantInt>(C->getSplatValue()); - if (CI && CI->getBitWidth() <= 64) - return CI->getZExtValue() == Val; - - return false; + return CI && CI->getValue() == Val; } }; diff --git a/llvm/test/Transforms/InstCombine/select-cmp-cttz-ctlz.ll b/llvm/test/Transforms/InstCombine/select-cmp-cttz-ctlz.ll index c5547acdc8c..3ac02795b47 100644 --- a/llvm/test/Transforms/InstCombine/select-cmp-cttz-ctlz.ll +++ b/llvm/test/Transforms/InstCombine/select-cmp-cttz-ctlz.ll @@ -320,10 +320,8 @@ entry: define i128 @test7(i128 %x) { ; CHECK-LABEL: @test7( -; CHECK-NEXT: [[TMP0:%.*]] = tail call i128 @llvm.ctlz.i128(i128 [[X:%.*]], i1 true), !range !3 -; CHECK-NEXT: [[TOBOOL:%.*]] = icmp ne i128 [[X]], 0 -; CHECK-NEXT: [[COND:%.*]] = select i1 [[TOBOOL]], i128 [[TMP0]], i128 128 -; CHECK-NEXT: ret i128 [[COND]] +; CHECK-NEXT: [[TMP1:%.*]] = tail call i128 @llvm.ctlz.i128(i128 [[X:%.*]], i1 false), !range !3 +; CHECK-NEXT: ret i128 [[TMP1]] ; %1 = tail call i128 @llvm.ctlz.i128(i128 %x, i1 true) %tobool = icmp ne i128 %x, 0 @@ -333,10 +331,8 @@ define i128 @test7(i128 %x) { define i128 @test8(i128 %x) { ; CHECK-LABEL: @test8( -; CHECK-NEXT: [[TMP0:%.*]] = tail call i128 @llvm.cttz.i128(i128 [[X:%.*]], i1 true), !range !3 -; CHECK-NEXT: [[TOBOOL:%.*]] = icmp ne i128 [[X]], 0 -; CHECK-NEXT: [[COND:%.*]] = select i1 [[TOBOOL]], i128 [[TMP0]], i128 128 -; CHECK-NEXT: ret i128 [[COND]] +; CHECK-NEXT: [[TMP1:%.*]] = tail call i128 @llvm.cttz.i128(i128 [[X:%.*]], i1 false), !range !3 +; CHECK-NEXT: ret i128 [[TMP1]] ; %1 = tail call i128 @llvm.cttz.i128(i128 %x, i1 true) %tobool = icmp ne i128 %x, 0 |
