Commit graph

145 commits

Author SHA1 Message Date
Jack Palevich
ba48fe2f4e Fix memory deallocation bug in toy vector class.
Yet another reason to use standard collection classes. :-)
2009-11-27 11:51:36 +08:00
Jack Palevich
a998b1c407 Fix static and shared library usage for acc and accRuntimeTest 2009-11-12 16:06:28 +08:00
Jack Palevich
b5d2ad66df Build accRuntimeTest with static library rather than shared library. 2009-11-12 15:38:44 +08:00
Jack Palevich
e0f9d91dc7 Skip OTCCANSI test on OS X
OS X can't load stderr/stdin/stdout through the DLL symbol lookup
interface, so it can't compile the otcc-ansi.c test.
2009-11-12 15:21:42 +08:00
Jack Palevich
464407588f Build acc tool with static rather than shared library.
OS X does not allow relative shared library path names in compiled apps,
so we have to create and link with a static library version of libacc.
2009-11-12 14:57:50 +08:00
Jack Palevich
13edb721c0 am 556c60f4: am 51da51a2: am 02effee6: Correctly compute the type of an assignment expression.
Merge commit '556c60f4f27e2a3bfde6a47acf876716ea8d5795'

* commit '556c60f4f27e2a3bfde6a47acf876716ea8d5795':
  Correctly compute the type of an assignment expression.
2009-11-09 16:28:51 -08:00
Jack Palevich
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
Jack Palevich
46f2bd2080 Fix type bug that breaks 64-bit OSX build. 2009-10-29 17:56:56 -07:00
Jack Palevich
c951c59232 Add support for the continue statement
Add error check for a break statement that's not inside a loop. (We just
generated bad code before. Oops!)
2009-10-29 15:04:27 -07:00
Jack Palevich
ee1f829dd4 Implement typedef. 2009-10-28 16:10:17 -07:00
Jack Palevich
22f5c6b8a2 Update FEATURES for recent additions. 2009-10-27 17:34:45 -07:00
Jack Palevich
188a5a7a3a Support nested macros. (Still don't support macro arguments.)
Now you can say:

    #define A B
    #define B C
    #define C 4

int x = A;

And it will work as expected.

Print an error message rather than assert when we're expecting a
function value, but don't find one.
2009-10-27 17:23:20 -07:00
Jack Palevich
66d487487f Print out error message when symbol lookup fails. 2009-10-27 13:58:08 -07:00
Doug Kwan
ab9ad14429 Add back missing libdl in linker command. The executables here contain call
to function defined in libdl.so but the library is missing the linker commands.
Currently, the library is linked via dependency of another library.  While this
works, it is not the right thing to do.
2009-10-02 12:02:02 -07:00
Jack Palevich
b13d4e857a Improve error-handling when an expected token is missing.
We had been arbitrarily swallowing the next token, even if it wasn't
the one we were expecting. Now we only swallow it if it _is_ the one
we were expecting.
2009-09-18 16:26:05 -07:00
Jack Palevich
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
Jack Palevich
53f0658792 Update peephole optimizer
+ Save one instruction for loads of local byte or float values.
+ Save two instructions for pointer arithmetic with a stride that
  is a power of two.
2009-09-10 14:01:58 -07:00
Jack Palevich
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
Jack Palevich
d30a2ce244 Implement a simple peephole optimization framework for ARM.
Implement some optimizations:

+ performing arithmetic by a small constant is 3 instructions shorter.
+ reading a local variables is 1 instruction shorter.
+ constant array indexing (e.g. p[5]) is 5 instructions shorter.
2009-09-09 19:08:54 -07:00
Jack Palevich
d5315573d7 Move ARM disassembler out of libacc and into the acc command-line tool. 2009-09-09 13:19:34 -07:00
Jack Palevich
c408bbf4a7 Turn an assert into an error to handle bad struct members more gracefully. 2009-09-08 12:07:32 -07:00
Jack Palevich
9116bc4c18 Improved DEBUG_SAVE_INPUT_TO_FILE logic. 2009-09-08 11:46:42 -07:00
Jack Palevich
61de31feff Generate an error for the use of an undeclared struct. 2009-09-08 11:06:40 -07:00
Jack Palevich
8fe5dcac34 Improve error message for unknown struct members
We now customize the error message to correctly refer to the '.' or
'->' operator , whichever one is actually being used when the error
occurs.
2009-09-04 15:34:21 -07:00
Jack Palevich
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
Joe Onorato
ecfd8e73e4 acc error tweaks 2009-08-28 09:26:31 -07:00
Jack Palevich
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
Jack Palevich
c0f253359f Make pointer casting work. 2009-08-25 12:23:43 -07:00
Jack Palevich
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
Jack Palevich
30321cb3f3 Add ARM hardware floating point support. 2009-08-20 15:34:23 -07:00
Jack Palevich
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
Jack Palevich
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
Jack Palevich
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
Jack Palevich
0b1827a5b2 Allow '//'-style comments in #defines. 2009-08-18 17:44:12 -07:00
Jack Palevich
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
Jack Palevich
7f5b1a2b31 do not merge: cherry-picked ecd23c09e8 from master branch 2009-08-17 16:54:56 -07:00
Jack Palevich
80e4972625 Support 2D arrays. 2009-08-04 15:39:49 -07:00
Jack Palevich
b61545096d Implement arrays.
Added check to see that pointer types are compatible when passing function
arguments.
2009-08-04 14:56:09 -07:00
Jack Palevich
c9b8ffc389 Add support for "short" data type. 2009-08-03 14:42:57 -07:00
Jack Palevich
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
Jack Palevich
47cbea9c69 Support brackets for accessing array values.
Don't yet support allocating arrays.
2009-07-31 15:25:53 -07:00
Jack Palevich
5b65909f93 Clean up the way we handle postfix operators.
Function names are now treated just like any other variable.
2009-07-31 14:55:07 -07:00
Jack Palevich
aaac9284b4 Implement pre-increment / pre-decrement 2009-07-31 14:34:34 -07:00
Jack Palevich
43aaee31b9 Support the comma operator. 2009-07-31 14:01:37 -07:00
Jack Palevich
0c01774816 Implement op=. 2009-07-31 12:00:39 -07:00
Jack Palevich
beb4fe95a0 Test multiple levels of pointer indirection. 2009-07-31 11:27:29 -07:00
Jack Palevich
29daf577a1 Assignment in ordinary expressions is now handled using lvals and rvals. 2009-07-30 19:38:55 -07:00
Jack Palevich
b5e3331159 Start using lvals and rvals. 2009-07-30 19:06:34 -07:00
Jack Palevich
8968e8e115 Change assignment code gen to use leaR0 .. storeR0ToTOS.
This is another step towards being able to handle lval / rvals.

Improved storeR0ToTOS to convert R0 to the proper type to store into
*TOS. (This is something that storeR0 was already doing.)

Removed storeR0 as it is no longer being used.
2009-07-30 16:57:33 -07:00
Jack Palevich
8f361faffc Fix bad ARM code generation for '||' and '&&' operators.
Add tests of '&', '&&', '|' and '||' operators.
2009-07-30 16:19:43 -07:00