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