5 long long rd, rs, rt, result;
7 rs = 0x123456789ABCDEF0;
8 rt = 0x123456789ABCDEFF;
12 ("cmpgu.le.ob %0, %1, %2\n\t"
18 printf("cmpgu.le.ob error\n");
23 rs = 0x823556789ABCDEF0;
24 rt = 0x123456789ABCDEFF;
28 ("cmpgu.le.ob %0, %1, %2\n\t"
34 printf("cmpgu.le.ob error\n");