2008-09-13 23:13:41 +08:00
|
|
|
Sun Sep 14 00:13:37 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* cbci: new command. Simple Cflat interpriter.
|
|
|
|
|
2008-09-13 21:15:38 +08:00
|
|
|
Sat Sep 13 22:15:34 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java (arefNode):
|
|
|
|
calculate element address of multi-dimension array correctly.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java (compileStmt):
|
|
|
|
output statement number and line number as comment.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ArefNode.java: new method
|
|
|
|
#isMultiDimension.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ArefNode.java: new method #baseExpr.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ArefNode.java: new method #elementSize.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ArefNode.java: new method #length.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/ArrayType.java: add comment.
|
|
|
|
|
|
|
|
* test: test multi-dimension array access.
|
|
|
|
|
2008-09-13 20:34:51 +08:00
|
|
|
Sat Sep 13 21:34:45 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* test: test void function without return.
|
|
|
|
|
2008-09-07 07:36:31 +08:00
|
|
|
Sun Sep 7 08:36:28 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: implement -o option.
|
|
|
|
|
2008-09-07 07:06:41 +08:00
|
|
|
Sun Sep 7 08:06:38 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: split compileLHS
|
|
|
|
by using visitor pattern.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ASTLHSVisitor.java: new interface.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/DereferenceNode.java: implement
|
|
|
|
#acceptLHS.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ArefNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/PtrMemberNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/MemberNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Node.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/VariableNode.java: ditto.
|
|
|
|
|
2008-09-07 06:37:39 +08:00
|
|
|
Sun Sep 7 07:37:34 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: opassign should
|
|
|
|
not spill DX because division uses DX.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/PtrMemberNode.java: #dereferedType should
|
|
|
|
return Type instead of ComplexType because DereferenceChecker
|
|
|
|
checks derefered type by this method.
|
|
|
|
|
|
|
|
* test: test ptr->memb with complex pointer expression.
|
|
|
|
|
2008-09-07 05:50:59 +08:00
|
|
|
Sun Sep 7 06:50:56 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: calculate LHS
|
|
|
|
value on AX, not BX.
|
|
|
|
|
2008-09-07 04:10:49 +08:00
|
|
|
Sun Sep 7 05:10:46 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: parse sizeof expr.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Visitor.java: support
|
|
|
|
SizeofTypeNode, SizeofExprNode.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeResolver.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ASTVisitor.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/SizeofTypeNode.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/SizeofExprNode.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/Type.java: default alignment equals to
|
|
|
|
size, not allocSize (e.g. int[4] should be aligned on 4, not 16).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/StructType.java: element offset
|
|
|
|
calculation was wrong. Elements should be aligned on its own
|
|
|
|
alignment.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/StructType.java: size calculation was
|
|
|
|
wrong. Struct size is align(last-offset, max-element-alignment).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/UnionType.java: union's alignment equals
|
|
|
|
to element's max alignment.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/ComplexType.java: cache computed
|
|
|
|
alignment.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/ArrayType.java: array's alignment equals
|
|
|
|
to elements' alignment.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Slot.java: new method #allocSize,
|
|
|
|
#alignment.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/Assembler.java: new method #align (moved
|
|
|
|
from CodeGenerator).
|
|
|
|
|
2008-09-07 04:11:17 +08:00
|
|
|
* test: test sizeof.
|
2008-09-07 04:10:49 +08:00
|
|
|
|
2008-09-07 01:57:27 +08:00
|
|
|
Sun Sep 7 02:57:24 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/utils/TextUtils.java (toUnsigned): simplify.
|
|
|
|
|
2008-09-07 01:46:17 +08:00
|
|
|
Sun Sep 7 02:46:14 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: use #dumpString.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Constants.java: new class.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Constants.java: define constant
|
|
|
|
sourceEncoding.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: get source encoding from
|
|
|
|
Constant class.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Dumper.java: use #dumpString.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/Assembler.java: use #dumpString.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/utils/TextUtils.java: new method #dumpString,
|
|
|
|
which dumps UTF-8 string correctly.
|
|
|
|
|
|
|
|
* test: test UTF-8 string literal.
|
|
|
|
|
2008-09-07 00:21:41 +08:00
|
|
|
Sun Sep 7 01:21:38 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/Register.java (lowerByteRegister): check
|
|
|
|
wheather the register has lower-byte register or not.
|
|
|
|
|
2008-09-06 23:59:02 +08:00
|
|
|
Sun Sep 7 00:58:49 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: implement cast.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/Assembler.java: new method #movsx,
|
|
|
|
#movzx.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/PointerType.java: provide #isSigned for
|
|
|
|
cast.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/ArrayType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/UserType.java: ditto.
|
|
|
|
|
|
|
|
* test: test cast operation.
|
|
|
|
|
2008-09-06 22:19:55 +08:00
|
|
|
Sat Sep 6 23:19:48 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Entity.java (alignment): fetch value from
|
|
|
|
its type.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/ArrayType.java: should compute allocated
|
|
|
|
size from member's #allocSize, not #size.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/StructType.java (alignment): do not
|
|
|
|
depend on Entity#size.
|
|
|
|
|
2008-09-01 00:54:40 +08:00
|
|
|
Mon Sep 1 01:53:52 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* test/test_cbc.sh: run tests for switch stmt.
|
|
|
|
|
2008-09-01 00:49:26 +08:00
|
|
|
Mon Sep 1 01:49:23 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: pass location node to the
|
|
|
|
CaseNode explicitly.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/CaseNode.java: default clause does not
|
|
|
|
have value, we cannot extract location node from values. Receive
|
|
|
|
a location node as a first argument explicitly.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: must define end
|
|
|
|
label.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: implement
|
|
|
|
default clause.
|
|
|
|
|
|
|
|
* test: test switch stmt.
|
|
|
|
|
2008-09-01 00:27:08 +08:00
|
|
|
Mon Sep 1 01:26:20 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: static function
|
|
|
|
should be local in the file.
|
|
|
|
|
|
|
|
* test: test it.
|
|
|
|
|
2008-08-31 19:09:14 +08:00
|
|
|
Sun Aug 31 20:09:14 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/CastNode.java: remove unused method
|
|
|
|
#resolve.
|
|
|
|
|
2008-08-31 19:02:58 +08:00
|
|
|
Sun Aug 31 20:02:56 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: better help message.
|
|
|
|
|
2008-08-31 18:59:40 +08:00
|
|
|
Sun Aug 31 19:59:35 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/MemberNode.java: has always non-constant
|
|
|
|
address.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/AsmEntity.java: remove method #add.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/Label.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/Reference.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/ImmediateValue.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/Register.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/SimpleAddress.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/CompositeAddress.java: ditto.
|
|
|
|
|
|
|
|
* test: test nested struct member access.
|
|
|
|
|
2008-08-31 18:40:30 +08:00
|
|
|
Sun Aug 31 19:40:27 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Function.java: reduce a warning using
|
|
|
|
Reference.
|
|
|
|
|
2008-08-31 18:24:40 +08:00
|
|
|
Sun Aug 31 19:24:30 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: transform pointer
|
|
|
|
arithmetic to normal arithmetic (e.g. ptr+7 =>
|
|
|
|
ptr+(7*sizeof(*ptr))).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: int-ptr is
|
|
|
|
invalid.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: implement
|
|
|
|
pointer arithmetic correctly (e.g. *(ptr+1) for various types work
|
|
|
|
now).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/PrefixOpNode.java: inherit
|
|
|
|
UnaryArithmeticOpNode.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/SuffixOpNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/UnaryArithmeticOpNode.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/CastNode.java: is not assignable.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeTable.java: new method #pointerSize,
|
|
|
|
#ptrDiffTypeRef.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/ArrayType.java: fetch pointer size from
|
|
|
|
a TypeTable.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/ArrayType.java: we can cast any pointers
|
|
|
|
to void*.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/PointerType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/IntegerTypeRef.java (equals): check name
|
|
|
|
equality by #equals, not ==.
|
|
|
|
|
|
|
|
* test: test pointer arithmetic.
|
|
|
|
|
|
|
|
* test: CastNode does not becomes LHS, do not check it.
|
|
|
|
|
|
|
|
* import/string.hb: add mem* functions.
|
|
|
|
|
2008-08-31 14:18:26 +08:00
|
|
|
Sun Aug 31 15:17:05 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Declarations.java: reject duplicated
|
|
|
|
symbols to support duplicated import.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/LibraryLoader.java: should return
|
|
|
|
previous loaded symbols for the same import file.
|
|
|
|
|
|
|
|
* test: test duplicated import.
|
|
|
|
|
2008-08-30 19:21:49 +08:00
|
|
|
Sat Aug 30 20:03:36 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: implement NULL.
|
|
|
|
|
|
|
|
* test: use it.
|
|
|
|
|
2008-08-30 19:07:44 +08:00
|
|
|
Sat Aug 30 20:07:18 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: ptr==ptr should
|
|
|
|
work.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: ptr&&ptr should
|
|
|
|
work.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: any==any should
|
|
|
|
always returns int.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: ditto.
|
|
|
|
|
|
|
|
* test: test it.
|
|
|
|
|
2008-08-30 17:01:14 +08:00
|
|
|
Sat Aug 30 18:00:17 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* test/test_cbc.sh: test overrapped lvar.
|
|
|
|
|
2008-08-30 16:39:31 +08:00
|
|
|
Sat Aug 30 17:38:15 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* test/assign.cb: test case was wrong (caused SEGV). I don't know
|
|
|
|
why this test case did not crash.
|
|
|
|
|
|
|
|
* test/test_cbc.sh: follow it.
|
|
|
|
|
|
|
|
Sat Aug 30 17:35:00 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: lvar overrapped
|
|
|
|
allocation.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/LocalScope.java: export children.
|
|
|
|
|
2008-08-29 17:25:08 +08:00
|
|
|
Fri Aug 29 18:24:43 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* cbc: surround path variables by double quotes.
|
|
|
|
|
2008-08-29 16:18:15 +08:00
|
|
|
Fri Aug 29 17:18:03 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java
|
|
|
|
(allocateLocalVariables): refactoring:
|
|
|
|
stackWordSize -> stackAlignment.
|
|
|
|
|
2008-08-29 16:12:21 +08:00
|
|
|
Fri Aug 29 17:11:50 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* build.xml: test entry point is now run.sh.
|
|
|
|
|
2008-08-29 16:05:09 +08:00
|
|
|
Fri Aug 29 17:04:39 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* test/Makefile: testing entry point is run.sh.
|
|
|
|
|
|
|
|
* test/shunit.sh: add "shunit_" prefix for all internal functions.
|
|
|
|
|
|
|
|
* test/run.sh: load test_*.sh to support multiple test case files.
|
|
|
|
|
|
|
|
* test/run.sh: accept command line arguments as test case files.
|
|
|
|
|
|
|
|
* test/test.sh -> test/test_cbc.sh
|
|
|
|
|
|
|
|
* test/test2.cb -> test/syntax1.cb
|
|
|
|
|
|
|
|
* test/test3.cb -> test/syntax2.cb
|
|
|
|
|
|
|
|
* test/test4.cb -> test/syntax3.cb
|
|
|
|
|
2008-08-29 15:35:31 +08:00
|
|
|
Fri Aug 29 16:35:39 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: should handle
|
|
|
|
global string literal.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/Assembler.java (_long, _quad): should
|
|
|
|
handle label.
|
|
|
|
|
|
|
|
* test/run.sh: new test runner.
|
|
|
|
|
|
|
|
* test/shunit.sh: library function name must not start with
|
|
|
|
"test_" because they are treated as test case definition.
|
|
|
|
|
|
|
|
* test/test.sh: split tests in to multiple functions.
|
|
|
|
|
|
|
|
* test/initializer.cb: test string initializer.
|
|
|
|
|
|
|
|
* test/comm.cb: ditto.
|
|
|
|
|
|
|
|
* test/scomm.cb: ditto.
|
|
|
|
|
|
|
|
* test/slvar.cb: ditto.
|
|
|
|
|
|
|
|
* test/gvar.cb: ditto.
|
|
|
|
|
|
|
|
* test/sgvar.cb: ditto.
|
|
|
|
|
|
|
|
* test/slcomm.cb: : ditto.
|
|
|
|
|
2008-08-19 18:18:05 +08:00
|
|
|
Tue Aug 19 19:18:00 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java
|
|
|
|
(generateAssembly): did not set typeTable field.
|
|
|
|
|
2008-08-19 17:59:54 +08:00
|
|
|
Tue Aug 19 18:57:52 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: refactoring: all
|
|
|
|
DSL methods should take a Register argument, not a String.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: refactoring:
|
|
|
|
PTRREG -> baseptr().
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/Register.java: refactoring: a Register
|
|
|
|
object does not represents size-specified register, it represents
|
|
|
|
generic register. So we can get a size-specified register object
|
|
|
|
by #forType.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/Register.java: new method #forType.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/Assembler.java: refactoring: ptrcall ->
|
|
|
|
callAbsolute.
|
|
|
|
|
|
|
|
Thu Aug 19 17:00:04 2008 Minero Aoki <aamine@loveruby.net>
|
2008-08-19 15:19:15 +08:00
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: allow safe
|
|
|
|
implicit integer cast like "char c = 0" adhocly.
|
|
|
|
|
2008-08-19 17:59:54 +08:00
|
|
|
Thu Aug 19 16:39:49 2008 Minero Aoki <aamine@loveruby.net>
|
2008-08-19 14:40:24 +08:00
|
|
|
|
|
|
|
* net/loveruby/cflat/type/IntegerType.java: new method
|
|
|
|
#isInDomain, #minValue, #maxValue.
|
|
|
|
|
2008-05-07 02:42:06 +08:00
|
|
|
Tue May 6 20:42:04 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java
|
|
|
|
(compileBinaryOp): We must use shr for right-shift of unsigned
|
|
|
|
value.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java
|
|
|
|
(compileBinaryOp): We must use seta/ae/b/be for comparison of
|
|
|
|
unsigned value.
|
|
|
|
|
2008-05-06 02:54:37 +08:00
|
|
|
Tue Apr 8 07:05:48 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: We must use div
|
|
|
|
instruction for unsigned division.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: We must call
|
|
|
|
cltd before idiv.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: define facade
|
|
|
|
methods for Assembler class.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/Assembler.java: remove *q methods such as
|
|
|
|
movq, addq, etc. by utilizing method overloading.
|
|
|
|
|
2008-03-24 01:47:44 +08:00
|
|
|
Mon Mar 24 02:47:41 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: defvar -> defvars (again).
|
|
|
|
|
2008-03-24 01:39:18 +08:00
|
|
|
Mon Mar 24 02:39:14 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: top_decls -> top_defs
|
|
|
|
|
2008-03-01 19:06:36 +08:00
|
|
|
Sat Mar 1 20:06:33 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: use (new) CastNode
|
|
|
|
constructor directly.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/CastNode.java: new constructor.
|
|
|
|
|
2008-02-24 22:41:05 +08:00
|
|
|
Sun Feb 24 23:40:15 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: implement usual
|
|
|
|
arithmetic conversion for BinaryOpNode.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: implement usual
|
|
|
|
arithmetic conversion for OpAssignNode.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: implement usual
|
|
|
|
arithmetic conversion for ++, --.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: new entry point
|
|
|
|
TypeTable#check(AST).
|
|
|
|
|
2008-02-24 18:58:48 +08:00
|
|
|
Sun Feb 24 19:58:45 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj (SPACES): "\v" is invalid
|
|
|
|
escape sequence in JavaCC.
|
|
|
|
|
2008-02-24 14:31:34 +08:00
|
|
|
Sun Feb 24 15:31:24 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj (INTEGER): 0xUL is invalid.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj (CHARACTER): 'aa' is
|
|
|
|
invalid.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: refactoring: insert spaces
|
2008-02-24 22:41:05 +08:00
|
|
|
after comma of character class.
|
2008-02-24 14:31:34 +08:00
|
|
|
|
2008-02-18 05:12:16 +08:00
|
|
|
Mon Feb 18 06:12:14 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: TypeTable is
|
|
|
|
useless.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: ditto.
|
|
|
|
|
2008-02-18 05:07:15 +08:00
|
|
|
Mon Feb 18 06:07:13 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java (mustBeScalar):
|
|
|
|
checks if type is an integer, a pointer, or an array (previous
|
|
|
|
#mustBeScalarAlike definition).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java
|
|
|
|
(expectsSameInteger, expectsComparableScalars): return immediately
|
|
|
|
after first error.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java (PrefixOpNode,
|
|
|
|
SuffixOpNode): allow array parameter.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/Type.java: new method #isScalar.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/IntegerType.java: is a scalar.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/ArrayType.java: is a scalar.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/PointerType.java: is a scalar.
|
|
|
|
|
2008-02-18 04:39:32 +08:00
|
|
|
Mon Feb 18 05:35:14 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java (checkCond): cond
|
|
|
|
expr might be an array.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java (SwitchNode): cond
|
|
|
|
expr should not be pointer.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: <</>> expects same
|
|
|
|
integer.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: comparison
|
|
|
|
operators accept arrays.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: "!" accepts a
|
|
|
|
pointer and an array.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: new method
|
|
|
|
#mustBeScalarAlike.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java (mustBeInteger,
|
|
|
|
mustBeScalar, mustBeScalarAlike): takes operator name.
|
|
|
|
|
2008-02-18 03:10:52 +08:00
|
|
|
Mon Feb 18 04:10:40 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java (mustBeScalar):
|
|
|
|
array is a scalar.
|
|
|
|
|
2008-02-18 03:08:48 +08:00
|
|
|
Mon Feb 18 04:08:46 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: check returning
|
|
|
|
void value.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: allow array LHS,
|
|
|
|
only when LHS is a parameter.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Entity.java: define #isParameter here.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Variable.java: remove #isVariable,
|
|
|
|
#isParameter.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ExprNode.java: new method #isParameter.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/VariableNode.java: override it.
|
|
|
|
|
2008-02-18 02:33:18 +08:00
|
|
|
Mon Feb 18 03:33:12 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java (checkCond): cond
|
|
|
|
expr might be an array, which is a parameter.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java
|
|
|
|
(isInvalidReturnType): array is returnable.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java (isInvalidLHSType):
|
|
|
|
"unallocated array" means an array which is parameter. Length
|
|
|
|
does not matter.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/DereferenceChecker.java: should
|
|
|
|
check an operand of ++/-- is assignable.
|
|
|
|
|
2008-02-18 01:33:19 +08:00
|
|
|
Mon Feb 18 02:33:16 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/UndefinedVariable.java: should always be
|
|
|
|
NOT private.
|
|
|
|
|
2008-02-18 01:30:59 +08:00
|
|
|
Mon Feb 18 02:30:44 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/DereferenceChecker.java: add blanks.
|
|
|
|
|
2008-02-12 05:49:42 +08:00
|
|
|
Tue Feb 12 06:49:39 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeResolver.java: should check
|
|
|
|
duplicated type definition.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeTable.java: new method #isDefined.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeTable.java (put): reject duplicated
|
|
|
|
type definition.
|
|
|
|
|
|
|
|
* test/recursivetypedef.cb: test duplicated typedef.
|
|
|
|
|
|
|
|
* test/test.sh: run it.
|
|
|
|
|
2008-02-12 05:23:23 +08:00
|
|
|
Tue Feb 12 06:23:21 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeTable.java (semanticCheck): check
|
|
|
|
all types by checkRecursiveDefinition. It is not efficient
|
|
|
|
because checking char, short, int, long, ... is not needed, but is
|
|
|
|
more reliable.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeTable.java
|
|
|
|
(checkRecursiveDefinition): should traverse ArrayType.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeTable.java
|
|
|
|
(checkRecursiveDefinition): should traverse ComplexType and
|
|
|
|
ArrayType (and UserType which points these types) *at the same
|
|
|
|
time*.
|
|
|
|
|
2008-02-11 23:46:32 +08:00
|
|
|
Tue Feb 12 00:45:47 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeResolver.java: extract method
|
|
|
|
#defineTypes again.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeResolver.java: define types by
|
|
|
|
TypeTable#put here. Get typeref and type from TypeDefinition
|
|
|
|
nodes.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeTable.java: remove #define. Use
|
|
|
|
#put instead.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/TypeDefinition.java: remove #defineIn.
|
|
|
|
Use #definingType instead.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/StructNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/UnionNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/TypedefNode.java: ditto.
|
|
|
|
|
2008-02-11 23:35:40 +08:00
|
|
|
Tue Feb 12 00:35:37 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeTable.java: remove deftype methods,
|
|
|
|
use #put instead.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/StructNode.java: define type by myself,
|
|
|
|
calling TypeTable#put directly.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/UnionNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/TypedefNode.java: ditto.
|
|
|
|
|
2008-02-11 23:26:27 +08:00
|
|
|
Tue Feb 12 00:26:23 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeResolver.java: resolving
|
|
|
|
VariableNode is useless, because it is equal to resolving
|
|
|
|
DefinedVariable.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeResolver.java: define
|
|
|
|
resolveNodeList, which is an alias of visitNodeList.
|
|
|
|
|
2008-02-11 05:54:23 +08:00
|
|
|
Mon Feb 11 06:54:20 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: new option
|
|
|
|
--dump-stmt, to dump only first statement of main.
|
|
|
|
|
2008-02-11 05:33:14 +08:00
|
|
|
Mon Feb 11 06:33:10 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: unify newFileParser and
|
|
|
|
newReader.
|
|
|
|
|
2008-02-11 03:29:03 +08:00
|
|
|
Mon Feb 11 04:28:52 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/LocalReferenceResolver.java
|
|
|
|
(pushScope): forgot to remove useless line.
|
|
|
|
|
2008-02-11 03:26:07 +08:00
|
|
|
Mon Feb 11 04:26:04 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/LocalScope.java: new subclass of Scope.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Scope.java: move local scope only methods
|
|
|
|
to LocalScope class.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ToplevelScope.java: local scope only
|
|
|
|
methods are moved to LocalScope, do not need to disable
|
|
|
|
#variables, #allVariables, ...
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Frame.java: is useless, removed.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/DefinedFunction.java: Frame ->
|
|
|
|
LocalScope.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/BlockNode.java: Scope -> LocalScope.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/LocalReferenceResolver.java: Frame
|
|
|
|
removed.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/LocalReferenceResolver.java: Scope
|
|
|
|
-> LocalScope.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/LocalReferenceResolver.java
|
|
|
|
(pushScope): check duplicated local variables.
|
|
|
|
|
2008-02-11 02:59:21 +08:00
|
|
|
Mon Feb 11 03:59:19 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Scope.java: use LinkedHashMap to unify
|
|
|
|
entities and entitiesMap (entities should be ordered).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Frame.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ToplevelScope.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Scope.java: remove unused method
|
|
|
|
#entities. Use #variables instead.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Frame.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ConstantTable.java: use
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeResolver.java: remove useless
|
|
|
|
code.
|
|
|
|
|
2008-02-11 02:13:29 +08:00
|
|
|
Mon Feb 11 03:08:16 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Scope.java: ban all allocate* methods,
|
|
|
|
privateEntitiesMap. Use #declareEntity instead.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Frame.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ToplevelScope.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ToplevelScope.java (commonSymbols,
|
|
|
|
globalVariables): static local variables are now in each Scopes,
|
|
|
|
collect static local variables from them by myself.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Entity.java: #defineIn removed.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Variable.java: #defineIn removed.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/DefinedVariable.java: #defineIn removed.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/UndefinedVariable.java: #defineIn
|
|
|
|
removed.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/DefinedFunction.java: #defineIn removed.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/UndefinedFunction.java: #defineIn
|
|
|
|
removed.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/LocalReferenceResolver.java: follow
|
|
|
|
these changes.
|
|
|
|
|
2008-02-10 23:17:30 +08:00
|
|
|
Mon Feb 11 00:17:28 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/LocalReferenceResolver.java: add
|
|
|
|
preproc tag.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Scope.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ToplevelScope.java: ditto.
|
|
|
|
|
2008-02-10 21:33:19 +08:00
|
|
|
Sun Feb 10 22:33:15 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/Reference.java: new constructor
|
|
|
|
Reference(String) for instance.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/AST.java: #declarations should include
|
|
|
|
vardecls.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/UndefinedVariable.java: #address should
|
|
|
|
return variable symbol.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/LocalReferenceResolver.java:
|
|
|
|
declarations may include variable declaration.
|
|
|
|
|
|
|
|
* test/vardecl.cb: test reference of declared external variable.
|
|
|
|
|
2008-02-08 03:59:40 +08:00
|
|
|
Fri Feb 8 04:59:38 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/JumpResolver.java: remove
|
|
|
|
currentBreakTarget and currentContinueTarget to simplify.
|
|
|
|
|
2008-02-08 03:46:21 +08:00
|
|
|
Fri Feb 8 04:46:14 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/JumpResolver.java
|
|
|
|
(currentBreakTarget, currentContinueTarget): does not throw
|
|
|
|
exception.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/JumpResolver.java: add preproc tags.
|
|
|
|
|
2008-02-03 17:37:24 +08:00
|
|
|
Sun Feb 3 18:37:21 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* build.xml: unify task: jar and compile.
|
|
|
|
|
|
|
|
Sun Feb 3 18:36:52 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: refactoring: extract
|
|
|
|
method: new method addKnownTypedefs.
|
|
|
|
|
2008-02-03 17:30:23 +08:00
|
|
|
Sun Feb 3 18:30:18 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java (dumpTokenList):
|
|
|
|
specialToken handling was wrong. We should trace t.specialToken
|
|
|
|
while it becomes null, then follow t.next.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: write token name for
|
|
|
|
special tokens.
|
|
|
|
|
2008-01-21 04:38:06 +08:00
|
|
|
Mon Jan 21 05:37:28 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: new command line
|
|
|
|
option -v (show arguments of external command invocation).
|
|
|
|
|
2008-01-21 04:28:53 +08:00
|
|
|
Mon Jan 21 05:28:46 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: new command line
|
|
|
|
option -S (generate assembly source and quit).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: new command line
|
|
|
|
option -c (assemble and quit).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: call GNU as and GNU
|
|
|
|
ld directly, instead of gcc.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java (commandMain):
|
|
|
|
refactoring: extract method: parseOptions.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: refactoring:
|
|
|
|
introduce new class Options and hold all command options in it.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: refactoring:
|
|
|
|
#compileFile do all tasks by referencing an Options.
|
|
|
|
|
2008-01-21 04:24:58 +08:00
|
|
|
Mon Jan 21 05:24:49 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/LibraryLoader.java: should reject
|
|
|
|
recursive import.
|
|
|
|
|
2008-01-21 01:51:06 +08:00
|
|
|
Mon Jan 21 02:51:02 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: produce Error for
|
|
|
|
UnknownEncodingError. Current Java runtime must know UTF-8
|
|
|
|
encoding.
|
|
|
|
|
2008-01-21 00:58:59 +08:00
|
|
|
Mon Jan 21 01:58:57 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: refactoring: reorder member
|
|
|
|
decl.
|
|
|
|
|
2008-01-21 00:39:26 +08:00
|
|
|
Mon Jan 21 01:39:22 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: modify preproc tag.
|
|
|
|
|
2008-01-21 00:24:25 +08:00
|
|
|
Mon Jan 21 01:24:22 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: change symbol name to fix
|
|
|
|
compile error.
|
|
|
|
|
2008-01-21 00:22:10 +08:00
|
|
|
Mon Jan 21 01:22:05 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: refactoring: rename rule:
|
|
|
|
defvars -> defvar.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: refactoring: extract new
|
|
|
|
symbol defvar_list from block.
|
|
|
|
|
2008-01-21 00:19:13 +08:00
|
|
|
Mon Jan 21 01:19:10 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Declarations.java: refactoring: new
|
|
|
|
method #addDefvars.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: use it.
|
|
|
|
|
2008-01-20 23:42:54 +08:00
|
|
|
Mon Jan 21 00:42:50 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Parameter.java: simplify dump output.
|
|
|
|
|
2008-01-19 06:22:32 +08:00
|
|
|
Sat Jan 19 07:22:29 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: refactoring: rename lvar.
|
|
|
|
|
2008-01-15 01:34:02 +08:00
|
|
|
Tue Jan 15 02:34:00 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: should generate special
|
|
|
|
token for block comment, instead of just skipping.
|
|
|
|
|
2008-01-15 01:31:17 +08:00
|
|
|
Tue Jan 15 02:31:14 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: LOOKAHEAD is useless here.
|
|
|
|
|
2008-01-15 00:05:00 +08:00
|
|
|
Tue Jan 15 01:04:55 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* build.xml: read user defined property file from $HOME.
|
|
|
|
|
2008-01-14 23:51:43 +08:00
|
|
|
Tue Jan 15 00:51:41 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* build.xml: now default task is "jar" instead of "compile".
|
|
|
|
|
2008-01-14 23:48:49 +08:00
|
|
|
Tue Jan 15 00:48:47 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* build.xml (recompile): build jar file.
|
|
|
|
|
2008-01-14 23:30:45 +08:00
|
|
|
Tue Jan 15 00:30:43 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* build.xml: new task test.
|
|
|
|
|
|
|
|
* build.xml: new task comptest.
|
|
|
|
|
|
|
|
* test/Makefile: new task compile.
|
|
|
|
|
2008-01-14 23:21:40 +08:00
|
|
|
Tue Jan 15 00:21:38 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* test/test.sh: should be executable from any directory.
|
|
|
|
|
2008-01-14 23:16:24 +08:00
|
|
|
Tue Jan 15 00:16:18 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* cbc: $basedir should be relative to cbc command.
|
|
|
|
|
2008-01-14 23:13:09 +08:00
|
|
|
Tue Jan 15 00:11:08 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* test/cbc -> ./cbc
|
|
|
|
|
2008-01-14 23:09:51 +08:00
|
|
|
Tue Jan 15 00:09:47 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* build.xml: new task recompile.
|
|
|
|
|
|
|
|
* build.xml: new task jar.
|
|
|
|
|
|
|
|
* build.xml: new task clean-build.
|
|
|
|
|
|
|
|
* build.xml: new task dist.
|
|
|
|
|
|
|
|
* build.properties: remove unused JJT properties.
|
|
|
|
|
|
|
|
* test/cbc: use jar file.
|
|
|
|
|
|
|
|
* test/Makefile
|
|
|
|
|
2008-01-14 20:49:03 +08:00
|
|
|
Mon Jan 14 21:48:59 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* test/cbc: provide -I option to add load path.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: new option -I.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: allow nested library ID
|
|
|
|
"a.b.c".
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/LibraryLoader.java: ditto.
|
|
|
|
|
|
|
|
* import/unistd.hb: declare fork, getpid, getppid.
|
|
|
|
|
|
|
|
* import/sys/types.hb: new file.
|
|
|
|
|
|
|
|
* test/fork.cb: test nested library ID "sys.types".
|
|
|
|
|
2008-01-14 20:23:38 +08:00
|
|
|
Mon Jan 14 21:23:33 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* move *.hb files from test/ to import/.
|
|
|
|
|
2008-01-14 20:22:33 +08:00
|
|
|
Mon Jan 14 21:22:26 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* test/string.hb: new file.
|
|
|
|
|
|
|
|
* test/strings.hb: new file.
|
|
|
|
|
|
|
|
* test/stddef.hb: new file.
|
|
|
|
|
|
|
|
* test/errno.hb: new file.
|
|
|
|
|
|
|
|
* test/stdio.hb: add more decls.
|
|
|
|
|
2008-01-14 01:40:39 +08:00
|
|
|
Mon Jan 14 02:40:32 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/DefinedFunction.java: remove unused
|
|
|
|
method #isFunction.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/UndefinedFunction.java: ditto.
|
|
|
|
|
2008-01-14 01:21:25 +08:00
|
|
|
Mon Jan 14 02:21:22 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: unify IntegerLiteralNode
|
|
|
|
and CharacterLiteralNode.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Visitor.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeResolver.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ASTVisitor.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/CharacterLiteralNode.java: removed.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/IntegerLiteralNode.java: show typeNode
|
|
|
|
member.
|
|
|
|
|
2008-01-13 07:13:48 +08:00
|
|
|
Sun Jan 13 08:13:44 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java (parseFile): report
|
|
|
|
errors if it is not a syntax error.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: declare SyntaxException and
|
|
|
|
FileException separately.
|
|
|
|
|
2008-01-13 06:54:07 +08:00
|
|
|
Sun Jan 13 07:54:02 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: new option
|
|
|
|
--debug-parser.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: dump parsing process using
|
|
|
|
JavaCC's tracing function.
|
|
|
|
|
2008-01-13 05:53:46 +08:00
|
|
|
Sun Jan 13 06:52:52 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/DereferenceChecker.java: throw
|
|
|
|
SemanticError on invalid expr and catch it on each statement.
|
|
|
|
|
|
|
|
* test/test3.cb: make compilable.
|
|
|
|
|
|
|
|
* test/aref-semcheck2.cb: test nested invalid expr.
|
|
|
|
|
|
|
|
* test/test.sh: run aref-semcheck2.cb.
|
|
|
|
|
2008-01-13 04:21:11 +08:00
|
|
|
Sun Jan 13 05:20:59 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/ArrayType.java (size): returns pointer
|
|
|
|
size if the type is not allocated.
|
|
|
|
|
|
|
|
* test/test.sh: test integer.cb.
|
|
|
|
|
|
|
|
* test/test.sh: test initializer.cb.
|
|
|
|
|
|
|
|
* test/test.sh: test test2.cb.
|
|
|
|
|
|
|
|
* test/test.sh: test test3.cb.
|
|
|
|
|
|
|
|
* test/test.sh: test test4.cb.
|
|
|
|
|
|
|
|
* test/test2.cb: long long is not supported now.
|
|
|
|
|
|
|
|
* test/test4.cb: f -> main to make compilable.
|
|
|
|
|
|
|
|
* test/list-untested.rb: new tool.
|
|
|
|
|
2008-01-13 03:48:31 +08:00
|
|
|
Sun Jan 13 04:48:28 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: fork
|
|
|
|
DereferenceChecker, to reduce catch(SemanticError).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/DereferenceChecker.java: new class.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ExprNode.java (isAssignable,
|
|
|
|
isDereferable): catch SemanticError which may occuer on
|
|
|
|
type.isXXXX.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Visitor.java: refactoring: rename
|
|
|
|
method: #resolve -> #visitNode.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Visitor.java: refactoring: rename
|
|
|
|
method: #resolveNodeList -> #visitNodeList.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/JumpResolver.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/LocalReferenceResolver.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeResolver.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: parse command line
|
|
|
|
options more precisely.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: new option --compile.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: new option
|
|
|
|
--dump-reference.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: new option
|
|
|
|
--dump-semantic.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/VariableNode.java (dump): show resolved
|
|
|
|
or not.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/TypeNode.java (dump): ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Dumper.java (printMember): ditto.
|
|
|
|
|
2008-01-13 03:47:28 +08:00
|
|
|
Sun Jan 13 04:47:12 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/Type.java: make #isCompatible and
|
|
|
|
#isCastable abstract.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/VoidType.java: define #equals,
|
|
|
|
#isSameType, #isCompatible, #isCastableTo.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/ComplexType.java: define #isSameType,
|
|
|
|
#isCompatible, #isCastableTo, #memberTypes.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/ArrayType.java: define #isCompatible,
|
|
|
|
#isCastableTo.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/PointerType.java (isCompatible): void
|
|
|
|
pointer is compatible with any pointer.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/FunctionType.java: check parameter
|
|
|
|
types.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Params.java: define #types and
|
|
|
|
#isSameType to be used from FunctionType.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/FixedParams.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/VarParams.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeTable.java: new method #voidType.
|
|
|
|
|
2008-01-13 03:34:57 +08:00
|
|
|
Sun Jan 13 04:34:30 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* test/unistd.hb: define _exit.
|
|
|
|
|
2008-01-07 06:47:03 +08:00
|
|
|
Mon Jan 7 07:08:44 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: refactoring: rename method:
|
|
|
|
#loc -> #location.
|
|
|
|
|
2008-01-07 01:22:55 +08:00
|
|
|
Mon Jan 7 02:22:34 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java (invoke): pass through
|
|
|
|
stdout/stderr of child process.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: #register
|
|
|
|
removed. Use DSL method al(), cl(), eax() instead.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/Register.java: return "%al" for size 1 ax
|
|
|
|
register.
|
|
|
|
|
|
|
|
* test/shunit.sh: allow to get stderr of testing command by
|
|
|
|
setting environment variable SHUNIT_VERBOSE.
|
|
|
|
|
2008-01-06 01:27:32 +08:00
|
|
|
Sun Jan 6 02:27:29 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/UnaryOpNode.java (_dump): show operator.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/BinaryOpNode.java (_dump): show operator.
|
|
|
|
|
2008-01-05 23:33:44 +08:00
|
|
|
Sun Jan 6 00:33:34 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* Type class hierarchy grand restruct: retire Signed*Type,
|
|
|
|
Unsigned*Type, Signed*Ref, Unsigned*Ref.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/IntegerTypeRef.java: new class. unify
|
|
|
|
Signed*Ref, Unsigned*Ref.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/IntegerType.java: unify Signed*Type,
|
|
|
|
Unsigned*Type.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/Unsigned*.java: removed.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/Signed*.java: removed.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeRef.java (hashCode): calculate
|
|
|
|
hashCode based on typeref name.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/*TypeRef.java: follow it.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeTable.java: follow these changes.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: ditto.
|
|
|
|
|
* AST class hierarchy grand restruct: remove and unify many operator nodes.
* net/loveruby/cflat/ast/UnaryOpNode.java: unify arithmetic unary op nodes (+, -, !, ~).
* net/loveruby/cflat/ast/BinaryOpNode.java: unify almost all binary op nodes (+, -, *, /, %, &, |, ^, <<, >>) and comparison operators (==, !=, >, >=, <, <=).
* net/loveruby/cflat/ast/PrefixOpNode.java: new class. unify prefix inc/dec.
* net/loveruby/cflat/ast/SuffixOpNode.java: new class. unify suffix inc/dec.
* net/loveruby/cflat/ast/OpAssignNode.java: new class. unify all *AssignNode.
* net/loveruby/cflat/parser/Parser.jj: follow these grand changes.
* net/loveruby/cflat/compiler/Visitor.java: ditto.
* net/loveruby/cflat/compiler/CodeGenerator.java: ditto.
* net/loveruby/cflat/compiler/TypeChecker.java: ditto.
* net/loveruby/cflat/ast/DereferenceNode.java: ditto.
* net/loveruby/cflat/ast/LogicalAndNode.java: ditto.
* net/loveruby/cflat/ast/LogicalOrNode.java: ditto.
* net/loveruby/cflat/ast/AddressNode.java: ditto.
* net/loveruby/cflat/ast/ASTVisitor.java: ditto.
git-svn-id: file:///Users/aamine/c/gitwork/public/cbc/trunk@3807 1b9489fe-b721-0410-924e-b54b9192deb8
2008-01-05 22:48:18 +08:00
|
|
|
Sat Jan 5 23:48:10 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* AST class hierarchy grand restruct: remove and unify many
|
|
|
|
operator nodes.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/UnaryOpNode.java: unify arithmetic unary
|
|
|
|
op nodes (+, -, !, ~).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/BinaryOpNode.java: unify almost all
|
|
|
|
binary op nodes (+, -, *, /, %, &, |, ^, <<, >>) and comparison
|
|
|
|
operators (==, !=, >, >=, <, <=).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/PrefixOpNode.java: new class. unify
|
|
|
|
prefix inc/dec.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/SuffixOpNode.java: new class. unify
|
|
|
|
suffix inc/dec.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/OpAssignNode.java: new class. unify all
|
|
|
|
*AssignNode.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: follow these grand changes.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Visitor.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/DereferenceNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/LogicalAndNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/LogicalOrNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/AddressNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ASTVisitor.java: ditto.
|
|
|
|
|
2008-01-05 12:57:36 +08:00
|
|
|
Sat Jan 5 13:57:33 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: report error.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: simplify error message.
|
|
|
|
|
2008-01-05 12:24:00 +08:00
|
|
|
Sat Jan 5 13:23:57 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/MemberNode.java: #name -> #member.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/PtrMemberNode.java: #name -> #member.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: follow changes.
|
|
|
|
|
2008-01-05 12:20:35 +08:00
|
|
|
Sat Jan 5 13:20:32 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Declaration.java: removed.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Definition.java: removed.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Entity.java: inherits Node now.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/TypeDefinition.java: inherits Node now.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ToplevelScope.java: do not depend on
|
|
|
|
Declaration.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeResolver.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/CaseNode.java: inherits StmtNode.
|
|
|
|
|
2008-01-05 11:52:41 +08:00
|
|
|
Sat Jan 5 12:52:38 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ExprNode.java: has all LHSNode methods.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/LHSNode.java: removed (methods merged
|
|
|
|
into ExprNode).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/CastNode.java: should implement
|
|
|
|
#isConstantAddress.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/DereferenceNode.java: does not implement
|
|
|
|
LHSNode.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ArefNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/PtrMemberNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/MemberNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/VariableNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/LiteralNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: cast not needed.
|
|
|
|
|
|
|
|
* test/cast3.cb: test cast on LHS.
|
|
|
|
|
|
|
|
* test/test.sh: run it.
|
|
|
|
|
2008-01-05 11:23:27 +08:00
|
|
|
Sat Jan 5 12:23:25 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: show error location.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeResolver.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/ErrorHandler.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/LocalReferenceResolver.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/JumpResolver.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeTable.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Scope.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/NamedType.java: introduce new common
|
|
|
|
superclass of ComplexType and UserType.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/ComplexType.java: inherit NamedType.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/UserType.java: inherit NamedType.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/StructType.java: memoise defined
|
|
|
|
location.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/UnionType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/DefinedFunction.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeTable.java: change define* methods
|
|
|
|
interface to pass all definition informations.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/StructNode.java: follow it.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/UnionNode.java: follow it.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/TypedefNode.java: follow it.
|
|
|
|
|
2008-01-05 09:34:27 +08:00
|
|
|
Sat Jan 5 10:34:24 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Node.java: all nodes must contain
|
|
|
|
Location.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/*Node.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Location.java: new class.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Dumper.java (printClass): show location.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/*Ref.java: support Location.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: pass location to nodes.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: long long removed.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/SignedLongLongRef.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/UnsignedLongLongRef.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/SignedLongLongType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/UnsignedLongLongType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeTable.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/LiteralNode.java: introduce new
|
|
|
|
superclass of all literal nodes.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/StmtNode.java: introduce new superclass
|
|
|
|
of all statement nodes.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Declaration.java: is subclass of Node.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Dumpable.java: removed: Now declarations
|
|
|
|
are subclass of Node.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Dumper.java: follow new class hierarchy.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/DefinitionVisitor.java: removed: merge
|
|
|
|
into ASTVisitor again.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Visitor.java: follow new class
|
|
|
|
hierarchy.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeResolver.java: ditto.
|
|
|
|
|
2008-01-05 07:00:28 +08:00
|
|
|
Sat Jan 5 08:00:26 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* test/test.sh: compile command by myself before run it.
|
|
|
|
|
|
|
|
* test/shunit.sh (assert_status, assert_error, assert_stdout):
|
|
|
|
allow any number of arguments for command.
|
|
|
|
|
|
|
|
* test/Makefile: remove task "cbprograms".
|
|
|
|
|
|
|
|
* test/Makefile (clean): clean programs depending on svn:ignore
|
|
|
|
list.
|
|
|
|
|
2008-01-05 06:36:45 +08:00
|
|
|
Sat Jan 5 07:36:43 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* test/cast2.cb: test cast from long* to int*.
|
|
|
|
|
|
|
|
* test/test.sh: change result.
|
|
|
|
|
2008-01-05 06:33:14 +08:00
|
|
|
Sat Jan 5 07:33:06 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java
|
|
|
|
(DereferenceNode): reduce compileLHS call.
|
|
|
|
|
|
|
|
* test/pointer4.cb: test derefering AddressNode.
|
|
|
|
|
|
|
|
* test/test.sh: run it.
|
|
|
|
|
2008-01-05 06:21:20 +08:00
|
|
|
Sat Jan 5 07:21:18 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java (compileLHS):
|
|
|
|
support CastNode.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: do not warn
|
|
|
|
incompatible cast, if it is castable.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/IntegerType.java (isCastable): allow
|
|
|
|
array.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/Type.java (isCastable): use isCompatible
|
|
|
|
for default implementation.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/PointerType.java: forgot to add
|
|
|
|
#isCompatible.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/PointerType.java: forgot to add
|
|
|
|
#isCastable.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/PointerType.java (equals): reject type
|
|
|
|
alias by using instanceof.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/CastNode.java: forward #isAssignable to
|
|
|
|
base expr.
|
|
|
|
|
|
|
|
* test/cast2.cb: test cast of pointer.
|
|
|
|
|
|
|
|
* test/Makefile: build it.
|
|
|
|
|
|
|
|
* test/test.sh: test it.
|
|
|
|
|
2008-01-05 05:51:37 +08:00
|
|
|
Sat Jan 5 06:51:34 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* test/pointer2.cb: test multiple level of pointer.
|
|
|
|
|
|
|
|
* test/array-semcheck2.cb -> array2.cb.
|
|
|
|
|
|
|
|
* test/pointer-semcheck1.cb -> pointer3.cb.
|
|
|
|
|
|
|
|
* test/Makefile: follow them.
|
|
|
|
|
|
|
|
* test/test.sh: ditto.
|
|
|
|
|
2008-01-05 05:36:54 +08:00
|
|
|
Sat Jan 5 06:36:44 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: reject invalid RHS
|
|
|
|
type explicitly.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: reject void
|
|
|
|
paramters.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: allow all type of
|
|
|
|
arrays for RHS.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java (variableNode):
|
|
|
|
generate address for allocated array on RHS.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java (ArefNode):
|
|
|
|
expects expr generates pointer by compile().
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java
|
|
|
|
(compileLHS/ArefNode): unallocated array is a pointer.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/Type.java: new method #isPointerAlike.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/ArrayType.java: implement it.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/PointerType.java: implement it.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/Assembler.java: new method #comment, to
|
|
|
|
add comment.
|
|
|
|
|
|
|
|
* test/array-semcheck2.cb: check assignment to unallocated array.
|
|
|
|
|
|
|
|
* test/array-semcheck2.cb: check dereference of unallocated array.
|
|
|
|
|
|
|
|
* test/Makefile: build it.
|
|
|
|
|
|
|
|
* test/test.sh: run it.
|
|
|
|
|
2008-01-05 03:27:31 +08:00
|
|
|
Sat Jan 5 04:27:29 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* test/test.sh: new function assert_compile_error to check if
|
|
|
|
compile error occured really (rejects runtime error).
|
|
|
|
|
|
|
|
* test/Makefile: remove task "errors".
|
|
|
|
|
2008-01-05 03:05:23 +08:00
|
|
|
Sat Jan 5 04:05:19 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: check if variable
|
|
|
|
type is not void (gvar, lvar).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: check if parameter
|
|
|
|
type is not void.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: allow unallocated
|
|
|
|
array for parameter.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: refactoring:
|
|
|
|
rename method: #resolve -> #check.
|
|
|
|
|
2008-01-05 02:43:45 +08:00
|
|
|
Sat Jan 5 03:43:42 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/Type.java: #textize -> #toString.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/IntegerType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/ComplexType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/StructType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/FunctionType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/VoidType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/UserType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/ArrayType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/PointerType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeTable.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/UnionType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Dumper.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: ditto.
|
|
|
|
|
2008-01-04 07:30:58 +08:00
|
|
|
Fri Jan 4 08:30:55 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Dumper.java: specialize TypeNode
|
|
|
|
printing.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Params.java: show parameter list.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/*TypeRef.java: define #toString.
|
|
|
|
|
2008-01-04 07:01:49 +08:00
|
|
|
Fri Jan 4 08:01:31 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: implement command
|
|
|
|
line option --dump-ast.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: implement command
|
|
|
|
line option --dump-tokens.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Dumper.java: new class; AST dumper.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Dumpable.java: new interface; AST dumper
|
|
|
|
interface.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/*.java: define #dump, #_dump.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/Assembler.java: fork
|
|
|
|
utils/TextUtils.java.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/utils/TextUtils.java: new file.
|
|
|
|
|
|
|
|
* test/stdlib.hb: new header file.
|
|
|
|
|
|
|
|
* test/unistd.hb: new header file.
|
|
|
|
|
2008-01-04 02:23:38 +08:00
|
|
|
Fri Jan 4 03:23:34 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* test/struct-semcheck10.cb: test struct which contains void.
|
|
|
|
|
|
|
|
* test/union-semcheck10.cb: test union which contains void.
|
|
|
|
|
|
|
|
* test/array-semcheck1.cb: test array which contains void.
|
|
|
|
|
|
|
|
* test/test.sh: run them.
|
|
|
|
|
2008-01-04 02:15:31 +08:00
|
|
|
Fri Jan 4 03:15:28 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeResolver.java: refactoring:
|
|
|
|
unify gvar/lvar initializer resolver.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: check gvar
|
|
|
|
initializer.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/LocalReferenceResolver.java: resolve
|
|
|
|
gvar initializer.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/AST.java: new method #variables.
|
|
|
|
|
|
|
|
* test/initializer.cb: test variable initializer.
|
|
|
|
|
|
|
|
* test/stdio.hb: return type of printf/puts/putc is int.
|
|
|
|
|
|
|
|
* test/usertype.cb: ditto.
|
|
|
|
|
|
|
|
* test/funcptr.cb: ditto.
|
|
|
|
|
2008-01-04 01:47:21 +08:00
|
|
|
Fri Jan 4 02:47:18 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Visitor.java: did not visit lvar
|
|
|
|
initializer.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: check lvar
|
|
|
|
initializer.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/DefinedVariable.java: new method
|
|
|
|
#setInitializer.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/PointerType.java (isSameType): all array
|
|
|
|
is same type (allocated arrays are rejected by LHS check).
|
|
|
|
|
|
|
|
* test/block.cb: was wrong test.
|
|
|
|
|
|
|
|
* test/assign.cb: add tests.
|
|
|
|
|
|
|
|
* test/test.sh: adjust output for assign.cb.
|
|
|
|
|
2008-01-04 00:46:44 +08:00
|
|
|
Fri Jan 4 01:45:30 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java (PtrMemberNode):
|
|
|
|
allow array for base expr.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java (AssignNode):
|
|
|
|
should not leave RHS value on stack (because of feature change).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java (VariableNode):
|
|
|
|
load address for array, to support ptr = ary.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java (ArefNode):
|
|
|
|
dereference pointer, to support ptr[0].
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java
|
|
|
|
(compileLHS/ArefNode): ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java
|
|
|
|
(compileLHS/ArefNode): support non-LHS expr.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java
|
|
|
|
(compileLHS/ArefNode): support non-constant index.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java
|
|
|
|
(compileLHS/DereferenceNode): support non-LHS expr.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java
|
|
|
|
(compileLHS/PtrMemberNode): support non-LHS expr.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java (PrefixIncNode,
|
|
|
|
PrefixDecNode, SuffixIncNode, SuffixDecNode): support pointer
|
|
|
|
inc/dec.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: #size ->
|
|
|
|
#allocSize.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/Type.java: new method #allocSize, to
|
|
|
|
support ptr = ary.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/ArrayType.java: override #size and
|
|
|
|
#allocSize.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Entity.java: should define #allocSize,
|
|
|
|
not #size.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/Register.java: should not handle AMD64
|
|
|
|
registers.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/Assembler.java: should not handle >4 size
|
|
|
|
operators.
|
|
|
|
|
|
|
|
* test/pointer-semcheck1.cb: test ptr = ary; ptr[0].
|
|
|
|
|
|
|
|
* test/deref-semcheck4.cb: test 1->memb.
|
|
|
|
|
|
|
|
* test/deref-semcheck5.cb: test ptr->y where y is not a member.
|
|
|
|
|
|
|
|
* test/Makefile: build pointer-semcheck1.
|
|
|
|
|
|
|
|
* test/test.sh: run them.
|
|
|
|
|
2008-01-03 22:37:41 +08:00
|
|
|
Thu Jan 3 23:37:39 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeTable.java: should use
|
|
|
|
#getComplexType to dereference UserType into real ComplexType.
|
|
|
|
|
|
|
|
* test/union-semcheck9.cb: test recursive struct whose member is
|
|
|
|
user type.
|
|
|
|
|
|
|
|
* test/struct-semcheck9.cb: test recursive union whose member is
|
|
|
|
user type.
|
|
|
|
|
|
|
|
* test/test.sh: run them.
|
|
|
|
|
2008-01-03 22:31:26 +08:00
|
|
|
Thu Jan 3 23:31:24 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: try semantic check
|
|
|
|
and catch semantic errors (mainly thrown from *Node#type).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/exception/SemanticError.java: new class.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/ComplexType.java: throw SemanticError
|
|
|
|
when no member found.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/Type.java: #baseType throw SemanticError
|
|
|
|
instead of Error.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/FuncallNode.java: convert
|
|
|
|
ClassCastException to SemanticError.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/PtrMemberNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/MemberNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeTable.java: check recursive typedef.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeTable.java: validate
|
|
|
|
array/struct/union does not contain void.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/UserType.java: #real -> #realType.
|
|
|
|
|
|
|
|
* test/struct-semcheck8.cb: test 1.memb.
|
|
|
|
|
|
|
|
* test/union-semcheck8.cb: test (1+"str").memb.
|
|
|
|
|
|
|
|
* test/Makefile: build them.
|
|
|
|
|
|
|
|
* test/test.sh: run them.
|
|
|
|
|
2008-01-03 20:36:36 +08:00
|
|
|
Thu Jan 3 21:36:23 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: check type by
|
|
|
|
#isSameType, do not use #equals. List uses #equals for identity
|
|
|
|
check, PointerType.equals(UserType) should be false. But type
|
|
|
|
check expects PointerType.isSameType(UserType) should be true if
|
|
|
|
the UserType is really a pointer.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/Type.java: new method #isSameType.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/IntegerType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/StructType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/FunctionType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/VoidType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/UserType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/ArrayType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/PointerType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/UnionType.java: ditto.
|
|
|
|
|
2008-01-03 19:51:51 +08:00
|
|
|
Thu Jan 3 20:51:47 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: reject LHS which
|
|
|
|
has invalid type (struct, union, allocated array).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: reject arguments
|
|
|
|
which has invalid type (struct, union, allocated array).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/Type.java: new method #isAllocatedArray.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/ArrayType.java: override it.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/ArrayType.java: new method #isAllocated.
|
|
|
|
|
2008-01-03 19:37:57 +08:00
|
|
|
Thu Jan 3 20:37:53 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* test/ptrmemb.cb: test ptr->x where ptr is a pointer to union.
|
|
|
|
|
|
|
|
* test/ptrmemb.cb: test (*ptr).x where ptr is a pointer to struct.
|
|
|
|
|
|
|
|
* test/ptrmemb.cb: test (*ptr).x where ptr is a pointer to union.
|
|
|
|
|
|
|
|
* test/ptrtostruct.cb: merged to ptrmemb.cb.
|
|
|
|
|
|
|
|
* test/test.sh: remove ptrtostruct.
|
|
|
|
|
2008-01-03 19:31:57 +08:00
|
|
|
Thu Jan 3 20:31:54 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* test/ptrtostruct.cb: test (*ptr).memb access.
|
|
|
|
|
2008-01-03 19:26:07 +08:00
|
|
|
Thu Jan 3 20:26:01 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: <<, >> does not
|
|
|
|
require same type of integers. 2 types of integers are OK.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: arrays and
|
|
|
|
pointers are both dereferable (== indexable). We can dereference
|
|
|
|
both.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/Type.java: #isIndexable ->
|
|
|
|
#isDereferable.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/UserType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/ArrayType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ExprNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/Type.java: #isReferable ->
|
|
|
|
#isDereferable.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/ArrayType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/PointerType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/UserType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ArefNode.java: ptr[0] should be allowed.
|
|
|
|
Use #isDereferable instead of explict pointer check.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/DereferenceNode.java: override #type.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ArefNode.java: remove cast for Type.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/FuncallNode.java: #functionType should be
|
|
|
|
called after checking isCallable, type check is not needed in
|
|
|
|
#functionType.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/PtrMemberNode.java: #baseType ->
|
|
|
|
#dereferedType.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/MemberNode.java: reduce cast for Type.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/Type.java: define #baseType here.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/ArrayType.java: override #baseType
|
|
|
|
(#base -> #baseType).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/PointerType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/UserType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Function.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/PointerType.java: is not an integer.
|
|
|
|
#isInteger removed.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/ArrayTypeRef.java: #base -> #baseType.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/PointerTypeRef.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeTable.java: do not use cast methods,
|
|
|
|
use true cast, since the real type is required here.
|
|
|
|
|
|
|
|
* test/usertype.cb: test user type.
|
|
|
|
|
|
|
|
* test/Makefile: build it.
|
|
|
|
|
|
|
|
* test/test.sh: run it.
|
|
|
|
|
2008-01-03 17:00:13 +08:00
|
|
|
Thu Jan 3 18:00:10 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: check if parameter
|
|
|
|
type is valid.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: check if argument
|
|
|
|
type is valid.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: check if lhs is
|
|
|
|
assignable.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: reduce cast.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Function.java: define #address here.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/DefinedFunction.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/UndefinedFunction.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/BlockNode.java: fix type error by cast.
|
|
|
|
|
|
|
|
* test/test.sh: test funcptr2.
|
|
|
|
|
|
|
|
* test/funcptr2.cb: test a function pointer to local (defined)
|
|
|
|
function.
|
|
|
|
|
2008-01-02 20:46:47 +08:00
|
|
|
Wed Jan 2 21:46:44 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: pass BlockNode to
|
|
|
|
DefinedFunction.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/DefinedFunction.java: #body is a
|
|
|
|
BlockNode, not Node.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/BlockNode.java: new method #tailStmt.
|
|
|
|
|
2008-01-02 19:53:41 +08:00
|
|
|
Wed Jan 2 20:53:36 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* introduce ExprNode class for all expression nodes.
|
|
|
|
|
2008-01-02 18:46:28 +08:00
|
|
|
Wed Jan 2 19:45:01 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: check &expr is
|
|
|
|
assignable.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Node.java: new generic method
|
|
|
|
#isAssignable.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/VariableNode.java: is assignable.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/DereferenceNode.java: is assignable.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ArefNode.java: is assignable.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/MemberNode.java: is assignable.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/PtrMemberNode.java: is assignable.
|
|
|
|
|
2008-01-02 18:18:38 +08:00
|
|
|
Wed Jan 2 19:18:29 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: check return type.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/JumpResolver.java: set exiting
|
|
|
|
function to ReturnNode.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ReturnNode.java: new method #setExpr.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ReturnNode.java: new method #function.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ReturnNode.java: new method #setFunction.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Function.java: new method #isVoid.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Function.java: new method #returnType.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Function.java: new method #functionType.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeRef.java: new method
|
|
|
|
#getPointerTypeRef.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeRef.java: new method
|
|
|
|
#getArrayTypeRef.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeRef.java: new method
|
|
|
|
#getStructTypeRef.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeRef.java: new method
|
|
|
|
#getUnionTypeRef.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeRef.java: new method
|
|
|
|
#getFunctionTypeRef.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeRef.java: #isFunctionType ->
|
|
|
|
#isFunction.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/FunctionTypeRef.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeRef.java: #isVoidTypeRef -> #isVoid.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/VoidTypeRef.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeRef.java: #isArrayTypeRef ->
|
|
|
|
#isArray.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/ArrayTypeRef.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/Type.java: #isNumeric removed.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/IntegerType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/Type.java: new method #getComplexType.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/Type.java: new method #getStructType.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/Type.java: new method #getUnionType.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/Type.java: new method #getArrayType.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/Type.java: new method #getPointerType.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/Type.java: new method #getFunctionType.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/UserType.java: override them.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/PointerType.java (equals): reduce
|
|
|
|
instanceof.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeTable.java: reduce instanceof/cast.
|
|
|
|
|
|
|
|
* test/test.sh: invoke following tests.
|
|
|
|
|
|
|
|
* test/defun-semcheck2.cb: test returning value from void
|
|
|
|
function.
|
|
|
|
|
|
|
|
* test/defun-semcheck3.cb: test returning nothing from non-void
|
|
|
|
function.
|
|
|
|
|
|
|
|
* test/defun-semcheck4.cb: test returning struct.
|
|
|
|
|
|
|
|
* test/defun-semcheck5.cb: test returning union.
|
|
|
|
|
|
|
|
* test/defun-semcheck6.cb: test returning user type, which is
|
|
|
|
union.
|
|
|
|
|
|
|
|
* test/defun-semcheck7.cb: test returning user type, which is
|
|
|
|
struct.
|
|
|
|
|
|
|
|
* test/defun-semcheck8.cb: test returning array.
|
|
|
|
|
2008-01-02 03:03:14 +08:00
|
|
|
Wed Jan 2 04:03:10 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: allow ptr + int,
|
|
|
|
ptr - int.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/BinaryOpNode.java: new method #setType.
|
|
|
|
|
2008-01-02 02:17:50 +08:00
|
|
|
Wed Jan 2 03:17:46 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeResolver.java: pass ErrorHandler
|
|
|
|
to TypeType#semanticCheck.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeTable.java (semanticCheck): check
|
|
|
|
duplicated member.
|
|
|
|
|
|
|
|
* test/test.sh: invoke following test cases.
|
|
|
|
|
|
|
|
* test/struct-semcheck7.cb: test duplicated member on struct.
|
|
|
|
|
|
|
|
* test/union-semcheck7.cb: test duplicated member on union.
|
|
|
|
|
2008-01-02 02:00:25 +08:00
|
|
|
Wed Jan 2 03:00:22 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: composite literal removed.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/CompositeLiteralNode.java: removed.
|
|
|
|
|
2008-01-02 00:32:15 +08:00
|
|
|
Wed Jan 2 01:32:12 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: better error
|
|
|
|
message.
|
|
|
|
|
|
|
|
* test/test.sh: run following tests.
|
|
|
|
|
|
|
|
* test/deref-semcheck1.cb: check if dereferencing int causes
|
|
|
|
compile error.
|
|
|
|
|
|
|
|
* test/deref-semcheck2.cb: check if dereferencing char causes
|
|
|
|
compile error.
|
|
|
|
|
|
|
|
* test/deref-semcheck3.cb: check if dereferencing struct causes
|
|
|
|
compile error.
|
|
|
|
|
2008-01-02 00:24:09 +08:00
|
|
|
Wed Jan 2 01:24:05 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: check member
|
|
|
|
validity for s.memb, s->memb, u.memb, u->memb.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/Type.java: new method #isComplexType.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/ComplexType.java: override it.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/LocalReferenceResolver.java: should
|
|
|
|
resolve variable initializer.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/DefinedVariable.java: new method
|
|
|
|
#hasInitializer.
|
|
|
|
|
|
|
|
* test/test.sh: run tests.
|
|
|
|
|
|
|
|
* test/struct-semcheck5.cb: check if member is valid on s.memb.
|
|
|
|
|
|
|
|
* test/struct-semcheck6.cb: check if member is valid on
|
|
|
|
sptr->memb.
|
|
|
|
|
|
|
|
* test/union-semcheck5.cb: check if member is valid on u.memb.
|
|
|
|
|
|
|
|
* test/union-semcheck6.cb: check if member is valid on uptr->memb.
|
|
|
|
|
2008-01-01 23:38:50 +08:00
|
|
|
Wed Jan 2 00:38:48 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: check aref base
|
|
|
|
expr and index expr.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Node.java: new method #isIndexable.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/Type.java: new method #isIndexable.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/ArrayType.java: override it.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/PointerType.java: ditto.
|
|
|
|
|
|
|
|
* test/test.sh: test aref and funcall semantic check.
|
|
|
|
|
|
|
|
* test/aref-semcheck.cb: check if 1[0] causes error.
|
|
|
|
|
|
|
|
* test/funcall-semcheck2.cb: check if 1() causes error.
|
|
|
|
|
2008-01-01 23:22:54 +08:00
|
|
|
Wed Jan 2 00:22:51 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: check function
|
|
|
|
arguments.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/FuncallNode.java: rename method: #args ->
|
|
|
|
#argument.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Visitor.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Params.java: new method #argc, #minArgc.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/FixedParams.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/VarParams.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Node.java: new method #isCallable.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/FunctionType.java: new method
|
|
|
|
#acceptsArgc.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/FunctionType.java: new method
|
|
|
|
#paramTypes.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/Type.java: new method #isCallable.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/PointerType.java: ditto.
|
|
|
|
|
2008-01-01 22:21:26 +08:00
|
|
|
Tue Jan 1 23:21:22 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: create TypeTable
|
|
|
|
here.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: accepts
|
|
|
|
TypeTable and ErrorHandler.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeResolver.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: set type of
|
|
|
|
AddressNode.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: warn incompatible
|
|
|
|
cast.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/ErrorHandler.java: modify message
|
|
|
|
(error -> warning).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: rename variable: handler ->
|
|
|
|
errorHandler.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/AST.java: do not contain TypeTable.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ComplexTypeDefinition.java: new method
|
|
|
|
#type.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/StructNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/UnionNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/AddressNode.java: receive Type from
|
|
|
|
TypeChcker.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeTable.java: new method #pointerTo.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/IntegerType.java (isCompatible): check
|
|
|
|
if self is compatible with other side (be able to cast to other
|
|
|
|
implicitly).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/IntegerType.java (isCastableTo): allow
|
|
|
|
explicit cast if type of type is same (integer/pointer).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/PointerType.java: implement #equals.
|
|
|
|
|
2008-01-01 20:56:25 +08:00
|
|
|
Tue Jan 1 21:56:19 2008 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: invoke TypeChecker.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeChecker.java: check type
|
|
|
|
(incomplete).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/Type.java: new method #isCompatible,
|
|
|
|
#isCastableTo.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/IntegerType.java: override them.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/UnsignedCharType.java: change textize
|
|
|
|
result.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/UnsignedLongType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/UnsignedIntType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/UnsignedShortType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/AbstractAssignNode.java: new method
|
|
|
|
#setRHS.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/AssignNode.java: is now an
|
|
|
|
AbstractAssignNode.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/BinaryOpNode.java: new methods #setLeft,
|
|
|
|
#setRight.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/FuncallNode.java (type): does not rely on
|
|
|
|
#function (can get type of non-static function).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/CondExprNode.java: new methods
|
|
|
|
#setThenBody, #setElseBody.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/TypeNode.java: new constructor by Type.
|
|
|
|
|
2007-12-26 05:12:31 +08:00
|
|
|
Wed Dec 26 06:12:26 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj (expr10): then expr is
|
|
|
|
expr().
|
|
|
|
|
2007-12-26 01:46:37 +08:00
|
|
|
Wed Dec 26 02:46:32 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: 5-1-1 should be 3, not 5.
|
|
|
|
|
|
|
|
* test/test.sh: test op association.
|
|
|
|
|
|
|
|
* test/assoc.cb: new test case.
|
|
|
|
|
|
|
|
* test/Makefile: build it.
|
|
|
|
|
2007-12-25 04:53:23 +08:00
|
|
|
Tue Dec 25 05:53:19 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj (fixedparams,
|
|
|
|
fixedparam_typerefs, args): simplify lookahead.
|
|
|
|
|
2007-12-25 01:09:37 +08:00
|
|
|
Tue Dec 25 02:09:35 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: expr0 -> expr1, expr1 ->
|
|
|
|
expr2, ...
|
|
|
|
|
2007-12-24 17:05:01 +08:00
|
|
|
Mon Dec 24 18:04:08 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: use better identifier.
|
|
|
|
|
2007-12-24 16:19:51 +08:00
|
|
|
Mon Dec 10 06:51:39 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: refactoring: rename rule:
|
|
|
|
memberlist -> member_list.
|
|
|
|
|
|
|
|
Mon Dec 10 06:45:13 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: refactoring: rename rule:
|
|
|
|
ifstmt -> if_stmt, etc.
|
|
|
|
|
|
|
|
Mon Dec 10 06:36:33 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: fix&test term/primary
|
|
|
|
change.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: remove useles LOOKAHEADs.
|
|
|
|
|
|
|
|
Mon Dec 10 04:57:38 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: add <EOF> explicitly.
|
|
|
|
|
|
|
|
Mon Dec 10 03:09:53 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* test/test.sh: test function pointer.
|
|
|
|
|
|
|
|
Mon Dec 10 03:07:34 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: too few
|
|
|
|
dereference to call function from pointer.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/UndefinedFunction.java: needs "$"
|
|
|
|
(immediate value) prefix to get undefined function address.
|
|
|
|
|
|
|
|
Mon Dec 10 02:35:23 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: support function pointer.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: parse function type.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: Function's type is a
|
|
|
|
pointer to a function.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeRef.java: new method
|
|
|
|
#isFunctionType.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/FunctionType.java (textize): show
|
|
|
|
parameter types.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/FunctionTypeRef.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeTable.java (get): resolve
|
|
|
|
FunctionTypeRef.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Params.java: refactoring: rename method:
|
|
|
|
variables -> parameters.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/FixedParams.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/VarParams.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/DefinedFunction.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/UndefinedFunction.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Params.java: new method #equals.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/FixedParams.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/VarParams.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Params.java: new method #internTypes.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/FixedParams.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/VarParams.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Params.java: new method #typeRefs.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/FixedParams.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/VarParams.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/UndefinedFunction.java (address): does
|
|
|
|
not need symbol prefix "_".
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/Assembler.java: do not escape printable
|
|
|
|
chars.
|
|
|
|
|
|
|
|
* test/funcptr.cb: test function pointer (not passed yet).
|
|
|
|
|
|
|
|
* test/Makefile: build it.
|
|
|
|
|
|
|
|
Sun Dec 9 23:47:32 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: accept arbitrary expression
|
|
|
|
for base pointer.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/FuncallNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Visitor.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: support function
|
|
|
|
pointer (not tested yet).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: support prefix
|
|
|
|
increment (not tested yet).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: support prefix
|
|
|
|
decrement (not tested yet).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/Assembler.java: new method #ptrcall to
|
|
|
|
support function pointer.
|
|
|
|
|
|
|
|
Sun Dec 9 23:04:04 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: parse composite literal
|
|
|
|
({1,2,3,...}) as variable initializer or RHS.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: compile
|
|
|
|
ptr->memb as LHS.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: compile
|
|
|
|
ptr->memb as RHS.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: optimize *ptr
|
|
|
|
(reduce 1 mov).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeResolver.java: refactoring:
|
|
|
|
rename method: visitComplexType -> resolveComplexType.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/DereferenceNode.java: remove FIXME tag.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/PtrMemberNode.java: implements LHSNode.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/PtrMemberNode.java: new method
|
|
|
|
#isConstantAddress, #address, #offset.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/MemberNode.java: refactoring: new method
|
|
|
|
#baseType.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/CompositeLiteralNode.java: new class.
|
|
|
|
|
|
|
|
* test/ptrmemb.cb: test ptr->memb (as LHS, RHS).
|
|
|
|
|
|
|
|
* test/Makefile: build it.
|
|
|
|
|
|
|
|
* test/test.sh: run it.
|
|
|
|
|
|
|
|
Sun Dec 9 20:49:08 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: support UTF-8 input.
|
|
|
|
|
|
|
|
* build.properties.mbp: new file.
|
|
|
|
|
|
|
|
* test/mbc.cb: test multibyte input.
|
|
|
|
|
|
|
|
* test/Makefile: build it.
|
|
|
|
|
|
|
|
Tue Dec 4 11:45:59 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: change rule order.
|
|
|
|
|
|
|
|
Tue Dec 4 10:44:42 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: refactoring: clean
|
|
|
|
assign().
|
|
|
|
|
|
|
|
Mon Dec 3 01:39:45 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: allow multiple defvar in
|
|
|
|
one statement.
|
|
|
|
|
|
|
|
* test/defvar.cb: test it.
|
|
|
|
|
|
|
|
* test/assign.cb: test cascaded assignment: x=y=1.
|
|
|
|
|
|
|
|
Sun Dec 2 19:31:33 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* test/funcall-semcheck.cb: test calling function existence check.
|
|
|
|
|
|
|
|
Sat Dec 1 23:32:04 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: output error message.
|
|
|
|
|
|
|
|
* test/cast.cb: test cast expr.
|
|
|
|
|
|
|
|
* test/block.cb: test immediate block.
|
|
|
|
|
|
|
|
Sat Dec 1 23:07:13 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Variable.java: is now superclass of
|
|
|
|
Defined/Undefined variable.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/DefinedVariable.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/UndefinedVariable.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/DefinitionVisitor.java: support them.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Declarations.java: holds vardecls.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: generate Defined/Undefined
|
|
|
|
Variable.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Parameter.java: inherits DefinedVariable.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ToplevelScope.java: follow changes.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeResolver.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/LocalReferenceResolver.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Function.java: is now superclass of
|
|
|
|
Defined/Undefined functio.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/DefinedFunction.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/UndefinedFunction.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Scope.java: warn unused variable.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Entity.java: add reference counter.
|
|
|
|
|
|
|
|
Sat Dec 1 21:06:25 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/LocalReferenceResolver.java: check
|
|
|
|
duplicated parameter.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: pass ErrorHandler to
|
|
|
|
resolver.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Scope.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ToplevelScope.java: ditto.
|
|
|
|
|
|
|
|
* test/test.sh: check break out of loop.
|
|
|
|
|
|
|
|
* test/test.sh: check continue out of loop.
|
|
|
|
|
|
|
|
* test/test.sh: check duplicated parameter.
|
|
|
|
|
|
|
|
Sat Dec 1 20:20:34 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: implement switch stmt.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/JumpResolver.java: resolve break
|
|
|
|
from switch.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: compile switch
|
|
|
|
stmt.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Visitor.java: visit SwitchNode,
|
|
|
|
CaseNode.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ASTVisitor.java; dito.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/SwitchNode.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/CaseNode.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/BreakableStmt.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ContinueableStmt.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/LoopNode.java: is breakable and
|
|
|
|
continueable.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: implement goto stmt.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/JumpResolver.java: resolve goto
|
|
|
|
jump.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: compile
|
|
|
|
GotoNode.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Visitor.java: visit GotoNode.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ASTVisitor.java; ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/DefinedFunction.java: manage goto labels.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/GotoNode.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/LabelNode.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: support recursive import.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/LibraryLoader.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/AST.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Declarations.java: new method #add.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: support error
|
|
|
|
handling.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/ErrorHandler.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/exception/SemanticException.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/exception/SyntaxException.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/exception/CompileException.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/exception/IPCException.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/exception/FileException.java: new file.
|
|
|
|
|
|
|
|
Sun Nov 25 16:20:41 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* test: test semantic checking on union.
|
|
|
|
|
|
|
|
Sun Nov 25 14:17:21 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* test/struct-semcheck.cb: recursive struct definition with
|
|
|
|
pointer is harmless.
|
|
|
|
|
|
|
|
Sun Nov 25 14:13:32 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeResolver.java: check recursive
|
|
|
|
definition of struct/union.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeTable.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/ComplexType.java: ditto.
|
|
|
|
|
|
|
|
* test: test it.
|
|
|
|
|
|
|
|
Sun Nov 25 12:39:42 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: support a?b:c.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Visitor.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ASTVisitor.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/CondExprNode.java: new file.
|
|
|
|
|
|
|
|
* test: test it.
|
|
|
|
|
|
|
|
* test: test &&, ||.
|
|
|
|
|
|
|
|
Sun Nov 25 11:55:56 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: support "\000" style octal
|
|
|
|
escape sequence in string/character literas.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/Assembler.java: GNU as cannot parse \a.
|
|
|
|
|
|
|
|
* test: test it.
|
|
|
|
|
|
|
|
Sun Nov 25 09:36:17 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: support octal integer
|
|
|
|
literal.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: support heximal integer
|
|
|
|
literal.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: support U/UL/L integer
|
|
|
|
literal suffix.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/ArrayTypeRef.java: reject negative
|
|
|
|
length of array.
|
|
|
|
|
|
|
|
* test: test octal/heximal integer literals.
|
|
|
|
|
|
|
|
Sun Nov 25 07:40:49 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/DoWhileNode.java: new node.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ASTVisitor.java: support do...while.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Visitor.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/JumpResolver.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: ditto.
|
|
|
|
|
|
|
|
* test: test it.
|
|
|
|
|
|
|
|
Sun Oct 14 20:27:39 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* test/charops.cb: new file.
|
|
|
|
|
|
|
|
* test/ucharops.cb: new file.
|
|
|
|
|
|
|
|
* test/shortops.cb: new file.
|
|
|
|
|
|
|
|
* test/ushortops.cb: new file.
|
|
|
|
|
|
|
|
* test/intops.cb: new file.
|
|
|
|
|
|
|
|
* test/uintops.cb: new file.
|
|
|
|
|
|
|
|
* test/longops.cb: new file.
|
|
|
|
|
|
|
|
* test/ulongops.cb: new file.
|
|
|
|
|
|
|
|
Sun Oct 14 18:06:15 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: support struct.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: support union.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: support array.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: support pointer.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ArefNode.java: implement LHSNode.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/DereferenceNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/LHSNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/MemberNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/VariableNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeTable.java: create array type on
|
|
|
|
demand.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/ComplexType.java: set member offset on
|
|
|
|
demand.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/StructType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/UnionType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Slot.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/Type.java: #size returns long.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/ArrayTypeRef.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/ArrayType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/IntegerType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/FunctionType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/PointerType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/UserType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/VoidType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/Assembler.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/Label.java: new method #add.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/SimpleAddress.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/Register.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/CompositeAddress.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/ImmediateValue.java: dito.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/AsmEntity.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/Reference.java: ditto.
|
|
|
|
|
|
|
|
* test/struct.cb: test struct.
|
|
|
|
|
|
|
|
* test/union.cb: test union.
|
|
|
|
|
|
|
|
* test/array.cb: test array.
|
|
|
|
|
|
|
|
* test/pointer.cb: test pointer.
|
|
|
|
|
|
|
|
Sun Oct 7 20:29:54 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java (visit(IfNode)):
|
|
|
|
label was wrong.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java (visit(ForNode)):
|
|
|
|
forgot continue label.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/JumpResolver.java: did not start
|
|
|
|
code.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ContinueNode.java (targetLabel): null
|
|
|
|
check.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/BreakNode.java: ditto.
|
|
|
|
|
|
|
|
* test/if1.cb: test if...else.
|
|
|
|
|
|
|
|
* test/if2.cb: test if.
|
|
|
|
|
|
|
|
* test/while1.cb: test while(0).
|
|
|
|
|
|
|
|
* test/while2.cb: test while(1).
|
|
|
|
|
|
|
|
* test/while3.cb: test while(i).
|
|
|
|
|
|
|
|
* test/while-break.cb: test while + break.
|
|
|
|
|
|
|
|
* test/while-continue.cb: test while + continue.
|
|
|
|
|
|
|
|
* test/for1.cb: test for.
|
|
|
|
|
|
|
|
* test/for-break.cb: test for + break.
|
|
|
|
|
|
|
|
* test/for-continue.cb: test for + continue.
|
|
|
|
|
|
|
|
Sun Oct 7 18:49:49 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/LogicalNotNode.java: define #type.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ArefNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/CastNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/MemberNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/PtrMemberNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/ComplexType.java: new method
|
|
|
|
#memberType.
|
|
|
|
|
|
|
|
Sun Oct 7 18:33:58 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/AbstractAssignNode.java: define #type.
|
|
|
|
|
|
|
|
* test/opassign.cb: test +=, -=, *=, /=, %=, &=, |=, ^=, >>=, <<=.
|
|
|
|
|
|
|
|
* test/inc.cb: test ++.
|
|
|
|
|
|
|
|
* test/dec.cb: test --.
|
|
|
|
|
|
|
|
Sun Oct 7 18:18:34 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* test/eq.cb: test ==.
|
|
|
|
|
|
|
|
* test/neq.cb: test !=.
|
|
|
|
|
|
|
|
* test/lt.cb: test <.
|
|
|
|
|
|
|
|
* test/lteq.cb: test <=.
|
|
|
|
|
|
|
|
* test/gt.cb: test >.
|
|
|
|
|
|
|
|
* test/gteq.cb: test >=.
|
|
|
|
|
|
|
|
Sun Oct 7 18:03:25 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: <</>> requires
|
|
|
|
exactly cx (not ecx).
|
|
|
|
|
|
|
|
* test/lshift.cb: test <<.
|
|
|
|
|
|
|
|
* test/rshift.cb: test >>.
|
|
|
|
|
|
|
|
Sun Oct 7 17:52:03 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* test/logicalnot.cb: test !.
|
|
|
|
|
|
|
|
* test/unaryplus.cb: test +@.
|
|
|
|
|
|
|
|
* test/unaryminus.cb: test -@.
|
|
|
|
|
|
|
|
Sun Oct 7 17:44:51 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* test/bitand.cb: test &.
|
|
|
|
|
|
|
|
* test/bitor.cb: test |.
|
|
|
|
|
|
|
|
* test/bitxor.cb: test ^.
|
|
|
|
|
|
|
|
* test/bitnot.cb: test ~.
|
|
|
|
|
|
|
|
Sun Oct 7 17:28:51 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* test/funcall5.cb: test more arguments.
|
|
|
|
|
|
|
|
* test/mul.cb: test *.
|
|
|
|
|
|
|
|
* test/div.cb: test /.
|
|
|
|
|
|
|
|
* test/mod.cb: test %.
|
|
|
|
|
|
|
|
Sun Oct 7 16:22:29 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: output error message
|
|
|
|
when as failed.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/LocalReferenceResolver.java
|
|
|
|
(pushScope): handle private variables.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: support static
|
|
|
|
local variable (use Variable#symbol instead of #name).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: definedVariable
|
|
|
|
-> globalVariable.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Variable.java: new method #symbol.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Variable.java: #isDefined ->
|
|
|
|
#isInitialized.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeResolver.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Variable.java: new method #setSequence.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/AST.java (definedVariables,
|
|
|
|
commonSymbols): should get list from ToplevelScope, not
|
|
|
|
Declarations.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Scope.java: holds private variables in
|
|
|
|
privateEntities/privateEntitiesMap separately.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ToplevelScope.java: ditto.
|
|
|
|
|
|
|
|
* test/slvar.cb: test static local variable.
|
|
|
|
|
|
|
|
* test/slcomm.cb: test static local variable without initializer.
|
|
|
|
|
|
|
|
Sun Oct 7 14:26:36 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: shrink stack
|
|
|
|
after return (cdecl).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/FuncallNode.java: new method #type.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/FuncallNode.java: new method #numArgs.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/Assembler.java: new method #subq.
|
|
|
|
|
|
|
|
* test/funcall4.cb: test stack rollback on cdecl.
|
|
|
|
|
|
|
|
* test/add.cb: test +.
|
|
|
|
|
|
|
|
* test/sub.cb: test -.
|
|
|
|
|
|
|
|
Sun Oct 7 12:52:17 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: support lvar
|
|
|
|
initializer.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: support common
|
|
|
|
symbols.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: support global
|
|
|
|
variables.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeResolver.java: should resolve
|
|
|
|
lvar initializer.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Entity.java: new method #size.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Entity.java: new method #alignment.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Variable.java: new method #isDefined.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Variable.java: #address holds AsmEntity,
|
|
|
|
instead of true Address (to hold Label).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/AST.java: new method #definedVariables.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/AST.java: new method #commonSymbols.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Frame.java: number of local variables are
|
|
|
|
long, not int.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/Assembler.java: define more pseudo
|
|
|
|
operators.
|
|
|
|
|
|
|
|
* test: test lvar initializer.
|
|
|
|
|
|
|
|
* test: test (public/private) common symbols.
|
|
|
|
|
|
|
|
* test: test (public/private) global variables.
|
|
|
|
|
|
|
|
Sun Oct 7 10:27:12 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: more efficient lwsp scan.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: resolve reference
|
|
|
|
before type.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/LocalReferenceResolver.java: remove
|
|
|
|
useless import.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeResolver.java: resolve local
|
|
|
|
variables first.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: allocate local
|
|
|
|
variables.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/DefinedFunction.java: new method
|
|
|
|
#localVariables.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Scope.java: new method #variables.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Scope.java: new method #allVariables.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Scope.java: #allChildren does not include
|
|
|
|
self.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/AssignNode.java: new method #type.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Node.java: #type throws error always.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/VariableNode.java (entity, type,
|
|
|
|
typeNode): check if entity is null.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/TypeNode.java: new method #isResolved.
|
|
|
|
|
|
|
|
* test: test paramters and local variables.
|
|
|
|
|
|
|
|
Sun Oct 7 04:36:56 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: fix coding style.
|
|
|
|
|
|
|
|
Sat Sep 15 16:09:22 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: split resword/ident/number
|
|
|
|
rules.
|
|
|
|
|
|
|
|
Fri Sep 14 13:18:03 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: refactoring:
|
|
|
|
r(Type,String) -> reg(String,Type).
|
|
|
|
|
|
|
|
Fri Sep 14 09:30:25 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: refactoring: change
|
|
|
|
function order.
|
|
|
|
|
|
|
|
Fri Sep 14 18:23:30 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: use JumpResolver.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/LocalReferenceResolver.java: fork
|
|
|
|
JumpResolver.java.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/JumpResolver.java: new file.
|
|
|
|
|
|
|
|
Fri Sep 14 09:20:02 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/StructType.java: remove useless import.
|
|
|
|
|
|
|
|
Sun Jul 29 20:51:26 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java (prologue):
|
|
|
|
allocate parameters.
|
|
|
|
|
|
|
|
* test/test.sh: test it.
|
|
|
|
|
|
|
|
Sun Jul 29 20:07:55 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* test: add funcall tests.
|
|
|
|
|
|
|
|
Sun Jul 29 20:05:46 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* test: add basic tests.
|
|
|
|
|
|
|
|
Sun Jul 29 19:36:47 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: convert static
|
|
|
|
methods into instance methods.
|
|
|
|
|
|
|
|
Sun Jul 29 19:31:32 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: generate BASENAME.s
|
|
|
|
and BASENAME for source file BASENAME.cb.
|
|
|
|
|
|
|
|
Tue Jul 17 06:52:16 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: assemble.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: generate
|
|
|
|
constants.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: generate valid
|
|
|
|
assembly.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: string literal wrongly
|
|
|
|
contained '"' at top.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: AST should hold source file
|
|
|
|
name.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/AST.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ConstantTable.java: #strings -> #entries.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ConstantEntry.java: holds a Label.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/StringLiteralNode.java (#label): returns
|
|
|
|
valid label.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/Assembler.java: new method #_section.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/Assembler.java: new method #_type.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/Assembler.java: new method #_size.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/Assembler.java: new method #_string.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/Assembler.java: better output.
|
|
|
|
|
|
|
|
Mon Jul 16 20:27:53 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* test: new directory.
|
|
|
|
|
|
|
|
* test{1,2,3,4}.cb, stdio.hb, stdlib.hb: moved under test/.
|
|
|
|
|
|
|
|
Mon Jul 16 20:23:15 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* build.xml: add source="1.4" option.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/**/*.java: change to support Java2 SE 1.4.
|
|
|
|
|
|
|
|
Mon Jul 2 05:29:54 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/AST.java: remove debug print.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeResolver.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: ditto.
|
|
|
|
|
|
|
|
Mon Jul 2 05:27:42 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: import libraries.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/LocalReferenceResolver.java
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/AST.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: add declfile parser.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/UndefinedFunction.java: is an Entity,
|
|
|
|
instead of Declaration.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeResolver.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/DefinitionVisitor.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Definition.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Declaration.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: use AsmEntity
|
|
|
|
instead of Address.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/VariableNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Entity.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/LHSNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Node.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeTable.java: put VoidType by default.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/asm/Assembler.java: add \n for each lines.
|
|
|
|
|
|
|
|
* test1.cb: import stdio.
|
|
|
|
|
|
|
|
* stdlib.hb: new file.
|
|
|
|
|
|
|
|
* stdio.hb: new file.
|
|
|
|
|
|
|
|
Mon Jul 2 04:04:57 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Function.java -> DefinedFunction.java.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/UndefinedFunction.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Function.java: new file (is now
|
|
|
|
interface).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/*.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/*.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: ditto.
|
|
|
|
|
|
|
|
Mon Jul 2 00:37:51 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: dispatch
|
|
|
|
TypeResolver.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: compile
|
|
|
|
condition was inversed.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeResolver.java: resolve literals.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/IntegerLiteralNode.java: wrong infinite
|
|
|
|
recursion.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ToplevelScope.java: raise error when
|
|
|
|
symbol cannot be resolved.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/PointerTypeRef.java: new method #base.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeTable.java: resolve pointer type
|
|
|
|
ref.
|
|
|
|
|
|
|
|
Mon Jul 2 00:09:20 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* fix all compile errors.
|
|
|
|
|
|
|
|
Sun Jul 1 22:58:00 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* move net/loveruby/cflat/compiler/SimpleAddress.java, Label.java,
|
|
|
|
Register.java, Address.java, CompositeAddress.java,
|
|
|
|
LabelPool.java, ImmediateValue.java, Assembler.java,
|
|
|
|
AsmEntity.java in to net/loveruby/cflat/asm/.
|
|
|
|
|
|
|
|
Sun Jul 1 22:52:25 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/**/*.java: fix many compile errors.
|
|
|
|
|
|
|
|
Sun Jul 1 21:14:24 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Visitor.java: new common superclass
|
|
|
|
of LocalReferenceResolver, TypeResolver.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/LocalReferenceResolver.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/TypeResolver.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: generate assembly
|
|
|
|
code.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: fix some compile
|
|
|
|
errors.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Assembler.java: fix some compile
|
|
|
|
errors.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Register.java: is not abstract
|
|
|
|
class.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/ImmediateAddress.java ->
|
|
|
|
ImmediateValue.java.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Label.java: new constructor
|
|
|
|
init(String).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: introduce Declarations.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/AST.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Declarations.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/DefinitionVisitor.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Definition.java: new method
|
|
|
|
#accept(DefinitionVisitor).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Entity.java: new method
|
|
|
|
#defineIn(ToplevelScope).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/TypeDefinition.java: new method
|
|
|
|
#defineIn(TypeTable).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Variable.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Function.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/StructNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/UnionNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/TypedefNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ToplevelScope.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeTable.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/FuncallNode.java: should hold
|
|
|
|
VariableNode instead of simple Node.
|
|
|
|
|
|
|
|
Mon Jun 18 04:53:01 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CodeGenerator.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Assembler.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/AsmEntity.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Register.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Address.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/ImmediateAddress.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/SimpleAddress.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/CompositeAddress.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/LabelPool.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Label.java: new file.
|
|
|
|
|
|
|
|
Tue Jun 5 07:02:20 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: do not resolve AST on
|
|
|
|
parse error.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/LocalReferenceResolver.java: should
|
|
|
|
resolve type definitions of AST, not type table.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: ignore empty statement.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/AST.java: forgot initialize.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Definition.java: #isTypedef ->
|
|
|
|
#isUserType.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/TypedefNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/TypeDefinition.java: #typeRef is
|
|
|
|
required.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/StructNode.java: call method of super
|
|
|
|
class.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/UnionNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/VariableNode.java: VariableNode may have
|
|
|
|
all entity (Variable or Function).
|
|
|
|
|
|
|
|
Tue Jun 5 06:11:17 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/LocalReferenceResolver.java: types
|
|
|
|
resolved.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/ComplexType.java: new common superclass
|
|
|
|
of StructType, UnionType.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/StructType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/UnionType.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/UserTypeRef.java: new method #name.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/UserType.java: holds TypeNode instead of
|
|
|
|
Type.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/Type.java: new method #isUserType.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeTable.java: new method #types.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/StructNode.java: typeRef returns specific
|
|
|
|
subtype instead of generic type (TypeRef).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/UnionNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ComplexTypeDefinition.java: #members
|
|
|
|
should return List to create type.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/TypedefNode.java: new method #typeRef.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Slot.java: new method #typeNode.
|
|
|
|
|
|
|
|
Tue May 29 01:40:50 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/LocalReferenceResolver.java: follow
|
|
|
|
parser structure change.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ASTVisitor.java: simplify visitor
|
|
|
|
interface.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/AST.java: #visit is abstract.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ComplexTypeDefinition.java: introduce new
|
|
|
|
common super class of struct/union.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Definition.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/StructNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/UnionNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/TypeDefinition.java: fix typo.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: ComplexType requires
|
|
|
|
TypeRef.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/TypeNode.java: is now mutable.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/TypedefNode.java: provide #typeNode.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/CastNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Entity.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Function.java: remove useless method.
|
|
|
|
|
|
|
|
Mon May 21 04:29:26 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/LocalReferenceResolver.java ->
|
|
|
|
.../compiler/LocalReferenceResolver.java.
|
|
|
|
|
|
|
|
Mon May 21 04:10:00 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jj: fix compile errors.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/LocalReferenceResolver.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/*.java: ditto.
|
|
|
|
|
|
|
|
* build.xml: remove jjtree related tasks.
|
|
|
|
|
|
|
|
Mon May 21 03:40:23 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/*.java: follow parser change (does not
|
|
|
|
depend on jjtree).
|
|
|
|
|
|
|
|
Mon May 14 03:06:36 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jjt -> Parser.jjt
|
|
|
|
|
|
|
|
Mon Apr 2 04:42:41 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/StructNode.java: forgot import.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/UnionNode.java: ditto.
|
|
|
|
|
|
|
|
Mon Apr 2 04:40:47 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jjt: introduce NameNode.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jjt: TypeRef is not a Node.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/LocalReferenceResolver.java
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/AST.java: create ToplevelScope,
|
|
|
|
TypeTable, ConstantTable here.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Definition.java: new common superclass of
|
|
|
|
all definitions (type and entity).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/TypeDefinition.java: new class.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/TypeRef.java -> .../TypeNode.java.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/NameNode.java: new class.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/CastNode.java: use NameNode.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Entity.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Variable.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/StructNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/UnionNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/TypedefNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Slot.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Function.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/*Ref.java: new classes.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/TypeTable.java: new class.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/SignedLongLongType.java: new class.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/UnsignedLongLongType.java: new class.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/UserType.java: new class.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ToplevelScope.java: new method
|
|
|
|
#defineType.
|
|
|
|
|
|
|
|
Sun Mar 25 23:54:25 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ListNode.java (items): utilize
|
|
|
|
SimpleNode#iterator.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/AST.java (entites): entities are
|
|
|
|
child(1).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Scope.java (<init>): initialize children.
|
|
|
|
|
|
|
|
Sun Mar 25 23:40:08 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/Type.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/VoidType.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/IntegerType.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/SignedCharType.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/SignedShortType.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/SignedIntType.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/SignedLongType.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/UnsignedCharType.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/UnsignedShortType.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/UnsignedIntType.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/UnsignedLongType.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/ArrayType.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/PointerType.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/StructType.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/UnionType.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/type/FunctionType.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/CastNode.java (typeRef): should return
|
|
|
|
TypeRef.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Params.java: new method isVararg().
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/VoidParams.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/FixedParams.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/VarParams.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Entity.java: new method isType().
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Variable.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Function.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/StructNode.java: is now subclass of
|
|
|
|
Entity.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/UnionNode.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/SlotNode.java -> .../Slot.java
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jjt: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Scope.java (numAllEntities): initialize
|
|
|
|
lvar.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/SimpleNode.java: fix syntax error.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/SimpleNode.java: use deeper indent for
|
|
|
|
dump.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/VariableNode.java: setVariable() ->
|
|
|
|
setEntity().
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/VariableNode.java: new method type().
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/MemberRef.java: disable accept().
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/LocalReferenceResolver.java: fix
|
|
|
|
compile error.
|
|
|
|
|
|
|
|
Sun Mar 25 21:40:13 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Toplevel.java -> .../AST.java
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ToplevelScope.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ToplevelScope.java: is not a SimpleNode.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Frame.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Scope.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/BlockNode.java: forked from Scope.java.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/VariableNode.java: new method #name,
|
|
|
|
#setName.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/FuncallNode.java: export VariableNode.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ASTVisitor.java: follow AST structure
|
|
|
|
change.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jjt: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/LocalReferenceResolver.java: ditto.
|
|
|
|
|
|
|
|
Sun Mar 25 20:55:41 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/BinaryOpNode.java: new common superclass.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/UnaryOpNode.java: new common superclass.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/*Node.java: restruct class tree.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/*Node.java: add accessor methods.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ScopeNode.java -> .../Scope.java
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ToplevelNode.java -> .../Toplevel.java
|
|
|
|
|
|
|
|
Thu Mar 22 19:30:57 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: resolve local
|
|
|
|
references.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/LocalReferenceResolver.java: add all
|
|
|
|
visitor methods.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/VarParamsNode.java -> .../VarParams.java
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/FixedParamsNode.java ->
|
|
|
|
.../FixedParams.java
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/VoidParamNode.java -> .../VoidParams.java
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Params.java: common superclass of
|
|
|
|
VarParams, FixedParams, VoidParams.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/DefvarNode.java -> .../Variable.java
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/DefunNode.java -> .../Function.java
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Parameter.java: new class.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/Entity.java: common superclass of
|
|
|
|
Variable, Parameter, Function.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ListNode.java: new method #items.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/OrNode.java -> .../LogicalOrNode.java
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/MemberRefNode.java -> .../MemberRef.java
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/TypeNode.java -> .../TypeRef.java
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/BlockNode.java: removed (use ListNode).
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ASTVisitor.java: adjust class names.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jjt: ditto.
|
|
|
|
|
|
|
|
Thu Mar 22 16:48:27 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* Binder.java ->
|
|
|
|
net/loveruby/cflat/parser/LocalReferenceResolver.java.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/ParserVisitor.java ->
|
|
|
|
.../ASTVisitor.java.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/*Node.java: ditto.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Node.java: ditto.
|
|
|
|
|
|
|
|
Thu Mar 22 16:14:00 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jjt (translateEscapeChar):
|
|
|
|
throws exception on illegal escape sequence.
|
|
|
|
|
|
|
|
Thu Mar 22 16:00:24 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jjt (parse): translate
|
|
|
|
TokenMgrError into ParseException.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: use brief output.
|
|
|
|
|
|
|
|
Thu Mar 22 15:42:47 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/compiler/Compiler.java: merge DumpAST and
|
|
|
|
TestParser.
|
|
|
|
|
|
|
|
* TestParser.java: removed.
|
|
|
|
|
|
|
|
* DumpAST.java: removed.
|
|
|
|
|
|
|
|
* build.xml: does not build them.
|
|
|
|
|
|
|
|
Thu Mar 22 03:30:16 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/AbstractAssignNode.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/*AssignNode.java: introduce common
|
|
|
|
superclass, AbstractAssignNode.
|
|
|
|
|
|
|
|
Thu Mar 22 03:13:15 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Node.java: new file.
|
|
|
|
|
|
|
|
Thu Mar 22 03:08:37 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/*Node.java: SimpleNode is in package ast.
|
|
|
|
|
|
|
|
* build.xml: do not remove node files.
|
|
|
|
|
|
|
|
Thu Mar 22 03:03:45 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jjt: set node values via
|
|
|
|
acccess methods.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/Parser.jjt: stop building node files
|
|
|
|
and visitors.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/ast/*Node.java: new file.
|
|
|
|
|
|
|
|
* net/loveruby/cflat/parser/NodeBase.java: removed.
|
|
|
|
|
|
|
|
Thu Mar 22 01:11:23 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* build.xml: default task is "compile".
|
|
|
|
|
|
|
|
* build.xml: new task "clean".
|
|
|
|
|
|
|
|
* build.properties: add ${build.dir}.
|
|
|
|
|
|
|
|
Thu Mar 22 00:24:17 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* move Parser.jjt and NodeBase.java to the package directory.
|
|
|
|
|
|
|
|
* build.xml: new file.
|
|
|
|
|
|
|
|
* build.properties: new file.
|
|
|
|
|
|
|
|
* Makefile: removed.
|
|
|
|
|
|
|
|
* TestParser.java: import package.
|
|
|
|
|
|
|
|
* DumpAST.java: ditto.
|
|
|
|
|
|
|
|
Wed Mar 21 23:38:03 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* Parser.jjt: parse typedef correctly.
|
|
|
|
|
|
|
|
* Binder.java: new file.
|
|
|
|
|
|
|
|
* test2.cb: test typedef.
|
|
|
|
|
|
|
|
Wed Mar 21 21:58:56 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* Parser.jjt: add non-node data to AST.
|
|
|
|
|
|
|
|
* NodeBase.java: new file.
|
|
|
|
|
|
|
|
Wed Mar 21 18:16:16 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* Parser.jjt: fork TestParser.java and DumpAST.java.
|
|
|
|
|
|
|
|
* TestParser.java: new file.
|
|
|
|
|
|
|
|
* DumpAST.java: new file.
|
|
|
|
|
|
|
|
* Makefile: build them.
|
|
|
|
|
|
|
|
Wed Mar 21 18:01:08 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* jjtree again.
|
|
|
|
|
|
|
|
* Parser.jj -> Parser.jjt
|
|
|
|
|
|
|
|
* Makefile: build parser from jjt.
|
|
|
|
|
|
|
|
Wed Mar 21 17:59:30 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* Parser.jj: use list.
|
|
|
|
|
|
|
|
Wed Mar 21 01:26:45 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* revert to revision 22 (cancel .jj -> .jjt change).
|
|
|
|
|
|
|
|
Wed Mar 21 01:13:49 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* Parser.jj -> Parser.jjt
|
|
|
|
|
|
|
|
* TestParser.java: new file.
|
|
|
|
|
|
|
|
Wed Mar 21 00:20:23 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* Parser.jj: helper methods should be private.
|
|
|
|
|
|
|
|
* Parser.jj: support typedef'ed type.
|
|
|
|
|
|
|
|
* Parser.jj: stmts rule is useless.
|
|
|
|
|
|
|
|
Tue Mar 20 23:47:12 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* Parser.jj: define parser methods as instance methods.
|
|
|
|
|
|
|
|
* Parser.jj: add embedded action.
|
|
|
|
|
|
|
|
* Parser.jj (CHARACTER): missing "'".
|
|
|
|
|
|
|
|
* Parser.jj (STRING): missing '"'.
|
|
|
|
|
|
|
|
Tue Mar 20 22:38:25 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* Parser.jj: support 5U style integer literal.
|
|
|
|
|
|
|
|
* Parser.jj: unsigned long long requires 3 lookahead.
|
|
|
|
|
|
|
|
* Parser.jj: support ptr->memb.
|
|
|
|
|
|
|
|
* test2.cb: test decls.
|
|
|
|
|
|
|
|
* test3.cb: add comment.
|
|
|
|
|
|
|
|
* test4.cb: test exprs.
|
|
|
|
|
|
|
|
Tue Mar 20 22:10:26 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* Parser.jj (params): simplify rule.
|
|
|
|
|
|
|
|
* Makefile (test): run all tests.
|
|
|
|
|
|
|
|
* test1.cb: new test.
|
|
|
|
|
|
|
|
* test2.cb: new test.
|
|
|
|
|
|
|
|
* test3.cb: new test.
|
|
|
|
|
|
|
|
* test4.cb: new test.
|
|
|
|
|
|
|
|
Tue Mar 20 22:09:22 2007 Minero Aoki <aamine@loveruby.net>
|
|
|
|
|
|
|
|
* start project.
|
|
|
|
|
|
|
|
|