15 __success __success_unpriv __retval(0x23)
19 	w0 = 0xff23;					\  in mov32sx_s8()
27 __success __success_unpriv __retval(0xFFFFff23)
31 	w0 = 0xff23;					\  in mov32sx_s16()
43 	r0 = 0x1fe;					\  in mov64sx_s8()
51 __success __success_unpriv __retval(0xf23)
55 	r0 = 0xf0f23;					\  in mov64sx_s16()
67 	r0 = 0xfffffffe;				\  in mov64sx_s32()
83 	if w1 s> 0x7f goto l0_%=;			\  in mov32sx_s8_range()
84 	if w1 s< -0x80 goto l0_%=;			\  in mov32sx_s8_range()
105 	if w1 s> 0x7fff goto l0_%=;			\  in mov32sx_s16_range()
106 	if w1 s< -0x80ff goto l0_%=;			\  in mov32sx_s16_range()
127 	if r2 != 0x7fffFFFF goto l0_%=;			\  in mov32sx_s16_range_2()
132 	r0 = 0;						\  in mov32sx_s16_range_2()
148 	if r1 s> 0x7f goto l0_%=;			\  in mov64sx_s8_range()
149 	if r1 s< -0x80 goto l0_%=;			\  in mov64sx_s8_range()
170 	if r1 s> 0x7fff goto l0_%=;			\  in mov64sx_s16_range()
171 	if r1 s< -0x8000 goto l0_%=;			\  in mov64sx_s16_range()
192 	if r1 s> 0x7fffffff goto l0_%=;			\  in mov64sx_s32_range()
193 	if r1 s< -0x80000000 goto l0_%=;		\  in mov64sx_s32_range()
220 	r0 = 0;						\  in mov64sx_s16_r10()
230 __failure_unpriv __msg_unpriv("back-edge from insn 2 to 0")
237 	if w7 >= 0x2533823b goto l0_%=;			\  in mov64sx_s32_varoff_1()
238 	w0 = 0;						\  in mov64sx_s32_varoff_1()
247 __success __retval(0)
254 	r3 &= 0xf;					\  in mov64sx_s32_varoff_2()
257 	w0 = 0;						\  in mov64sx_s32_varoff_2()
269 __success __retval(0)
276 	r3 &= 0xf;					\  in mov64sx_s32_varoff_3()
277 	r3 |= 0x80;					\  in mov64sx_s32_varoff_3()
280 	w0 = 0;						\  in mov64sx_s32_varoff_3()
292 __success __retval(0)
297 	r0 &= 0x1;					\  in mov64sx_s8_range_check()
298 	r0 += 0xfe;					\  in mov64sx_s8_range_check()
300 	if r0 < 0xfffffffffffffffe goto label_%=;	\  in mov64sx_s8_range_check()
301 	r0 = 0;						\  in mov64sx_s8_range_check()
312 __success __retval(0)
317 	w0 &= 0x1;                                      \  in mov32sx_s8_range_check()
318 	w0 += 0xfe;                                     \  in mov32sx_s8_range_check()
320 	if w0 < 0xfffffffe goto label_%=;               \  in mov32sx_s8_range_check()
321 	r0 = 0;                                         \  in mov32sx_s8_range_check()
337 	return 0;  in dummy_test()