8     b = 0x9743;  in main()
9     c = 0x2;  in main()
10     result = 0x25d0c;  in main()
12     ("l.sll    %0, %1, %2\n\t"  in main()
21     b = 0x9743;  in main()
22     result = 0x25d0c;  in main()
24     ("l.slli   %0, %1, 0x2\n\t"  in main()
33     b = 0x7654;  in main()
34     c = 0x03;  in main()
35     result = 0xeca;  in main()
37     ("l.srl    %0, %1, %2\n\t"  in main()
42     b = 0x7654;  in main()
43     result = 0xeca;  in main()
45     ("l.srli   %0, %1, 0x3\n\t"  in main()
54     b = 0x80000001;  in main()
55     c = 0x4;  in main()
56     result = 0x18000000;  in main()
58     ("l.ror    %0, %1, %2\n\t"  in main()
67     b = 0x80000001;  in main()
68     result = 0x18000000;  in main()
70     ("l.rori   %0, %1, 0x4\n\t"  in main()
79     b = 0x80000001;  in main()
80     c = 0x03;  in main()
81     result = 0xf0000000;  in main()
83     ("l.sra    %0, %1, %2\n\t"  in main()
92     b = 0x80000001;  in main()
93     result = 0xf0000000;  in main()
95     ("l.srai   %0, %1, 0x3\n\t"  in main()
104     return 0;  in main()