28 void compare_never(uint64_t value1, uint64_t value2)  in compare_never()  argument
31    register uint64_t val2 asm("r8") = value2;  in compare_never()
44 void compare_always(uint64_t value1, uint64_t value2)  in compare_always()  argument
47    register uint64_t val2 asm("r8") = value2;  in compare_always()
60 void compare_le(uint64_t value1, uint64_t value2)  in compare_le()  argument
63    register uint64_t val2 asm("r8") = value2;  in compare_le()
76 void compare_ge(uint64_t value1, uint64_t value2)  in compare_ge()  argument
79    register uint64_t val2 asm("r8") = value2;  in compare_ge()
92 void compare_gt(uint64_t value1, uint64_t value2)  in compare_gt()  argument
95    register uint64_t val2 asm("r8") = value2;  in compare_gt()
108 void compare_lt(uint64_t value1, uint64_t value2)  in compare_lt()  argument
111    register uint64_t val2 asm("r8") = value2;  in compare_lt()
124 void compare_eq(uint64_t value1, uint64_t value2)  in compare_eq()  argument
127    register uint64_t val2 asm("r8") = value2;  in compare_eq()
140 void compare_ne(uint64_t value1, uint64_t value2)  in compare_ne()  argument
143    register uint64_t val2 asm("r8") = value2;  in compare_ne()