[pcsx_rearmed.git] / deps / lightning / check / cvt.tst

.data	12
ok:
.c	"ok\n"

#if __WORDSIZE == 32
#  define w7f		0x7fffffff
#  define w80		0x80000000
#  define w81		0x80000001
#  define wff		0xffffffff
#  define LEXTII2(N, R0, R1)
#  define LEXTIC2(N, R0)
#else
#  define w7f		0x7fffffffffffffff
#  define w80		0x8000000000000000
#  define w81		0x8000000000000001
#  define wff		0xffffffffffffffff
#  define i7f		wff
#  define ui7f		0xffffffff
#  define i80		0
#  define ui80		0
#  define i81		1
#  define ui81		1
#  define iff		wff
#  define uiff		0xffffffff
#  define LEXTII2(N, R0, R1)					\
	EXTII2(N, i, R0, R1)					\
	EXTII2(N, ui, R0, R1)
#  define LEXTIC2(N, R0)					\
	EXTIC2(N, i, R0)					\
	EXTIC2(N, ui, R0)
#endif
#define c7f		wff
#define uc7f		0xff
#define s7f		wff
#define us7f		0xffff
#define c80		0
#define uc80		0
#define s80		0
#define us80		0
#define c81		1
#define uc81		1
#define s81		1
#define us81		1
#define cff		wff
#define ucff		0xff
#define sff		wff
#define usff		0xffff

#define EXTII2(N, T, R0, R1)					\
	movi %R0 w##N						\
	extr_##T %R1 %R0					\
	beqi T##_##R0##_##R1##_##N %R1 T##N			\
	calli @abort						\
T##_##R0##_##R1##_##N:
#define EXTII1(N, R0, R1)					\
	EXTII2(N, c, R0, R1)					\
	EXTII2(N, uc, R0, R1)					\
	EXTII2(N, s, R0, R1)					\
	EXTII2(N, us, R0, R1)					\
	LEXTII2(N, R0, R1)
#define EXTII0(R0, R1)						\
	EXTII1(7f, R0, R1)					\
	EXTII1(80, R0, R1)					\
	EXTII1(81, R0, R1)					\
	EXTII1(ff, R0, R1)

#define EXTIC2(N, T, R0)					\
	movi %R0 w##N						\
	extr_##T %R0 %R0					\
	beqi T##_##R0##_##N %R0 T##N				\
	calli @abort						\
T##_##R0##_##N:
#define EXTIC1(N, R0)						\
	EXTIC2(N, c, R0)					\
	EXTIC2(N, uc, R0)					\
	EXTIC2(N, s, R0)					\
	EXTIC2(N, us, R0)					\
	LEXTIC2(N, R0)
#define EXTIC0(R0)						\
	EXTIC1(7f, R0)						\
	EXTIC1(80, R0)						\
	EXTIC1(81, R0)						\
	EXTIC1(ff, R0)

#define EXTII(V0, V1, V2, R0, R1, R2)				\
	EXTII0(V0, V1)						\
	EXTII0(V0, V2)						\
	EXTII0(V0, R0)						\
	EXTII0(V0, R1)						\
	EXTII0(V0, R2)						\
	EXTII0(V1, V0)						\
	EXTII0(V1, V2)						\
	EXTII0(V1, R0)						\
	EXTII0(V1, R1)						\
	EXTII0(V1, R2)						\
	EXTII0(V2, V0)						\
	EXTII0(V2, V1)						\
	EXTII0(V2, R0)						\
	EXTII0(V2, R1)						\
	EXTII0(V2, R2)						\
	EXTII0(R0, V0)						\
	EXTII0(R0, V1)						\
	EXTII0(R0, V2)						\
	EXTII0(R0, R1)						\
	EXTII0(R0, R2)						\
	EXTII0(R1, V0)						\
	EXTII0(R1, V1)						\
	EXTII0(R1, V2)						\
	EXTII0(R1, R0)						\
	EXTII0(R1, R2)						\
	EXTII0(R2, V0)						\
	EXTII0(R2, V1)						\
	EXTII0(R2, V2)						\
	EXTII0(R2, R0)						\
	EXTII0(R2, R1)						\
	EXTIC0(V0)						\
	EXTIC0(V1)						\
	EXTIC0(V2)						\
	EXTIC0(R0)						\
	EXTIC0(R1)						\
	EXTIC0(R2)

#define EXIF1(N, V, R0, R1)					\
	movi %R0 V						\
	extr_f %R1 %R0						\
	beqi_f wf##_##R0##_##R1##_##N %R1 V			\
wf##_##R0##_##R1##_##N:
#define EXIF0(R0, R1)						\
	EXIF1(0, -1, R0, R1)					\
	EXIF1(1, 64, R0, R1)
#define EXIF(V0, V1, V2, R0, R1, R2, F0, F1, F2, F3, F4, F5)	\
	EXIF0(V0, F0)						\
	EXIF0(V1, F1)						\
	EXIF0(V2, F2)						\
	EXIF0(R0, F3)						\
	EXIF0(R1, F4)						\
	EXIF0(R2, F5)
#define EXID1(N, V, R0, R1)					\
	movi %R0 V						\
	extr_d %R1 %R0						\
	beqi_d wd##_##R0##_##R1##_##N %R1 V			\
wd##_##R0##_##R1##_##N:
#define EXID0(R0, R1)						\
	EXID1(0, -1, R0, R1)					\
	EXID1(1, 64, R0, R1)
#define EXID(V0, V1, V2, R0, R1, R2, F0, F1, F2, F3, F4, F5)	\
	EXID0(V0, F0)						\
	EXID0(V1, F1)						\
	EXID0(V2, F2)						\
	EXID0(R0, F3)						\
	EXID0(R1, F4)						\
	EXID0(R2, F5)

#define EXFI1(N, V, R0, R1)					\
	movi_f %R1 V						\
	truncr_f %R0 %R1					\
	beqi fi##_##R0##_##R1##_##N %R0 V			\
	calli @abort						\
fi##_##R0##_##R1##_##N:
#define EXFI0(R0, R1)						\
	EXFI1(0,   42, R0, R1)					\
	EXFI1(1, -128, R0, R1)
#define EXFI(V0, V1, V2, R0, R1, R2, F0, F1, F2, F3, F4, F5)	\
	EXFI0(V0, F5)						\
	EXFI0(V1, F4)						\
	EXFI0(V2, F3)						\
	EXFI0(R0, F2)						\
	EXFI0(R1, F1)						\
	EXFI0(R2, F0)
#define EXDI1(N, V, R0, R1)					\
	movi_d %R1 V						\
	truncr_d %R0 %R1					\
	beqi di##_##R0##_##R1##_##N %R0 V			\
	calli @abort						\
di##_##R0##_##R1##_##N:
#define EXDI0(R0, R1)						\
	EXDI1(0,   42, R0, R1)					\
	EXDI1(1, -128, R0, R1)
#define EXDI(V0, V1, V2, R0, R1, R2, F0, F1, F2, F3, F4, F5)	\
	EXDI0(V0, F5)						\
	EXDI0(V1, F4)						\
	EXDI0(V2, F3)						\
	EXDI0(R0, F2)						\
	EXDI0(R1, F1)						\
	EXDI0(R2, F0)

#define LEXFI1(N, V, R0, R1)					\
	movi_f %R1 V						\
	truncr_f_i %R0 %R1					\
	andi %R0 %R0 0xffffffff					\
	beqi lfi##_##R0##_##R1##_##N %R0 $(V & 0xffffffff)	\
	calli @abort						\
lfi##_##R0##_##R1##_##N:
#define LEXFI0(R0, R1)						\
	LEXFI1(0,   42, R0, R1)					\
	LEXFI1(1, -128, R0, R1)
#define LEXFI(V0, V1, V2, R0, R1, R2, F0, F1, F2, F3, F4, F5)	\
	LEXFI0(V0, F5)						\
	LEXFI0(V1, F4)						\
	LEXFI0(V2, F3)						\
	LEXFI0(R0, F2)						\
	LEXFI0(R1, F1)						\
	LEXFI0(R2, F0)
#define LEXDI1(N, V, R0, R1)					\
	movi_d %R1 V						\
	truncr_d_i %R0 %R1					\
	andi %R0 %R0 0xffffffff					\
	beqi ldi##_##R0##_##R1##_##N %R0 $(V & 0xffffffff)	\
	calli @abort						\
ldi##_##R0##_##R1##_##N:
#define LEXDI0(R0, R1)						\
	LEXDI1(0,   42, R0, R1)					\
	LEXDI1(1, -128, R0, R1)
#define LEXDI(V0, V1, V2, R0, R1, R2, F0, F1, F2, F3, F4, F5)	\
	LEXDI0(V0, F5)						\
	LEXDI0(V1, F4)						\
	LEXDI0(V2, F3)						\
	LEXDI0(R0, F2)						\
	LEXDI0(R1, F1)						\
	LEXDI0(R2, F0)

#define EXTFD2(V, R0, R1)					\
	movi_f %R0 V						\
	extr_f_d %R1 %R0					\
	beqi_d fd##_##R0##_##R1 %R1 V				\
	calli @abort						\
fd##_##R0##_##R1:
#define EXTFD1(R0, R1)						\
	EXTFD2(1.25, R0, R1)
#define EXTFDC2(V, R0)						\
	movi_f %R0 V						\
	extr_f_d %R0 %R0					\
	beqi_d fdc##_##R0 %R0 V					\
	calli @abort						\
fdc##_##R0:
#define EXTFDC1(R0)						\
	EXTFDC2(-0.75, R0)
#define EXTFD(R0, R1, R2, R3, R4, R5)				\
	EXTFD1(R0, R1)						\
	EXTFD1(R0, R2)						\
	EXTFD1(R0, R3)						\
	EXTFD1(R0, R4)						\
	EXTFD1(R0, R5)						\
	EXTFDC1(R0)						\
	EXTFDC1(R1)						\
	EXTFDC1(R2)						\
	EXTFDC1(R3)						\
	EXTFDC1(R4)						\
	EXTFDC1(R5)

#define EXTDF2(V, R0, R1)					\
	movi_d %R0 V						\
	extr_d_f %R1 %R0					\
	beqi_f df##_##R0##_##R1 %R1 V				\
	calli @abort						\
df##_##R0##_##R1:
#define EXTDF1(R0, R1)						\
	EXTDF2(1.25, R0, R1)
#define EXTDFC2(V, R0)						\
	movi_d %R0 V						\
	extr_d_f %R0 %R0					\
	beqi_f dfc##_##R0 %R0 V					\
	calli @abort						\
dfc##_##R0:
#define EXTDFC1(R0)						\
	EXTDFC2(-0.75, R0)
#define EXTDF(R0, R1, R2, R3, R4, R5)				\
	EXTDF1(R0, R1)						\
	EXTDF1(R0, R2)						\
	EXTDF1(R0, R3)						\
	EXTDF1(R0, R4)						\
	EXTDF1(R0, R5)						\
	EXTDFC1(R0)						\
	EXTDFC1(R1)						\
	EXTDFC1(R2)						\
	EXTDFC1(R3)						\
	EXTDFC1(R4)						\
	EXTDFC1(R5)

.code
	prolog

	/* simple sequence for easier disassembly reading and encoding check */
	movi %r0 w7f
	extr_c %r1 %r0
	beqi xc %r1 c7f
	calli @abort
xc:
	movi %r0 w7f
	extr_uc %r1 %r0
	beqi xuc %r1 uc7f
	calli @abort
xuc:
	movi %r0 w7f
	extr_s %r1 %r0
	beqi xs %r1 s7f
	calli @abort
xs:
	movi %r0 w7f
	extr_us %r1 %r0
	beqi xus %r1 us7f
	calli @abort
xus:
#if __WORDSIZE == 64
	movi %r0 w7f
	extr_i %r1 %r0
	beqi xi %r1 i7f
	calli @abort
xi:
	movi %r0 w7f
	extr_ui %r1 %r0
	beqi xui %r1 ui7f
	calli @abort
xui:
#endif
	movi %r0 -2
	extr_f %f0 %r0
	beqi_f xif %f0 -2
	calli @abort
xif:
	movi %r0 32
	extr_d %f0 %r0
	beqi_d xid %f0 32
	calli @abort
xid:
	movi_f %f0 -128
	truncr_f %r0 %f0
	beqi xfi %r0 -128
	calli @abort
xfi:
	movi_d %f0 -128
	truncr_d %r0 %f0
	beqi xdi %r0 -128
	calli @abort
xdi:
#if __WORDSIZE == 64
	movi_f %f0 -128
	truncr_f_i %r0 %f0
	andi %r0 %r0 0xffffffff
	beqi yfi %r0 $(-128 & 0xffffffff)
	calli @abort
yfi:
	movi_d %f0 -128
	truncr_d_i %r0 %f0
	andi %r0 %r0 0xffffffff
	beqi ydi %r0 $(-128 & 0xffffffff)
	calli @abort
ydi:
#endif
	movi_f %f0 0.5
	extr_f_d %f1 %f0
	beqi_d xfd %f1 0.5
	calli @abort
xfd:
	movi_d %f0 0.5
	extr_d_f %f1 %f0
	beqi_f xdf %f1 0.5
	calli @abort
xdf:

	EXTII(v0, v1, v2, r0, r1, r2)
	EXIF(v0, v1, v2, r0, r1, r2, f0, f1, f2, f3, f4, f5)
	EXID(v0, v1, v2, r0, r1, r2, f0, f1, f2, f3, f4, f5)
	EXFI(v0, v1, v2, r0, r1, r2, f0, f1, f2, f3, f4, f5)
#if __WORDSIZE == 64
	LEXFI(v0, v1, v2, r0, r1, r2, f0, f1, f2, f3, f4, f5)
	LEXDI(v0, v1, v2, r0, r1, r2, f0, f1, f2, f3, f4, f5)
#endif
	EXDI(v0, v1, v2, r0, r1, r2, f0, f1, f2, f3, f4, f5)
	EXTFD(f0, f1, f2, f3, f4, f5)
	EXTDF(f0, f1, f2, f3, f4, f5)

	// just to know did not abort
	prepare
		pushargi ok
		ellipsis
	finishi @printf

	ret
	epilog
Commit	Line	Data
4a71579b PC	1	.data 12
	2	ok:
	3	.c "ok\n"
	4
	5	#if __WORDSIZE == 32
	6	# define w7f 0x7fffffff
	7	# define w80 0x80000000
	8	# define w81 0x80000001
	9	# define wff 0xffffffff
	10	# define LEXTII2(N, R0, R1)
	11	# define LEXTIC2(N, R0)
	12	#else
	13	# define w7f 0x7fffffffffffffff
	14	# define w80 0x8000000000000000
	15	# define w81 0x8000000000000001
	16	# define wff 0xffffffffffffffff
	17	# define i7f wff
	18	# define ui7f 0xffffffff
	19	# define i80 0
	20	# define ui80 0
	21	# define i81 1
	22	# define ui81 1
	23	# define iff wff
	24	# define uiff 0xffffffff
	25	# define LEXTII2(N, R0, R1) \
	26	EXTII2(N, i, R0, R1) \
	27	EXTII2(N, ui, R0, R1)
	28	# define LEXTIC2(N, R0) \
	29	EXTIC2(N, i, R0) \
	30	EXTIC2(N, ui, R0)
	31	#endif
	32	#define c7f wff
	33	#define uc7f 0xff
	34	#define s7f wff
	35	#define us7f 0xffff
	36	#define c80 0
	37	#define uc80 0
	38	#define s80 0
	39	#define us80 0
	40	#define c81 1
	41	#define uc81 1
	42	#define s81 1
	43	#define us81 1
	44	#define cff wff
	45	#define ucff 0xff
	46	#define sff wff
	47	#define usff 0xffff
	48
	49	#define EXTII2(N, T, R0, R1) \
	50	movi %R0 w##N \
	51	extr_##T %R1 %R0 \
	52	beqi T##_##R0##_##R1##_##N %R1 T##N \
	53	calli @abort \
	54	T##_##R0##_##R1##_##N:
	55	#define EXTII1(N, R0, R1) \
	56	EXTII2(N, c, R0, R1) \
	57	EXTII2(N, uc, R0, R1) \
	58	EXTII2(N, s, R0, R1) \
	59	EXTII2(N, us, R0, R1) \
	60	LEXTII2(N, R0, R1)
	61	#define EXTII0(R0, R1) \
	62	EXTII1(7f, R0, R1) \
	63	EXTII1(80, R0, R1) \
	64	EXTII1(81, R0, R1) \
65	EXTII1(ff, R0, R1)
66
67	#define EXTIC2(N, T, R0) \
68	movi %R0 w##N \
69	extr_##T %R0 %R0 \
70	beqi T##_##R0##_##N %R0 T##N \
71	calli @abort \
72	T##_##R0##_##N:
73	#define EXTIC1(N, R0) \
74	EXTIC2(N, c, R0) \
75	EXTIC2(N, uc, R0) \
76	EXTIC2(N, s, R0) \
77	EXTIC2(N, us, R0) \
78	LEXTIC2(N, R0)
79	#define EXTIC0(R0) \
80	EXTIC1(7f, R0) \
81	EXTIC1(80, R0) \
82	EXTIC1(81, R0) \
83	EXTIC1(ff, R0)
84
85	#define EXTII(V0, V1, V2, R0, R1, R2) \
86	EXTII0(V0, V1) \
87	EXTII0(V0, V2) \
88	EXTII0(V0, R0) \
89	EXTII0(V0, R1) \
90	EXTII0(V0, R2) \
91	EXTII0(V1, V0) \
92	EXTII0(V1, V2) \
93	EXTII0(V1, R0) \
94	EXTII0(V1, R1) \
95	EXTII0(V1, R2) \
96	EXTII0(V2, V0) \
97	EXTII0(V2, V1) \
98	EXTII0(V2, R0) \
99	EXTII0(V2, R1) \
100	EXTII0(V2, R2) \
101	EXTII0(R0, V0) \
102	EXTII0(R0, V1) \
103	EXTII0(R0, V2) \
104	EXTII0(R0, R1) \
105	EXTII0(R0, R2) \
106	EXTII0(R1, V0) \
107	EXTII0(R1, V1) \
108	EXTII0(R1, V2) \
109	EXTII0(R1, R0) \
110	EXTII0(R1, R2) \
111	EXTII0(R2, V0) \
112	EXTII0(R2, V1) \
113	EXTII0(R2, V2) \
114	EXTII0(R2, R0) \
115	EXTII0(R2, R1) \
116	EXTIC0(V0) \
117	EXTIC0(V1) \
118	EXTIC0(V2) \
119	EXTIC0(R0) \
120	EXTIC0(R1) \
121	EXTIC0(R2)
122
123	#define EXIF1(N, V, R0, R1) \
124	movi %R0 V \
125	extr_f %R1 %R0 \
126	beqi_f wf##_##R0##_##R1##_##N %R1 V \
127	wf##_##R0##_##R1##_##N:
128	#define EXIF0(R0, R1) \
129	EXIF1(0, -1, R0, R1) \
130	EXIF1(1, 64, R0, R1)
131	#define EXIF(V0, V1, V2, R0, R1, R2, F0, F1, F2, F3, F4, F5) \
132	EXIF0(V0, F0) \
133	EXIF0(V1, F1) \
134	EXIF0(V2, F2) \
135	EXIF0(R0, F3) \
136	EXIF0(R1, F4) \
137	EXIF0(R2, F5)
138	#define EXID1(N, V, R0, R1) \
139	movi %R0 V \
140	extr_d %R1 %R0 \
141	beqi_d wd##_##R0##_##R1##_##N %R1 V \
142	wd##_##R0##_##R1##_##N:
143	#define EXID0(R0, R1) \
144	EXID1(0, -1, R0, R1) \
145	EXID1(1, 64, R0, R1)
146	#define EXID(V0, V1, V2, R0, R1, R2, F0, F1, F2, F3, F4, F5) \
147	EXID0(V0, F0) \
148	EXID0(V1, F1) \
149	EXID0(V2, F2) \
150	EXID0(R0, F3) \
151	EXID0(R1, F4) \
152	EXID0(R2, F5)
153
154	#define EXFI1(N, V, R0, R1) \
155	movi_f %R1 V \
156	truncr_f %R0 %R1 \
157	beqi fi##_##R0##_##R1##_##N %R0 V \
158	calli @abort \
159	fi##_##R0##_##R1##_##N:
160	#define EXFI0(R0, R1) \
161	EXFI1(0, 42, R0, R1) \
162	EXFI1(1, -128, R0, R1)
163	#define EXFI(V0, V1, V2, R0, R1, R2, F0, F1, F2, F3, F4, F5) \
164	EXFI0(V0, F5) \
165	EXFI0(V1, F4) \
166	EXFI0(V2, F3) \
167	EXFI0(R0, F2) \
168	EXFI0(R1, F1) \
169	EXFI0(R2, F0)
170	#define EXDI1(N, V, R0, R1) \
171	movi_d %R1 V \
172	truncr_d %R0 %R1 \
173	beqi di##_##R0##_##R1##_##N %R0 V \
174	calli @abort \
175	di##_##R0##_##R1##_##N:
176	#define EXDI0(R0, R1) \
177	EXDI1(0, 42, R0, R1) \
178	EXDI1(1, -128, R0, R1)
179	#define EXDI(V0, V1, V2, R0, R1, R2, F0, F1, F2, F3, F4, F5) \
180	EXDI0(V0, F5) \
181	EXDI0(V1, F4) \
182	EXDI0(V2, F3) \
183	EXDI0(R0, F2) \
184	EXDI0(R1, F1) \
185	EXDI0(R2, F0)
186
187	#define LEXFI1(N, V, R0, R1) \
188	movi_f %R1 V \
189	truncr_f_i %R0 %R1 \
190	andi %R0 %R0 0xffffffff \
191	beqi lfi##_##R0##_##R1##_##N %R0 $(V & 0xffffffff) \
192	calli @abort \
193	lfi##_##R0##_##R1##_##N:
194	#define LEXFI0(R0, R1) \
195	LEXFI1(0, 42, R0, R1) \
196	LEXFI1(1, -128, R0, R1)
197	#define LEXFI(V0, V1, V2, R0, R1, R2, F0, F1, F2, F3, F4, F5) \
198	LEXFI0(V0, F5) \
199	LEXFI0(V1, F4) \
200	LEXFI0(V2, F3) \
201	LEXFI0(R0, F2) \
202	LEXFI0(R1, F1) \
203	LEXFI0(R2, F0)
204	#define LEXDI1(N, V, R0, R1) \
205	movi_d %R1 V \
206	truncr_d_i %R0 %R1 \
207	andi %R0 %R0 0xffffffff \
208	beqi ldi##_##R0##_##R1##_##N %R0 $(V & 0xffffffff) \
209	calli @abort \
210	ldi##_##R0##_##R1##_##N:
211	#define LEXDI0(R0, R1) \
212	LEXDI1(0, 42, R0, R1) \
213	LEXDI1(1, -128, R0, R1)
214	#define LEXDI(V0, V1, V2, R0, R1, R2, F0, F1, F2, F3, F4, F5) \
215	LEXDI0(V0, F5) \
216	LEXDI0(V1, F4) \
217	LEXDI0(V2, F3) \
218	LEXDI0(R0, F2) \
219	LEXDI0(R1, F1) \
220	LEXDI0(R2, F0)
221
222	#define EXTFD2(V, R0, R1) \
223	movi_f %R0 V \
224	extr_f_d %R1 %R0 \
225	beqi_d fd##_##R0##_##R1 %R1 V \
226	calli @abort \
227	fd##_##R0##_##R1:
228	#define EXTFD1(R0, R1) \
229	EXTFD2(1.25, R0, R1)
230	#define EXTFDC2(V, R0) \
231	movi_f %R0 V \
232	extr_f_d %R0 %R0 \
233	beqi_d fdc##_##R0 %R0 V \
234	calli @abort \
235	fdc##_##R0:
236	#define EXTFDC1(R0) \
237	EXTFDC2(-0.75, R0)
238	#define EXTFD(R0, R1, R2, R3, R4, R5) \
239	EXTFD1(R0, R1) \
240	EXTFD1(R0, R2) \
241	EXTFD1(R0, R3) \
242	EXTFD1(R0, R4) \
243	EXTFD1(R0, R5) \
244	EXTFDC1(R0) \
245	EXTFDC1(R1) \
246	EXTFDC1(R2) \
247	EXTFDC1(R3) \
248	EXTFDC1(R4) \
249	EXTFDC1(R5)
250
251	#define EXTDF2(V, R0, R1) \
252	movi_d %R0 V \
253	extr_d_f %R1 %R0 \
254	beqi_f df##_##R0##_##R1 %R1 V \
255	calli @abort \
256	df##_##R0##_##R1:
257	#define EXTDF1(R0, R1) \
258	EXTDF2(1.25, R0, R1)
259	#define EXTDFC2(V, R0) \
260	movi_d %R0 V \
261	extr_d_f %R0 %R0 \
262	beqi_f dfc##_##R0 %R0 V \
263	calli @abort \
264	dfc##_##R0:
265	#define EXTDFC1(R0) \
266	EXTDFC2(-0.75, R0)
267	#define EXTDF(R0, R1, R2, R3, R4, R5) \
268	EXTDF1(R0, R1) \
269	EXTDF1(R0, R2) \
270	EXTDF1(R0, R3) \
271	EXTDF1(R0, R4) \
272	EXTDF1(R0, R5) \
273	EXTDFC1(R0) \
274	EXTDFC1(R1) \
275	EXTDFC1(R2) \
276	EXTDFC1(R3) \
277	EXTDFC1(R4) \
278	EXTDFC1(R5)
279
280	.code
281	prolog
282
283	/* simple sequence for easier disassembly reading and encoding check */
284	movi %r0 w7f
285	extr_c %r1 %r0
286	beqi xc %r1 c7f
287	calli @abort
288	xc:
289	movi %r0 w7f
290	extr_uc %r1 %r0
291	beqi xuc %r1 uc7f
292	calli @abort
293	xuc:
294	movi %r0 w7f
295	extr_s %r1 %r0
296	beqi xs %r1 s7f
297	calli @abort
298	xs:
299	movi %r0 w7f
300	extr_us %r1 %r0
301	beqi xus %r1 us7f
302	calli @abort
303	xus:
304	#if __WORDSIZE == 64
305	movi %r0 w7f
306	extr_i %r1 %r0
307	beqi xi %r1 i7f
308	calli @abort
309	xi:
310	movi %r0 w7f
311	extr_ui %r1 %r0
312	beqi xui %r1 ui7f
313	calli @abort
314	xui:
315	#endif
316	movi %r0 -2
317	extr_f %f0 %r0
318	beqi_f xif %f0 -2
319	calli @abort
320	xif:
321	movi %r0 32
322	extr_d %f0 %r0
323	beqi_d xid %f0 32
324	calli @abort
325	xid:
326	movi_f %f0 -128
327	truncr_f %r0 %f0
328	beqi xfi %r0 -128
329	calli @abort
330	xfi:
331	movi_d %f0 -128
332	truncr_d %r0 %f0
333	beqi xdi %r0 -128
334	calli @abort
335	xdi:
336	#if __WORDSIZE == 64
337	movi_f %f0 -128
338	truncr_f_i %r0 %f0
339	andi %r0 %r0 0xffffffff
340	beqi yfi %r0 $(-128 & 0xffffffff)
341	calli @abort
342	yfi:
343	movi_d %f0 -128
344	truncr_d_i %r0 %f0
345	andi %r0 %r0 0xffffffff
346	beqi ydi %r0 $(-128 & 0xffffffff)
347	calli @abort
348	ydi:
349	#endif
350	movi_f %f0 0.5
351	extr_f_d %f1 %f0
352	beqi_d xfd %f1 0.5
353	calli @abort
354	xfd:
355	movi_d %f0 0.5
356	extr_d_f %f1 %f0
357	beqi_f xdf %f1 0.5
358	calli @abort
359	xdf:
360
361	EXTII(v0, v1, v2, r0, r1, r2)
362	EXIF(v0, v1, v2, r0, r1, r2, f0, f1, f2, f3, f4, f5)
363	EXID(v0, v1, v2, r0, r1, r2, f0, f1, f2, f3, f4, f5)
364	EXFI(v0, v1, v2, r0, r1, r2, f0, f1, f2, f3, f4, f5)
365	#if __WORDSIZE == 64
366	LEXFI(v0, v1, v2, r0, r1, r2, f0, f1, f2, f3, f4, f5)
367	LEXDI(v0, v1, v2, r0, r1, r2, f0, f1, f2, f3, f4, f5)
368	#endif
369	EXDI(v0, v1, v2, r0, r1, r2, f0, f1, f2, f3, f4, f5)
370	EXTFD(f0, f1, f2, f3, f4, f5)
371	EXTDF(f0, f1, f2, f3, f4, f5)
372
373	// just to know did not abort
374	prepare
375	pushargi ok
376	ellipsis
377	finishi @printf
378
379	ret
380	epilog