xref: /aosp_15_r20/external/llvm/test/Transforms/InstCombine/mul-masked-bits.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58) 
1*9880d681SAndroid Build Coastguard Worker; NOTE: Assertions have been autogenerated by update_test_checks.py
2*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -instcombine -S | FileCheck %s
3*9880d681SAndroid Build Coastguard Worker
4*9880d681SAndroid Build Coastguard Workerdefine i32 @foo(i32 %x, i32 %y) {
5*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @foo(
6*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT:    [[A:%.*]] = and i32 %x, 7
7*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT:    [[B:%.*]] = and i32 %y, 7
8*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT:    [[C:%.*]] = mul nuw nsw i32 [[A]], [[B]]
9*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT:    [[D:%.*]] = shl nuw i32 [[C]], 26
10*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT:    [[E:%.*]] = ashr exact i32 [[D]], 26
11*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT:    ret i32 [[E]]
12*9880d681SAndroid Build Coastguard Worker;
13*9880d681SAndroid Build Coastguard Worker  %a = and i32 %x, 7
14*9880d681SAndroid Build Coastguard Worker  %b = and i32 %y, 7
15*9880d681SAndroid Build Coastguard Worker  %c = mul i32 %a, %b
16*9880d681SAndroid Build Coastguard Worker  %d = shl i32 %c, 26
17*9880d681SAndroid Build Coastguard Worker  %e = ashr i32 %d, 26
18*9880d681SAndroid Build Coastguard Worker  ret i32 %e
19*9880d681SAndroid Build Coastguard Worker}
20