Added floating point support to expression evaluator, introduced FLOAT token, fixup...
[rmac] / sect.h
1 //
2 // RMAC - Reboot's Macro Assembler for all Atari computers
3 // SECT.H - Code Generation, Fixups and Section Management
4 // Copyright (C) 199x Landon Dyer, 2011-2017 Reboot and Friends
5 // RMAC derived from MADMAC v1.07 Written by Landon Dyer, 1986
6 // Source utilised with the kind permission of Landon Dyer
7 //
8
9 #ifndef __SECT_H__
10 #define __SECT_H__
11
12 #include "rmac.h"
13
14 // Macros to deposit code in the current section
15 // D_rword deposits a "6502" format (low, high) word (01).
16 #define D_byte(b)       {*chptr++=(uint8_t)(b); sloc++; ch_size++; \
17                                                 if(orgactive) orgaddr++;}
18 #define D_word(w)       {chcheck(2);*chptr++=(uint8_t)((w)>>8); \
19                                                 *chptr++=(uint8_t)(w); \
20                                                 sloc += 2; ch_size += 2; if(orgactive) orgaddr += 2;}
21 #define D_long(lw)      {*chptr++=(uint8_t)((lw)>>24); \
22                                                 *chptr++=(uint8_t)((lw)>>16);\
23                                                 *chptr++=(uint8_t)((lw)>>8); \
24                                                 *chptr++=(uint8_t)(lw); \
25                                                 sloc += 4; ch_size += 4; if(orgactive) orgaddr += 4;}
26 #define D_rword(w)      {*chptr++=(uint8_t)(w); *chptr++=(uint8_t)((w)>>8); \
27                                                 sloc+=2; ch_size+=2;if(orgactive) orgaddr += 2;}
28 #define D_single(w) {chcheck(4);*chptr++ = ((char *)&w)[3]; \
29                                                 *chptr++ = ((char *)&w)[2]; \
30                                                 *chptr++ = ((char *)&w)[1]; \
31                                                 *chptr++=((char *)&w)[0]; \
32                                                 sloc+=4; ch_size += 4; if(orgactive) orgaddr += 4;}
33 #define D_double(w) {chcheck(8);*chptr++=(char)((*(unsigned long long *)&w)); \
34                                                 *chptr++=(char)((*(unsigned long long *)&w)>>8); \
35                                                 *chptr++=(char)((*(unsigned long long *)&w)>>16); \
36                                                 *chptr++=(char)((*(unsigned long long *)&w)>>24); \
37                                                 *chptr++=(char)((*(unsigned long long *)&w)>>32); \
38                                                 *chptr++=(char)((*(unsigned long long *)&w)>>40); \
39                                                 *chptr++=(char)((*(unsigned long long *)&w)>>48); \
40                                                 *chptr++=(char)((*(unsigned long long *)&w)>>56); \
41                                                 sloc+=8; ch_size += 8; if(orgactive) orgaddr += 8;}
42 #ifdef _MSC_VER
43 #define D_extend(w) {chcheck(12); *chptr++ = (char)((*(unsigned long long *)&w) >> 56); \
44 *chptr++ = (char)(((*(unsigned long long *)&w) >> (52)) & 0xf); \
45 *chptr++ = (char)(0); \
46 *chptr++ = (char)(0); \
47 *chptr++ = (char)(((*(unsigned long long *)&w) >> (48 - 3))|0x80 /* assume that the number is normalised */); \
48 *chptr++ = (char)((*(unsigned long long *)&w) >> (40 - 3)); \
49 *chptr++ = (char)((*(unsigned long long *)&w) >> (32 - 3)); \
50 *chptr++ = (char)((*(unsigned long long *)&w) >> (24 - 3)); \
51 *chptr++ = (char)((*(unsigned long long *)&w) >> (16 - 3)); \
52 *chptr++ = (char)((*(unsigned long long *)&w) >> (8 - 3)); \
53 *chptr++ = (char)((*(unsigned long long *)&w << 3)); \
54 *chptr++=(char)(0); \
55         sloc+=12; ch_size += 12; if(orgactive) orgaddr += 12;}
56 #elif defined(LITTLE_ENDIAN)
57 #define D_extend(w) {chcheck(12);*chptr++=((char *)&w)[0]; \
58                                                 *chptr++=((char *)&w)[1]; \
59                                                 *chptr++=((char *)&w)[2]; \
60                                                 *chptr++=((char *)&w)[3]; \
61                                                 *chptr++=((char *)&w)[4]; \
62                                                 *chptr++=((char *)&w)[5]; \
63                                                 *chptr++=((char *)&w)[6]; \
64                                                 *chptr++=((char *)&w)[7]; \
65                                                 *chptr++=((char *)&w)[8]; \
66                                                 *chptr++=((char *)&w)[9]; \
67                                                 *chptr++=((char *)&w)[10]; \
68                                                 *chptr++=((char *)&w)[11]; \
69                                                 sloc+=12; ch_size += 12; if(orgactive) orgaddr += 12;}
70
71 #else
72
73 #error Please implement a non-byte swapped D_extend!
74
75 #endif
76 // Fill n bytes with zeroes
77 #define D_ZEROFILL(n)   {memset(chptr, 0, n); chptr+=n; sloc+=n; ch_size+=n;\
78                                                 if (orgactive) orgaddr+=n;}
79
80 #define NSECTS       16                 // Max. number of sections
81
82 // Tunable (storage) definitions
83 #define CH_THRESHOLD    64              // Minimum amount of space in code chunk
84 #define CH_CODE_SIZE    2048    // Code chunk normal allocation
85 #define CH_FIXUP_SIZE   1024    // Fixup chunk normal allocation
86
87 // Section attributes (.scattr)
88 #define SUSED        0x8000             // Section is used (really, valid)
89 #define SBSS         0x4000             // Section can contain no data
90 #define SABS         0x2000             // Section is absolute
91 #define SPIC         0x1000             // Section is position-independent code
92
93 // Fixup record a WORD of these bits, followed by a loc and then a pointer
94 // to a symbol or an ENDEXPR-terminated postfix expression.
95 //
96 // SYMBOL               EXPRESSION
97 // ------               ----------
98 // ~FU_EXPR    FU_EXPR     fixup type
99 // loc.L       loc.L       location in section
100 // fileno.W    fileno.W    file number fixup occurred in
101 // lineno.W    lineno.W    line number fixup occurred in
102 // symbol.L    size.W      &symbol  /  size of expression
103 // token.L     expression list
104 // (etc)
105 // ENDEXPR.L    (end of expression)
106 #define FUMASK       0x000F             // Mask for fixup cases:
107 #define FU_QUICK     0x0000             // Fixup 3-bit quick instruction field
108 #define FU_BYTE      0x0001             // Fixup byte
109 #define FU_WORD      0x0002             // Fixup word
110 #define FU_WBYTE     0x0003             // Fixup byte (at loc+1)
111 #define FU_LONG      0x0004             // Fixup long
112 #define FU_BBRA      0x0005             // Fixup byte branch
113 #define FU_6BRA      0x0007             // Fixup 6502-format branch offset
114 #define FU_BYTEH     0x0008             // Fixup 6502 high byte of immediate word
115 #define FU_BYTEL     0x0009             // Fixup 6502 low byte of immediate word
116
117 #define FU_SEXT      0x0010             // Ok to sign extend
118 #define FU_PCREL     0x0020             // Subtract PC first
119 #define FU_EXPR      0x0040             // Expression (not symbol) follows
120
121 #define FU_GLOBAL    0x0080             // Mark global symbol
122
123 #define FUMASKRISC   0x0F00             // Mask for RISC fixup cases
124 #define FU_MOVEI     0x0100
125 #define FU_JR        0x0200
126 #define FU_REGONE    0x0400
127 #define FU_NUM15     0x0500
128 #define FU_NUM31     0x0600
129 #define FU_NUM32     0x0700
130 #define FU_REGTWO    0x0800
131
132 #define FU_SUB32     0x1000
133 #define FU_ISBRA     0x2000             // Word forward fixup is a BRA or DBRA
134 #define FU_LBRA      0x4000             // Long branch, for short branch detect
135 #define FU_DONE      0x8000             // Fixup has been done
136
137 // FPU fixups
138 // TODO: these are obviously bogus for now!
139 #define FU_FLOATSING 0x0D0B             // Fixup 32-bit float
140 #define FU_FLOATDOUB 0x0E0B             // Fixup 64-bit float
141 #define FU_FLOATEXT  0x0F0B             // Fixup 96-bit float
142
143 // Chunks are used to hold generated code and fixup records
144 #define CHUNK  struct _chunk
145 CHUNK {
146         CHUNK * chnext;                         // Next, previous chunks in section
147         CHUNK * chprev;
148         uint32_t chloc;                         // Base addr of this chunk
149         uint32_t challoc;                       // # bytes allocated for chunk
150         uint32_t ch_size;                       // # bytes chunk actually uses
151         uint8_t * chptr;                        // Data for this chunk
152 };
153
154 // Section descriptor
155 #define SECT   struct _sect
156 SECT {
157         uint16_t scattr;                        // Section attributes
158         uint32_t sloc;                          // Current loc-in / size-of section
159         uint32_t relocs;                        // # of relocations for this section
160         CHUNK * sfcode;                         // First chunk in section
161         CHUNK * scode;                          // Last chunk in section
162         CHUNK * sffix;                          // First fixup chunk
163         CHUNK * sfix;                           // Last fixup chunk
164 };
165
166 // 680x0 defines
167 #define CPU_68000 1
168 #define CPU_68020 2
169 #define CPU_68030 4
170 #define CPU_68040 8
171 #define CPU_68060 16
172 #define FPU_NONE  0
173 #define FPU_68881 1
174 #define FPU_68882 2
175 #define FPU_68040 4
176
177 // Helper macros to test for active CPU
178 #define CHECK00 if (activecpu == CPU_68000) return error(unsupport)
179 #define CHECK20 if (activecpu == CPU_68020) return error(unsupport)
180 #define CHECK30 if (activecpu == CPU_68030) return error(unsupport)
181 #define CHECK40 if (activecpu == CPU_68040) return error(unsupport)
182 #define CHECK60 if (activecpu == CPU_68060) return error(unsupport)
183 #define CHECKNO00 if (activecpu != CPU_68000) return error(unsupport)
184 #define CHECKNO20 if (activecpu != CPU_68020) return error(unsupport)
185 #define CHECKNO30 if (activecpu != CPU_68030) return error(unsupport)
186 #define CHECKNO40 if (activecpu != CPU_68040) return error(unsupport)
187 #define CHECKNO60 if (activecpu != CPU_68060) return error(unsupport)
188
189
190 // Globals, external etc
191 extern uint32_t sloc;
192 extern uint16_t scattr;
193 extern uint8_t * chptr;
194 extern uint8_t * chptr_opcode;
195 extern uint32_t ch_size;
196 extern int cursect;
197 extern SECT sect[];
198 extern uint32_t challoc;
199 extern CHUNK * scode;
200
201 // Prototypes
202 void InitSection(void);
203 void SwitchSection(int);
204 void SaveSection(void);
205 int fixtest(int, uint32_t);
206 int chcheck(uint32_t);
207 int AddFixup(uint16_t, uint32_t, TOKEN *);
208 int ResolveAllFixups(void);
209
210 #endif // __SECT_H__
211