[LoongArch] Add tests for (and (add x, c1), (lshr y, c2))

[hev]

Summary

Add tests for (and (add x, c1), (lshr y, c2)).

Signed-off-by: WANG Rui <[e-mail]>

[hev]

Add LA32 to test case.

[xen0n]

The addition seems okay but it may be better to move the case into test/CodeGen/LoongArch/ir-instruction/and.ll where a bunch more and-related optimizations are tested.

[hev]

Move the case into test/CodeGen/LoongArch/ir-instruction/and.ll.

llvm/test/CodeGen/LoongArch/ir-instruction/and.ll

; LA64-NEXT:    ret
   %d = and i64 %a, 65520
   %e = and i64 %b, 65520
   %f = and i64 %c, 65520
   %g = sub i64 %d, %e
   %h = mul i64 %e, %f
   %i = xor i64 %g, %h
   ret i64 %i
 }
+
+define i32 @and_add_lsr(i32 %x, i32 %y) {
+; LA32-LABEL: and_add_lsr:
+; LA32:       # %bb.0:
+; LA32-NEXT:    ori $a2, $zero, 4095
+; LA32-NEXT:    add.w $a0, $a0, $a2
+; LA32-NEXT:    srli.w $a1, $a1, 20
+; LA32-NEXT:    and $a0, $a1, $a0
+; LA32-NEXT:    ret
+;
+; LA64-LABEL: and_add_lsr:
+; LA64:       # %bb.0:
+; LA64-NEXT:    ori $a2, $zero, 4095
+; LA64-NEXT:    add.d $a0, $a0, $a2
+; LA64-NEXT:    bstrpick.d $a1, $a1, 31, 20
+; LA64-NEXT:    and $a0, $a1, $a0
+; LA64-NEXT:    ret
+  %1 = add i32 %x, 4095
+  %2 = lshr i32 %y, 20
+  %r = and i32 %2, %1
+  ret i32 %r
+}