02effee6a9
Correctly compute the type of an assignment expression.
...
This change enables following types of statements to work correctly:
a = b = 3;
if ((a = getchar()) < 0) { ... }
This fixes 2232082 acc: assignment in comparison segfaults
2009-11-09 12:52:45 +08:00
1c60e46e0e
Produce error rather than assert when encountering a nested function.
...
Remove extra '\n' characters from error messages.
Dynamically allocate error message buffer.
2009-09-18 15:03:03 -07:00
bb3e9c1814
Add a script "accarm" for ad-hoc testing of the ARM acc compiler.
...
This script copies the test file over to the ARM, runs the acc compiler
on ARM, and then prints out the results.
It also syncs the acc compiler binary over to the ARM.
2009-09-10 12:45:31 -07:00
d5315573d7
Move ARM disassembler out of libacc and into the acc command-line tool.
2009-09-09 13:19:34 -07:00
5fd66ae01e
Improve address operator (unary &).
...
Until now the address operator only worked with simple variables.
Now it works with arbitrary expressions (that are lvalues or function
names). So for example this now works:
struct S { int a[10]};
int f(struct S* p) {
return &p->a[3];
}
2009-09-04 15:24:23 -07:00
9221bcccb3
Preliminary struct and union support.
...
Working features:
- struct
- union
- nested structs
- anonymous structs
- forward declarations
- '.' and '->'
- copying structs using '='
Missing features:
- passing structs by value
- returning structs by value
- typedef
- sizeof
Example:
struct v {float x, y, z, w; };
void add(struct v* result, struct v* a, struct v* b) {
result->x = a->x + b->x;
result->y = a->y + b->y;
result->z = a->z + b->z;
result->w = a->w + b->w;
}
Reworked size-of and alignment logic to support structs.
Improved encoding of ARM immediate constants.
2009-08-26 16:15:07 -07:00
c0f253359f
Make pointer casting work.
2009-08-25 12:23:43 -07:00
0f400c59b8
Add runtime check for whether or not the OTCC-output tests can be run.
...
This means we don't have to manually specify the --norunotcc flag.
2009-08-25 11:57:13 -07:00
d3abe3c40d
Add a --nox86 flag to allow disabling x86 tests
...
The x86 tests don't work on non-Linux systems.
2009-08-19 11:12:56 -07:00
0a01a5db56
Handle functions with anonymous arguments
...
Example:
int f(int a, int, int c) {
return a + c;
}
2009-08-19 10:53:43 -07:00
815d8b8fdb
Allow redefinition of macros.
...
Example:
#define A 3
#define A 4
This used to do strange things, but now works as it should.
2009-08-18 18:25:56 -07:00
0b1827a5b2
Allow '//'-style comments in #defines.
2009-08-18 17:44:12 -07:00
0b2de0de64
Allow parenthesized expressions as the value of defines
...
For example, this now works:
#define A (1 + 2)
Note that we still don't support defines with argument lists, so this is
still illegal:
#define A(X) (X + 2)
Also in this change: The compiler test script allows command-line
arguments to disable testing on ARM and to disable testing the output
of the old OTCC compiler.
Disabling testing on ARM is handy for developing front-end code when no
device or emulator is available.
Disabling testing OTCC output is handy for some 64-bit Linux environments,
because the original OTCC needs some tweaking to be fully compatible, and
I don't have time to investigate this problem right now.
2009-08-18 16:04:03 -07:00
80e4972625
Support 2D arrays.
2009-08-04 15:39:49 -07:00
b61545096d
Implement arrays.
...
Added check to see that pointer types are compatible when passing function
arguments.
2009-08-04 14:56:09 -07:00
c9b8ffc389
Add support for "short" data type.
2009-08-03 14:42:57 -07:00
96138992ac
Fix parsing of function declarations that return pointers.
...
Check that <op>= only evaluates the left-hand-side once.
2009-07-31 15:58:19 -07:00
47cbea9c69
Support brackets for accessing array values.
...
Don't yet support allocating arrays.
2009-07-31 15:25:53 -07:00
aaac9284b4
Implement pre-increment / pre-decrement
2009-07-31 14:34:34 -07:00
43aaee31b9
Support the comma operator.
2009-07-31 14:01:37 -07:00
0c01774816
Implement op=.
2009-07-31 12:00:39 -07:00
beb4fe95a0
Test multiple levels of pointer indirection.
2009-07-31 11:27:29 -07:00
8f361faffc
Fix bad ARM code generation for '||' and '&&' operators.
...
Add tests of '&', '&&', '|' and '||' operators.
2009-07-30 16:19:43 -07:00
9f51a26961
Load function symbols using lea syntax.
...
Use a common code path for ordinary, forward, and indirect calls.
2009-07-29 16:22:26 -07:00
ddf7c9c141
Implement inc/dec in a more lval-friendly way.
2009-07-29 10:28:18 -07:00
89baa2083f
Fix the ARM postdecrement operator.
...
Add a test for ++ and -- so this bug won't happen again.
2009-07-23 11:45:15 -07:00
8148c5be54
Coerce R0 to destination type before storing it into a variable.
2009-07-16 18:24:47 -07:00
2aaf21f1be
Improve numerical constant parsing.
2009-07-15 16:16:37 -07:00
8c246a9dc2
Add accRegisterSymbolCallback API to control external symbol linkage.
...
Until now dlsym was used to lookup external symbols. Now you can
register your own function to be called when an undefined symbol is
used.
2009-07-14 21:14:10 -07:00
fd3db48e2e
Add test for passing floats and doubles as ints, floats, and doubles.
2009-07-14 19:39:36 -07:00
37c54bd22e
Make forward declarations of external symbols really work.
...
Until now we had always been treating external variables as "int",
and external functions as int (...);
2009-07-14 18:35:36 -07:00
a8f427f606
Implement pointer arithmetic.
2009-07-13 18:40:08 -07:00
25c0ccaed4
Implement support for "char" local and global variables.
2009-07-13 16:56:28 -07:00
45431bc252
Implement general casts and pointer dereferencing.
...
Prior to this casts and pointer dereferencing were special-cased.
2009-07-13 15:57:26 -07:00
59178c0a3d
Run tests on both ARM and x86
2009-07-13 14:15:18 -07:00
b7718b973c
Implement floating point for ARM.
2009-07-09 22:00:24 -07:00
bab8064203
Add x86 floating point test.
2009-07-09 13:54:54 -07:00
2a4e1a9f88
Finish implementing x86 floating point
...
Support floating-point if/while statements: if(1.0) { ... }
Support reading values from float and double pointers.
And some additional error checking.
Detect malformed "return" statements
Detect passing the results of "void" functions as arguments.
2009-07-09 13:34:25 -07:00
a39749f641
Implement x86 floating point operations
...
+ unary floating point operation -
+ unary floating point compare: !
+ binary floating point operations +-*/
+ binary floating point comparisons: < <= == != >= >
2009-07-08 20:40:31 -07:00
9cbd226960
Implement global, local, and stack based float and double variables.
2009-07-08 16:48:41 -07:00
128ad2d204
Implement x86 int <--> float.
2009-07-08 14:51:31 -07:00
1a539db23c
Some x86 floating point code works.
...
We now check the types and number of arguments to a function.
2009-07-08 13:04:41 -07:00
95727a0b05
Initial support for float, double.
2009-07-06 12:07:15 -07:00
40600de143
Clean up expression code.
...
Concatenate adjacent string literals.
2009-07-01 15:32:35 -07:00
609c994f7b
Rewrite compiler test using python.
...
Nice because we're now checking the output for success/failure
automatically rather than by eye.
2009-06-25 13:55:12 -07:00
422972cb12
Align ARM stack pointer to an 8-byte boundary when calling functions.
...
This is required by the ARM EABI standard.
2009-06-17 19:13:52 -07:00
b4758ff1de
Implement string and character backslash constants.
...
Until now we only supported '\n'. Now we support everything, including
octal ('\033') and hex '\x27' constants.
2009-06-12 12:49:14 -07:00
a6baa23f08
Improve symbol-related error checking
...
+ Duplicate symbols.
+ Undefined variables;
+ Forward-referenced functions that were never defined.
2009-06-12 11:25:59 -07:00
61d22dc763
Improve nested variable test.
...
Test that we can have two levels of local variables.
2009-06-11 22:03:24 -07:00
303d8ffca9
Improve local variable scoping.
...
Until now we faked local variables -- they only worked correctly if
there was no overlap between local variables and global variables.
Use a symbol table stack instead of a string list.
Fix bug with looking up undefined symbols.
2009-06-11 21:47:57 -07:00
Jack Palevich