[279] | 1 | /*
|
---|
| 2 | * GAS like assembler for TCC
|
---|
| 3 | *
|
---|
| 4 | * Copyright (c) 2001-2004 Fabrice Bellard
|
---|
| 5 | *
|
---|
| 6 | * This library is free software; you can redistribute it and/or
|
---|
| 7 | * modify it under the terms of the GNU Lesser General Public
|
---|
| 8 | * License as published by the Free Software Foundation; either
|
---|
| 9 | * version 2 of the License, or (at your option) any later version.
|
---|
| 10 | *
|
---|
| 11 | * This library is distributed in the hope that it will be useful,
|
---|
| 12 | * but WITHOUT ANY WARRANTY; without even the implied warranty of
|
---|
| 13 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
---|
| 14 | * Lesser General Public License for more details.
|
---|
| 15 | *
|
---|
| 16 | * You should have received a copy of the GNU Lesser General Public
|
---|
| 17 | * License along with this library; if not, write to the Free Software
|
---|
| 18 | * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
|
---|
| 19 | */
|
---|
| 20 |
|
---|
| 21 | #include "tcc.h"
|
---|
| 22 | #ifdef CONFIG_TCC_ASM
|
---|
| 23 |
|
---|
| 24 | ST_FUNC int asm_get_local_label_name(TCCState *s1, unsigned int n)
|
---|
| 25 | {
|
---|
| 26 | char buf[64];
|
---|
| 27 | TokenSym *ts;
|
---|
| 28 |
|
---|
| 29 | snprintf(buf, sizeof(buf), "L..%u", n);
|
---|
| 30 | ts = tok_alloc(buf, strlen(buf));
|
---|
| 31 | return ts->tok;
|
---|
| 32 | }
|
---|
| 33 |
|
---|
[331] | 34 | static int tcc_assemble_internal(TCCState *s1, int do_preprocess, int global);
|
---|
| 35 | static Sym* asm_new_label(TCCState *s1, int label, int is_local);
|
---|
| 36 | static Sym* asm_new_label1(TCCState *s1, int label, int is_local, int sh_num, int value);
|
---|
[279] | 37 |
|
---|
[331] | 38 | static Sym *asm_label_find(int v)
|
---|
| 39 | {
|
---|
| 40 | Sym *sym = sym_find(v);
|
---|
| 41 | while (sym && sym->sym_scope)
|
---|
| 42 | sym = sym->prev_tok;
|
---|
| 43 | return sym;
|
---|
| 44 | }
|
---|
| 45 |
|
---|
| 46 | static Sym *asm_label_push(int v)
|
---|
| 47 | {
|
---|
| 48 | /* We always add VT_EXTERN, for sym definition that's tentative
|
---|
| 49 | (for .set, removed for real defs), for mere references it's correct
|
---|
| 50 | as is. */
|
---|
| 51 | Sym *sym = global_identifier_push(v, VT_ASM | VT_EXTERN | VT_STATIC, 0);
|
---|
| 52 | sym->r = VT_CONST | VT_SYM;
|
---|
| 53 | return sym;
|
---|
| 54 | }
|
---|
| 55 |
|
---|
| 56 | /* Return a symbol we can use inside the assembler, having name NAME.
|
---|
| 57 | Symbols from asm and C source share a namespace. If we generate
|
---|
| 58 | an asm symbol it's also a (file-global) C symbol, but it's
|
---|
| 59 | either not accessible by name (like "L.123"), or its type information
|
---|
| 60 | is such that it's not usable without a proper C declaration.
|
---|
| 61 |
|
---|
| 62 | Sometimes we need symbols accessible by name from asm, which
|
---|
| 63 | are anonymous in C, in this case CSYM can be used to transfer
|
---|
| 64 | all information from that symbol to the (possibly newly created)
|
---|
| 65 | asm symbol. */
|
---|
| 66 | ST_FUNC Sym* get_asm_sym(int name, Sym *csym)
|
---|
| 67 | {
|
---|
| 68 | Sym *sym = asm_label_find(name);
|
---|
| 69 | if (!sym) {
|
---|
| 70 | sym = asm_label_push(name);
|
---|
| 71 | if (csym)
|
---|
| 72 | sym->c = csym->c;
|
---|
| 73 | }
|
---|
| 74 | return sym;
|
---|
| 75 | }
|
---|
| 76 |
|
---|
| 77 | static Sym* asm_section_sym(TCCState *s1, Section *sec)
|
---|
| 78 | {
|
---|
| 79 | char buf[100];
|
---|
| 80 | int label = tok_alloc(buf,
|
---|
| 81 | snprintf(buf, sizeof buf, "L.%s", sec->name)
|
---|
| 82 | )->tok;
|
---|
| 83 | Sym *sym = asm_label_find(label);
|
---|
| 84 | return sym ? sym : asm_new_label1(s1, label, 1, sec->sh_num, 0);
|
---|
| 85 | }
|
---|
| 86 |
|
---|
[279] | 87 | /* We do not use the C expression parser to handle symbols. Maybe the
|
---|
| 88 | C expression parser could be tweaked to do so. */
|
---|
| 89 |
|
---|
| 90 | static void asm_expr_unary(TCCState *s1, ExprValue *pe)
|
---|
| 91 | {
|
---|
| 92 | Sym *sym;
|
---|
[331] | 93 | int op, label;
|
---|
| 94 | uint64_t n;
|
---|
[279] | 95 | const char *p;
|
---|
| 96 |
|
---|
| 97 | switch(tok) {
|
---|
| 98 | case TOK_PPNUM:
|
---|
[331] | 99 | p = tokc.str.data;
|
---|
| 100 | n = strtoull(p, (char **)&p, 0);
|
---|
[279] | 101 | if (*p == 'b' || *p == 'f') {
|
---|
| 102 | /* backward or forward label */
|
---|
| 103 | label = asm_get_local_label_name(s1, n);
|
---|
[331] | 104 | sym = asm_label_find(label);
|
---|
[279] | 105 | if (*p == 'b') {
|
---|
| 106 | /* backward : find the last corresponding defined label */
|
---|
[331] | 107 | if (sym && (!sym->c || elfsym(sym)->st_shndx == SHN_UNDEF))
|
---|
[279] | 108 | sym = sym->prev_tok;
|
---|
| 109 | if (!sym)
|
---|
| 110 | tcc_error("local label '%d' not found backward", n);
|
---|
| 111 | } else {
|
---|
| 112 | /* forward */
|
---|
[331] | 113 | if (!sym || (sym->c && elfsym(sym)->st_shndx != SHN_UNDEF)) {
|
---|
[279] | 114 | /* if the last label is defined, then define a new one */
|
---|
[331] | 115 | sym = asm_label_push(label);
|
---|
[279] | 116 | }
|
---|
| 117 | }
|
---|
[331] | 118 | pe->v = 0;
|
---|
| 119 | pe->sym = sym;
|
---|
| 120 | pe->pcrel = 0;
|
---|
[279] | 121 | } else if (*p == '\0') {
|
---|
| 122 | pe->v = n;
|
---|
| 123 | pe->sym = NULL;
|
---|
[331] | 124 | pe->pcrel = 0;
|
---|
[279] | 125 | } else {
|
---|
| 126 | tcc_error("invalid number syntax");
|
---|
| 127 | }
|
---|
| 128 | next();
|
---|
| 129 | break;
|
---|
| 130 | case '+':
|
---|
| 131 | next();
|
---|
| 132 | asm_expr_unary(s1, pe);
|
---|
| 133 | break;
|
---|
| 134 | case '-':
|
---|
| 135 | case '~':
|
---|
| 136 | op = tok;
|
---|
| 137 | next();
|
---|
| 138 | asm_expr_unary(s1, pe);
|
---|
| 139 | if (pe->sym)
|
---|
| 140 | tcc_error("invalid operation with label");
|
---|
| 141 | if (op == '-')
|
---|
| 142 | pe->v = -pe->v;
|
---|
| 143 | else
|
---|
| 144 | pe->v = ~pe->v;
|
---|
| 145 | break;
|
---|
| 146 | case TOK_CCHAR:
|
---|
| 147 | case TOK_LCHAR:
|
---|
| 148 | pe->v = tokc.i;
|
---|
| 149 | pe->sym = NULL;
|
---|
[331] | 150 | pe->pcrel = 0;
|
---|
[279] | 151 | next();
|
---|
| 152 | break;
|
---|
| 153 | case '(':
|
---|
| 154 | next();
|
---|
| 155 | asm_expr(s1, pe);
|
---|
| 156 | skip(')');
|
---|
| 157 | break;
|
---|
[331] | 158 | case '.':
|
---|
| 159 | pe->v = ind;
|
---|
| 160 | pe->sym = asm_section_sym(s1, cur_text_section);
|
---|
| 161 | pe->pcrel = 0;
|
---|
| 162 | next();
|
---|
| 163 | break;
|
---|
[279] | 164 | default:
|
---|
| 165 | if (tok >= TOK_IDENT) {
|
---|
[331] | 166 | ElfSym *esym;
|
---|
[279] | 167 | /* label case : if the label was not found, add one */
|
---|
[331] | 168 | sym = get_asm_sym(tok, NULL);
|
---|
| 169 | esym = elfsym(sym);
|
---|
| 170 | if (esym && esym->st_shndx == SHN_ABS) {
|
---|
[279] | 171 | /* if absolute symbol, no need to put a symbol value */
|
---|
[331] | 172 | pe->v = esym->st_value;
|
---|
[279] | 173 | pe->sym = NULL;
|
---|
[331] | 174 | pe->pcrel = 0;
|
---|
[279] | 175 | } else {
|
---|
| 176 | pe->v = 0;
|
---|
| 177 | pe->sym = sym;
|
---|
[331] | 178 | pe->pcrel = 0;
|
---|
[279] | 179 | }
|
---|
| 180 | next();
|
---|
| 181 | } else {
|
---|
| 182 | tcc_error("bad expression syntax [%s]", get_tok_str(tok, &tokc));
|
---|
| 183 | }
|
---|
| 184 | break;
|
---|
| 185 | }
|
---|
| 186 | }
|
---|
| 187 |
|
---|
| 188 | static void asm_expr_prod(TCCState *s1, ExprValue *pe)
|
---|
| 189 | {
|
---|
| 190 | int op;
|
---|
| 191 | ExprValue e2;
|
---|
| 192 |
|
---|
| 193 | asm_expr_unary(s1, pe);
|
---|
| 194 | for(;;) {
|
---|
| 195 | op = tok;
|
---|
| 196 | if (op != '*' && op != '/' && op != '%' &&
|
---|
| 197 | op != TOK_SHL && op != TOK_SAR)
|
---|
| 198 | break;
|
---|
| 199 | next();
|
---|
| 200 | asm_expr_unary(s1, &e2);
|
---|
| 201 | if (pe->sym || e2.sym)
|
---|
| 202 | tcc_error("invalid operation with label");
|
---|
| 203 | switch(op) {
|
---|
| 204 | case '*':
|
---|
| 205 | pe->v *= e2.v;
|
---|
| 206 | break;
|
---|
| 207 | case '/':
|
---|
| 208 | if (e2.v == 0) {
|
---|
| 209 | div_error:
|
---|
| 210 | tcc_error("division by zero");
|
---|
| 211 | }
|
---|
| 212 | pe->v /= e2.v;
|
---|
| 213 | break;
|
---|
| 214 | case '%':
|
---|
| 215 | if (e2.v == 0)
|
---|
| 216 | goto div_error;
|
---|
| 217 | pe->v %= e2.v;
|
---|
| 218 | break;
|
---|
| 219 | case TOK_SHL:
|
---|
| 220 | pe->v <<= e2.v;
|
---|
| 221 | break;
|
---|
| 222 | default:
|
---|
| 223 | case TOK_SAR:
|
---|
| 224 | pe->v >>= e2.v;
|
---|
| 225 | break;
|
---|
| 226 | }
|
---|
| 227 | }
|
---|
| 228 | }
|
---|
| 229 |
|
---|
| 230 | static void asm_expr_logic(TCCState *s1, ExprValue *pe)
|
---|
| 231 | {
|
---|
| 232 | int op;
|
---|
| 233 | ExprValue e2;
|
---|
| 234 |
|
---|
| 235 | asm_expr_prod(s1, pe);
|
---|
| 236 | for(;;) {
|
---|
| 237 | op = tok;
|
---|
| 238 | if (op != '&' && op != '|' && op != '^')
|
---|
| 239 | break;
|
---|
| 240 | next();
|
---|
| 241 | asm_expr_prod(s1, &e2);
|
---|
| 242 | if (pe->sym || e2.sym)
|
---|
| 243 | tcc_error("invalid operation with label");
|
---|
| 244 | switch(op) {
|
---|
| 245 | case '&':
|
---|
| 246 | pe->v &= e2.v;
|
---|
| 247 | break;
|
---|
| 248 | case '|':
|
---|
| 249 | pe->v |= e2.v;
|
---|
| 250 | break;
|
---|
| 251 | default:
|
---|
| 252 | case '^':
|
---|
| 253 | pe->v ^= e2.v;
|
---|
| 254 | break;
|
---|
| 255 | }
|
---|
| 256 | }
|
---|
| 257 | }
|
---|
| 258 |
|
---|
| 259 | static inline void asm_expr_sum(TCCState *s1, ExprValue *pe)
|
---|
| 260 | {
|
---|
| 261 | int op;
|
---|
| 262 | ExprValue e2;
|
---|
| 263 |
|
---|
| 264 | asm_expr_logic(s1, pe);
|
---|
| 265 | for(;;) {
|
---|
| 266 | op = tok;
|
---|
| 267 | if (op != '+' && op != '-')
|
---|
| 268 | break;
|
---|
| 269 | next();
|
---|
| 270 | asm_expr_logic(s1, &e2);
|
---|
| 271 | if (op == '+') {
|
---|
| 272 | if (pe->sym != NULL && e2.sym != NULL)
|
---|
| 273 | goto cannot_relocate;
|
---|
| 274 | pe->v += e2.v;
|
---|
| 275 | if (pe->sym == NULL && e2.sym != NULL)
|
---|
| 276 | pe->sym = e2.sym;
|
---|
| 277 | } else {
|
---|
| 278 | pe->v -= e2.v;
|
---|
| 279 | /* NOTE: we are less powerful than gas in that case
|
---|
| 280 | because we store only one symbol in the expression */
|
---|
[331] | 281 | if (!e2.sym) {
|
---|
| 282 | /* OK */
|
---|
| 283 | } else if (pe->sym == e2.sym) {
|
---|
| 284 | /* OK */
|
---|
| 285 | pe->sym = NULL; /* same symbols can be subtracted to NULL */
|
---|
| 286 | } else {
|
---|
| 287 | ElfSym *esym1, *esym2;
|
---|
| 288 | esym1 = elfsym(pe->sym);
|
---|
| 289 | esym2 = elfsym(e2.sym);
|
---|
| 290 | if (esym1 && esym1->st_shndx == esym2->st_shndx
|
---|
| 291 | && esym1->st_shndx != SHN_UNDEF) {
|
---|
| 292 | /* we also accept defined symbols in the same section */
|
---|
| 293 | pe->v += esym1->st_value - esym2->st_value;
|
---|
| 294 | pe->sym = NULL;
|
---|
| 295 | } else if (esym2->st_shndx == cur_text_section->sh_num) {
|
---|
| 296 | /* When subtracting a defined symbol in current section
|
---|
| 297 | this actually makes the value PC-relative. */
|
---|
| 298 | pe->v -= esym2->st_value - ind - 4;
|
---|
| 299 | pe->pcrel = 1;
|
---|
| 300 | e2.sym = NULL;
|
---|
| 301 | } else {
|
---|
| 302 | cannot_relocate:
|
---|
| 303 | tcc_error("invalid operation with label");
|
---|
| 304 | }
|
---|
| 305 | }
|
---|
[279] | 306 | }
|
---|
| 307 | }
|
---|
| 308 | }
|
---|
| 309 |
|
---|
[331] | 310 | static inline void asm_expr_cmp(TCCState *s1, ExprValue *pe)
|
---|
[279] | 311 | {
|
---|
[331] | 312 | int op;
|
---|
| 313 | ExprValue e2;
|
---|
| 314 |
|
---|
[279] | 315 | asm_expr_sum(s1, pe);
|
---|
[331] | 316 | for(;;) {
|
---|
| 317 | op = tok;
|
---|
| 318 | if (op != TOK_EQ && op != TOK_NE
|
---|
| 319 | && (op > TOK_GT || op < TOK_ULE))
|
---|
| 320 | break;
|
---|
| 321 | next();
|
---|
| 322 | asm_expr_sum(s1, &e2);
|
---|
| 323 | if (pe->sym || e2.sym)
|
---|
| 324 | tcc_error("invalid operation with label");
|
---|
| 325 | switch(op) {
|
---|
| 326 | case TOK_EQ:
|
---|
| 327 | pe->v = pe->v == e2.v;
|
---|
| 328 | break;
|
---|
| 329 | case TOK_NE:
|
---|
| 330 | pe->v = pe->v != e2.v;
|
---|
| 331 | break;
|
---|
| 332 | case TOK_LT:
|
---|
| 333 | pe->v = (int64_t)pe->v < (int64_t)e2.v;
|
---|
| 334 | break;
|
---|
| 335 | case TOK_GE:
|
---|
| 336 | pe->v = (int64_t)pe->v >= (int64_t)e2.v;
|
---|
| 337 | break;
|
---|
| 338 | case TOK_LE:
|
---|
| 339 | pe->v = (int64_t)pe->v <= (int64_t)e2.v;
|
---|
| 340 | break;
|
---|
| 341 | case TOK_GT:
|
---|
| 342 | pe->v = (int64_t)pe->v > (int64_t)e2.v;
|
---|
| 343 | break;
|
---|
| 344 | default:
|
---|
| 345 | break;
|
---|
| 346 | }
|
---|
| 347 | /* GAS compare results are -1/0 not 1/0. */
|
---|
| 348 | pe->v = -(int64_t)pe->v;
|
---|
| 349 | }
|
---|
[279] | 350 | }
|
---|
| 351 |
|
---|
[331] | 352 | ST_FUNC void asm_expr(TCCState *s1, ExprValue *pe)
|
---|
| 353 | {
|
---|
| 354 | asm_expr_cmp(s1, pe);
|
---|
| 355 | }
|
---|
| 356 |
|
---|
[279] | 357 | ST_FUNC int asm_int_expr(TCCState *s1)
|
---|
| 358 | {
|
---|
| 359 | ExprValue e;
|
---|
| 360 | asm_expr(s1, &e);
|
---|
| 361 | if (e.sym)
|
---|
| 362 | expect("constant");
|
---|
| 363 | return e.v;
|
---|
| 364 | }
|
---|
| 365 |
|
---|
[331] | 366 | static Sym* asm_new_label1(TCCState *s1, int label, int is_local,
|
---|
[279] | 367 | int sh_num, int value)
|
---|
| 368 | {
|
---|
| 369 | Sym *sym;
|
---|
[331] | 370 | ElfSym *esym;
|
---|
[279] | 371 |
|
---|
[331] | 372 | sym = asm_label_find(label);
|
---|
[279] | 373 | if (sym) {
|
---|
[331] | 374 | esym = elfsym(sym);
|
---|
| 375 | /* A VT_EXTERN symbol, even if it has a section is considered
|
---|
| 376 | overridable. This is how we "define" .set targets. Real
|
---|
| 377 | definitions won't have VT_EXTERN set. */
|
---|
| 378 | if (esym && esym->st_shndx != SHN_UNDEF) {
|
---|
[279] | 379 | /* the label is already defined */
|
---|
[331] | 380 | if (IS_ASM_SYM(sym)
|
---|
| 381 | && (is_local == 1 || (sym->type.t & VT_EXTERN)))
|
---|
[279] | 382 | goto new_label;
|
---|
[331] | 383 | if (!(sym->type.t & VT_EXTERN))
|
---|
| 384 | tcc_error("assembler label '%s' already defined",
|
---|
| 385 | get_tok_str(label, NULL));
|
---|
[279] | 386 | }
|
---|
| 387 | } else {
|
---|
| 388 | new_label:
|
---|
[331] | 389 | sym = asm_label_push(label);
|
---|
[279] | 390 | }
|
---|
[331] | 391 | if (!sym->c)
|
---|
| 392 | put_extern_sym2(sym, SHN_UNDEF, 0, 0, 0);
|
---|
| 393 | esym = elfsym(sym);
|
---|
| 394 | esym->st_shndx = sh_num;
|
---|
| 395 | esym->st_value = value;
|
---|
| 396 | if (is_local != 2)
|
---|
| 397 | sym->type.t &= ~VT_EXTERN;
|
---|
| 398 | return sym;
|
---|
[279] | 399 | }
|
---|
| 400 |
|
---|
[331] | 401 | static Sym* asm_new_label(TCCState *s1, int label, int is_local)
|
---|
[279] | 402 | {
|
---|
[331] | 403 | return asm_new_label1(s1, label, is_local, cur_text_section->sh_num, ind);
|
---|
[279] | 404 | }
|
---|
| 405 |
|
---|
[331] | 406 | /* Set the value of LABEL to that of some expression (possibly
|
---|
| 407 | involving other symbols). LABEL can be overwritten later still. */
|
---|
| 408 | static Sym* set_symbol(TCCState *s1, int label)
|
---|
[279] | 409 | {
|
---|
[331] | 410 | long n;
|
---|
| 411 | ExprValue e;
|
---|
| 412 | Sym *sym;
|
---|
| 413 | ElfSym *esym;
|
---|
| 414 | next();
|
---|
| 415 | asm_expr(s1, &e);
|
---|
| 416 | n = e.v;
|
---|
| 417 | esym = elfsym(e.sym);
|
---|
| 418 | if (esym)
|
---|
| 419 | n += esym->st_value;
|
---|
| 420 | sym = asm_new_label1(s1, label, 2, esym ? esym->st_shndx : SHN_ABS, n);
|
---|
| 421 | elfsym(sym)->st_other |= ST_ASM_SET;
|
---|
| 422 | return sym;
|
---|
[279] | 423 | }
|
---|
| 424 |
|
---|
| 425 | static void use_section1(TCCState *s1, Section *sec)
|
---|
| 426 | {
|
---|
| 427 | cur_text_section->data_offset = ind;
|
---|
| 428 | cur_text_section = sec;
|
---|
| 429 | ind = cur_text_section->data_offset;
|
---|
| 430 | }
|
---|
| 431 |
|
---|
| 432 | static void use_section(TCCState *s1, const char *name)
|
---|
| 433 | {
|
---|
| 434 | Section *sec;
|
---|
| 435 | sec = find_section(s1, name);
|
---|
| 436 | use_section1(s1, sec);
|
---|
| 437 | }
|
---|
| 438 |
|
---|
[331] | 439 | static void push_section(TCCState *s1, const char *name)
|
---|
[279] | 440 | {
|
---|
[331] | 441 | Section *sec = find_section(s1, name);
|
---|
| 442 | sec->prev = cur_text_section;
|
---|
| 443 | use_section1(s1, sec);
|
---|
| 444 | }
|
---|
| 445 |
|
---|
| 446 | static void pop_section(TCCState *s1)
|
---|
| 447 | {
|
---|
| 448 | Section *prev = cur_text_section->prev;
|
---|
| 449 | if (!prev)
|
---|
| 450 | tcc_error(".popsection without .pushsection");
|
---|
| 451 | cur_text_section->prev = NULL;
|
---|
| 452 | use_section1(s1, prev);
|
---|
| 453 | }
|
---|
| 454 |
|
---|
| 455 | static void asm_parse_directive(TCCState *s1, int global)
|
---|
| 456 | {
|
---|
[279] | 457 | int n, offset, v, size, tok1;
|
---|
| 458 | Section *sec;
|
---|
| 459 | uint8_t *ptr;
|
---|
| 460 |
|
---|
| 461 | /* assembler directive */
|
---|
| 462 | sec = cur_text_section;
|
---|
| 463 | switch(tok) {
|
---|
[331] | 464 | case TOK_ASMDIR_align:
|
---|
| 465 | case TOK_ASMDIR_balign:
|
---|
| 466 | case TOK_ASMDIR_p2align:
|
---|
| 467 | case TOK_ASMDIR_skip:
|
---|
| 468 | case TOK_ASMDIR_space:
|
---|
[279] | 469 | tok1 = tok;
|
---|
| 470 | next();
|
---|
| 471 | n = asm_int_expr(s1);
|
---|
[331] | 472 | if (tok1 == TOK_ASMDIR_p2align)
|
---|
| 473 | {
|
---|
| 474 | if (n < 0 || n > 30)
|
---|
| 475 | tcc_error("invalid p2align, must be between 0 and 30");
|
---|
| 476 | n = 1 << n;
|
---|
| 477 | tok1 = TOK_ASMDIR_align;
|
---|
| 478 | }
|
---|
| 479 | if (tok1 == TOK_ASMDIR_align || tok1 == TOK_ASMDIR_balign) {
|
---|
[279] | 480 | if (n < 0 || (n & (n-1)) != 0)
|
---|
| 481 | tcc_error("alignment must be a positive power of two");
|
---|
| 482 | offset = (ind + n - 1) & -n;
|
---|
| 483 | size = offset - ind;
|
---|
| 484 | /* the section must have a compatible alignment */
|
---|
| 485 | if (sec->sh_addralign < n)
|
---|
| 486 | sec->sh_addralign = n;
|
---|
| 487 | } else {
|
---|
[331] | 488 | if (n < 0)
|
---|
| 489 | n = 0;
|
---|
[279] | 490 | size = n;
|
---|
| 491 | }
|
---|
| 492 | v = 0;
|
---|
| 493 | if (tok == ',') {
|
---|
| 494 | next();
|
---|
| 495 | v = asm_int_expr(s1);
|
---|
| 496 | }
|
---|
| 497 | zero_pad:
|
---|
| 498 | if (sec->sh_type != SHT_NOBITS) {
|
---|
| 499 | sec->data_offset = ind;
|
---|
| 500 | ptr = section_ptr_add(sec, size);
|
---|
| 501 | memset(ptr, v, size);
|
---|
| 502 | }
|
---|
| 503 | ind += size;
|
---|
| 504 | break;
|
---|
[331] | 505 | case TOK_ASMDIR_quad:
|
---|
| 506 | #ifdef TCC_TARGET_X86_64
|
---|
| 507 | size = 8;
|
---|
| 508 | goto asm_data;
|
---|
| 509 | #else
|
---|
[279] | 510 | next();
|
---|
| 511 | for(;;) {
|
---|
| 512 | uint64_t vl;
|
---|
| 513 | const char *p;
|
---|
| 514 |
|
---|
[331] | 515 | p = tokc.str.data;
|
---|
[279] | 516 | if (tok != TOK_PPNUM) {
|
---|
| 517 | error_constant:
|
---|
| 518 | tcc_error("64 bit constant");
|
---|
| 519 | }
|
---|
| 520 | vl = strtoll(p, (char **)&p, 0);
|
---|
| 521 | if (*p != '\0')
|
---|
| 522 | goto error_constant;
|
---|
| 523 | next();
|
---|
| 524 | if (sec->sh_type != SHT_NOBITS) {
|
---|
| 525 | /* XXX: endianness */
|
---|
| 526 | gen_le32(vl);
|
---|
| 527 | gen_le32(vl >> 32);
|
---|
| 528 | } else {
|
---|
| 529 | ind += 8;
|
---|
| 530 | }
|
---|
| 531 | if (tok != ',')
|
---|
| 532 | break;
|
---|
| 533 | next();
|
---|
| 534 | }
|
---|
| 535 | break;
|
---|
[331] | 536 | #endif
|
---|
| 537 | case TOK_ASMDIR_byte:
|
---|
[279] | 538 | size = 1;
|
---|
| 539 | goto asm_data;
|
---|
[331] | 540 | case TOK_ASMDIR_word:
|
---|
| 541 | case TOK_ASMDIR_short:
|
---|
[279] | 542 | size = 2;
|
---|
| 543 | goto asm_data;
|
---|
[331] | 544 | case TOK_ASMDIR_long:
|
---|
| 545 | case TOK_ASMDIR_int:
|
---|
[279] | 546 | size = 4;
|
---|
| 547 | asm_data:
|
---|
| 548 | next();
|
---|
| 549 | for(;;) {
|
---|
| 550 | ExprValue e;
|
---|
| 551 | asm_expr(s1, &e);
|
---|
| 552 | if (sec->sh_type != SHT_NOBITS) {
|
---|
| 553 | if (size == 4) {
|
---|
| 554 | gen_expr32(&e);
|
---|
[331] | 555 | #ifdef TCC_TARGET_X86_64
|
---|
| 556 | } else if (size == 8) {
|
---|
| 557 | gen_expr64(&e);
|
---|
| 558 | #endif
|
---|
[279] | 559 | } else {
|
---|
| 560 | if (e.sym)
|
---|
| 561 | expect("constant");
|
---|
| 562 | if (size == 1)
|
---|
| 563 | g(e.v);
|
---|
| 564 | else
|
---|
| 565 | gen_le16(e.v);
|
---|
| 566 | }
|
---|
| 567 | } else {
|
---|
| 568 | ind += size;
|
---|
| 569 | }
|
---|
| 570 | if (tok != ',')
|
---|
| 571 | break;
|
---|
| 572 | next();
|
---|
| 573 | }
|
---|
| 574 | break;
|
---|
[331] | 575 | case TOK_ASMDIR_fill:
|
---|
[279] | 576 | {
|
---|
| 577 | int repeat, size, val, i, j;
|
---|
| 578 | uint8_t repeat_buf[8];
|
---|
| 579 | next();
|
---|
| 580 | repeat = asm_int_expr(s1);
|
---|
| 581 | if (repeat < 0) {
|
---|
| 582 | tcc_error("repeat < 0; .fill ignored");
|
---|
| 583 | break;
|
---|
| 584 | }
|
---|
| 585 | size = 1;
|
---|
| 586 | val = 0;
|
---|
| 587 | if (tok == ',') {
|
---|
| 588 | next();
|
---|
| 589 | size = asm_int_expr(s1);
|
---|
| 590 | if (size < 0) {
|
---|
| 591 | tcc_error("size < 0; .fill ignored");
|
---|
| 592 | break;
|
---|
| 593 | }
|
---|
| 594 | if (size > 8)
|
---|
| 595 | size = 8;
|
---|
| 596 | if (tok == ',') {
|
---|
| 597 | next();
|
---|
| 598 | val = asm_int_expr(s1);
|
---|
| 599 | }
|
---|
| 600 | }
|
---|
| 601 | /* XXX: endianness */
|
---|
| 602 | repeat_buf[0] = val;
|
---|
| 603 | repeat_buf[1] = val >> 8;
|
---|
| 604 | repeat_buf[2] = val >> 16;
|
---|
| 605 | repeat_buf[3] = val >> 24;
|
---|
| 606 | repeat_buf[4] = 0;
|
---|
| 607 | repeat_buf[5] = 0;
|
---|
| 608 | repeat_buf[6] = 0;
|
---|
| 609 | repeat_buf[7] = 0;
|
---|
| 610 | for(i = 0; i < repeat; i++) {
|
---|
| 611 | for(j = 0; j < size; j++) {
|
---|
| 612 | g(repeat_buf[j]);
|
---|
| 613 | }
|
---|
| 614 | }
|
---|
| 615 | }
|
---|
| 616 | break;
|
---|
[331] | 617 | case TOK_ASMDIR_rept:
|
---|
[279] | 618 | {
|
---|
[331] | 619 | int repeat;
|
---|
| 620 | TokenString *init_str;
|
---|
| 621 | next();
|
---|
| 622 | repeat = asm_int_expr(s1);
|
---|
| 623 | init_str = tok_str_alloc();
|
---|
| 624 | while (next(), tok != TOK_ASMDIR_endr) {
|
---|
| 625 | if (tok == CH_EOF)
|
---|
| 626 | tcc_error("we at end of file, .endr not found");
|
---|
| 627 | tok_str_add_tok(init_str);
|
---|
| 628 | }
|
---|
| 629 | tok_str_add(init_str, -1);
|
---|
| 630 | tok_str_add(init_str, 0);
|
---|
| 631 | begin_macro(init_str, 1);
|
---|
| 632 | while (repeat-- > 0) {
|
---|
| 633 | tcc_assemble_internal(s1, (parse_flags & PARSE_FLAG_PREPROCESS),
|
---|
| 634 | global);
|
---|
| 635 | macro_ptr = init_str->str;
|
---|
| 636 | }
|
---|
| 637 | end_macro();
|
---|
| 638 | next();
|
---|
| 639 | break;
|
---|
| 640 | }
|
---|
| 641 | case TOK_ASMDIR_org:
|
---|
| 642 | {
|
---|
[279] | 643 | unsigned long n;
|
---|
[331] | 644 | ExprValue e;
|
---|
| 645 | ElfSym *esym;
|
---|
[279] | 646 | next();
|
---|
[331] | 647 | asm_expr(s1, &e);
|
---|
| 648 | n = e.v;
|
---|
| 649 | esym = elfsym(e.sym);
|
---|
| 650 | if (esym) {
|
---|
| 651 | if (esym->st_shndx != cur_text_section->sh_num)
|
---|
| 652 | expect("constant or same-section symbol");
|
---|
| 653 | n += esym->st_value;
|
---|
| 654 | }
|
---|
[279] | 655 | if (n < ind)
|
---|
| 656 | tcc_error("attempt to .org backwards");
|
---|
| 657 | v = 0;
|
---|
| 658 | size = n - ind;
|
---|
| 659 | goto zero_pad;
|
---|
| 660 | }
|
---|
| 661 | break;
|
---|
[331] | 662 | case TOK_ASMDIR_set:
|
---|
| 663 | next();
|
---|
| 664 | tok1 = tok;
|
---|
| 665 | next();
|
---|
| 666 | /* Also accept '.set stuff', but don't do anything with this.
|
---|
| 667 | It's used in GAS to set various features like '.set mips16'. */
|
---|
| 668 | if (tok == ',')
|
---|
| 669 | set_symbol(s1, tok1);
|
---|
| 670 | break;
|
---|
| 671 | case TOK_ASMDIR_globl:
|
---|
| 672 | case TOK_ASMDIR_global:
|
---|
| 673 | case TOK_ASMDIR_weak:
|
---|
| 674 | case TOK_ASMDIR_hidden:
|
---|
| 675 | tok1 = tok;
|
---|
[279] | 676 | do {
|
---|
| 677 | Sym *sym;
|
---|
| 678 | next();
|
---|
[331] | 679 | sym = get_asm_sym(tok, NULL);
|
---|
| 680 | if (tok1 != TOK_ASMDIR_hidden)
|
---|
| 681 | sym->type.t &= ~VT_STATIC;
|
---|
| 682 | if (tok1 == TOK_ASMDIR_weak)
|
---|
| 683 | sym->a.weak = 1;
|
---|
| 684 | else if (tok1 == TOK_ASMDIR_hidden)
|
---|
| 685 | sym->a.visibility = STV_HIDDEN;
|
---|
| 686 | update_storage(sym);
|
---|
[279] | 687 | next();
|
---|
| 688 | } while (tok == ',');
|
---|
| 689 | break;
|
---|
[331] | 690 | case TOK_ASMDIR_string:
|
---|
| 691 | case TOK_ASMDIR_ascii:
|
---|
| 692 | case TOK_ASMDIR_asciz:
|
---|
[279] | 693 | {
|
---|
| 694 | const uint8_t *p;
|
---|
| 695 | int i, size, t;
|
---|
| 696 |
|
---|
| 697 | t = tok;
|
---|
| 698 | next();
|
---|
| 699 | for(;;) {
|
---|
| 700 | if (tok != TOK_STR)
|
---|
| 701 | expect("string constant");
|
---|
[331] | 702 | p = tokc.str.data;
|
---|
| 703 | size = tokc.str.size;
|
---|
| 704 | if (t == TOK_ASMDIR_ascii && size > 0)
|
---|
[279] | 705 | size--;
|
---|
| 706 | for(i = 0; i < size; i++)
|
---|
| 707 | g(p[i]);
|
---|
| 708 | next();
|
---|
| 709 | if (tok == ',') {
|
---|
| 710 | next();
|
---|
| 711 | } else if (tok != TOK_STR) {
|
---|
| 712 | break;
|
---|
| 713 | }
|
---|
| 714 | }
|
---|
| 715 | }
|
---|
| 716 | break;
|
---|
[331] | 717 | case TOK_ASMDIR_text:
|
---|
| 718 | case TOK_ASMDIR_data:
|
---|
| 719 | case TOK_ASMDIR_bss:
|
---|
[279] | 720 | {
|
---|
| 721 | char sname[64];
|
---|
| 722 | tok1 = tok;
|
---|
| 723 | n = 0;
|
---|
| 724 | next();
|
---|
| 725 | if (tok != ';' && tok != TOK_LINEFEED) {
|
---|
| 726 | n = asm_int_expr(s1);
|
---|
| 727 | next();
|
---|
| 728 | }
|
---|
[331] | 729 | if (n)
|
---|
| 730 | sprintf(sname, "%s%d", get_tok_str(tok1, NULL), n);
|
---|
| 731 | else
|
---|
| 732 | sprintf(sname, "%s", get_tok_str(tok1, NULL));
|
---|
[279] | 733 | use_section(s1, sname);
|
---|
| 734 | }
|
---|
| 735 | break;
|
---|
[331] | 736 | case TOK_ASMDIR_file:
|
---|
[279] | 737 | {
|
---|
| 738 | char filename[512];
|
---|
| 739 |
|
---|
| 740 | filename[0] = '\0';
|
---|
| 741 | next();
|
---|
| 742 |
|
---|
| 743 | if (tok == TOK_STR)
|
---|
[331] | 744 | pstrcat(filename, sizeof(filename), tokc.str.data);
|
---|
[279] | 745 | else
|
---|
| 746 | pstrcat(filename, sizeof(filename), get_tok_str(tok, NULL));
|
---|
| 747 |
|
---|
| 748 | if (s1->warn_unsupported)
|
---|
| 749 | tcc_warning("ignoring .file %s", filename);
|
---|
| 750 |
|
---|
| 751 | next();
|
---|
| 752 | }
|
---|
| 753 | break;
|
---|
[331] | 754 | case TOK_ASMDIR_ident:
|
---|
[279] | 755 | {
|
---|
| 756 | char ident[256];
|
---|
| 757 |
|
---|
| 758 | ident[0] = '\0';
|
---|
| 759 | next();
|
---|
| 760 |
|
---|
| 761 | if (tok == TOK_STR)
|
---|
[331] | 762 | pstrcat(ident, sizeof(ident), tokc.str.data);
|
---|
[279] | 763 | else
|
---|
| 764 | pstrcat(ident, sizeof(ident), get_tok_str(tok, NULL));
|
---|
| 765 |
|
---|
| 766 | if (s1->warn_unsupported)
|
---|
| 767 | tcc_warning("ignoring .ident %s", ident);
|
---|
| 768 |
|
---|
| 769 | next();
|
---|
| 770 | }
|
---|
| 771 | break;
|
---|
[331] | 772 | case TOK_ASMDIR_size:
|
---|
[279] | 773 | {
|
---|
| 774 | Sym *sym;
|
---|
| 775 |
|
---|
| 776 | next();
|
---|
[331] | 777 | sym = asm_label_find(tok);
|
---|
[279] | 778 | if (!sym) {
|
---|
| 779 | tcc_error("label not found: %s", get_tok_str(tok, NULL));
|
---|
| 780 | }
|
---|
| 781 |
|
---|
| 782 | /* XXX .size name,label2-label1 */
|
---|
| 783 | if (s1->warn_unsupported)
|
---|
| 784 | tcc_warning("ignoring .size %s,*", get_tok_str(tok, NULL));
|
---|
| 785 |
|
---|
[331] | 786 | next();
|
---|
| 787 | skip(',');
|
---|
| 788 | while (tok != TOK_LINEFEED && tok != ';' && tok != CH_EOF) {
|
---|
[279] | 789 | next();
|
---|
| 790 | }
|
---|
| 791 | }
|
---|
| 792 | break;
|
---|
[331] | 793 | case TOK_ASMDIR_type:
|
---|
[279] | 794 | {
|
---|
| 795 | Sym *sym;
|
---|
| 796 | const char *newtype;
|
---|
| 797 |
|
---|
| 798 | next();
|
---|
[331] | 799 | sym = get_asm_sym(tok, NULL);
|
---|
[279] | 800 | next();
|
---|
| 801 | skip(',');
|
---|
| 802 | if (tok == TOK_STR) {
|
---|
[331] | 803 | newtype = tokc.str.data;
|
---|
[279] | 804 | } else {
|
---|
| 805 | if (tok == '@' || tok == '%')
|
---|
[331] | 806 | next();
|
---|
[279] | 807 | newtype = get_tok_str(tok, NULL);
|
---|
| 808 | }
|
---|
| 809 |
|
---|
| 810 | if (!strcmp(newtype, "function") || !strcmp(newtype, "STT_FUNC")) {
|
---|
[331] | 811 | sym->type.t = (sym->type.t & ~VT_BTYPE) | VT_FUNC;
|
---|
[279] | 812 | }
|
---|
| 813 | else if (s1->warn_unsupported)
|
---|
| 814 | tcc_warning("change type of '%s' from 0x%x to '%s' ignored",
|
---|
| 815 | get_tok_str(sym->v, NULL), sym->type.t, newtype);
|
---|
| 816 |
|
---|
| 817 | next();
|
---|
| 818 | }
|
---|
| 819 | break;
|
---|
[331] | 820 | case TOK_ASMDIR_pushsection:
|
---|
| 821 | case TOK_ASMDIR_section:
|
---|
[279] | 822 | {
|
---|
| 823 | char sname[256];
|
---|
[331] | 824 | int old_nb_section = s1->nb_sections;
|
---|
[279] | 825 |
|
---|
[331] | 826 | tok1 = tok;
|
---|
[279] | 827 | /* XXX: support more options */
|
---|
| 828 | next();
|
---|
| 829 | sname[0] = '\0';
|
---|
| 830 | while (tok != ';' && tok != TOK_LINEFEED && tok != ',') {
|
---|
| 831 | if (tok == TOK_STR)
|
---|
[331] | 832 | pstrcat(sname, sizeof(sname), tokc.str.data);
|
---|
[279] | 833 | else
|
---|
| 834 | pstrcat(sname, sizeof(sname), get_tok_str(tok, NULL));
|
---|
| 835 | next();
|
---|
| 836 | }
|
---|
| 837 | if (tok == ',') {
|
---|
| 838 | /* skip section options */
|
---|
| 839 | next();
|
---|
| 840 | if (tok != TOK_STR)
|
---|
| 841 | expect("string constant");
|
---|
| 842 | next();
|
---|
[331] | 843 | if (tok == ',') {
|
---|
| 844 | next();
|
---|
| 845 | if (tok == '@' || tok == '%')
|
---|
| 846 | next();
|
---|
| 847 | next();
|
---|
| 848 | }
|
---|
[279] | 849 | }
|
---|
| 850 | last_text_section = cur_text_section;
|
---|
[331] | 851 | if (tok1 == TOK_ASMDIR_section)
|
---|
| 852 | use_section(s1, sname);
|
---|
| 853 | else
|
---|
| 854 | push_section(s1, sname);
|
---|
| 855 | /* If we just allocated a new section reset its alignment to
|
---|
| 856 | 1. new_section normally acts for GCC compatibility and
|
---|
| 857 | sets alignment to PTR_SIZE. The assembler behaves different. */
|
---|
| 858 | if (old_nb_section != s1->nb_sections)
|
---|
| 859 | cur_text_section->sh_addralign = 1;
|
---|
[279] | 860 | }
|
---|
| 861 | break;
|
---|
[331] | 862 | case TOK_ASMDIR_previous:
|
---|
[279] | 863 | {
|
---|
| 864 | Section *sec;
|
---|
| 865 | next();
|
---|
| 866 | if (!last_text_section)
|
---|
| 867 | tcc_error("no previous section referenced");
|
---|
| 868 | sec = cur_text_section;
|
---|
| 869 | use_section1(s1, last_text_section);
|
---|
| 870 | last_text_section = sec;
|
---|
| 871 | }
|
---|
| 872 | break;
|
---|
[331] | 873 | case TOK_ASMDIR_popsection:
|
---|
| 874 | next();
|
---|
| 875 | pop_section(s1);
|
---|
| 876 | break;
|
---|
[279] | 877 | #ifdef TCC_TARGET_I386
|
---|
[331] | 878 | case TOK_ASMDIR_code16:
|
---|
[279] | 879 | {
|
---|
| 880 | next();
|
---|
| 881 | s1->seg_size = 16;
|
---|
| 882 | }
|
---|
| 883 | break;
|
---|
[331] | 884 | case TOK_ASMDIR_code32:
|
---|
[279] | 885 | {
|
---|
| 886 | next();
|
---|
| 887 | s1->seg_size = 32;
|
---|
| 888 | }
|
---|
| 889 | break;
|
---|
| 890 | #endif
|
---|
| 891 | #ifdef TCC_TARGET_X86_64
|
---|
| 892 | /* added for compatibility with GAS */
|
---|
[331] | 893 | case TOK_ASMDIR_code64:
|
---|
[279] | 894 | next();
|
---|
| 895 | break;
|
---|
| 896 | #endif
|
---|
| 897 | default:
|
---|
| 898 | tcc_error("unknown assembler directive '.%s'", get_tok_str(tok, NULL));
|
---|
| 899 | break;
|
---|
| 900 | }
|
---|
| 901 | }
|
---|
| 902 |
|
---|
| 903 |
|
---|
| 904 | /* assemble a file */
|
---|
[331] | 905 | static int tcc_assemble_internal(TCCState *s1, int do_preprocess, int global)
|
---|
[279] | 906 | {
|
---|
| 907 | int opcode;
|
---|
[331] | 908 | int saved_parse_flags = parse_flags;
|
---|
[279] | 909 |
|
---|
[331] | 910 | parse_flags = PARSE_FLAG_ASM_FILE | PARSE_FLAG_TOK_STR;
|
---|
[279] | 911 | if (do_preprocess)
|
---|
| 912 | parse_flags |= PARSE_FLAG_PREPROCESS;
|
---|
| 913 | for(;;) {
|
---|
[331] | 914 | next();
|
---|
[279] | 915 | if (tok == TOK_EOF)
|
---|
| 916 | break;
|
---|
[331] | 917 | /* generate line number info */
|
---|
| 918 | if (global && s1->do_debug)
|
---|
| 919 | tcc_debug_line(s1);
|
---|
[279] | 920 | parse_flags |= PARSE_FLAG_LINEFEED; /* XXX: suppress that hack */
|
---|
| 921 | redo:
|
---|
| 922 | if (tok == '#') {
|
---|
| 923 | /* horrible gas comment */
|
---|
| 924 | while (tok != TOK_LINEFEED)
|
---|
| 925 | next();
|
---|
[331] | 926 | } else if (tok >= TOK_ASMDIR_FIRST && tok <= TOK_ASMDIR_LAST) {
|
---|
| 927 | asm_parse_directive(s1, global);
|
---|
[279] | 928 | } else if (tok == TOK_PPNUM) {
|
---|
| 929 | const char *p;
|
---|
| 930 | int n;
|
---|
[331] | 931 | p = tokc.str.data;
|
---|
[279] | 932 | n = strtoul(p, (char **)&p, 10);
|
---|
| 933 | if (*p != '\0')
|
---|
| 934 | expect("':'");
|
---|
| 935 | /* new local label */
|
---|
| 936 | asm_new_label(s1, asm_get_local_label_name(s1, n), 1);
|
---|
| 937 | next();
|
---|
| 938 | skip(':');
|
---|
| 939 | goto redo;
|
---|
| 940 | } else if (tok >= TOK_IDENT) {
|
---|
| 941 | /* instruction or label */
|
---|
| 942 | opcode = tok;
|
---|
| 943 | next();
|
---|
| 944 | if (tok == ':') {
|
---|
| 945 | /* new label */
|
---|
| 946 | asm_new_label(s1, opcode, 0);
|
---|
| 947 | next();
|
---|
| 948 | goto redo;
|
---|
| 949 | } else if (tok == '=') {
|
---|
[331] | 950 | set_symbol(s1, opcode);
|
---|
[279] | 951 | goto redo;
|
---|
| 952 | } else {
|
---|
| 953 | asm_opcode(s1, opcode);
|
---|
| 954 | }
|
---|
| 955 | }
|
---|
| 956 | /* end of line */
|
---|
[331] | 957 | if (tok != ';' && tok != TOK_LINEFEED)
|
---|
[279] | 958 | expect("end of line");
|
---|
| 959 | parse_flags &= ~PARSE_FLAG_LINEFEED; /* XXX: suppress that hack */
|
---|
| 960 | }
|
---|
| 961 |
|
---|
[331] | 962 | parse_flags = saved_parse_flags;
|
---|
[279] | 963 | return 0;
|
---|
| 964 | }
|
---|
| 965 |
|
---|
| 966 | /* Assemble the current file */
|
---|
| 967 | ST_FUNC int tcc_assemble(TCCState *s1, int do_preprocess)
|
---|
| 968 | {
|
---|
| 969 | int ret;
|
---|
[331] | 970 | tcc_debug_start(s1);
|
---|
[279] | 971 | /* default section is text */
|
---|
| 972 | cur_text_section = text_section;
|
---|
| 973 | ind = cur_text_section->data_offset;
|
---|
[331] | 974 | nocode_wanted = 0;
|
---|
| 975 | ret = tcc_assemble_internal(s1, do_preprocess, 1);
|
---|
[279] | 976 | cur_text_section->data_offset = ind;
|
---|
[331] | 977 | tcc_debug_end(s1);
|
---|
[279] | 978 | return ret;
|
---|
| 979 | }
|
---|
| 980 |
|
---|
| 981 | /********************************************************************/
|
---|
| 982 | /* GCC inline asm support */
|
---|
| 983 |
|
---|
| 984 | /* assemble the string 'str' in the current C compilation unit without
|
---|
| 985 | C preprocessing. NOTE: str is modified by modifying the '\0' at the
|
---|
| 986 | end */
|
---|
[331] | 987 | static void tcc_assemble_inline(TCCState *s1, char *str, int len, int global)
|
---|
[279] | 988 | {
|
---|
[331] | 989 | const int *saved_macro_ptr = macro_ptr;
|
---|
| 990 | int dotid = set_idnum('.', IS_ID);
|
---|
[279] | 991 |
|
---|
| 992 | tcc_open_bf(s1, ":asm:", len);
|
---|
| 993 | memcpy(file->buffer, str, len);
|
---|
| 994 | macro_ptr = NULL;
|
---|
[331] | 995 | tcc_assemble_internal(s1, 0, global);
|
---|
[279] | 996 | tcc_close();
|
---|
| 997 |
|
---|
[331] | 998 | set_idnum('.', dotid);
|
---|
[279] | 999 | macro_ptr = saved_macro_ptr;
|
---|
| 1000 | }
|
---|
| 1001 |
|
---|
| 1002 | /* find a constraint by its number or id (gcc 3 extended
|
---|
| 1003 | syntax). return -1 if not found. Return in *pp in char after the
|
---|
| 1004 | constraint */
|
---|
| 1005 | ST_FUNC int find_constraint(ASMOperand *operands, int nb_operands,
|
---|
| 1006 | const char *name, const char **pp)
|
---|
| 1007 | {
|
---|
| 1008 | int index;
|
---|
| 1009 | TokenSym *ts;
|
---|
| 1010 | const char *p;
|
---|
| 1011 |
|
---|
| 1012 | if (isnum(*name)) {
|
---|
| 1013 | index = 0;
|
---|
| 1014 | while (isnum(*name)) {
|
---|
| 1015 | index = (index * 10) + (*name) - '0';
|
---|
| 1016 | name++;
|
---|
| 1017 | }
|
---|
| 1018 | if ((unsigned)index >= nb_operands)
|
---|
| 1019 | index = -1;
|
---|
| 1020 | } else if (*name == '[') {
|
---|
| 1021 | name++;
|
---|
| 1022 | p = strchr(name, ']');
|
---|
| 1023 | if (p) {
|
---|
| 1024 | ts = tok_alloc(name, p - name);
|
---|
| 1025 | for(index = 0; index < nb_operands; index++) {
|
---|
| 1026 | if (operands[index].id == ts->tok)
|
---|
| 1027 | goto found;
|
---|
| 1028 | }
|
---|
| 1029 | index = -1;
|
---|
| 1030 | found:
|
---|
| 1031 | name = p + 1;
|
---|
| 1032 | } else {
|
---|
| 1033 | index = -1;
|
---|
| 1034 | }
|
---|
| 1035 | } else {
|
---|
| 1036 | index = -1;
|
---|
| 1037 | }
|
---|
| 1038 | if (pp)
|
---|
| 1039 | *pp = name;
|
---|
| 1040 | return index;
|
---|
| 1041 | }
|
---|
| 1042 |
|
---|
| 1043 | static void subst_asm_operands(ASMOperand *operands, int nb_operands,
|
---|
| 1044 | CString *out_str, CString *in_str)
|
---|
| 1045 | {
|
---|
| 1046 | int c, index, modifier;
|
---|
| 1047 | const char *str;
|
---|
| 1048 | ASMOperand *op;
|
---|
| 1049 | SValue sv;
|
---|
| 1050 |
|
---|
| 1051 | cstr_new(out_str);
|
---|
| 1052 | str = in_str->data;
|
---|
| 1053 | for(;;) {
|
---|
| 1054 | c = *str++;
|
---|
| 1055 | if (c == '%') {
|
---|
| 1056 | if (*str == '%') {
|
---|
| 1057 | str++;
|
---|
| 1058 | goto add_char;
|
---|
| 1059 | }
|
---|
| 1060 | modifier = 0;
|
---|
| 1061 | if (*str == 'c' || *str == 'n' ||
|
---|
[331] | 1062 | *str == 'b' || *str == 'w' || *str == 'h' || *str == 'k' ||
|
---|
| 1063 | *str == 'q' ||
|
---|
| 1064 | /* P in GCC would add "@PLT" to symbol refs in PIC mode,
|
---|
| 1065 | and make literal operands not be decorated with '$'. */
|
---|
| 1066 | *str == 'P')
|
---|
[279] | 1067 | modifier = *str++;
|
---|
| 1068 | index = find_constraint(operands, nb_operands, str, &str);
|
---|
| 1069 | if (index < 0)
|
---|
| 1070 | tcc_error("invalid operand reference after %%");
|
---|
| 1071 | op = &operands[index];
|
---|
| 1072 | sv = *op->vt;
|
---|
| 1073 | if (op->reg >= 0) {
|
---|
| 1074 | sv.r = op->reg;
|
---|
| 1075 | if ((op->vt->r & VT_VALMASK) == VT_LLOCAL && op->is_memory)
|
---|
| 1076 | sv.r |= VT_LVAL;
|
---|
| 1077 | }
|
---|
| 1078 | subst_asm_operand(out_str, &sv, modifier);
|
---|
| 1079 | } else {
|
---|
| 1080 | add_char:
|
---|
| 1081 | cstr_ccat(out_str, c);
|
---|
| 1082 | if (c == '\0')
|
---|
| 1083 | break;
|
---|
| 1084 | }
|
---|
| 1085 | }
|
---|
| 1086 | }
|
---|
| 1087 |
|
---|
| 1088 |
|
---|
| 1089 | static void parse_asm_operands(ASMOperand *operands, int *nb_operands_ptr,
|
---|
| 1090 | int is_output)
|
---|
| 1091 | {
|
---|
| 1092 | ASMOperand *op;
|
---|
| 1093 | int nb_operands;
|
---|
| 1094 |
|
---|
| 1095 | if (tok != ':') {
|
---|
| 1096 | nb_operands = *nb_operands_ptr;
|
---|
| 1097 | for(;;) {
|
---|
[331] | 1098 | CString astr;
|
---|
[279] | 1099 | if (nb_operands >= MAX_ASM_OPERANDS)
|
---|
| 1100 | tcc_error("too many asm operands");
|
---|
| 1101 | op = &operands[nb_operands++];
|
---|
| 1102 | op->id = 0;
|
---|
| 1103 | if (tok == '[') {
|
---|
| 1104 | next();
|
---|
| 1105 | if (tok < TOK_IDENT)
|
---|
| 1106 | expect("identifier");
|
---|
| 1107 | op->id = tok;
|
---|
| 1108 | next();
|
---|
| 1109 | skip(']');
|
---|
| 1110 | }
|
---|
[331] | 1111 | parse_mult_str(&astr, "string constant");
|
---|
| 1112 | op->constraint = tcc_malloc(astr.size);
|
---|
| 1113 | strcpy(op->constraint, astr.data);
|
---|
| 1114 | cstr_free(&astr);
|
---|
[279] | 1115 | skip('(');
|
---|
| 1116 | gexpr();
|
---|
| 1117 | if (is_output) {
|
---|
[331] | 1118 | if (!(vtop->type.t & VT_ARRAY))
|
---|
| 1119 | test_lvalue();
|
---|
[279] | 1120 | } else {
|
---|
| 1121 | /* we want to avoid LLOCAL case, except when the 'm'
|
---|
| 1122 | constraint is used. Note that it may come from
|
---|
| 1123 | register storage, so we need to convert (reg)
|
---|
| 1124 | case */
|
---|
| 1125 | if ((vtop->r & VT_LVAL) &&
|
---|
| 1126 | ((vtop->r & VT_VALMASK) == VT_LLOCAL ||
|
---|
| 1127 | (vtop->r & VT_VALMASK) < VT_CONST) &&
|
---|
| 1128 | !strchr(op->constraint, 'm')) {
|
---|
| 1129 | gv(RC_INT);
|
---|
| 1130 | }
|
---|
| 1131 | }
|
---|
| 1132 | op->vt = vtop;
|
---|
| 1133 | skip(')');
|
---|
| 1134 | if (tok == ',') {
|
---|
| 1135 | next();
|
---|
| 1136 | } else {
|
---|
| 1137 | break;
|
---|
| 1138 | }
|
---|
| 1139 | }
|
---|
| 1140 | *nb_operands_ptr = nb_operands;
|
---|
| 1141 | }
|
---|
| 1142 | }
|
---|
| 1143 |
|
---|
| 1144 | /* parse the GCC asm() instruction */
|
---|
| 1145 | ST_FUNC void asm_instr(void)
|
---|
| 1146 | {
|
---|
| 1147 | CString astr, astr1;
|
---|
| 1148 | ASMOperand operands[MAX_ASM_OPERANDS];
|
---|
| 1149 | int nb_outputs, nb_operands, i, must_subst, out_reg;
|
---|
| 1150 | uint8_t clobber_regs[NB_ASM_REGS];
|
---|
| 1151 |
|
---|
| 1152 | next();
|
---|
| 1153 | /* since we always generate the asm() instruction, we can ignore
|
---|
| 1154 | volatile */
|
---|
| 1155 | if (tok == TOK_VOLATILE1 || tok == TOK_VOLATILE2 || tok == TOK_VOLATILE3) {
|
---|
| 1156 | next();
|
---|
| 1157 | }
|
---|
| 1158 | parse_asm_str(&astr);
|
---|
| 1159 | nb_operands = 0;
|
---|
| 1160 | nb_outputs = 0;
|
---|
| 1161 | must_subst = 0;
|
---|
| 1162 | memset(clobber_regs, 0, sizeof(clobber_regs));
|
---|
| 1163 | if (tok == ':') {
|
---|
| 1164 | next();
|
---|
| 1165 | must_subst = 1;
|
---|
| 1166 | /* output args */
|
---|
| 1167 | parse_asm_operands(operands, &nb_operands, 1);
|
---|
| 1168 | nb_outputs = nb_operands;
|
---|
| 1169 | if (tok == ':') {
|
---|
| 1170 | next();
|
---|
| 1171 | if (tok != ')') {
|
---|
| 1172 | /* input args */
|
---|
| 1173 | parse_asm_operands(operands, &nb_operands, 0);
|
---|
| 1174 | if (tok == ':') {
|
---|
| 1175 | /* clobber list */
|
---|
| 1176 | /* XXX: handle registers */
|
---|
| 1177 | next();
|
---|
| 1178 | for(;;) {
|
---|
| 1179 | if (tok != TOK_STR)
|
---|
| 1180 | expect("string constant");
|
---|
[331] | 1181 | asm_clobber(clobber_regs, tokc.str.data);
|
---|
[279] | 1182 | next();
|
---|
| 1183 | if (tok == ',') {
|
---|
| 1184 | next();
|
---|
| 1185 | } else {
|
---|
| 1186 | break;
|
---|
| 1187 | }
|
---|
| 1188 | }
|
---|
| 1189 | }
|
---|
| 1190 | }
|
---|
| 1191 | }
|
---|
| 1192 | }
|
---|
| 1193 | skip(')');
|
---|
| 1194 | /* NOTE: we do not eat the ';' so that we can restore the current
|
---|
| 1195 | token after the assembler parsing */
|
---|
| 1196 | if (tok != ';')
|
---|
| 1197 | expect("';'");
|
---|
| 1198 |
|
---|
| 1199 | /* save all values in the memory */
|
---|
| 1200 | save_regs(0);
|
---|
| 1201 |
|
---|
| 1202 | /* compute constraints */
|
---|
| 1203 | asm_compute_constraints(operands, nb_operands, nb_outputs,
|
---|
| 1204 | clobber_regs, &out_reg);
|
---|
| 1205 |
|
---|
| 1206 | /* substitute the operands in the asm string. No substitution is
|
---|
| 1207 | done if no operands (GCC behaviour) */
|
---|
| 1208 | #ifdef ASM_DEBUG
|
---|
| 1209 | printf("asm: \"%s\"\n", (char *)astr.data);
|
---|
| 1210 | #endif
|
---|
| 1211 | if (must_subst) {
|
---|
[331] | 1212 | subst_asm_operands(operands, nb_operands, &astr1, &astr);
|
---|
[279] | 1213 | cstr_free(&astr);
|
---|
| 1214 | } else {
|
---|
| 1215 | astr1 = astr;
|
---|
| 1216 | }
|
---|
| 1217 | #ifdef ASM_DEBUG
|
---|
| 1218 | printf("subst_asm: \"%s\"\n", (char *)astr1.data);
|
---|
| 1219 | #endif
|
---|
| 1220 |
|
---|
| 1221 | /* generate loads */
|
---|
| 1222 | asm_gen_code(operands, nb_operands, nb_outputs, 0,
|
---|
| 1223 | clobber_regs, out_reg);
|
---|
| 1224 |
|
---|
| 1225 | /* assemble the string with tcc internal assembler */
|
---|
[331] | 1226 | tcc_assemble_inline(tcc_state, astr1.data, astr1.size - 1, 0);
|
---|
[279] | 1227 |
|
---|
| 1228 | /* restore the current C token */
|
---|
| 1229 | next();
|
---|
| 1230 |
|
---|
| 1231 | /* store the output values if needed */
|
---|
| 1232 | asm_gen_code(operands, nb_operands, nb_outputs, 1,
|
---|
| 1233 | clobber_regs, out_reg);
|
---|
| 1234 |
|
---|
| 1235 | /* free everything */
|
---|
| 1236 | for(i=0;i<nb_operands;i++) {
|
---|
| 1237 | ASMOperand *op;
|
---|
| 1238 | op = &operands[i];
|
---|
| 1239 | tcc_free(op->constraint);
|
---|
| 1240 | vpop();
|
---|
| 1241 | }
|
---|
| 1242 | cstr_free(&astr1);
|
---|
| 1243 | }
|
---|
| 1244 |
|
---|
| 1245 | ST_FUNC void asm_global_instr(void)
|
---|
| 1246 | {
|
---|
| 1247 | CString astr;
|
---|
[331] | 1248 | int saved_nocode_wanted = nocode_wanted;
|
---|
[279] | 1249 |
|
---|
[331] | 1250 | /* Global asm blocks are always emitted. */
|
---|
| 1251 | nocode_wanted = 0;
|
---|
[279] | 1252 | next();
|
---|
| 1253 | parse_asm_str(&astr);
|
---|
| 1254 | skip(')');
|
---|
| 1255 | /* NOTE: we do not eat the ';' so that we can restore the current
|
---|
| 1256 | token after the assembler parsing */
|
---|
| 1257 | if (tok != ';')
|
---|
| 1258 | expect("';'");
|
---|
| 1259 |
|
---|
| 1260 | #ifdef ASM_DEBUG
|
---|
| 1261 | printf("asm_global: \"%s\"\n", (char *)astr.data);
|
---|
| 1262 | #endif
|
---|
| 1263 | cur_text_section = text_section;
|
---|
| 1264 | ind = cur_text_section->data_offset;
|
---|
| 1265 |
|
---|
| 1266 | /* assemble the string with tcc internal assembler */
|
---|
[331] | 1267 | tcc_assemble_inline(tcc_state, astr.data, astr.size - 1, 1);
|
---|
[279] | 1268 |
|
---|
| 1269 | cur_text_section->data_offset = ind;
|
---|
| 1270 |
|
---|
| 1271 | /* restore the current C token */
|
---|
| 1272 | next();
|
---|
| 1273 |
|
---|
| 1274 | cstr_free(&astr);
|
---|
[331] | 1275 | nocode_wanted = saved_nocode_wanted;
|
---|
[279] | 1276 | }
|
---|
| 1277 | #endif /* CONFIG_TCC_ASM */
|
---|