1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
|
#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
|
