77
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
1 ; RUN: llc -mtriple=aarch64-eabi %s -o - | FileCheck %s
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
2
|
121
|
3 ; The llvm.aarch64.rbit intrinsic should be auto-upgraded to the
|
|
4 ; target-independent bitreverse intrinsic.
|
|
5
|
77
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
6 ; CHECK-LABEL: rbit32
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
7 ; CHECK: rbit w0, w0
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
8 define i32 @rbit32(i32 %t) {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
9 entry:
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
10 %rbit.i = call i32 @llvm.aarch64.rbit.i32(i32 %t)
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
11 ret i32 %rbit.i
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
12 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
13
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
14 ; CHECK-LABEL: rbit64
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
15 ; CHECK: rbit x0, x0
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
16 define i64 @rbit64(i64 %t) {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
17 entry:
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
18 %rbit.i = call i64 @llvm.aarch64.rbit.i64(i64 %t)
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
19 ret i64 %rbit.i
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
20 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
21
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
22 declare i64 @llvm.aarch64.rbit.i64(i64)
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
23 declare i32 @llvm.aarch64.rbit.i32(i32)
|
121
|
24
|
|
25 ; CHECK-LABEL: rbit_generic32
|
|
26 ; CHECK: rbit w0, w0
|
|
27 define i32 @rbit_generic32(i32 %t) {
|
|
28 entry:
|
|
29 %rbit = call i32 @llvm.bitreverse.i32(i32 %t)
|
|
30 ret i32 %rbit
|
|
31 }
|
|
32
|
|
33 ; CHECK-LABEL: rbit_generic64
|
|
34 ; CHECK: rbit x0, x0
|
|
35 define i64 @rbit_generic64(i64 %t) {
|
|
36 entry:
|
|
37 %rbit = call i64 @llvm.bitreverse.i64(i64 %t)
|
|
38 ret i64 %rbit
|
|
39 }
|
|
40
|
|
41 declare i32 @llvm.bitreverse.i32(i32) readnone
|
|
42 declare i64 @llvm.bitreverse.i64(i64) readnone
|