[llvm] 4548e62 - [InstCombine] Additional 'concat of ORs' BSWAP/BITREVERSE tests for D79041

[Simon Pilgrim via llvm-commits]

Author: Simon Pilgrim
Date: 2020-05-01T18:05:24+01:00
New Revision: 4548e62ca44a509fc9c49b5e687526b944aac0bb

URL: https://github.com/llvm/llvm-project/commit/4548e62ca44a509fc9c49b5e687526b944aac0bb
DIFF: https://github.com/llvm/llvm-project/commit/4548e62ca44a509fc9c49b5e687526b944aac0bb.diff

LOG: [InstCombine] Additional 'concat of ORs' BSWAP/BITREVERSE tests for D79041

Added: 
    

Modified: 
    llvm/test/Transforms/InstCombine/or-concat.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/InstCombine/or-concat.ll b/llvm/test/Transforms/InstCombine/or-concat.ll
index 1331a19ebbb9..f0d36f2a60e5 100644
--- a/llvm/test/Transforms/InstCombine/or-concat.ll
+++ b/llvm/test/Transforms/InstCombine/or-concat.ll
@@ -8,8 +8,11 @@
 ; OP(or(zext(x), shl(zext(y),bw/2)))
 ;
 
-define i64 @PR45715(i64 %a0) {
-; CHECK-LABEL: @PR45715(
+; BSWAP
+
+; PR45715
+define i64 @concat_bswap32_unary_split(i64 %a0) {
+; CHECK-LABEL: @concat_bswap32_unary_split(
 ; CHECK-NEXT:    [[TMP1:%.*]] = lshr i64 [[A0:%.*]], 32
 ; CHECK-NEXT:    [[TMP2:%.*]] = trunc i64 [[TMP1]] to i32
 ; CHECK-NEXT:    [[TMP3:%.*]] = trunc i64 [[A0]] to i32
@@ -33,4 +36,121 @@ define i64 @PR45715(i64 %a0) {
   ret i64 %9
 }
 
+define i64 @concat_bswap32_unary_flip(i64 %a0) {
+; CHECK-LABEL: @concat_bswap32_unary_flip(
+; CHECK-NEXT:    [[TMP1:%.*]] = lshr i64 [[A0:%.*]], 32
+; CHECK-NEXT:    [[TMP2:%.*]] = trunc i64 [[TMP1]] to i32
+; CHECK-NEXT:    [[TMP3:%.*]] = trunc i64 [[A0]] to i32
+; CHECK-NEXT:    [[TMP4:%.*]] = tail call i32 @llvm.bswap.i32(i32 [[TMP2]])
+; CHECK-NEXT:    [[TMP5:%.*]] = tail call i32 @llvm.bswap.i32(i32 [[TMP3]])
+; CHECK-NEXT:    [[TMP6:%.*]] = zext i32 [[TMP4]] to i64
+; CHECK-NEXT:    [[TMP7:%.*]] = zext i32 [[TMP5]] to i64
+; CHECK-NEXT:    [[TMP8:%.*]] = shl nuw i64 [[TMP6]], 32
+; CHECK-NEXT:    [[TMP9:%.*]] = or i64 [[TMP8]], [[TMP7]]
+; CHECK-NEXT:    ret i64 [[TMP9]]
+;
+  %1 = lshr i64 %a0, 32
+  %2 = trunc i64 %1 to i32
+  %3 = trunc i64 %a0 to i32
+  %4 = tail call i32 @llvm.bswap.i32(i32 %2)
+  %5 = tail call i32 @llvm.bswap.i32(i32 %3)
+  %6 = zext i32 %4 to i64
+  %7 = zext i32 %5 to i64
+  %8 = shl nuw i64 %6, 32
+  %9 = or i64 %7, %8
+  ret i64 %9
+}
+
+define i64 @concat_bswap32_binary(i32 %a0, i32 %a1) {
+; CHECK-LABEL: @concat_bswap32_binary(
+; CHECK-NEXT:    [[TMP1:%.*]] = tail call i32 @llvm.bswap.i32(i32 [[A0:%.*]])
+; CHECK-NEXT:    [[TMP2:%.*]] = tail call i32 @llvm.bswap.i32(i32 [[A1:%.*]])
+; CHECK-NEXT:    [[TMP3:%.*]] = zext i32 [[TMP1]] to i64
+; CHECK-NEXT:    [[TMP4:%.*]] = zext i32 [[TMP2]] to i64
+; CHECK-NEXT:    [[TMP5:%.*]] = shl nuw i64 [[TMP4]], 32
+; CHECK-NEXT:    [[TMP6:%.*]] = or i64 [[TMP5]], [[TMP3]]
+; CHECK-NEXT:    ret i64 [[TMP6]]
+;
+  %1 = tail call i32 @llvm.bswap.i32(i32 %a0)
+  %2 = tail call i32 @llvm.bswap.i32(i32 %a1)
+  %3 = zext i32 %1 to i64
+  %4 = zext i32 %2 to i64
+  %5 = shl nuw i64 %4, 32
+  %6 = or i64 %3, %5
+  ret i64 %6
+}
+
 declare i32 @llvm.bswap.i32(i32)
+
+; BITREVERSE
+
+define i64 @concat_bitreverse32_unary_split(i64 %a0) {
+; CHECK-LABEL: @concat_bitreverse32_unary_split(
+; CHECK-NEXT:    [[TMP1:%.*]] = lshr i64 [[A0:%.*]], 32
+; CHECK-NEXT:    [[TMP2:%.*]] = trunc i64 [[TMP1]] to i32
+; CHECK-NEXT:    [[TMP3:%.*]] = trunc i64 [[A0]] to i32
+; CHECK-NEXT:    [[TMP4:%.*]] = tail call i32 @llvm.bitreverse.i32(i32 [[TMP2]])
+; CHECK-NEXT:    [[TMP5:%.*]] = tail call i32 @llvm.bitreverse.i32(i32 [[TMP3]])
+; CHECK-NEXT:    [[TMP6:%.*]] = zext i32 [[TMP4]] to i64
+; CHECK-NEXT:    [[TMP7:%.*]] = zext i32 [[TMP5]] to i64
+; CHECK-NEXT:    [[TMP8:%.*]] = shl nuw i64 [[TMP7]], 32
+; CHECK-NEXT:    [[TMP9:%.*]] = or i64 [[TMP8]], [[TMP6]]
+; CHECK-NEXT:    ret i64 [[TMP9]]
+;
+  %1 = lshr i64 %a0, 32
+  %2 = trunc i64 %1 to i32
+  %3 = trunc i64 %a0 to i32
+  %4 = tail call i32 @llvm.bitreverse.i32(i32 %2)
+  %5 = tail call i32 @llvm.bitreverse.i32(i32 %3)
+  %6 = zext i32 %4 to i64
+  %7 = zext i32 %5 to i64
+  %8 = shl nuw i64 %7, 32
+  %9 = or i64 %6, %8
+  ret i64 %9
+}
+
+define i64 @concat_bitreverse32_unary_flip(i64 %a0) {
+; CHECK-LABEL: @concat_bitreverse32_unary_flip(
+; CHECK-NEXT:    [[TMP1:%.*]] = lshr i64 [[A0:%.*]], 32
+; CHECK-NEXT:    [[TMP2:%.*]] = trunc i64 [[TMP1]] to i32
+; CHECK-NEXT:    [[TMP3:%.*]] = trunc i64 [[A0]] to i32
+; CHECK-NEXT:    [[TMP4:%.*]] = tail call i32 @llvm.bitreverse.i32(i32 [[TMP2]])
+; CHECK-NEXT:    [[TMP5:%.*]] = tail call i32 @llvm.bitreverse.i32(i32 [[TMP3]])
+; CHECK-NEXT:    [[TMP6:%.*]] = zext i32 [[TMP4]] to i64
+; CHECK-NEXT:    [[TMP7:%.*]] = zext i32 [[TMP5]] to i64
+; CHECK-NEXT:    [[TMP8:%.*]] = shl nuw i64 [[TMP6]], 32
+; CHECK-NEXT:    [[TMP9:%.*]] = or i64 [[TMP8]], [[TMP7]]
+; CHECK-NEXT:    ret i64 [[TMP9]]
+;
+  %1 = lshr i64 %a0, 32
+  %2 = trunc i64 %1 to i32
+  %3 = trunc i64 %a0 to i32
+  %4 = tail call i32 @llvm.bitreverse.i32(i32 %2)
+  %5 = tail call i32 @llvm.bitreverse.i32(i32 %3)
+  %6 = zext i32 %4 to i64
+  %7 = zext i32 %5 to i64
+  %8 = shl nuw i64 %6, 32
+  %9 = or i64 %7, %8
+  ret i64 %9
+}
+
+define i64 @concat_bitreverse32_binary(i32 %a0, i32 %a1) {
+; CHECK-LABEL: @concat_bitreverse32_binary(
+; CHECK-NEXT:    [[TMP1:%.*]] = tail call i32 @llvm.bitreverse.i32(i32 [[A0:%.*]])
+; CHECK-NEXT:    [[TMP2:%.*]] = tail call i32 @llvm.bitreverse.i32(i32 [[A1:%.*]])
+; CHECK-NEXT:    [[TMP3:%.*]] = zext i32 [[TMP1]] to i64
+; CHECK-NEXT:    [[TMP4:%.*]] = zext i32 [[TMP2]] to i64
+; CHECK-NEXT:    [[TMP5:%.*]] = shl nuw i64 [[TMP4]], 32
+; CHECK-NEXT:    [[TMP6:%.*]] = or i64 [[TMP5]], [[TMP3]]
+; CHECK-NEXT:    ret i64 [[TMP6]]
+;
+  %1 = tail call i32 @llvm.bitreverse.i32(i32 %a0)
+  %2 = tail call i32 @llvm.bitreverse.i32(i32 %a1)
+  %3 = zext i32 %1 to i64
+  %4 = zext i32 %2 to i64
+  %5 = shl nuw i64 %4, 32
+  %6 = or i64 %3, %5
+  ret i64 %6
+}
+
+declare i32 @llvm.bitreverse.i32(i32)