1#include "io.h"
2
3int main(void)
4{
5 long long rd, rt;
6 long long result;
7
8 rt = 0x12345678;
9 result = 0x00001E6A;
10
11 __asm
12 ("bitrev %0, %1\n\t"
13 : "=r"(rd)
14 : "r"(rt)
15 );
16 if (rd != result) {
17 printf("bitrev wrong\n");
18
19 return -1;
20 }
21
22 return 0;
23}
24