[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 |
|
---|
| 34 | ST_FUNC void asm_expr(TCCState *s1, ExprValue *pe);
|
---|
| 35 |
|
---|
| 36 | /* We do not use the C expression parser to handle symbols. Maybe the
|
---|
| 37 | C expression parser could be tweaked to do so. */
|
---|
| 38 |
|
---|
| 39 | static void asm_expr_unary(TCCState *s1, ExprValue *pe)
|
---|
| 40 | {
|
---|
| 41 | Sym *sym;
|
---|
| 42 | int op, n, label;
|
---|
| 43 | const char *p;
|
---|
| 44 |
|
---|
| 45 | switch(tok) {
|
---|
| 46 | case TOK_PPNUM:
|
---|
| 47 | p = tokc.cstr->data;
|
---|
| 48 | n = strtoul(p, (char **)&p, 0);
|
---|
| 49 | if (*p == 'b' || *p == 'f') {
|
---|
| 50 | /* backward or forward label */
|
---|
| 51 | label = asm_get_local_label_name(s1, n);
|
---|
| 52 | sym = label_find(label);
|
---|
| 53 | if (*p == 'b') {
|
---|
| 54 | /* backward : find the last corresponding defined label */
|
---|
| 55 | if (sym && sym->r == 0)
|
---|
| 56 | sym = sym->prev_tok;
|
---|
| 57 | if (!sym)
|
---|
| 58 | tcc_error("local label '%d' not found backward", n);
|
---|
| 59 | } else {
|
---|
| 60 | /* forward */
|
---|
| 61 | if (!sym || sym->r) {
|
---|
| 62 | /* if the last label is defined, then define a new one */
|
---|
| 63 | sym = label_push(&s1->asm_labels, label, 0);
|
---|
| 64 | sym->type.t = VT_STATIC | VT_VOID;
|
---|
| 65 | }
|
---|
| 66 | }
|
---|
| 67 | pe->v = 0;
|
---|
| 68 | pe->sym = sym;
|
---|
| 69 | } else if (*p == '\0') {
|
---|
| 70 | pe->v = n;
|
---|
| 71 | pe->sym = NULL;
|
---|
| 72 | } else {
|
---|
| 73 | tcc_error("invalid number syntax");
|
---|
| 74 | }
|
---|
| 75 | next();
|
---|
| 76 | break;
|
---|
| 77 | case '+':
|
---|
| 78 | next();
|
---|
| 79 | asm_expr_unary(s1, pe);
|
---|
| 80 | break;
|
---|
| 81 | case '-':
|
---|
| 82 | case '~':
|
---|
| 83 | op = tok;
|
---|
| 84 | next();
|
---|
| 85 | asm_expr_unary(s1, pe);
|
---|
| 86 | if (pe->sym)
|
---|
| 87 | tcc_error("invalid operation with label");
|
---|
| 88 | if (op == '-')
|
---|
| 89 | pe->v = -pe->v;
|
---|
| 90 | else
|
---|
| 91 | pe->v = ~pe->v;
|
---|
| 92 | break;
|
---|
| 93 | case TOK_CCHAR:
|
---|
| 94 | case TOK_LCHAR:
|
---|
| 95 | pe->v = tokc.i;
|
---|
| 96 | pe->sym = NULL;
|
---|
| 97 | next();
|
---|
| 98 | break;
|
---|
| 99 | case '(':
|
---|
| 100 | next();
|
---|
| 101 | asm_expr(s1, pe);
|
---|
| 102 | skip(')');
|
---|
| 103 | break;
|
---|
| 104 | default:
|
---|
| 105 | if (tok >= TOK_IDENT) {
|
---|
| 106 | /* label case : if the label was not found, add one */
|
---|
| 107 | sym = label_find(tok);
|
---|
| 108 | if (!sym) {
|
---|
| 109 | sym = label_push(&s1->asm_labels, tok, 0);
|
---|
| 110 | /* NOTE: by default, the symbol is global */
|
---|
| 111 | sym->type.t = VT_VOID;
|
---|
| 112 | }
|
---|
| 113 | if (sym->r == SHN_ABS) {
|
---|
| 114 | /* if absolute symbol, no need to put a symbol value */
|
---|
| 115 | pe->v = sym->jnext;
|
---|
| 116 | pe->sym = NULL;
|
---|
| 117 | } else {
|
---|
| 118 | pe->v = 0;
|
---|
| 119 | pe->sym = sym;
|
---|
| 120 | }
|
---|
| 121 | next();
|
---|
| 122 | } else {
|
---|
| 123 | tcc_error("bad expression syntax [%s]", get_tok_str(tok, &tokc));
|
---|
| 124 | }
|
---|
| 125 | break;
|
---|
| 126 | }
|
---|
| 127 | }
|
---|
| 128 |
|
---|
| 129 | static void asm_expr_prod(TCCState *s1, ExprValue *pe)
|
---|
| 130 | {
|
---|
| 131 | int op;
|
---|
| 132 | ExprValue e2;
|
---|
| 133 |
|
---|
| 134 | asm_expr_unary(s1, pe);
|
---|
| 135 | for(;;) {
|
---|
| 136 | op = tok;
|
---|
| 137 | if (op != '*' && op != '/' && op != '%' &&
|
---|
| 138 | op != TOK_SHL && op != TOK_SAR)
|
---|
| 139 | break;
|
---|
| 140 | next();
|
---|
| 141 | asm_expr_unary(s1, &e2);
|
---|
| 142 | if (pe->sym || e2.sym)
|
---|
| 143 | tcc_error("invalid operation with label");
|
---|
| 144 | switch(op) {
|
---|
| 145 | case '*':
|
---|
| 146 | pe->v *= e2.v;
|
---|
| 147 | break;
|
---|
| 148 | case '/':
|
---|
| 149 | if (e2.v == 0) {
|
---|
| 150 | div_error:
|
---|
| 151 | tcc_error("division by zero");
|
---|
| 152 | }
|
---|
| 153 | pe->v /= e2.v;
|
---|
| 154 | break;
|
---|
| 155 | case '%':
|
---|
| 156 | if (e2.v == 0)
|
---|
| 157 | goto div_error;
|
---|
| 158 | pe->v %= e2.v;
|
---|
| 159 | break;
|
---|
| 160 | case TOK_SHL:
|
---|
| 161 | pe->v <<= e2.v;
|
---|
| 162 | break;
|
---|
| 163 | default:
|
---|
| 164 | case TOK_SAR:
|
---|
| 165 | pe->v >>= e2.v;
|
---|
| 166 | break;
|
---|
| 167 | }
|
---|
| 168 | }
|
---|
| 169 | }
|
---|
| 170 |
|
---|
| 171 | static void asm_expr_logic(TCCState *s1, ExprValue *pe)
|
---|
| 172 | {
|
---|
| 173 | int op;
|
---|
| 174 | ExprValue e2;
|
---|
| 175 |
|
---|
| 176 | asm_expr_prod(s1, pe);
|
---|
| 177 | for(;;) {
|
---|
| 178 | op = tok;
|
---|
| 179 | if (op != '&' && op != '|' && op != '^')
|
---|
| 180 | break;
|
---|
| 181 | next();
|
---|
| 182 | asm_expr_prod(s1, &e2);
|
---|
| 183 | if (pe->sym || e2.sym)
|
---|
| 184 | tcc_error("invalid operation with label");
|
---|
| 185 | switch(op) {
|
---|
| 186 | case '&':
|
---|
| 187 | pe->v &= e2.v;
|
---|
| 188 | break;
|
---|
| 189 | case '|':
|
---|
| 190 | pe->v |= e2.v;
|
---|
| 191 | break;
|
---|
| 192 | default:
|
---|
| 193 | case '^':
|
---|
| 194 | pe->v ^= e2.v;
|
---|
| 195 | break;
|
---|
| 196 | }
|
---|
| 197 | }
|
---|
| 198 | }
|
---|
| 199 |
|
---|
| 200 | static inline void asm_expr_sum(TCCState *s1, ExprValue *pe)
|
---|
| 201 | {
|
---|
| 202 | int op;
|
---|
| 203 | ExprValue e2;
|
---|
| 204 |
|
---|
| 205 | asm_expr_logic(s1, pe);
|
---|
| 206 | for(;;) {
|
---|
| 207 | op = tok;
|
---|
| 208 | if (op != '+' && op != '-')
|
---|
| 209 | break;
|
---|
| 210 | next();
|
---|
| 211 | asm_expr_logic(s1, &e2);
|
---|
| 212 | if (op == '+') {
|
---|
| 213 | if (pe->sym != NULL && e2.sym != NULL)
|
---|
| 214 | goto cannot_relocate;
|
---|
| 215 | pe->v += e2.v;
|
---|
| 216 | if (pe->sym == NULL && e2.sym != NULL)
|
---|
| 217 | pe->sym = e2.sym;
|
---|
| 218 | } else {
|
---|
| 219 | pe->v -= e2.v;
|
---|
| 220 | /* NOTE: we are less powerful than gas in that case
|
---|
| 221 | because we store only one symbol in the expression */
|
---|
| 222 | if (!pe->sym && !e2.sym) {
|
---|
| 223 | /* OK */
|
---|
| 224 | } else if (pe->sym && !e2.sym) {
|
---|
| 225 | /* OK */
|
---|
| 226 | } else if (pe->sym && e2.sym) {
|
---|
| 227 | if (pe->sym == e2.sym) {
|
---|
| 228 | /* OK */
|
---|
| 229 | } else if (pe->sym->r == e2.sym->r && pe->sym->r != 0) {
|
---|
| 230 | /* we also accept defined symbols in the same section */
|
---|
| 231 | pe->v += pe->sym->jnext - e2.sym->jnext;
|
---|
| 232 | } else {
|
---|
| 233 | goto cannot_relocate;
|
---|
| 234 | }
|
---|
| 235 | pe->sym = NULL; /* same symbols can be substracted to NULL */
|
---|
| 236 | } else {
|
---|
| 237 | cannot_relocate:
|
---|
| 238 | tcc_error("invalid operation with label");
|
---|
| 239 | }
|
---|
| 240 | }
|
---|
| 241 | }
|
---|
| 242 | }
|
---|
| 243 |
|
---|
| 244 | ST_FUNC void asm_expr(TCCState *s1, ExprValue *pe)
|
---|
| 245 | {
|
---|
| 246 | asm_expr_sum(s1, pe);
|
---|
| 247 | }
|
---|
| 248 |
|
---|
| 249 | ST_FUNC int asm_int_expr(TCCState *s1)
|
---|
| 250 | {
|
---|
| 251 | ExprValue e;
|
---|
| 252 | asm_expr(s1, &e);
|
---|
| 253 | if (e.sym)
|
---|
| 254 | expect("constant");
|
---|
| 255 | return e.v;
|
---|
| 256 | }
|
---|
| 257 |
|
---|
| 258 | /* NOTE: the same name space as C labels is used to avoid using too
|
---|
| 259 | much memory when storing labels in TokenStrings */
|
---|
| 260 | static void asm_new_label1(TCCState *s1, int label, int is_local,
|
---|
| 261 | int sh_num, int value)
|
---|
| 262 | {
|
---|
| 263 | Sym *sym;
|
---|
| 264 |
|
---|
| 265 | sym = label_find(label);
|
---|
| 266 | if (sym) {
|
---|
| 267 | if (sym->r) {
|
---|
| 268 | /* the label is already defined */
|
---|
| 269 | if (!is_local) {
|
---|
| 270 | tcc_error("assembler label '%s' already defined",
|
---|
| 271 | get_tok_str(label, NULL));
|
---|
| 272 | } else {
|
---|
| 273 | /* redefinition of local labels is possible */
|
---|
| 274 | goto new_label;
|
---|
| 275 | }
|
---|
| 276 | }
|
---|
| 277 | } else {
|
---|
| 278 | new_label:
|
---|
| 279 | sym = label_push(&s1->asm_labels, label, 0);
|
---|
| 280 | sym->type.t = VT_STATIC | VT_VOID;
|
---|
| 281 | }
|
---|
| 282 | sym->r = sh_num;
|
---|
| 283 | sym->jnext = value;
|
---|
| 284 | }
|
---|
| 285 |
|
---|
| 286 | static void asm_new_label(TCCState *s1, int label, int is_local)
|
---|
| 287 | {
|
---|
| 288 | asm_new_label1(s1, label, is_local, cur_text_section->sh_num, ind);
|
---|
| 289 | }
|
---|
| 290 |
|
---|
| 291 | static void asm_free_labels(TCCState *st)
|
---|
| 292 | {
|
---|
| 293 | Sym *s, *s1;
|
---|
| 294 | Section *sec;
|
---|
| 295 |
|
---|
| 296 | for(s = st->asm_labels; s != NULL; s = s1) {
|
---|
| 297 | s1 = s->prev;
|
---|
| 298 | /* define symbol value in object file */
|
---|
| 299 | if (s->r) {
|
---|
| 300 | if (s->r == SHN_ABS)
|
---|
| 301 | sec = SECTION_ABS;
|
---|
| 302 | else
|
---|
| 303 | sec = st->sections[s->r];
|
---|
| 304 | put_extern_sym2(s, sec, s->jnext, 0, 0);
|
---|
| 305 | }
|
---|
| 306 | /* remove label */
|
---|
| 307 | table_ident[s->v - TOK_IDENT]->sym_label = NULL;
|
---|
| 308 | sym_free(s);
|
---|
| 309 | }
|
---|
| 310 | st->asm_labels = NULL;
|
---|
| 311 | }
|
---|
| 312 |
|
---|
| 313 | static void use_section1(TCCState *s1, Section *sec)
|
---|
| 314 | {
|
---|
| 315 | cur_text_section->data_offset = ind;
|
---|
| 316 | cur_text_section = sec;
|
---|
| 317 | ind = cur_text_section->data_offset;
|
---|
| 318 | }
|
---|
| 319 |
|
---|
| 320 | static void use_section(TCCState *s1, const char *name)
|
---|
| 321 | {
|
---|
| 322 | Section *sec;
|
---|
| 323 | sec = find_section(s1, name);
|
---|
| 324 | use_section1(s1, sec);
|
---|
| 325 | }
|
---|
| 326 |
|
---|
| 327 | static void asm_parse_directive(TCCState *s1)
|
---|
| 328 | {
|
---|
| 329 | int n, offset, v, size, tok1;
|
---|
| 330 | Section *sec;
|
---|
| 331 | uint8_t *ptr;
|
---|
| 332 |
|
---|
| 333 | /* assembler directive */
|
---|
| 334 | next();
|
---|
| 335 | sec = cur_text_section;
|
---|
| 336 | switch(tok) {
|
---|
| 337 | case TOK_ASM_align:
|
---|
| 338 | case TOK_ASM_skip:
|
---|
| 339 | case TOK_ASM_space:
|
---|
| 340 | tok1 = tok;
|
---|
| 341 | next();
|
---|
| 342 | n = asm_int_expr(s1);
|
---|
| 343 | if (tok1 == TOK_ASM_align) {
|
---|
| 344 | if (n < 0 || (n & (n-1)) != 0)
|
---|
| 345 | tcc_error("alignment must be a positive power of two");
|
---|
| 346 | offset = (ind + n - 1) & -n;
|
---|
| 347 | size = offset - ind;
|
---|
| 348 | /* the section must have a compatible alignment */
|
---|
| 349 | if (sec->sh_addralign < n)
|
---|
| 350 | sec->sh_addralign = n;
|
---|
| 351 | } else {
|
---|
| 352 | size = n;
|
---|
| 353 | }
|
---|
| 354 | v = 0;
|
---|
| 355 | if (tok == ',') {
|
---|
| 356 | next();
|
---|
| 357 | v = asm_int_expr(s1);
|
---|
| 358 | }
|
---|
| 359 | zero_pad:
|
---|
| 360 | if (sec->sh_type != SHT_NOBITS) {
|
---|
| 361 | sec->data_offset = ind;
|
---|
| 362 | ptr = section_ptr_add(sec, size);
|
---|
| 363 | memset(ptr, v, size);
|
---|
| 364 | }
|
---|
| 365 | ind += size;
|
---|
| 366 | break;
|
---|
| 367 | case TOK_ASM_quad:
|
---|
| 368 | next();
|
---|
| 369 | for(;;) {
|
---|
| 370 | uint64_t vl;
|
---|
| 371 | const char *p;
|
---|
| 372 |
|
---|
| 373 | p = tokc.cstr->data;
|
---|
| 374 | if (tok != TOK_PPNUM) {
|
---|
| 375 | error_constant:
|
---|
| 376 | tcc_error("64 bit constant");
|
---|
| 377 | }
|
---|
| 378 | vl = strtoll(p, (char **)&p, 0);
|
---|
| 379 | if (*p != '\0')
|
---|
| 380 | goto error_constant;
|
---|
| 381 | next();
|
---|
| 382 | if (sec->sh_type != SHT_NOBITS) {
|
---|
| 383 | /* XXX: endianness */
|
---|
| 384 | gen_le32(vl);
|
---|
| 385 | gen_le32(vl >> 32);
|
---|
| 386 | } else {
|
---|
| 387 | ind += 8;
|
---|
| 388 | }
|
---|
| 389 | if (tok != ',')
|
---|
| 390 | break;
|
---|
| 391 | next();
|
---|
| 392 | }
|
---|
| 393 | break;
|
---|
| 394 | case TOK_ASM_byte:
|
---|
| 395 | size = 1;
|
---|
| 396 | goto asm_data;
|
---|
| 397 | case TOK_ASM_word:
|
---|
| 398 | case TOK_SHORT:
|
---|
| 399 | size = 2;
|
---|
| 400 | goto asm_data;
|
---|
| 401 | case TOK_LONG:
|
---|
| 402 | case TOK_INT:
|
---|
| 403 | size = 4;
|
---|
| 404 | asm_data:
|
---|
| 405 | next();
|
---|
| 406 | for(;;) {
|
---|
| 407 | ExprValue e;
|
---|
| 408 | asm_expr(s1, &e);
|
---|
| 409 | if (sec->sh_type != SHT_NOBITS) {
|
---|
| 410 | if (size == 4) {
|
---|
| 411 | gen_expr32(&e);
|
---|
| 412 | } else {
|
---|
| 413 | if (e.sym)
|
---|
| 414 | expect("constant");
|
---|
| 415 | if (size == 1)
|
---|
| 416 | g(e.v);
|
---|
| 417 | else
|
---|
| 418 | gen_le16(e.v);
|
---|
| 419 | }
|
---|
| 420 | } else {
|
---|
| 421 | ind += size;
|
---|
| 422 | }
|
---|
| 423 | if (tok != ',')
|
---|
| 424 | break;
|
---|
| 425 | next();
|
---|
| 426 | }
|
---|
| 427 | break;
|
---|
| 428 | case TOK_ASM_fill:
|
---|
| 429 | {
|
---|
| 430 | int repeat, size, val, i, j;
|
---|
| 431 | uint8_t repeat_buf[8];
|
---|
| 432 | next();
|
---|
| 433 | repeat = asm_int_expr(s1);
|
---|
| 434 | if (repeat < 0) {
|
---|
| 435 | tcc_error("repeat < 0; .fill ignored");
|
---|
| 436 | break;
|
---|
| 437 | }
|
---|
| 438 | size = 1;
|
---|
| 439 | val = 0;
|
---|
| 440 | if (tok == ',') {
|
---|
| 441 | next();
|
---|
| 442 | size = asm_int_expr(s1);
|
---|
| 443 | if (size < 0) {
|
---|
| 444 | tcc_error("size < 0; .fill ignored");
|
---|
| 445 | break;
|
---|
| 446 | }
|
---|
| 447 | if (size > 8)
|
---|
| 448 | size = 8;
|
---|
| 449 | if (tok == ',') {
|
---|
| 450 | next();
|
---|
| 451 | val = asm_int_expr(s1);
|
---|
| 452 | }
|
---|
| 453 | }
|
---|
| 454 | /* XXX: endianness */
|
---|
| 455 | repeat_buf[0] = val;
|
---|
| 456 | repeat_buf[1] = val >> 8;
|
---|
| 457 | repeat_buf[2] = val >> 16;
|
---|
| 458 | repeat_buf[3] = val >> 24;
|
---|
| 459 | repeat_buf[4] = 0;
|
---|
| 460 | repeat_buf[5] = 0;
|
---|
| 461 | repeat_buf[6] = 0;
|
---|
| 462 | repeat_buf[7] = 0;
|
---|
| 463 | for(i = 0; i < repeat; i++) {
|
---|
| 464 | for(j = 0; j < size; j++) {
|
---|
| 465 | g(repeat_buf[j]);
|
---|
| 466 | }
|
---|
| 467 | }
|
---|
| 468 | }
|
---|
| 469 | break;
|
---|
| 470 | case TOK_ASM_org:
|
---|
| 471 | {
|
---|
| 472 | unsigned long n;
|
---|
| 473 | next();
|
---|
| 474 | /* XXX: handle section symbols too */
|
---|
| 475 | n = asm_int_expr(s1);
|
---|
| 476 | if (n < ind)
|
---|
| 477 | tcc_error("attempt to .org backwards");
|
---|
| 478 | v = 0;
|
---|
| 479 | size = n - ind;
|
---|
| 480 | goto zero_pad;
|
---|
| 481 | }
|
---|
| 482 | break;
|
---|
| 483 | case TOK_ASM_globl:
|
---|
| 484 | case TOK_ASM_global:
|
---|
| 485 | case TOK_ASM_weak:
|
---|
| 486 | tok1 = tok;
|
---|
| 487 | do {
|
---|
| 488 | Sym *sym;
|
---|
| 489 |
|
---|
| 490 | next();
|
---|
| 491 | sym = label_find(tok);
|
---|
| 492 | if (!sym) {
|
---|
| 493 | sym = label_push(&s1->asm_labels, tok, 0);
|
---|
| 494 | sym->type.t = VT_VOID;
|
---|
| 495 | }
|
---|
| 496 | sym->type.t &= ~VT_STATIC;
|
---|
| 497 | if (tok1 == TOK_ASM_weak)
|
---|
| 498 | sym->type.t |= VT_WEAK;
|
---|
| 499 | next();
|
---|
| 500 | } while (tok == ',');
|
---|
| 501 | break;
|
---|
| 502 | case TOK_ASM_string:
|
---|
| 503 | case TOK_ASM_ascii:
|
---|
| 504 | case TOK_ASM_asciz:
|
---|
| 505 | {
|
---|
| 506 | const uint8_t *p;
|
---|
| 507 | int i, size, t;
|
---|
| 508 |
|
---|
| 509 | t = tok;
|
---|
| 510 | next();
|
---|
| 511 | for(;;) {
|
---|
| 512 | if (tok != TOK_STR)
|
---|
| 513 | expect("string constant");
|
---|
| 514 | p = tokc.cstr->data;
|
---|
| 515 | size = tokc.cstr->size;
|
---|
| 516 | if (t == TOK_ASM_ascii && size > 0)
|
---|
| 517 | size--;
|
---|
| 518 | for(i = 0; i < size; i++)
|
---|
| 519 | g(p[i]);
|
---|
| 520 | next();
|
---|
| 521 | if (tok == ',') {
|
---|
| 522 | next();
|
---|
| 523 | } else if (tok != TOK_STR) {
|
---|
| 524 | break;
|
---|
| 525 | }
|
---|
| 526 | }
|
---|
| 527 | }
|
---|
| 528 | break;
|
---|
| 529 | case TOK_ASM_text:
|
---|
| 530 | case TOK_ASM_data:
|
---|
| 531 | case TOK_ASM_bss:
|
---|
| 532 | {
|
---|
| 533 | char sname[64];
|
---|
| 534 | tok1 = tok;
|
---|
| 535 | n = 0;
|
---|
| 536 | next();
|
---|
| 537 | if (tok != ';' && tok != TOK_LINEFEED) {
|
---|
| 538 | n = asm_int_expr(s1);
|
---|
| 539 | next();
|
---|
| 540 | }
|
---|
| 541 | sprintf(sname, (n?".%s%d":".%s"), get_tok_str(tok1, NULL), n);
|
---|
| 542 | use_section(s1, sname);
|
---|
| 543 | }
|
---|
| 544 | break;
|
---|
| 545 | case TOK_ASM_file:
|
---|
| 546 | {
|
---|
| 547 | char filename[512];
|
---|
| 548 |
|
---|
| 549 | filename[0] = '\0';
|
---|
| 550 | next();
|
---|
| 551 |
|
---|
| 552 | if (tok == TOK_STR)
|
---|
| 553 | pstrcat(filename, sizeof(filename), tokc.cstr->data);
|
---|
| 554 | else
|
---|
| 555 | pstrcat(filename, sizeof(filename), get_tok_str(tok, NULL));
|
---|
| 556 |
|
---|
| 557 | if (s1->warn_unsupported)
|
---|
| 558 | tcc_warning("ignoring .file %s", filename);
|
---|
| 559 |
|
---|
| 560 | next();
|
---|
| 561 | }
|
---|
| 562 | break;
|
---|
| 563 | case TOK_ASM_ident:
|
---|
| 564 | {
|
---|
| 565 | char ident[256];
|
---|
| 566 |
|
---|
| 567 | ident[0] = '\0';
|
---|
| 568 | next();
|
---|
| 569 |
|
---|
| 570 | if (tok == TOK_STR)
|
---|
| 571 | pstrcat(ident, sizeof(ident), tokc.cstr->data);
|
---|
| 572 | else
|
---|
| 573 | pstrcat(ident, sizeof(ident), get_tok_str(tok, NULL));
|
---|
| 574 |
|
---|
| 575 | if (s1->warn_unsupported)
|
---|
| 576 | tcc_warning("ignoring .ident %s", ident);
|
---|
| 577 |
|
---|
| 578 | next();
|
---|
| 579 | }
|
---|
| 580 | break;
|
---|
| 581 | case TOK_ASM_size:
|
---|
| 582 | {
|
---|
| 583 | Sym *sym;
|
---|
| 584 |
|
---|
| 585 | next();
|
---|
| 586 | sym = label_find(tok);
|
---|
| 587 | if (!sym) {
|
---|
| 588 | tcc_error("label not found: %s", get_tok_str(tok, NULL));
|
---|
| 589 | }
|
---|
| 590 |
|
---|
| 591 | next();
|
---|
| 592 | skip(',');
|
---|
| 593 | /* XXX .size name,label2-label1 */
|
---|
| 594 | if (s1->warn_unsupported)
|
---|
| 595 | tcc_warning("ignoring .size %s,*", get_tok_str(tok, NULL));
|
---|
| 596 |
|
---|
| 597 | while (tok != '\n' && tok != CH_EOF) {
|
---|
| 598 | next();
|
---|
| 599 | }
|
---|
| 600 | }
|
---|
| 601 | break;
|
---|
| 602 | case TOK_ASM_type:
|
---|
| 603 | {
|
---|
| 604 | Sym *sym;
|
---|
| 605 | const char *newtype;
|
---|
| 606 |
|
---|
| 607 | next();
|
---|
| 608 | sym = label_find(tok);
|
---|
| 609 | if (!sym) {
|
---|
| 610 | sym = label_push(&s1->asm_labels, tok, 0);
|
---|
| 611 | sym->type.t = VT_VOID;
|
---|
| 612 | }
|
---|
| 613 |
|
---|
| 614 | next();
|
---|
| 615 | skip(',');
|
---|
| 616 | if (tok == TOK_STR) {
|
---|
| 617 | newtype = tokc.cstr->data;
|
---|
| 618 | } else {
|
---|
| 619 | if (tok == '@' || tok == '%')
|
---|
| 620 | skip(tok);
|
---|
| 621 | newtype = get_tok_str(tok, NULL);
|
---|
| 622 | }
|
---|
| 623 |
|
---|
| 624 | if (!strcmp(newtype, "function") || !strcmp(newtype, "STT_FUNC")) {
|
---|
| 625 | sym->type.t = VT_FUNC;
|
---|
| 626 | }
|
---|
| 627 | else if (s1->warn_unsupported)
|
---|
| 628 | tcc_warning("change type of '%s' from 0x%x to '%s' ignored",
|
---|
| 629 | get_tok_str(sym->v, NULL), sym->type.t, newtype);
|
---|
| 630 |
|
---|
| 631 | next();
|
---|
| 632 | }
|
---|
| 633 | break;
|
---|
| 634 | case TOK_SECTION1:
|
---|
| 635 | {
|
---|
| 636 | char sname[256];
|
---|
| 637 |
|
---|
| 638 | /* XXX: support more options */
|
---|
| 639 | next();
|
---|
| 640 | sname[0] = '\0';
|
---|
| 641 | while (tok != ';' && tok != TOK_LINEFEED && tok != ',') {
|
---|
| 642 | if (tok == TOK_STR)
|
---|
| 643 | pstrcat(sname, sizeof(sname), tokc.cstr->data);
|
---|
| 644 | else
|
---|
| 645 | pstrcat(sname, sizeof(sname), get_tok_str(tok, NULL));
|
---|
| 646 | next();
|
---|
| 647 | }
|
---|
| 648 | if (tok == ',') {
|
---|
| 649 | /* skip section options */
|
---|
| 650 | next();
|
---|
| 651 | if (tok != TOK_STR)
|
---|
| 652 | expect("string constant");
|
---|
| 653 | next();
|
---|
| 654 | }
|
---|
| 655 | last_text_section = cur_text_section;
|
---|
| 656 | use_section(s1, sname);
|
---|
| 657 | }
|
---|
| 658 | break;
|
---|
| 659 | case TOK_ASM_previous:
|
---|
| 660 | {
|
---|
| 661 | Section *sec;
|
---|
| 662 | next();
|
---|
| 663 | if (!last_text_section)
|
---|
| 664 | tcc_error("no previous section referenced");
|
---|
| 665 | sec = cur_text_section;
|
---|
| 666 | use_section1(s1, last_text_section);
|
---|
| 667 | last_text_section = sec;
|
---|
| 668 | }
|
---|
| 669 | break;
|
---|
| 670 | #ifdef TCC_TARGET_I386
|
---|
| 671 | case TOK_ASM_code16:
|
---|
| 672 | {
|
---|
| 673 | next();
|
---|
| 674 | s1->seg_size = 16;
|
---|
| 675 | }
|
---|
| 676 | break;
|
---|
| 677 | case TOK_ASM_code32:
|
---|
| 678 | {
|
---|
| 679 | next();
|
---|
| 680 | s1->seg_size = 32;
|
---|
| 681 | }
|
---|
| 682 | break;
|
---|
| 683 | #endif
|
---|
| 684 | #ifdef TCC_TARGET_X86_64
|
---|
| 685 | /* added for compatibility with GAS */
|
---|
| 686 | case TOK_ASM_code64:
|
---|
| 687 | next();
|
---|
| 688 | break;
|
---|
| 689 | #endif
|
---|
| 690 | default:
|
---|
| 691 | tcc_error("unknown assembler directive '.%s'", get_tok_str(tok, NULL));
|
---|
| 692 | break;
|
---|
| 693 | }
|
---|
| 694 | }
|
---|
| 695 |
|
---|
| 696 |
|
---|
| 697 | /* assemble a file */
|
---|
| 698 | static int tcc_assemble_internal(TCCState *s1, int do_preprocess)
|
---|
| 699 | {
|
---|
| 700 | int opcode;
|
---|
| 701 |
|
---|
| 702 | #if 0
|
---|
| 703 | /* print stats about opcodes */
|
---|
| 704 | {
|
---|
| 705 | const ASMInstr *pa;
|
---|
| 706 | int freq[4];
|
---|
| 707 | int op_vals[500];
|
---|
| 708 | int nb_op_vals, i, j;
|
---|
| 709 |
|
---|
| 710 | nb_op_vals = 0;
|
---|
| 711 | memset(freq, 0, sizeof(freq));
|
---|
| 712 | for(pa = asm_instrs; pa->sym != 0; pa++) {
|
---|
| 713 | freq[pa->nb_ops]++;
|
---|
| 714 | for(i=0;i<pa->nb_ops;i++) {
|
---|
| 715 | for(j=0;j<nb_op_vals;j++) {
|
---|
| 716 | if (pa->op_type[i] == op_vals[j])
|
---|
| 717 | goto found;
|
---|
| 718 | }
|
---|
| 719 | op_vals[nb_op_vals++] = pa->op_type[i];
|
---|
| 720 | found: ;
|
---|
| 721 | }
|
---|
| 722 | }
|
---|
| 723 | for(i=0;i<nb_op_vals;i++) {
|
---|
| 724 | int v = op_vals[i];
|
---|
| 725 | if ((v & (v - 1)) != 0)
|
---|
| 726 | printf("%3d: %08x\n", i, v);
|
---|
| 727 | }
|
---|
| 728 | printf("size=%d nb=%d f0=%d f1=%d f2=%d f3=%d\n",
|
---|
| 729 | sizeof(asm_instrs), sizeof(asm_instrs) / sizeof(ASMInstr),
|
---|
| 730 | freq[0], freq[1], freq[2], freq[3]);
|
---|
| 731 | }
|
---|
| 732 | #endif
|
---|
| 733 |
|
---|
| 734 | /* XXX: undefine C labels */
|
---|
| 735 |
|
---|
| 736 | ch = file->buf_ptr[0];
|
---|
| 737 | tok_flags = TOK_FLAG_BOL | TOK_FLAG_BOF;
|
---|
| 738 | parse_flags = PARSE_FLAG_ASM_COMMENTS;
|
---|
| 739 | if (do_preprocess)
|
---|
| 740 | parse_flags |= PARSE_FLAG_PREPROCESS;
|
---|
| 741 | next();
|
---|
| 742 | for(;;) {
|
---|
| 743 | if (tok == TOK_EOF)
|
---|
| 744 | break;
|
---|
| 745 | parse_flags |= PARSE_FLAG_LINEFEED; /* XXX: suppress that hack */
|
---|
| 746 | redo:
|
---|
| 747 | if (tok == '#') {
|
---|
| 748 | /* horrible gas comment */
|
---|
| 749 | while (tok != TOK_LINEFEED)
|
---|
| 750 | next();
|
---|
| 751 | } else if (tok == '.') {
|
---|
| 752 | asm_parse_directive(s1);
|
---|
| 753 | } else if (tok == TOK_PPNUM) {
|
---|
| 754 | const char *p;
|
---|
| 755 | int n;
|
---|
| 756 | p = tokc.cstr->data;
|
---|
| 757 | n = strtoul(p, (char **)&p, 10);
|
---|
| 758 | if (*p != '\0')
|
---|
| 759 | expect("':'");
|
---|
| 760 | /* new local label */
|
---|
| 761 | asm_new_label(s1, asm_get_local_label_name(s1, n), 1);
|
---|
| 762 | next();
|
---|
| 763 | skip(':');
|
---|
| 764 | goto redo;
|
---|
| 765 | } else if (tok >= TOK_IDENT) {
|
---|
| 766 | /* instruction or label */
|
---|
| 767 | opcode = tok;
|
---|
| 768 | next();
|
---|
| 769 | if (tok == ':') {
|
---|
| 770 | /* new label */
|
---|
| 771 | asm_new_label(s1, opcode, 0);
|
---|
| 772 | next();
|
---|
| 773 | goto redo;
|
---|
| 774 | } else if (tok == '=') {
|
---|
| 775 | int n;
|
---|
| 776 | next();
|
---|
| 777 | n = asm_int_expr(s1);
|
---|
| 778 | asm_new_label1(s1, opcode, 0, SHN_ABS, n);
|
---|
| 779 | goto redo;
|
---|
| 780 | } else {
|
---|
| 781 | asm_opcode(s1, opcode);
|
---|
| 782 | }
|
---|
| 783 | }
|
---|
| 784 | /* end of line */
|
---|
| 785 | if (tok != ';' && tok != TOK_LINEFEED){
|
---|
| 786 | expect("end of line");
|
---|
| 787 | }
|
---|
| 788 | parse_flags &= ~PARSE_FLAG_LINEFEED; /* XXX: suppress that hack */
|
---|
| 789 | next();
|
---|
| 790 | }
|
---|
| 791 |
|
---|
| 792 | asm_free_labels(s1);
|
---|
| 793 |
|
---|
| 794 | return 0;
|
---|
| 795 | }
|
---|
| 796 |
|
---|
| 797 | /* Assemble the current file */
|
---|
| 798 | ST_FUNC int tcc_assemble(TCCState *s1, int do_preprocess)
|
---|
| 799 | {
|
---|
| 800 | Sym *define_start;
|
---|
| 801 | int ret;
|
---|
| 802 |
|
---|
| 803 | preprocess_init(s1);
|
---|
| 804 |
|
---|
| 805 | /* default section is text */
|
---|
| 806 | cur_text_section = text_section;
|
---|
| 807 | ind = cur_text_section->data_offset;
|
---|
| 808 |
|
---|
| 809 | define_start = define_stack;
|
---|
| 810 |
|
---|
| 811 | /* an elf symbol of type STT_FILE must be put so that STB_LOCAL
|
---|
| 812 | symbols can be safely used */
|
---|
| 813 | put_elf_sym(symtab_section, 0, 0,
|
---|
| 814 | ELFW(ST_INFO)(STB_LOCAL, STT_FILE), 0,
|
---|
| 815 | SHN_ABS, file->filename);
|
---|
| 816 |
|
---|
| 817 | ret = tcc_assemble_internal(s1, do_preprocess);
|
---|
| 818 |
|
---|
| 819 | cur_text_section->data_offset = ind;
|
---|
| 820 |
|
---|
| 821 | free_defines(define_start);
|
---|
| 822 |
|
---|
| 823 | return ret;
|
---|
| 824 | }
|
---|
| 825 |
|
---|
| 826 | /********************************************************************/
|
---|
| 827 | /* GCC inline asm support */
|
---|
| 828 |
|
---|
| 829 | /* assemble the string 'str' in the current C compilation unit without
|
---|
| 830 | C preprocessing. NOTE: str is modified by modifying the '\0' at the
|
---|
| 831 | end */
|
---|
| 832 | static void tcc_assemble_inline(TCCState *s1, char *str, int len)
|
---|
| 833 | {
|
---|
| 834 | int saved_parse_flags;
|
---|
| 835 | const int *saved_macro_ptr;
|
---|
| 836 |
|
---|
| 837 | saved_parse_flags = parse_flags;
|
---|
| 838 | saved_macro_ptr = macro_ptr;
|
---|
| 839 |
|
---|
| 840 | tcc_open_bf(s1, ":asm:", len);
|
---|
| 841 | memcpy(file->buffer, str, len);
|
---|
| 842 |
|
---|
| 843 | macro_ptr = NULL;
|
---|
| 844 | tcc_assemble_internal(s1, 0);
|
---|
| 845 | tcc_close();
|
---|
| 846 |
|
---|
| 847 | parse_flags = saved_parse_flags;
|
---|
| 848 | macro_ptr = saved_macro_ptr;
|
---|
| 849 | }
|
---|
| 850 |
|
---|
| 851 | /* find a constraint by its number or id (gcc 3 extended
|
---|
| 852 | syntax). return -1 if not found. Return in *pp in char after the
|
---|
| 853 | constraint */
|
---|
| 854 | ST_FUNC int find_constraint(ASMOperand *operands, int nb_operands,
|
---|
| 855 | const char *name, const char **pp)
|
---|
| 856 | {
|
---|
| 857 | int index;
|
---|
| 858 | TokenSym *ts;
|
---|
| 859 | const char *p;
|
---|
| 860 |
|
---|
| 861 | if (isnum(*name)) {
|
---|
| 862 | index = 0;
|
---|
| 863 | while (isnum(*name)) {
|
---|
| 864 | index = (index * 10) + (*name) - '0';
|
---|
| 865 | name++;
|
---|
| 866 | }
|
---|
| 867 | if ((unsigned)index >= nb_operands)
|
---|
| 868 | index = -1;
|
---|
| 869 | } else if (*name == '[') {
|
---|
| 870 | name++;
|
---|
| 871 | p = strchr(name, ']');
|
---|
| 872 | if (p) {
|
---|
| 873 | ts = tok_alloc(name, p - name);
|
---|
| 874 | for(index = 0; index < nb_operands; index++) {
|
---|
| 875 | if (operands[index].id == ts->tok)
|
---|
| 876 | goto found;
|
---|
| 877 | }
|
---|
| 878 | index = -1;
|
---|
| 879 | found:
|
---|
| 880 | name = p + 1;
|
---|
| 881 | } else {
|
---|
| 882 | index = -1;
|
---|
| 883 | }
|
---|
| 884 | } else {
|
---|
| 885 | index = -1;
|
---|
| 886 | }
|
---|
| 887 | if (pp)
|
---|
| 888 | *pp = name;
|
---|
| 889 | return index;
|
---|
| 890 | }
|
---|
| 891 |
|
---|
| 892 | static void subst_asm_operands(ASMOperand *operands, int nb_operands,
|
---|
| 893 | int nb_outputs,
|
---|
| 894 | CString *out_str, CString *in_str)
|
---|
| 895 | {
|
---|
| 896 | int c, index, modifier;
|
---|
| 897 | const char *str;
|
---|
| 898 | ASMOperand *op;
|
---|
| 899 | SValue sv;
|
---|
| 900 |
|
---|
| 901 | cstr_new(out_str);
|
---|
| 902 | str = in_str->data;
|
---|
| 903 | for(;;) {
|
---|
| 904 | c = *str++;
|
---|
| 905 | if (c == '%') {
|
---|
| 906 | if (*str == '%') {
|
---|
| 907 | str++;
|
---|
| 908 | goto add_char;
|
---|
| 909 | }
|
---|
| 910 | modifier = 0;
|
---|
| 911 | if (*str == 'c' || *str == 'n' ||
|
---|
| 912 | *str == 'b' || *str == 'w' || *str == 'h')
|
---|
| 913 | modifier = *str++;
|
---|
| 914 | index = find_constraint(operands, nb_operands, str, &str);
|
---|
| 915 | if (index < 0)
|
---|
| 916 | tcc_error("invalid operand reference after %%");
|
---|
| 917 | op = &operands[index];
|
---|
| 918 | sv = *op->vt;
|
---|
| 919 | if (op->reg >= 0) {
|
---|
| 920 | sv.r = op->reg;
|
---|
| 921 | if ((op->vt->r & VT_VALMASK) == VT_LLOCAL && op->is_memory)
|
---|
| 922 | sv.r |= VT_LVAL;
|
---|
| 923 | }
|
---|
| 924 | subst_asm_operand(out_str, &sv, modifier);
|
---|
| 925 | } else {
|
---|
| 926 | add_char:
|
---|
| 927 | cstr_ccat(out_str, c);
|
---|
| 928 | if (c == '\0')
|
---|
| 929 | break;
|
---|
| 930 | }
|
---|
| 931 | }
|
---|
| 932 | }
|
---|
| 933 |
|
---|
| 934 |
|
---|
| 935 | static void parse_asm_operands(ASMOperand *operands, int *nb_operands_ptr,
|
---|
| 936 | int is_output)
|
---|
| 937 | {
|
---|
| 938 | ASMOperand *op;
|
---|
| 939 | int nb_operands;
|
---|
| 940 |
|
---|
| 941 | if (tok != ':') {
|
---|
| 942 | nb_operands = *nb_operands_ptr;
|
---|
| 943 | for(;;) {
|
---|
| 944 | if (nb_operands >= MAX_ASM_OPERANDS)
|
---|
| 945 | tcc_error("too many asm operands");
|
---|
| 946 | op = &operands[nb_operands++];
|
---|
| 947 | op->id = 0;
|
---|
| 948 | if (tok == '[') {
|
---|
| 949 | next();
|
---|
| 950 | if (tok < TOK_IDENT)
|
---|
| 951 | expect("identifier");
|
---|
| 952 | op->id = tok;
|
---|
| 953 | next();
|
---|
| 954 | skip(']');
|
---|
| 955 | }
|
---|
| 956 | if (tok != TOK_STR)
|
---|
| 957 | expect("string constant");
|
---|
| 958 | op->constraint = tcc_malloc(tokc.cstr->size);
|
---|
| 959 | strcpy(op->constraint, tokc.cstr->data);
|
---|
| 960 | next();
|
---|
| 961 | skip('(');
|
---|
| 962 | gexpr();
|
---|
| 963 | if (is_output) {
|
---|
| 964 | test_lvalue();
|
---|
| 965 | } else {
|
---|
| 966 | /* we want to avoid LLOCAL case, except when the 'm'
|
---|
| 967 | constraint is used. Note that it may come from
|
---|
| 968 | register storage, so we need to convert (reg)
|
---|
| 969 | case */
|
---|
| 970 | if ((vtop->r & VT_LVAL) &&
|
---|
| 971 | ((vtop->r & VT_VALMASK) == VT_LLOCAL ||
|
---|
| 972 | (vtop->r & VT_VALMASK) < VT_CONST) &&
|
---|
| 973 | !strchr(op->constraint, 'm')) {
|
---|
| 974 | gv(RC_INT);
|
---|
| 975 | }
|
---|
| 976 | }
|
---|
| 977 | op->vt = vtop;
|
---|
| 978 | skip(')');
|
---|
| 979 | if (tok == ',') {
|
---|
| 980 | next();
|
---|
| 981 | } else {
|
---|
| 982 | break;
|
---|
| 983 | }
|
---|
| 984 | }
|
---|
| 985 | *nb_operands_ptr = nb_operands;
|
---|
| 986 | }
|
---|
| 987 | }
|
---|
| 988 |
|
---|
| 989 | /* parse the GCC asm() instruction */
|
---|
| 990 | ST_FUNC void asm_instr(void)
|
---|
| 991 | {
|
---|
| 992 | CString astr, astr1;
|
---|
| 993 | ASMOperand operands[MAX_ASM_OPERANDS];
|
---|
| 994 | int nb_outputs, nb_operands, i, must_subst, out_reg;
|
---|
| 995 | uint8_t clobber_regs[NB_ASM_REGS];
|
---|
| 996 |
|
---|
| 997 | next();
|
---|
| 998 | /* since we always generate the asm() instruction, we can ignore
|
---|
| 999 | volatile */
|
---|
| 1000 | if (tok == TOK_VOLATILE1 || tok == TOK_VOLATILE2 || tok == TOK_VOLATILE3) {
|
---|
| 1001 | next();
|
---|
| 1002 | }
|
---|
| 1003 | parse_asm_str(&astr);
|
---|
| 1004 | nb_operands = 0;
|
---|
| 1005 | nb_outputs = 0;
|
---|
| 1006 | must_subst = 0;
|
---|
| 1007 | memset(clobber_regs, 0, sizeof(clobber_regs));
|
---|
| 1008 | if (tok == ':') {
|
---|
| 1009 | next();
|
---|
| 1010 | must_subst = 1;
|
---|
| 1011 | /* output args */
|
---|
| 1012 | parse_asm_operands(operands, &nb_operands, 1);
|
---|
| 1013 | nb_outputs = nb_operands;
|
---|
| 1014 | if (tok == ':') {
|
---|
| 1015 | next();
|
---|
| 1016 | if (tok != ')') {
|
---|
| 1017 | /* input args */
|
---|
| 1018 | parse_asm_operands(operands, &nb_operands, 0);
|
---|
| 1019 | if (tok == ':') {
|
---|
| 1020 | /* clobber list */
|
---|
| 1021 | /* XXX: handle registers */
|
---|
| 1022 | next();
|
---|
| 1023 | for(;;) {
|
---|
| 1024 | if (tok != TOK_STR)
|
---|
| 1025 | expect("string constant");
|
---|
| 1026 | asm_clobber(clobber_regs, tokc.cstr->data);
|
---|
| 1027 | next();
|
---|
| 1028 | if (tok == ',') {
|
---|
| 1029 | next();
|
---|
| 1030 | } else {
|
---|
| 1031 | break;
|
---|
| 1032 | }
|
---|
| 1033 | }
|
---|
| 1034 | }
|
---|
| 1035 | }
|
---|
| 1036 | }
|
---|
| 1037 | }
|
---|
| 1038 | skip(')');
|
---|
| 1039 | /* NOTE: we do not eat the ';' so that we can restore the current
|
---|
| 1040 | token after the assembler parsing */
|
---|
| 1041 | if (tok != ';')
|
---|
| 1042 | expect("';'");
|
---|
| 1043 |
|
---|
| 1044 | /* save all values in the memory */
|
---|
| 1045 | save_regs(0);
|
---|
| 1046 |
|
---|
| 1047 | /* compute constraints */
|
---|
| 1048 | asm_compute_constraints(operands, nb_operands, nb_outputs,
|
---|
| 1049 | clobber_regs, &out_reg);
|
---|
| 1050 |
|
---|
| 1051 | /* substitute the operands in the asm string. No substitution is
|
---|
| 1052 | done if no operands (GCC behaviour) */
|
---|
| 1053 | #ifdef ASM_DEBUG
|
---|
| 1054 | printf("asm: \"%s\"\n", (char *)astr.data);
|
---|
| 1055 | #endif
|
---|
| 1056 | if (must_subst) {
|
---|
| 1057 | subst_asm_operands(operands, nb_operands, nb_outputs, &astr1, &astr);
|
---|
| 1058 | cstr_free(&astr);
|
---|
| 1059 | } else {
|
---|
| 1060 | astr1 = astr;
|
---|
| 1061 | }
|
---|
| 1062 | #ifdef ASM_DEBUG
|
---|
| 1063 | printf("subst_asm: \"%s\"\n", (char *)astr1.data);
|
---|
| 1064 | #endif
|
---|
| 1065 |
|
---|
| 1066 | /* generate loads */
|
---|
| 1067 | asm_gen_code(operands, nb_operands, nb_outputs, 0,
|
---|
| 1068 | clobber_regs, out_reg);
|
---|
| 1069 |
|
---|
| 1070 | /* assemble the string with tcc internal assembler */
|
---|
| 1071 | tcc_assemble_inline(tcc_state, astr1.data, astr1.size - 1);
|
---|
| 1072 |
|
---|
| 1073 | /* restore the current C token */
|
---|
| 1074 | next();
|
---|
| 1075 |
|
---|
| 1076 | /* store the output values if needed */
|
---|
| 1077 | asm_gen_code(operands, nb_operands, nb_outputs, 1,
|
---|
| 1078 | clobber_regs, out_reg);
|
---|
| 1079 |
|
---|
| 1080 | /* free everything */
|
---|
| 1081 | for(i=0;i<nb_operands;i++) {
|
---|
| 1082 | ASMOperand *op;
|
---|
| 1083 | op = &operands[i];
|
---|
| 1084 | tcc_free(op->constraint);
|
---|
| 1085 | vpop();
|
---|
| 1086 | }
|
---|
| 1087 | cstr_free(&astr1);
|
---|
| 1088 | }
|
---|
| 1089 |
|
---|
| 1090 | ST_FUNC void asm_global_instr(void)
|
---|
| 1091 | {
|
---|
| 1092 | CString astr;
|
---|
| 1093 |
|
---|
| 1094 | next();
|
---|
| 1095 | parse_asm_str(&astr);
|
---|
| 1096 | skip(')');
|
---|
| 1097 | /* NOTE: we do not eat the ';' so that we can restore the current
|
---|
| 1098 | token after the assembler parsing */
|
---|
| 1099 | if (tok != ';')
|
---|
| 1100 | expect("';'");
|
---|
| 1101 |
|
---|
| 1102 | #ifdef ASM_DEBUG
|
---|
| 1103 | printf("asm_global: \"%s\"\n", (char *)astr.data);
|
---|
| 1104 | #endif
|
---|
| 1105 | cur_text_section = text_section;
|
---|
| 1106 | ind = cur_text_section->data_offset;
|
---|
| 1107 |
|
---|
| 1108 | /* assemble the string with tcc internal assembler */
|
---|
| 1109 | tcc_assemble_inline(tcc_state, astr.data, astr.size - 1);
|
---|
| 1110 |
|
---|
| 1111 | cur_text_section->data_offset = ind;
|
---|
| 1112 |
|
---|
| 1113 | /* restore the current C token */
|
---|
| 1114 | next();
|
---|
| 1115 |
|
---|
| 1116 | cstr_free(&astr);
|
---|
| 1117 | }
|
---|
| 1118 | #endif /* CONFIG_TCC_ASM */
|
---|