28 void compare_never(uint64_t value1, uint64_t value2)  in compare_never()
30    register uint64_t val1 asm("r7") = value1;  in compare_never()
31    register uint64_t val2 asm("r8") = value2;  in compare_never()
44 void compare_always(uint64_t value1, uint64_t value2)  in compare_always()
46    register uint64_t val1 asm("r7") = value1;  in compare_always()
47    register uint64_t val2 asm("r8") = value2;  in compare_always()
60 void compare_le(uint64_t value1, uint64_t value2)  in compare_le()
62    register uint64_t val1 asm("r7") = value1;  in compare_le()
63    register uint64_t val2 asm("r8") = value2;  in compare_le()
76 void compare_ge(uint64_t value1, uint64_t value2)  in compare_ge()
78    register uint64_t val1 asm("r7") = value1;  in compare_ge()
79    register uint64_t val2 asm("r8") = value2;  in compare_ge()
92 void compare_gt(uint64_t value1, uint64_t value2)  in compare_gt()
94    register uint64_t val1 asm("r7") = value1;  in compare_gt()
95    register uint64_t val2 asm("r8") = value2;  in compare_gt()
108 void compare_lt(uint64_t value1, uint64_t value2)  in compare_lt()
110    register uint64_t val1 asm("r7") = value1;  in compare_lt()
111    register uint64_t val2 asm("r8") = value2;  in compare_lt()
124 void compare_eq(uint64_t value1, uint64_t value2)  in compare_eq()
126    register uint64_t val1 asm("r7") = value1;  in compare_eq()
127    register uint64_t val2 asm("r8") = value2;  in compare_eq()
140 void compare_ne(uint64_t value1, uint64_t value2)  in compare_ne()
142    register uint64_t val1 asm("r7") = value1;  in compare_ne()
143    register uint64_t val2 asm("r8") = value2;  in compare_ne()