[llvm] 9eef6e3 - [InstCombine] add tests for casts-around-ctlz; NFC

[Sanjay Patel via llvm-commits]

Author: Sanjay Patel
Date: 2021-06-09T11:22:44-04:00
New Revision: 9eef6e39816a502ccabdd70702694993f8b63061

URL: https://github.com/llvm/llvm-project/commit/9eef6e39816a502ccabdd70702694993f8b63061
DIFF: https://github.com/llvm/llvm-project/commit/9eef6e39816a502ccabdd70702694993f8b63061.diff

LOG: [InstCombine] add tests for casts-around-ctlz; NFC

Baseline for D103788

Added: 
    llvm/test/Transforms/InstCombine/zext-ctlz-trunc-to-ctlz-add.ll

Modified: 
    

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/InstCombine/zext-ctlz-trunc-to-ctlz-add.ll b/llvm/test/Transforms/InstCombine/zext-ctlz-trunc-to-ctlz-add.ll
new file mode 100644
index 000000000000..7e9c20a2e5c2
--- /dev/null
+++ b/llvm/test/Transforms/InstCombine/zext-ctlz-trunc-to-ctlz-add.ll
@@ -0,0 +1,83 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt < %s -instcombine -S | FileCheck %s
+
+declare i32 @llvm.ctlz.i32 (i32, i1)
+declare <2 x i33> @llvm.ctlz.v2i33 (<2 x i33>, i1)
+declare <2 x i32> @llvm.ctlz.v2i32 (<2 x i32>, i1)
+declare <vscale x 2 x i64> @llvm.ctlz.nxv2i64 (<vscale x 2 x i64>, i1)
+declare <vscale x 2 x i63> @llvm.ctlz.nxv2i63 (<vscale x 2 x i63>, i1)
+declare void @use(<2 x i32>)
+declare void @use1(<vscale x 2 x i63>)
+
+define i16 @trunc_ctlz_zext_i16_i32(i16 %x) {
+; CHECK-LABEL: @trunc_ctlz_zext_i16_i32(
+; CHECK-NEXT:    [[Z:%.*]] = zext i16 [[X:%.*]] to i32
+; CHECK-NEXT:    [[P:%.*]] = call i32 @llvm.ctlz.i32(i32 [[Z]], i1 false), !range [[RNG0:![0-9]+]]
+; CHECK-NEXT:    [[ZZ:%.*]] = trunc i32 [[P]] to i16
+; CHECK-NEXT:    ret i16 [[ZZ]]
+;
+  %z = zext i16 %x to i32
+  %p = call i32 @llvm.ctlz.i32(i32 %z, i1 false)
+  %zz = trunc i32 %p to i16
+  ret i16 %zz
+}
+
+; Fixed vector case
+
+define <2 x i8> @trunc_ctlz_zext_v2i8_v2i33(<2 x i8> %x) {
+; CHECK-LABEL: @trunc_ctlz_zext_v2i8_v2i33(
+; CHECK-NEXT:    [[Z:%.*]] = zext <2 x i8> [[X:%.*]] to <2 x i33>
+; CHECK-NEXT:    [[P:%.*]] = call <2 x i33> @llvm.ctlz.v2i33(<2 x i33> [[Z]], i1 true)
+; CHECK-NEXT:    [[ZZ:%.*]] = trunc <2 x i33> [[P]] to <2 x i8>
+; CHECK-NEXT:    ret <2 x i8> [[ZZ]]
+;
+  %z = zext <2 x i8> %x to <2 x i33>
+  %p = call <2 x i33> @llvm.ctlz.v2i33(<2 x i33> %z, i1 true)
+  %zz = trunc <2 x i33> %p to <2 x i8>
+  ret <2 x i8> %zz
+}
+
+; Scalable vector case
+
+define <vscale x 2 x i16> @trunc_ctlz_zext_nxv2i16_nxv2i64(<vscale x 2 x i16> %x) {
+; CHECK-LABEL: @trunc_ctlz_zext_nxv2i16_nxv2i64(
+; CHECK-NEXT:    [[Z:%.*]] = zext <vscale x 2 x i16> [[X:%.*]] to <vscale x 2 x i64>
+; CHECK-NEXT:    [[P:%.*]] = call <vscale x 2 x i64> @llvm.ctlz.nxv2i64(<vscale x 2 x i64> [[Z]], i1 false)
+; CHECK-NEXT:    [[ZZ:%.*]] = trunc <vscale x 2 x i64> [[P]] to <vscale x 2 x i16>
+; CHECK-NEXT:    ret <vscale x 2 x i16> [[ZZ]]
+;
+  %z = zext <vscale x 2 x i16> %x to <vscale x 2 x i64>
+  %p = call <vscale x 2 x i64> @llvm.ctlz.nxv2i64(<vscale x 2 x i64> %z, i1 false)
+  %zz = trunc <vscale x 2 x i64> %p to <vscale x 2 x i16>
+  ret <vscale x 2 x i16> %zz
+}
+
+define <2 x i17> @trunc_ctlz_zext_v2i17_v2i32_multiple_uses(<2 x i17> %x) {
+; CHECK-LABEL: @trunc_ctlz_zext_v2i17_v2i32_multiple_uses(
+; CHECK-NEXT:    [[Z:%.*]] = zext <2 x i17> [[X:%.*]] to <2 x i32>
+; CHECK-NEXT:    [[P:%.*]] = call <2 x i32> @llvm.ctlz.v2i32(<2 x i32> [[Z]], i1 false)
+; CHECK-NEXT:    [[ZZ:%.*]] = trunc <2 x i32> [[P]] to <2 x i17>
+; CHECK-NEXT:    call void @use(<2 x i32> [[P]])
+; CHECK-NEXT:    ret <2 x i17> [[ZZ]]
+;
+  %z = zext <2 x i17> %x to <2 x i32>
+  %p = call <2 x i32> @llvm.ctlz.v2i32(<2 x i32> %z, i1 false)
+  %zz = trunc <2 x i32> %p to <2 x i17>
+  call void @use(<2 x i32> %p)
+  ret <2 x i17> %zz
+}
+
+define <vscale x 2 x i16> @trunc_ctlz_zext_nxv2i16_nxv2i63_multiple_uses(<vscale x 2 x i16> %x) {
+; CHECK-LABEL: @trunc_ctlz_zext_nxv2i16_nxv2i63_multiple_uses(
+; CHECK-NEXT:    [[Z:%.*]] = zext <vscale x 2 x i16> [[X:%.*]] to <vscale x 2 x i63>
+; CHECK-NEXT:    [[P:%.*]] = call <vscale x 2 x i63> @llvm.ctlz.nxv2i63(<vscale x 2 x i63> [[Z]], i1 true)
+; CHECK-NEXT:    [[ZZ:%.*]] = trunc <vscale x 2 x i63> [[P]] to <vscale x 2 x i16>
+; CHECK-NEXT:    call void @use1(<vscale x 2 x i63> [[Z]])
+; CHECK-NEXT:    ret <vscale x 2 x i16> [[ZZ]]
+;
+  %z = zext <vscale x 2 x i16> %x to <vscale x 2 x i63>
+  %p = call <vscale x 2 x i63> @llvm.ctlz.nxv2i63(<vscale x 2 x i63> %z, i1 true)
+  %zz = trunc <vscale x 2 x i63> %p to <vscale x 2 x i16>
+  call void @use1(<vscale x 2 x i63> %z)
+  ret <vscale x 2 x i16> %zz
+}