101 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -mtriple=aarch64-unknown-unknown | FileCheck %s3; RUN: llc < %s -mtriple=aarch64-unknown-unknown -global-isel | FileCheck %s4 5; These tests can be optimised6; fold (bitreverse(srl (bitreverse c), x)) -> (shl c, x)7; fold (bitreverse(shl (bitreverse c), x)) -> (srl c, x)8 9declare i8 @llvm.bitreverse.i8(i8)10declare i16 @llvm.bitreverse.i16(i16)11declare i32 @llvm.bitreverse.i32(i32)12declare i64 @llvm.bitreverse.i64(i64)13 14define i8 @test_bitreverse_srli_bitreverse_i8(i8 %a) nounwind {15; CHECK-LABEL: test_bitreverse_srli_bitreverse_i8:16; CHECK: // %bb.0:17; CHECK-NEXT: lsl w0, w0, #318; CHECK-NEXT: ret19 %1 = call i8 @llvm.bitreverse.i8(i8 %a)20 %2 = lshr i8 %1, 321 %3 = call i8 @llvm.bitreverse.i8(i8 %2)22 ret i8 %323}24 25define i16 @test_bitreverse_srli_bitreverse_i16(i16 %a) nounwind {26; CHECK-LABEL: test_bitreverse_srli_bitreverse_i16:27; CHECK: // %bb.0:28; CHECK-NEXT: lsl w0, w0, #729; CHECK-NEXT: ret30 %1 = call i16 @llvm.bitreverse.i16(i16 %a)31 %2 = lshr i16 %1, 732 %3 = call i16 @llvm.bitreverse.i16(i16 %2)33 ret i16 %334}35 36define i32 @test_bitreverse_srli_bitreverse_i32(i32 %a) nounwind {37; CHECK-LABEL: test_bitreverse_srli_bitreverse_i32:38; CHECK: // %bb.0:39; CHECK-NEXT: lsl w0, w0, #1540; CHECK-NEXT: ret41 %1 = call i32 @llvm.bitreverse.i32(i32 %a)42 %2 = lshr i32 %1, 1543 %3 = call i32 @llvm.bitreverse.i32(i32 %2)44 ret i32 %345}46 47define i64 @test_bitreverse_srli_bitreverse_i64(i64 %a) nounwind {48; CHECK-LABEL: test_bitreverse_srli_bitreverse_i64:49; CHECK: // %bb.0:50; CHECK-NEXT: lsl x0, x0, #3351; CHECK-NEXT: ret52 %1 = call i64 @llvm.bitreverse.i64(i64 %a)53 %2 = lshr i64 %1, 3354 %3 = call i64 @llvm.bitreverse.i64(i64 %2)55 ret i64 %356}57 58define i8 @test_bitreverse_shli_bitreverse_i8(i8 %a) nounwind {59; CHECK-LABEL: test_bitreverse_shli_bitreverse_i8:60; CHECK: // %bb.0:61; CHECK-NEXT: ubfx w0, w0, #3, #562; CHECK-NEXT: ret63 %1 = call i8 @llvm.bitreverse.i8(i8 %a)64 %2 = shl i8 %1, 365 %3 = call i8 @llvm.bitreverse.i8(i8 %2)66 ret i8 %367}68 69define i16 @test_bitreverse_shli_bitreverse_i16(i16 %a) nounwind {70; CHECK-LABEL: test_bitreverse_shli_bitreverse_i16:71; CHECK: // %bb.0:72; CHECK-NEXT: ubfx w0, w0, #7, #973; CHECK-NEXT: ret74 %1 = call i16 @llvm.bitreverse.i16(i16 %a)75 %2 = shl i16 %1, 776 %3 = call i16 @llvm.bitreverse.i16(i16 %2)77 ret i16 %378}79 80define i32 @test_bitreverse_shli_bitreverse_i32(i32 %a) nounwind {81; CHECK-LABEL: test_bitreverse_shli_bitreverse_i32:82; CHECK: // %bb.0:83; CHECK-NEXT: lsr w0, w0, #1584; CHECK-NEXT: ret85 %1 = call i32 @llvm.bitreverse.i32(i32 %a)86 %2 = shl i32 %1, 1587 %3 = call i32 @llvm.bitreverse.i32(i32 %2)88 ret i32 %389}90 91define i64 @test_bitreverse_shli_bitreverse_i64(i64 %a) nounwind {92; CHECK-LABEL: test_bitreverse_shli_bitreverse_i64:93; CHECK: // %bb.0:94; CHECK-NEXT: lsr x0, x0, #3395; CHECK-NEXT: ret96 %1 = call i64 @llvm.bitreverse.i64(i64 %a)97 %2 = shl i64 %1, 3398 %3 = call i64 @llvm.bitreverse.i64(i64 %2)99 ret i64 %3100}101