```
define i1 @masked_and_ne(i32 %A) {
%mask1 = and i32 %A, 15
%tst1 = icmp ne i32 %mask1, 5
%mask2 = and i32 %A, 39
%tst2 = icmp ne i32 %mask2, 37
%res = and i1 %tst1, %tst2
ret i1 %res
}
```
->
```
define i1 @masked_and_ne(i32 %A) {
%1 = and i32 %A, 7
%res = icmp ne i32 %1, 2
ret i1 %res
}
```
Assume that (B & D) & (C ^ E) == 0, transforms:
(icmp ne (A & B), C) & (icmp ne (A & D), E)
-> (icmp ne (A & (B&D)), (C&E))
Fixes: https://github.com/llvm/llvm-project/issues/59680