Commit Graph

166 Commits

Author SHA1 Message Date
Rui Ueyama 9bf96124ba Add "long double" as an alias for "double" 2020-12-07 12:00:06 +09:00
Rui Ueyama ffea4219b1 Add flonum constant expression 2020-12-07 12:00:06 +09:00
Rui Ueyama 8b14859f63 Implement default argument promotion for float 2020-12-07 12:00:06 +09:00
Rui Ueyama 83f76ebb66 Add flonum +, -, * and / 2020-12-07 12:00:06 +09:00
Rui Ueyama 29de46aed4 Add "float" and "double" local variables and casts 2020-12-07 12:00:06 +09:00
Rui Ueyama 1e57f72d8a Add floating-point constant 2020-12-07 12:00:06 +09:00
Rui Ueyama 1fad2595d6 Allow to omit parameter name in function declaration 2020-12-07 12:00:06 +09:00
Rui Ueyama 93d12771d0 Ignore "static" and "const" in array-dimensions 2020-12-07 12:00:06 +09:00
Rui Ueyama b773554275 Ignore const, volatile, auto, register, restrict or _Noreturn. 2020-12-07 12:00:06 +09:00
Rui Ueyama 7ba6fe8d94 Handle unsigned types in the constant expression 2020-12-07 12:00:06 +09:00
Rui Ueyama 8b8f3de48b Use long or ulong instead of int for some expressions 2020-12-07 12:00:06 +09:00
Rui Ueyama aaf10459d9 Add U, L and LL suffixes 2020-12-07 12:00:06 +09:00
Rui Ueyama 34ab83bdf4 Add unsigned integral types 2020-12-07 12:00:06 +09:00
Rui Ueyama 3f59ce7955 Add `signed` keyword 2020-12-07 12:00:06 +09:00
Rui Ueyama 197689a22b Check the number of function arguments 2020-12-07 12:00:06 +09:00
Rui Ueyama 754a24fafc Add va_start to support variadic functions 2020-12-07 12:00:06 +09:00
Rui Ueyama 58fc86137c Allow to call a variadic function 2020-12-07 12:00:06 +09:00
Rui Ueyama dcd4579226 Handle a function returning bool, char or short
x86-64 psABI says that only the least significant 8 bits are
significant if RAX has a return value of a function returning bool.
Likewise, it looks like only the least significant 1 or 2 bytes
are guaranteed to have a correct value for char and short return
values, respectively.
2020-12-07 12:00:06 +09:00
Rui Ueyama ee252e6ce7 Add do ... while 2020-12-07 12:00:06 +09:00
Rui Ueyama eb85527656 Add static global variables 2020-12-07 12:00:06 +09:00
Rui Ueyama 30b3e216cd Add return that doesn't take any value 2020-12-07 12:00:06 +09:00
Rui Ueyama 127056dc1d Add compound literals 2020-12-07 12:00:06 +09:00
Rui Ueyama 319772b42e Add static local variables 2020-12-07 12:00:06 +09:00
Rui Ueyama 310a87e15e [GNU] Allow a variable as an operand of _Alignof 2020-12-07 12:00:06 +09:00
Rui Ueyama 9df51789e7 Add _Alignof and _Alignas 2020-12-07 12:00:06 +09:00
Rui Ueyama 27647455e4 Handle extern declarations in a block 2020-12-07 12:00:06 +09:00
Rui Ueyama 006a45ccd4 Add extern 2020-12-07 12:00:06 +09:00
Rui Ueyama 7a1f816783 Accept `void` as a parameter list
`foo(void)` indicate that function foo does not take a parameter.
2020-12-07 12:00:06 +09:00
Rui Ueyama cd688a89b8 Allow to initialize struct flexible array member 2020-12-07 12:00:06 +09:00
Rui Ueyama 824543bb2f Add flexible array member 2020-12-07 12:00:06 +09:00
Rui Ueyama fde464c47c Allow extraneous comma at the end of enum or initializer list 2020-12-07 12:00:06 +09:00
Rui Ueyama a58958ccb4 Allow extraneous braces for scalar initializer 2020-12-07 12:00:06 +09:00
Rui Ueyama efa0f3366d Allow parentheses in initializers to be omitted 2020-12-07 12:00:06 +09:00
Rui Ueyama 1eae5ae367 Handle union initializers for global variable 2020-12-07 12:00:06 +09:00
Rui Ueyama eeb62b6dd5 Add struct initializer for global variable 2020-12-07 12:00:06 +09:00
Rui Ueyama bbfe3f4369 Add global initializer for scalar and string 2020-12-07 12:00:06 +09:00
Rui Ueyama 483b194a80 Handle union initializers for local variables 2020-12-07 12:00:06 +09:00
Rui Ueyama aca19dd350 Allow to initialize a struct with other struct 2020-12-07 12:00:06 +09:00
Rui Ueyama e9d2c46ab3 Handle struct initializers for local variables 2020-12-07 12:00:06 +09:00
Rui Ueyama 5b95533603 Allow to omit array length if an initializer is given
So that you can write something like `int x[] = {1, 2, 3}`
instead of `int x[3] = {1, 2, 3}`.
2020-12-07 12:00:06 +09:00
Rui Ueyama 0d717373cc Add string literal initializer 2020-12-07 12:00:06 +09:00
Rui Ueyama a754732c04 Skip excess initializer elements 2020-12-07 12:00:06 +09:00
Rui Ueyama ae0a37dc4b Initialize excess array elements with zero 2020-12-07 12:00:06 +09:00
Rui Ueyama 22dd560ecf Support local variable initializers 2020-12-07 12:00:06 +09:00
Rui Ueyama 79f5de21eb Add constant expression 2020-12-07 12:00:06 +09:00
Rui Ueyama 447ee098c5 Add ?: operator 2020-12-07 12:00:06 +09:00
Rui Ueyama d0c0cb74b2 Add <<, >>, <<= and >>= 2020-12-07 12:00:06 +09:00
Rui Ueyama 044d9ae07b Add switch-case 2020-12-07 12:00:06 +09:00
Rui Ueyama 3c83dfd8af Add continue statement 2020-12-07 12:00:06 +09:00
Rui Ueyama b3047f2317 Add break statement 2020-12-07 12:00:06 +09:00
Rui Ueyama a4be55b333 Resolve conflict between labels and typedefs 2020-12-07 12:00:06 +09:00
Rui Ueyama 6116cae4c4 Add goto and labeled statement 2020-12-07 12:00:06 +09:00
Rui Ueyama 61a1055120 Add a notion of an incomplete struct type 2020-12-07 12:00:06 +09:00
Rui Ueyama 79632219d0 Decay an array to a pointer in the func param context 2020-12-07 12:00:06 +09:00
Rui Ueyama 29ed294906 Add a notion of an incomplete array type 2020-12-07 12:00:06 +09:00
Rui Ueyama f30f78175c Add && and || 2020-12-07 12:00:06 +09:00
Rui Ueyama 86440068b4 Add &, |, ^, &=, |= and ^= 2020-12-07 12:00:06 +09:00
Rui Ueyama daa739817c Add % and %= 2020-12-07 12:00:06 +09:00
Rui Ueyama 46a96d6862 Add ~ operator 2020-12-07 12:00:06 +09:00
Rui Ueyama 6b88bcb306 Add ! operator 2020-12-07 12:00:06 +09:00
Rui Ueyama e8ca48cf41 Add post ++ and -- 2020-12-07 12:00:06 +09:00
Rui Ueyama 47f19371f7 Add pre ++ and -- 2020-12-07 12:00:06 +09:00
Rui Ueyama 01a94c04aa Add +=, -=, *= and /= 2020-12-07 12:00:06 +09:00
Rui Ueyama a4fea2ba3e Allow for-loops to define local variables 2020-12-07 12:00:06 +09:00
Rui Ueyama 736232f3d6 Support file-scope functions 2020-12-07 12:00:05 +09:00
Rui Ueyama 48ba2656fe Add enum 2020-12-07 12:00:05 +09:00
Rui Ueyama 44bba965cb Add _Bool type
_Bool isn't just a 1-bit integer because when you convert a value
to bool, the result is 1 if the original value is non-zero. This
is contrary to the other small integral types, e.g. char, as you
can see below:

  char x  = 256; // x is 0
  _Bool y = 256; // y is 1
2020-12-07 12:00:05 +09:00
Rui Ueyama fdc80bc6b5 Handle function argument type conversion 2020-12-07 12:00:05 +09:00
Rui Ueyama 818352acc0 Handle return type conversion 2020-12-07 12:00:05 +09:00
Rui Ueyama 9e211cbf1d Report an error on undefined/undeclared functions 2020-12-07 12:00:05 +09:00
Rui Ueyama 8b430a6c5f Implement usual arithmetic conversion 2020-12-07 12:00:05 +09:00
Rui Ueyama cfc4fa94c1 Add type cast 2020-12-07 12:00:05 +09:00
Rui Ueyama 67543ea113 Make sizeof to accept not only an expression but also a typename
Previously, chibicc's sizeof accepted only an expression, so you
couldn't write something like `sizeof(int)`. Now it accepts that.
2020-12-07 11:59:59 +09:00
Rui Ueyama a6b82da1ae Add typedef
In the following example, `x` is defined as an alias for `int`.

  typedef x;

Below is valid C code where the second `t` is a local variable
of type int having value 3.

  typedef int t;
  t t = 3;
2020-12-07 11:51:20 +09:00
Rui Ueyama f46370ef98 Add `long long` as an alias for `long` 2020-12-07 11:51:20 +09:00
Rui Ueyama 287906abb8 Handle complex type declarations correctly
chibicc can now read complex type declarations such as below.

  long x;
  long int x;
  int long x;
  short x;
  short int x;
  int short x;
  long long x;
  long long int x;
2020-12-07 11:51:20 +09:00
Rui Ueyama 8c3503bb94 Add void type 2020-12-07 11:51:20 +09:00
Rui Ueyama 74e3acc296 Add function declaration 2020-12-07 11:51:20 +09:00
Rui Ueyama a817b23da3 Add nested type declarators 2020-12-07 11:51:18 +09:00
Rui Ueyama 9d48eef58b Add short type 2020-10-15 14:22:16 +09:00
Rui Ueyama 43c2f0829f Add long type 2020-10-15 14:22:16 +09:00
Rui Ueyama 11e3841832 Add union 2020-10-15 14:22:16 +09:00
Rui Ueyama f0a018a7d6 Add -> operator 2020-10-15 14:22:16 +09:00
Rui Ueyama e1e831ea3e Support struct tags 2020-10-15 14:22:16 +09:00
Rui Ueyama 9443e4b8bc Align struct members 2020-10-15 14:22:16 +09:00
Rui Ueyama f814033d04 Add struct 2020-10-15 14:22:16 +09:00
Rui Ueyama e6307ad374 Add comma operator
This patch allows writing a comma expression on the left-hand side
of an assignment expression. This is called the "generalized lvalue"
which is a deprecated GCC language extension. I'm implementing it
anyway because it's useful to implement other features.
2020-10-15 14:22:16 +09:00
Rui Ueyama ca8b2434c9 Handle block scope 2020-10-08 16:23:53 +09:00
Rui Ueyama 9dae23461e [GNU] Add statement expression
This is a GNU C extension but will be useful for writing tests.
2020-10-08 15:43:05 +09:00
Rui Ueyama 35a0bcd366 Refactoring: Add a utility function 2020-10-08 14:31:22 +09:00
Rui Ueyama 4cedda2dbe Add string literal 2020-10-07 20:13:26 +09:00
Rui Ueyama be38d63d1b Add char type 2020-10-07 20:13:26 +09:00
Rui Ueyama a4d3223a72 Add global variables 2020-10-07 20:13:26 +09:00
Rui Ueyama 0b7663481d Merge Function with Var
No functional change
2020-10-07 20:13:26 +09:00
Rui Ueyama 3e55cafef8 Add sizeof 2020-10-07 20:13:26 +09:00
Rui Ueyama 648646bba7 Add [] operator 2020-10-07 20:13:26 +09:00
Rui Ueyama 3ce1b2d067 Add arrays of arrays 2020-10-07 20:13:26 +09:00
Rui Ueyama 8b6395d0f2 Add one dimensional arrays 2020-10-07 20:13:26 +09:00
Rui Ueyama aacc0cfec2 Support function definition up to 6 parameters 2020-10-07 20:13:26 +09:00
Rui Ueyama 6cb4220f33 Support zero-arity function definition 2020-10-07 20:13:25 +09:00