diff options
| -rw-r--r-- | llvm/test/Transforms/InstCombine/mul-masked-bits.ll | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/llvm/test/Transforms/InstCombine/mul-masked-bits.ll b/llvm/test/Transforms/InstCombine/mul-masked-bits.ll index a43d5f20bea..9055f333b17 100644 --- a/llvm/test/Transforms/InstCombine/mul-masked-bits.ll +++ b/llvm/test/Transforms/InstCombine/mul-masked-bits.ll @@ -1,6 +1,15 @@ -; RUN: opt < %s -instcombine -S | grep ashr +; NOTE: Assertions have been autogenerated by update_test_checks.py +; RUN: opt < %s -instcombine -S | FileCheck %s define i32 @foo(i32 %x, i32 %y) { +; CHECK-LABEL: @foo( +; CHECK: [[A:%.*]] = and i32 %x, 7 +; CHECK-NEXT: [[B:%.*]] = and i32 %y, 7 +; CHECK-NEXT: [[C:%.*]] = mul nuw nsw i32 [[A]], [[B]] +; CHECK-NEXT: [[D:%.*]] = shl nuw i32 [[C]], 26 +; CHECK-NEXT: [[E:%.*]] = ashr exact i32 [[D]], 26 +; CHECK-NEXT: ret i32 [[E]] +; %a = and i32 %x, 7 %b = and i32 %y, 7 %c = mul i32 %a, %b |
