134 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -mtriple=riscv32 -mattr=+zbkb -verify-machineinstrs < %s \3; RUN: | FileCheck %s -check-prefixes=CHECK,RV32ZBKB4; RUN: llc -mtriple=riscv64 -mattr=+zbkb -verify-machineinstrs < %s \5; RUN: | FileCheck %s -check-prefixes=CHECK,RV64ZBKB6 7; These tests can be optimised8; fold (bitreverse(srl (bitreverse c), x)) -> (shl c, x)9; fold (bitreverse(shl (bitreverse c), x)) -> (srl c, x)10 11define i8 @test_bitreverse_srli_bitreverse_i8(i8 %a) nounwind {12; CHECK-LABEL: test_bitreverse_srli_bitreverse_i8:13; CHECK: # %bb.0:14; CHECK-NEXT: slli a0, a0, 315; CHECK-NEXT: ret16 %1 = call i8 @llvm.bitreverse.i8(i8 %a)17 %2 = lshr i8 %1, 318 %3 = call i8 @llvm.bitreverse.i8(i8 %2)19 ret i8 %320}21 22define i16 @test_bitreverse_srli_bitreverse_i16(i16 %a) nounwind {23; CHECK-LABEL: test_bitreverse_srli_bitreverse_i16:24; CHECK: # %bb.0:25; CHECK-NEXT: slli a0, a0, 726; CHECK-NEXT: ret27 %1 = call i16 @llvm.bitreverse.i16(i16 %a)28 %2 = lshr i16 %1, 729 %3 = call i16 @llvm.bitreverse.i16(i16 %2)30 ret i16 %331}32 33define i32 @test_bitreverse_srli_bitreverse_i32(i32 %a) nounwind {34; RV32ZBKB-LABEL: test_bitreverse_srli_bitreverse_i32:35; RV32ZBKB: # %bb.0:36; RV32ZBKB-NEXT: slli a0, a0, 1537; RV32ZBKB-NEXT: ret38;39; RV64ZBKB-LABEL: test_bitreverse_srli_bitreverse_i32:40; RV64ZBKB: # %bb.0:41; RV64ZBKB-NEXT: slliw a0, a0, 1542; RV64ZBKB-NEXT: ret43 %1 = call i32 @llvm.bitreverse.i32(i32 %a)44 %2 = lshr i32 %1, 1545 %3 = call i32 @llvm.bitreverse.i32(i32 %2)46 ret i32 %347}48 49define i64 @test_bitreverse_srli_bitreverse_i64(i64 %a) nounwind {50; RV32ZBKB-LABEL: test_bitreverse_srli_bitreverse_i64:51; RV32ZBKB: # %bb.0:52; RV32ZBKB-NEXT: slli a1, a0, 153; RV32ZBKB-NEXT: li a0, 054; RV32ZBKB-NEXT: ret55;56; RV64ZBKB-LABEL: test_bitreverse_srli_bitreverse_i64:57; RV64ZBKB: # %bb.0:58; RV64ZBKB-NEXT: slli a0, a0, 3359; RV64ZBKB-NEXT: ret60 %1 = call i64 @llvm.bitreverse.i64(i64 %a)61 %2 = lshr i64 %1, 3362 %3 = call i64 @llvm.bitreverse.i64(i64 %2)63 ret i64 %364}65 66define i8 @test_bitreverse_shli_bitreverse_i8(i8 %a) nounwind {67; RV32ZBKB-LABEL: test_bitreverse_shli_bitreverse_i8:68; RV32ZBKB: # %bb.0:69; RV32ZBKB-NEXT: slli a0, a0, 2470; RV32ZBKB-NEXT: srli a0, a0, 2771; RV32ZBKB-NEXT: ret72;73; RV64ZBKB-LABEL: test_bitreverse_shli_bitreverse_i8:74; RV64ZBKB: # %bb.0:75; RV64ZBKB-NEXT: slli a0, a0, 5676; RV64ZBKB-NEXT: srli a0, a0, 5977; RV64ZBKB-NEXT: ret78 %1 = call i8 @llvm.bitreverse.i8(i8 %a)79 %2 = shl i8 %1, 380 %3 = call i8 @llvm.bitreverse.i8(i8 %2)81 ret i8 %382}83 84define i16 @test_bitreverse_shli_bitreverse_i16(i16 %a) nounwind {85; RV32ZBKB-LABEL: test_bitreverse_shli_bitreverse_i16:86; RV32ZBKB: # %bb.0:87; RV32ZBKB-NEXT: slli a0, a0, 1688; RV32ZBKB-NEXT: srli a0, a0, 2389; RV32ZBKB-NEXT: ret90;91; RV64ZBKB-LABEL: test_bitreverse_shli_bitreverse_i16:92; RV64ZBKB: # %bb.0:93; RV64ZBKB-NEXT: slli a0, a0, 4894; RV64ZBKB-NEXT: srli a0, a0, 5595; RV64ZBKB-NEXT: ret96 %1 = call i16 @llvm.bitreverse.i16(i16 %a)97 %2 = shl i16 %1, 798 %3 = call i16 @llvm.bitreverse.i16(i16 %2)99 ret i16 %3100}101 102define i32 @test_bitreverse_shli_bitreverse_i32(i32 %a) nounwind {103; RV32ZBKB-LABEL: test_bitreverse_shli_bitreverse_i32:104; RV32ZBKB: # %bb.0:105; RV32ZBKB-NEXT: srli a0, a0, 15106; RV32ZBKB-NEXT: ret107;108; RV64ZBKB-LABEL: test_bitreverse_shli_bitreverse_i32:109; RV64ZBKB: # %bb.0:110; RV64ZBKB-NEXT: srliw a0, a0, 15111; RV64ZBKB-NEXT: ret112 %1 = call i32 @llvm.bitreverse.i32(i32 %a)113 %2 = shl i32 %1, 15114 %3 = call i32 @llvm.bitreverse.i32(i32 %2)115 ret i32 %3116}117 118define i64 @test_bitreverse_shli_bitreverse_i64(i64 %a) nounwind {119; RV32ZBKB-LABEL: test_bitreverse_shli_bitreverse_i64:120; RV32ZBKB: # %bb.0:121; RV32ZBKB-NEXT: srli a0, a1, 1122; RV32ZBKB-NEXT: li a1, 0123; RV32ZBKB-NEXT: ret124;125; RV64ZBKB-LABEL: test_bitreverse_shli_bitreverse_i64:126; RV64ZBKB: # %bb.0:127; RV64ZBKB-NEXT: srli a0, a0, 33128; RV64ZBKB-NEXT: ret129 %1 = call i64 @llvm.bitreverse.i64(i64 %a)130 %2 = shl i64 %1, 33131 %3 = call i64 @llvm.bitreverse.i64(i64 %2)132 ret i64 %3133}134