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


#define ix0		0
#define lx0		0
#define ix1		1
#define lx1		1
#define ix2		2
#define lx2		2
#define ix4		4
#define lx4		4
#if __WORDSIZE == 32
#  define ix7fe		0x7ffffffe
#  define ix7f		0x7fffffff
#  define ix80		0x80000000
#  define iff		0xffffffff
#  define ife		0xfffffffe
#  define ifd		0xfffffffd
#  define ifc		0xfffffffc
#else
#  define ix7fe		0x7ffffffffffffffe
#  define ix7f		0x7fffffffffffffff
#  define ix80		0x8000000000000000
#  define iff		0xffffffffffffffff
#  define ife		0xfffffffffffffffe
#  define ifd		0xfffffffffffffffd
#  define ifc		0xfffffffffffffffc
#endif

/* check jumps are taken and result value is correct */
#define bopr_t(l, u, op, r0, r1, il, ir, iv)			\
	movi %r0 il						\
	movi %r1 ir						\
	b##op##r##u op##u##r##l##r0##r1 %r0 %r1			\
	/* validate did jump */					\
	movi %r0 0x5a5a5a5a					\
op##u##r##l##r0##r1:						\
	beqi op##u##r##l##ok##r0##r1 %r0 iv			\
	calli @abort						\
op##u##r##l##ok##r0##r1:
#define bopi_t(l, u, op, r0, il, ir, iv)			\
	movi %r0 il						\
	b##op##i##u op##u##i##l##r0##r1 %r0 ir			\
	/* validate did jump */					\
	movi %r0 0x5a5a5a5a					\
op##u##i##l##r0##r1:						\
	beqi op##u##i##l##ok##r0##r1 %r0 iv			\
	calli @abort						\
op##u##i##l##ok##r0##r1:
#define bopr_f(l, u, op, r0, r1, il, ir, iv)			\
	movi %r0 il						\
	movi %r1 ir						\
	b##op##r##u op##u##r##l##r0##r1 %r0 %r1			\
	beqi op##u##r##l##ok##r0##r1 %r0 iv			\
op##u##r##l##r0##r1:						\
	calli @abort						\
op##u##r##l##ok##r0##r1:
#define bopi_f(l, u, op, r0, il, ir, iv)			\
	movi %r0 il						\
	b##op##i##u op##u##i##l##r0##r1 %r0 ir			\
	beqi op##u##i##l##ok##r0##r1 %r0 iv			\
op##u##i##l##r0##r1:						\
	calli @abort						\
op##u##i##l##ok##r0##r1:
#define ccop(cc, l, u, op, r0, r1, il, ir, iv)			\
	bopr##cc(l, u, op, r0, r1, i##il, i##ir, i##iv)		\
	bopi##cc(l, u, op, r0, i##il, i##ir, i##iv)
#define tadd(l, u, r0, r1, il, ir, iv)				\
	ccop(_t, l, u, oadd, r0, r1, il, ir, iv)		\
	ccop(_f, l, u, xadd, r0, r1, il, ir, iv)
#define fadd(l, u, r0, r1, il, ir, iv)				\
	ccop(_f, l, u, oadd, r0, r1, il, ir, iv)		\
	ccop(_t, l, u, xadd, r0, r1, il, ir, iv)
#define tsub(l, u, r0, r1, il, ir, iv)				\
	ccop(_t, l, u, osub, r0, r1, il, ir, iv)		\
	ccop(_f, l, u, xsub, r0, r1, il, ir, iv)
#define fsub(l, u, r0, r1, il, ir, iv)				\
	ccop(_f, l, u, osub, r0, r1, il, ir, iv)		\
	ccop(_t, l, u, xsub, r0, r1, il, ir, iv)

#define xopr6(l,op,r0,r1,r2,r3,r4,r5,llo,lhi,rlo,rhi,vlo,vhi)	\
	movi %r1 llo						\
	movi %r2 lhi						\
	movi %r4 rlo						\
	movi %r5 rhi						\
	op##cr %r0 %r1 %r4					\
	op##xr %r3 %r2 %r5					\
	beqi op##l##L##r0##r1##r2##r3##r4##r5 %r0 vlo		\
	calli @abort						\
op##l##L##r0##r1##r2##r3##r4##r5:				\
	beqi op##l##H##r0##r1##r2##r3##r4##r5 %r3 vhi		\
	calli @abort						\
op##l##H##r0##r1##r2##r3##r4##r5:
#define xopr4_(l,op,r0,r1,r2,r3,llo,lhi,rlo,rhi,vlo,vhi)	\
	movi %r0 llo						\
	movi %r1 lhi						\
	movi %r2 rlo						\
	movi %r3 rhi						\
	op##cr %r0 %r0 %r2					\
	op##xr %r1 %r1 %r3					\
	beqi op##l##L_##r0##r1##r2##r3 %r0 vlo			\
	calli @abort						\
op##l##L_##r0##r1##r2##r3:					\
	beqi op##l##H_##r0##r1##r2##r3 %r1 vhi			\
	calli @abort						\
op##l##H_##r0##r1##r2##r3:
#define xopr_4(l,op,r0,r1,r2,r3,llo,lhi,rlo,rhi,vlo,vhi)	\
	movi %r0 rlo						\
	movi %r1 rhi						\
	movi %r2 llo						\
	movi %r3 lhi						\
	op##cr %r0 %r2 %r0					\
	op##xr %r1 %r3 %r1					\
	beqi op##l##_L##r0##r1##r2##r3 %r0 vlo			\
	calli @abort						\
op##l##_L##r0##r1##r2##r3:					\
	beqi op##l##_H##r0##r1##r2##r3 %r1 vhi			\
	calli @abort						\
op##l##_H##r0##r1##r2##r3:

#define xaddr(l,llo,lhi,rlo,rhi,vlo,vhi)						\
	xopr6(l,add,r0,r1,r2,v0,v1,v2,i##llo,i##lhi,i##rlo,i##rhi,i##vlo,i##vhi)	\
	xopr4_(l,add,r0,r1,r2,v0,i##llo,i##lhi,i##rlo,i##rhi,i##vlo,i##vhi)		\
	xopr_4(l,add,r0,r1,r2,v0,i##llo,i##lhi,i##rlo,i##rhi,i##vlo,i##vhi)
#define xsubr(l,llo,lhi,rlo,rhi,vlo,vhi)						\
	xopr6(l,sub,r0,r1,r2,v0,v1,v2,i##llo,i##lhi,i##rlo,i##rhi,i##vlo,i##vhi)	\
	xopr4_(l,sub,r0,r1,r2,v0,i##llo,i##lhi,i##rlo,i##rhi,i##vlo,i##vhi)		\
	xopr_4(l,sub,r0,r1,r2,v0,i##llo,i##lhi,i##rlo,i##rhi,i##vlo,i##vhi)

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

.code
	prolog

	tadd(__LINE__,   , r0, r1, x7f,  x1, x80)
	fadd(__LINE__,   , r0, r1, x7fe, x1, x7f)
	tsub(__LINE__,   , r0, r1, x80,  x1, x7f)
	fsub(__LINE__,   , r0, r1, x7f,  x1, x7fe)
	tadd(__LINE__, _u, r0, r1, ff,   x1, x0)
	fadd(__LINE__, _u, r0, r1, x7f,  x1, x80)
	tsub(__LINE__, _u, r0, r1, x0,   x1, ff)
	fsub(__LINE__, _u, r0, r1, x80,  x1, x7f)

	/* 0xffffffffffffffff + 1 = 0x10000000000000000 */
	xaddr(__LINE__, ff, ff, x1, x0, x0, x0)

	/* 1 + 0xffffffffffffffff = 0x10000000000000000 */
	xaddr(__LINE__, x1, x0, ff, ff, x0, x0)

	/* 0xfffffffeffffffff + 1 = 0xffffffff00000000 */
	xaddr(__LINE__, ff, fe, x1, x0, x0, ff)

	/* 1 + 0xfffffffeffffffff = 0xffffffff00000000 */
	xaddr(__LINE__, x1, x0, ff, fe, x0, ff)

	/* 0xfffffffefffffffe + 2 = 0xffffffff00000000 */
	xaddr(__LINE__, fe, fe, x2, x0, x0, ff)

	/* 2 + 0xfffffffefffffffe = 0xffffffff00000000 */
	xaddr(__LINE__, x2, x0, fe, fe, x0, ff)

	/* 0xffffffffffffffff - 1 = 0xfffffffffffffffe */
	xsubr(__LINE__, ff, ff, x1, x0, fe, ff)

	/* 1 - 0xffffffffffffffff = -0xfffffffffffffffe */
	xsubr(__LINE__, x1, x0, ff, ff, x2, x0)

	/* 0xfffffffeffffffff - 1 = 0xfffffffefffffffe */
	xsubr(__LINE__, ff, fe, x1, x0, fe, fe)

	/* 1 - 0xfffffffeffffffff = -0xfffffffefffffffe */
	xsubr(__LINE__, x1, x0, ff, fe, x2, x1)

	/* 0xfffffffefffffffe - 2 = 0xfffffffefffffffc */
	xsubr(__LINE__, fe, fe, x2, x0, fc, fe)

	/* 2 + 0xfffffffefffffffe = -0xfffffffefffffffc */
	xsubr(__LINE__, x2, x0, fe, fe, x4, x1)

	prepare
		pushargi ok
		ellipsis
	finishi @printf

	ret
	epilog
Commit	Line	Data
4a71579b PC	1
	2	#define ix0 0
	3	#define lx0 0
	4	#define ix1 1
	5	#define lx1 1
	6	#define ix2 2
	7	#define lx2 2
	8	#define ix4 4
	9	#define lx4 4
	10	#if __WORDSIZE == 32
	11	# define ix7fe 0x7ffffffe
	12	# define ix7f 0x7fffffff
	13	# define ix80 0x80000000
	14	# define iff 0xffffffff
	15	# define ife 0xfffffffe
	16	# define ifd 0xfffffffd
	17	# define ifc 0xfffffffc
	18	#else
	19	# define ix7fe 0x7ffffffffffffffe
	20	# define ix7f 0x7fffffffffffffff
	21	# define ix80 0x8000000000000000
	22	# define iff 0xffffffffffffffff
	23	# define ife 0xfffffffffffffffe
	24	# define ifd 0xfffffffffffffffd
	25	# define ifc 0xfffffffffffffffc
	26	#endif
	27
	28	/* check jumps are taken and result value is correct */
	29	#define bopr_t(l, u, op, r0, r1, il, ir, iv) \
	30	movi %r0 il \
	31	movi %r1 ir \
	32	b##op##r##u op##u##r##l##r0##r1 %r0 %r1 \
	33	/* validate did jump */ \
	34	movi %r0 0x5a5a5a5a \
	35	op##u##r##l##r0##r1: \
	36	beqi op##u##r##l##ok##r0##r1 %r0 iv \
	37	calli @abort \
	38	op##u##r##l##ok##r0##r1:
	39	#define bopi_t(l, u, op, r0, il, ir, iv) \
	40	movi %r0 il \
	41	b##op##i##u op##u##i##l##r0##r1 %r0 ir \
	42	/* validate did jump */ \
	43	movi %r0 0x5a5a5a5a \
	44	op##u##i##l##r0##r1: \
	45	beqi op##u##i##l##ok##r0##r1 %r0 iv \
	46	calli @abort \
	47	op##u##i##l##ok##r0##r1:
	48	#define bopr_f(l, u, op, r0, r1, il, ir, iv) \
	49	movi %r0 il \
	50	movi %r1 ir \
	51	b##op##r##u op##u##r##l##r0##r1 %r0 %r1 \
	52	beqi op##u##r##l##ok##r0##r1 %r0 iv \
	53	op##u##r##l##r0##r1: \
	54	calli @abort \
	55	op##u##r##l##ok##r0##r1:
	56	#define bopi_f(l, u, op, r0, il, ir, iv) \
	57	movi %r0 il \
	58	b##op##i##u op##u##i##l##r0##r1 %r0 ir \
	59	beqi op##u##i##l##ok##r0##r1 %r0 iv \
	60	op##u##i##l##r0##r1: \
	61	calli @abort \
	62	op##u##i##l##ok##r0##r1:
	63	#define ccop(cc, l, u, op, r0, r1, il, ir, iv) \
	64	bopr##cc(l, u, op, r0, r1, i##il, i##ir, i##iv) \
65	bopi##cc(l, u, op, r0, i##il, i##ir, i##iv)
66	#define tadd(l, u, r0, r1, il, ir, iv) \
67	ccop(_t, l, u, oadd, r0, r1, il, ir, iv) \
68	ccop(_f, l, u, xadd, r0, r1, il, ir, iv)
69	#define fadd(l, u, r0, r1, il, ir, iv) \
70	ccop(_f, l, u, oadd, r0, r1, il, ir, iv) \
71	ccop(_t, l, u, xadd, r0, r1, il, ir, iv)
72	#define tsub(l, u, r0, r1, il, ir, iv) \
73	ccop(_t, l, u, osub, r0, r1, il, ir, iv) \
74	ccop(_f, l, u, xsub, r0, r1, il, ir, iv)
75	#define fsub(l, u, r0, r1, il, ir, iv) \
76	ccop(_f, l, u, osub, r0, r1, il, ir, iv) \
77	ccop(_t, l, u, xsub, r0, r1, il, ir, iv)
78
79	#define xopr6(l,op,r0,r1,r2,r3,r4,r5,llo,lhi,rlo,rhi,vlo,vhi) \
80	movi %r1 llo \
81	movi %r2 lhi \
82	movi %r4 rlo \
83	movi %r5 rhi \
84	op##cr %r0 %r1 %r4 \
85	op##xr %r3 %r2 %r5 \
86	beqi op##l##L##r0##r1##r2##r3##r4##r5 %r0 vlo \
87	calli @abort \
88	op##l##L##r0##r1##r2##r3##r4##r5: \
89	beqi op##l##H##r0##r1##r2##r3##r4##r5 %r3 vhi \
90	calli @abort \
91	op##l##H##r0##r1##r2##r3##r4##r5:
92	#define xopr4_(l,op,r0,r1,r2,r3,llo,lhi,rlo,rhi,vlo,vhi) \
93	movi %r0 llo \
94	movi %r1 lhi \
95	movi %r2 rlo \
96	movi %r3 rhi \
97	op##cr %r0 %r0 %r2 \
98	op##xr %r1 %r1 %r3 \
99	beqi op##l##L_##r0##r1##r2##r3 %r0 vlo \
100	calli @abort \
101	op##l##L_##r0##r1##r2##r3: \
102	beqi op##l##H_##r0##r1##r2##r3 %r1 vhi \
103	calli @abort \
104	op##l##H_##r0##r1##r2##r3:
105	#define xopr_4(l,op,r0,r1,r2,r3,llo,lhi,rlo,rhi,vlo,vhi) \
106	movi %r0 rlo \
107	movi %r1 rhi \
108	movi %r2 llo \
109	movi %r3 lhi \
110	op##cr %r0 %r2 %r0 \
111	op##xr %r1 %r3 %r1 \
112	beqi op##l##_L##r0##r1##r2##r3 %r0 vlo \
113	calli @abort \
114	op##l##_L##r0##r1##r2##r3: \
115	beqi op##l##_H##r0##r1##r2##r3 %r1 vhi \
116	calli @abort \
117	op##l##_H##r0##r1##r2##r3:
118
119	#define xaddr(l,llo,lhi,rlo,rhi,vlo,vhi) \
120	xopr6(l,add,r0,r1,r2,v0,v1,v2,i##llo,i##lhi,i##rlo,i##rhi,i##vlo,i##vhi) \
121	xopr4_(l,add,r0,r1,r2,v0,i##llo,i##lhi,i##rlo,i##rhi,i##vlo,i##vhi) \
122	xopr_4(l,add,r0,r1,r2,v0,i##llo,i##lhi,i##rlo,i##rhi,i##vlo,i##vhi)
123	#define xsubr(l,llo,lhi,rlo,rhi,vlo,vhi) \
124	xopr6(l,sub,r0,r1,r2,v0,v1,v2,i##llo,i##lhi,i##rlo,i##rhi,i##vlo,i##vhi) \
125	xopr4_(l,sub,r0,r1,r2,v0,i##llo,i##lhi,i##rlo,i##rhi,i##vlo,i##vhi) \
126	xopr_4(l,sub,r0,r1,r2,v0,i##llo,i##lhi,i##rlo,i##rhi,i##vlo,i##vhi)
127
128	.data 16
129	ok:
130	.c "ok\n"
131
132	.code
133	prolog
134
135	tadd(__LINE__, , r0, r1, x7f, x1, x80)
136	fadd(__LINE__, , r0, r1, x7fe, x1, x7f)
137	tsub(__LINE__, , r0, r1, x80, x1, x7f)
138	fsub(__LINE__, , r0, r1, x7f, x1, x7fe)
139	tadd(__LINE__, _u, r0, r1, ff, x1, x0)
140	fadd(__LINE__, _u, r0, r1, x7f, x1, x80)
141	tsub(__LINE__, _u, r0, r1, x0, x1, ff)
142	fsub(__LINE__, _u, r0, r1, x80, x1, x7f)
143
144	/* 0xffffffffffffffff + 1 = 0x10000000000000000 */
145	xaddr(__LINE__, ff, ff, x1, x0, x0, x0)
146
147	/* 1 + 0xffffffffffffffff = 0x10000000000000000 */
148	xaddr(__LINE__, x1, x0, ff, ff, x0, x0)
149
150	/* 0xfffffffeffffffff + 1 = 0xffffffff00000000 */
151	xaddr(__LINE__, ff, fe, x1, x0, x0, ff)
152
153	/* 1 + 0xfffffffeffffffff = 0xffffffff00000000 */
154	xaddr(__LINE__, x1, x0, ff, fe, x0, ff)
155
156	/* 0xfffffffefffffffe + 2 = 0xffffffff00000000 */
157	xaddr(__LINE__, fe, fe, x2, x0, x0, ff)
158
159	/* 2 + 0xfffffffefffffffe = 0xffffffff00000000 */
160	xaddr(__LINE__, x2, x0, fe, fe, x0, ff)
161
162	/* 0xffffffffffffffff - 1 = 0xfffffffffffffffe */
163	xsubr(__LINE__, ff, ff, x1, x0, fe, ff)
164
165	/* 1 - 0xffffffffffffffff = -0xfffffffffffffffe */
166	xsubr(__LINE__, x1, x0, ff, ff, x2, x0)
167
168	/* 0xfffffffeffffffff - 1 = 0xfffffffefffffffe */
169	xsubr(__LINE__, ff, fe, x1, x0, fe, fe)
170
171	/* 1 - 0xfffffffeffffffff = -0xfffffffefffffffe */
172	xsubr(__LINE__, x1, x0, ff, fe, x2, x1)
173
174	/* 0xfffffffefffffffe - 2 = 0xfffffffefffffffc */
175	xsubr(__LINE__, fe, fe, x2, x0, fc, fe)
176
177	/* 2 + 0xfffffffefffffffe = -0xfffffffefffffffc */
178	xsubr(__LINE__, x2, x0, fe, fe, x4, x1)
179
180	prepare
181	pushargi ok
182	ellipsis
183	finishi @printf
184
185	ret
186	epilog