Commit Graph

71 Commits

Author SHA1 Message Date
Jack Palevich b7718b973c Implement floating point for ARM. 2009-07-09 22:00:24 -07:00
Jack Palevich bab8064203 Add x86 floating point test. 2009-07-09 13:54:54 -07:00
Jack Palevich 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
Jack Palevich 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
Marco Nelissen eea5ae9ceb Class with virtual methods should have virtual destructors too. 2009-07-08 17:43:17 -07:00
Jack Palevich 9cbd226960 Implement global, local, and stack based float and double variables. 2009-07-08 16:48:41 -07:00
Jack Palevich 128ad2d204 Implement x86 int <--> float. 2009-07-08 14:51:31 -07:00
Jack Palevich 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
Jack Palevich 8df4619e09 Start tracking types in expressions. 2009-07-07 14:48:51 -07:00
Jack Palevich 1aeb87b52b Parse floating point (and double) constants. 2009-07-06 18:33:20 -07:00
Jack Palevich 9eed7a2c7b Start teaching the code generator about types.
Remove the concept of "R1" from the code generator API, R1 is used
internally as needed.
2009-07-06 17:24:34 -07:00
Jack Palevich 95727a0b05 Initial support for float, double. 2009-07-06 12:07:15 -07:00
Jack Palevich 3f22649d98 Implement our hard casts using our type system.
Doesn't add any new capabilities, but we now generate error
messages if you attempt casts we don't support,
and we also found and fixed some bugs in declaration parsing.
2009-07-02 14:46:19 -07:00
Jack Palevich 40600de143 Clean up expression code.
Concatenate adjacent string literals.
2009-07-01 15:32:35 -07:00
Jack Palevich 8635198c57 Add a type system.
We now track the declared type of variables and functions.
2009-06-30 18:09:56 -07:00
Jack Palevich 569f135862 Implement a token table and an arena allocator.
+ Tokens are now simple IDs, rather than ids or maybe pointers.
+ We can now allocate data that's freed automatically when
  compilation end or when a block goes out of scope.
+ Renamed our Array utility class to Vector, and made its
  api work a little more like the STL vector template class.
2009-06-30 10:16:43 -07:00
Jack Palevich 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
-b master 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
Jack Palevich a1804ddeba Allow local variables to be declared anywhere in a block. 2009-06-12 14:40:04 -07:00
Jack Palevich d7461a7342 Support variable initialization.
Global variables can only be initialized to integer constants.

Local variables can be initialized to arbitrary expressions.
2009-06-12 14:26:58 -07:00
Jack Palevich f1728bec74 Reserve all C99 keywords.
And improve checks/error messages around using non-symbols where a
symbol is expected.
2009-06-12 13:53:51 -07:00
Jack Palevich 22e3e8e1a6 Handle end-of-file inside of comments, local declarations. 2009-06-12 13:12:55 -07:00
Jack Palevich 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
Jack Palevich 2ccc40d096 Make #define work again. (Had accidentally omitted the keyword.) 2009-06-12 11:53:07 -07:00
Jack Palevich 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
Jack Palevich 61d22dc763 Improve nested variable test.
Test that we can have two levels of local variables.
2009-06-11 22:03:24 -07:00
Jack Palevich b67b18f7c2 Add code generator tracer. 2009-06-11 21:50:17 -07:00
Jack Palevich 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 2db168f12f Use a separate table for keywords. 2009-06-11 14:29:47 -07:00
Jack Palevich 0a280a0dde Remove use of setjmp/longjmp from libacc compiler.
It makes it harder to deal with memory allocation.

Also fix bug in the otcc-ansi.c test, where the wrong part of the
code buffer was being mprotected, so that if the code buffer happened
to be allocated across a page boundary, some code would no receive
execute permission.
2009-06-11 10:53:51 -07:00
Jack Palevich 8dc662efe9 Make otcc code work in x64 based system with 32-bit chroot.
Set execute permission on code before running it.
Handle negative relative offsets for global variables.
Add printfs to report the progress of nested compiles.
Change way we detect whether we can run the host compiler
or not. We used to check if we were running on a 32-bit
Linux. Now we check if the executable is a 32-bit Linux
executable.
2009-06-09 22:59:04 +00:00
Jack Palevich 36d9414f72 Make a host version of acc for testing.
Don't run the code we've compiled unless the -R option is present.
2009-06-08 15:55:32 -07:00
Jack Palevich 2d11dfba27 Move macros into their own table.
Catch attempts to define macros with parens (not supported.)
2009-06-08 14:34:26 -07:00
Jack Palevich b7c81e9952 Switch to ANSI C style C function declarations.
main(argc, argv) --> int main(int argc, char** argv)

Although we accept int, void, and char types, and pointers to same,
we actually still treat everything as an int.
2009-06-04 19:56:13 -07:00
Jack Palevich eedf9d2083 Add support for #pragma foo(bar)
Report unsupported/unknown preprocessor directives.
Report line number of error rather than character offset.
2009-06-04 16:38:35 -07:00
Jack Palevich f1f39cca30 Make sure we don't overflow various internal compiler buffers.
We may replace some of these tables with dynamically growing data
structures, but in the meantime we will not trash memory.
2009-05-29 18:03:15 -07:00
Jack Palevich ac0e95eb60 Improve ACC error reporting.
Now return an error code and an error message, rather than just
printing to stderr or calling exit().

Check to see we don't exceed our code size.
2009-05-29 13:53:44 -07:00
Jack Palevich 653f42da92 Pointer-ize the acc front end.
The ACC compiler used to be able to compile itself. This was a neat
feature, but because ACC only supports ints, pointers are stored as
ints, and cast to pointers when used.

This checkin turns many ints that are really pointers back into
pointers, so that the code is clearer.

 int ch;
 char* glo;
 char* sym_stack;
 char* dstk;
 char* dptr;
 int dch;
 char* last_id;
2009-05-29 09:32:14 -07:00
Jack Palevich 09555c7a18 Fix symbol lookup logic, squelch LOG output. 2009-05-27 12:25:55 -07:00
Jack Palevich 1cdef20774 Convert libacc into a shared library.
Document internal CodeGenerator interface

Move license to a separate license file.

Define a public API for calling libacc.

Update the "acc" test program to use the public API.
Move "main.cpp" and test scripts into the tests subdirectory.
Move test data from tests to tests/data
Remove stale test data.
2009-05-22 12:09:55 -07:00
Jack Palevich 8b0624c3d3 Fix x64 int / pointer warnings. 2009-05-20 12:12:06 -07:00
Jack Palevich e7b590666d Implement architecture-dependent defaults.
If libacc is built on x86, then x86 is the default code generator.
If libacc is built on arm. then ARM is the default code generator
And so on for future architectures.

The 64-bit x64 machine has no working code generator currently.
We may add one to support the simulator builds.

Improved the test program so we don't try to run tests if the
compile failed. Also avoid running tests that don't work on
a given platform.
2009-05-20 11:27:04 -07:00
Jack Palevich 274663bf67 Add a test script for testing the libacc compiler on ARM. 2009-05-19 14:07:41 -07:00
Jack Palevich 3d474a74a7 ACC ARM codegen: implement /, % 2009-05-15 15:12:38 -07:00
Jack Palevich 7810bc9abd ACC ARM codegen: Implement calling indirect functions. 2009-05-15 14:31:47 -07:00
Jack Palevich 4d93f30bef ACC ARM code gen: Implement global variables.
Collapsed the inc/dec codegen into the loadEAX function, because it
allows us to generate better code for inc/dec'ing a global variable
on ARM, because we don't have to load the variable's address twice.
2009-05-15 13:30:00 -07:00
Jack Palevich 9918d0a2ee Add license, document language changes. 2009-05-15 11:01:21 -07:00
Jack Palevich bd894904f7 ACC: Arm code gen improvements ++/--, &, odds and ends
Added C++-style "//..end-of-line" comments, since I kept trying to use them when writing
test programs.

The biggest known missing piece is global variables.
2009-05-14 19:35:31 -07:00
Jack Palevich 8de461dc9e Implement <, >, ==, !=, >= <=, &&, and ||. 2009-05-14 17:21:45 -07:00
Jack Palevich 69796b6c84 ACC ARM code gen: Implement local variables, function args
+ Fix prolog and epilog code.
2009-05-14 16:43:18 -07:00