1 files changed, 114 insertions, 0 deletions
diff --git a/test/Transforms/InstCombine/bitreverse-recognize.ll b/test/Transforms/InstCombine/bitreverse-recognize.ll
new file mode 100644
index 000000000000..fbd5cb6d139c
--- /dev/null
+++ b/test/Transforms/InstCombine/bitreverse-recognize.ll
@@ -0,0 +1,114 @@
+; RUN: opt < %s -instcombine -S | FileCheck %s
+
+target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
+target triple = "x86_64-apple-macosx10.10.0"
+
+define zeroext i8 @f_u8(i8 zeroext %a) {
+; CHECK-LABEL: @f_u8
+; CHECK-NEXT: %[[A:.*]] = call i8 @llvm.bitreverse.i8(i8 %a)
+; CHECK-NEXT: ret i8 %[[A]]
+  %1 = shl i8 %a, 7
+  %2 = shl i8 %a, 5
+  %3 = and i8 %2, 64
+  %4 = shl i8 %a, 3
+  %5 = and i8 %4, 32
+  %6 = shl i8 %a, 1
+  %7 = and i8 %6, 16
+  %8 = lshr i8 %a, 1
+  %9 = and i8 %8, 8
+  %10 = lshr i8 %a, 3
+  %11 = and i8 %10, 4
+  %12 = lshr i8 %a, 5
+  %13 = and i8 %12, 2
+  %14 = lshr i8 %a, 7
+  %15 = or i8 %14, %1
+  %16 = or i8 %15, %3
+  %17 = or i8 %16, %5
+  %18 = or i8 %17, %7
+  %19 = or i8 %18, %9
+  %20 = or i8 %19, %11
+  %21 = or i8 %20, %13
+  ret i8 %21
+}
+
+; The ANDs with 32 and 64 have been swapped here, so the sequence does not
+; completely match a bitreverse.
+define zeroext i8 @f_u8_fail(i8 zeroext %a) {
+; CHECK-LABEL: @f_u8_fail
+; CHECK-NOT: call
+; CHECK: ret i8
+  %1 = shl i8 %a, 7
+  %2 = shl i8 %a, 5
+  %3 = and i8 %2, 32
+  %4 = shl i8 %a, 3
+  %5 = and i8 %4, 64
+  %6 = shl i8 %a, 1
+  %7 = and i8 %6, 16
+  %8 = lshr i8 %a, 1
+  %9 = and i8 %8, 8
+  %10 = lshr i8 %a, 3
+  %11 = and i8 %10, 4
+  %12 = lshr i8 %a, 5
+  %13 = and i8 %12, 2
+  %14 = lshr i8 %a, 7
+  %15 = or i8 %14, %1
+  %16 = or i8 %15, %3
+  %17 = or i8 %16, %5
+  %18 = or i8 %17, %7
+  %19 = or i8 %18, %9
+  %20 = or i8 %19, %11
+  %21 = or i8 %20, %13
+  ret i8 %21
+}
+
+define zeroext i16 @f_u16(i16 zeroext %a) {
+; CHECK-LABEL: @f_u16
+; CHECK-NEXT: %[[A:.*]] = call i16 @llvm.bitreverse.i16(i16 %a)
+; CHECK-NEXT: ret i16 %[[A]]
+  %1 = shl i16 %a, 15
+  %2 = shl i16 %a, 13
+  %3 = and i16 %2, 16384
+  %4 = shl i16 %a, 11
+  %5 = and i16 %4, 8192
+  %6 = shl i16 %a, 9
+  %7 = and i16 %6, 4096
+  %8 = shl i16 %a, 7
+  %9 = and i16 %8, 2048
+  %10 = shl i16 %a, 5
+  %11 = and i16 %10, 1024
+  %12 = shl i16 %a, 3
+  %13 = and i16 %12, 512
+  %14 = shl i16 %a, 1
+  %15 = and i16 %14, 256
+  %16 = lshr i16 %a, 1
+  %17 = and i16 %16, 128
+  %18 = lshr i16 %a, 3
+  %19 = and i16 %18, 64
+  %20 = lshr i16 %a, 5
+  %21 = and i16 %20, 32
+  %22 = lshr i16 %a, 7
+  %23 = and i16 %22, 16
+  %24 = lshr i16 %a, 9
+  %25 = and i16 %24, 8
+  %26 = lshr i16 %a, 11
+  %27 = and i16 %26, 4
+  %28 = lshr i16 %a, 13
+  %29 = and i16 %28, 2
+  %30 = lshr i16 %a, 15
+  %31 = or i16 %30, %1
+  %32 = or i16 %31, %3
+  %33 = or i16 %32, %5
+  %34 = or i16 %33, %7
+  %35 = or i16 %34, %9
+  %36 = or i16 %35, %11
+  %37 = or i16 %36, %13
+  %38 = or i16 %37, %15
+  %39 = or i16 %38, %17
+  %40 = or i16 %39, %19
+  %41 = or i16 %40, %21
+  %42 = or i16 %41, %23
+  %43 = or i16 %42, %25
+  %44 = or i16 %43, %27
+  %45 = or i16 %44, %29
+  ret i16 %45
+}
+\ No newline at end of file