; RUN: llc -mtriple=aarch64-eabi %s -o - | FileCheck %s

; The llvm.aarch64.rbit intrinsic should be auto-upgraded to the
; target-independent bitreverse intrinsic.

; CHECK-LABEL: rbit32
; CHECK: rbit w0, w0
define i32 @rbit32(i32 %t) {
entry:
  %rbit.i = call i32 @llvm.aarch64.rbit.i32(i32 %t)
  ret i32 %rbit.i
}

; CHECK-LABEL: rbit64
; CHECK: rbit x0, x0
define i64 @rbit64(i64 %t) {
entry:
  %rbit.i = call i64 @llvm.aarch64.rbit.i64(i64 %t)
  ret i64 %rbit.i
}

declare i64 @llvm.aarch64.rbit.i64(i64)
declare i32 @llvm.aarch64.rbit.i32(i32)

; CHECK-LABEL: rbit_generic32
; CHECK: rbit w0, w0
define i32 @rbit_generic32(i32 %t) {
entry:
  %rbit = call i32 @llvm.bitreverse.i32(i32 %t)
  ret i32 %rbit
}

; CHECK-LABEL: rbit_generic64
; CHECK: rbit x0, x0
define i64 @rbit_generic64(i64 %t) {
entry:
  %rbit = call i64 @llvm.bitreverse.i64(i64 %t)
  ret i64 %rbit
}

declare i32 @llvm.bitreverse.i32(i32) readnone
declare i64 @llvm.bitreverse.i64(i64) readnone