Graydon Hoare
|
640d167037
|
Switch module-internal calls (i.e. all user code) to fastcall. Still returning via explicit outptr. Activate glue works by accident.
|
2010-11-14 12:28:07 -08:00 |
|
Graydon Hoare
|
a7af86155d
|
Support emitting trap instructions for debugging.
|
2010-11-14 11:21:49 -08:00 |
|
Graydon Hoare
|
2de59aa6b9
|
Correct infinite-loop, block-context mismatches in early cleanups.
|
2010-11-14 10:48:44 -08:00 |
|
Patrick Walton
|
e02ffb2c2d
|
rustc: Add a type annotation for locals
|
2010-11-12 16:11:33 -08:00 |
|
Graydon Hoare
|
0578978495
|
Move phi-node generation into a helper that measures the liveness of each incoming edge. Factorial test now succeeds.
|
2010-11-12 14:51:11 -08:00 |
|
Graydon Hoare
|
2ff0662eae
|
Load outptr alloca as retval; function call/return now works in rustc.
|
2010-11-12 11:48:18 -08:00 |
|
Graydon Hoare
|
1ff88982fe
|
Stop translating a block when a sub-statement terminates the llvm bb.
|
2010-11-12 10:15:40 -08:00 |
|
Patrick Walton
|
c3bc88a325
|
rustc: Add an annotation to function and type items so that the typechecker can store types with them
|
2010-11-10 18:20:02 -08:00 |
|
Graydon Hoare
|
d1e7f0b414
|
Redo the scheme for block context chaining and termination, to simplify and support ret better.
|
2010-11-10 17:46:49 -08:00 |
|
Graydon Hoare
|
a404e54261
|
Teach rustc about const tag value, begin work on trans_copy_ty, make uint's to_str routine less clever and thereby resist overflow.
|
2010-11-09 17:50:31 -08:00 |
|
Graydon Hoare
|
216082d040
|
Translate ast.box unary expressions and support extraction of TypeRefs from AST annotations.
|
2010-11-05 18:31:24 -07:00 |
|
Graydon Hoare
|
ffb3861c70
|
Move symbol prefix logic into separate function, add underscore prefix for windows.
|
2010-11-05 18:31:23 -07:00 |
|
Graydon Hoare
|
c1fb592f62
|
Emit WinMain@16 entrypoint on windows.
|
2010-11-05 18:31:22 -07:00 |
|
Graydon Hoare
|
981edaef40
|
Fix two incorrect block-context uses in rustc.
|
2010-11-05 18:31:21 -07:00 |
|
Graydon Hoare
|
2122e363df
|
Teach rustc to generate type descriptors.
|
2010-11-05 18:31:20 -07:00 |
|
Graydon Hoare
|
3956b98312
|
Switch rustc to llvm 2.8 rather than 2.8svn on windows.
|
2010-11-05 18:31:20 -07:00 |
|
Patrick Walton
|
35eb088ae3
|
rustc: Implement function types
|
2010-11-05 15:23:03 -07:00 |
|
Patrick Walton
|
adb1754e4d
|
Move the option type to its own module
|
2010-11-05 11:18:40 -07:00 |
|
Patrick Walton
|
2fcf81cc4b
|
Revert "Move the option type to its own module"
|
2010-11-05 10:41:23 -07:00 |
|
Patrick Walton
|
1d214b4df3
|
Move the option type to its own module
|
2010-11-05 10:23:22 -07:00 |
|
Graydon Hoare
|
16faef2218
|
Fix buggy while and do-while translation in rustc. Add test.
|
2010-11-04 07:55:33 -07:00 |
|
Patrick Walton
|
a3d666bfdf
|
rustc: Use an extensible annotation field instead of putting option[@ty] everywhere
|
2010-11-03 15:54:46 -07:00 |
|
Graydon Hoare
|
e5fdd7b63a
|
Support while and do-while loops in rustc.
|
2010-11-03 11:05:15 -07:00 |
|
Graydon Hoare
|
dc299c9a19
|
Teach rustc lexer about changes to stratum, opacity and effect keywords.
|
2010-11-03 10:29:48 -07:00 |
|
Graydon Hoare
|
7db115834f
|
Split out stratum-checking pass, implement more-strict (overly aggressive) impure-effect checking.
|
2010-11-02 15:24:46 -07:00 |
|
Graydon Hoare
|
da13c508d8
|
First pass on splitting stratum and opacity off of effects. WIP.
|
2010-11-02 11:11:58 -07:00 |
|
Graydon Hoare
|
f3b7aa9068
|
Long line police.
|
2010-10-22 19:37:03 -07:00 |
|
Graydon Hoare
|
3bf775e80f
|
Pass outptr as in rustboot. Probably need to revisit this ABI. Also disgusting hack employed. Please remove.
|
2010-10-22 19:35:48 -07:00 |
|
Graydon Hoare
|
b2f07c6056
|
Collect all fns first so decl order doesn't matter to translation.
|
2010-10-22 19:31:33 -07:00 |
|
Graydon Hoare
|
d4497e481e
|
Extremely broken hacked-up incorrect attempt at 'ret'.
|
2010-10-22 19:23:10 -07:00 |
|
Graydon Hoare
|
e5229b97d7
|
Don't use string == in x86.rs, doesn't work.
|
2010-10-22 17:27:22 -07:00 |
|
Patrick Walton
|
05a3c5c0f3
|
rustc: Add an "_" prefix to assembler-generated symbols on Mac
|
2010-10-22 16:16:02 -07:00 |
|
Graydon Hoare
|
6d47d2abde
|
Implement check-exprs, un-xfail 5 rustc tests.
|
2010-10-22 15:37:42 -07:00 |
|
Graydon Hoare
|
6ec402d4a6
|
Add makefile bits to run rustc on the testsuite as part of 'make check'. Mostly xfailed.
|
2010-10-22 14:46:03 -07:00 |
|
Graydon Hoare
|
36aea66e47
|
Give rustc the beginnings of an option-processing loop (at least -nowarn, -h and -o).
|
2010-10-22 11:47:28 -07:00 |
|
Graydon Hoare
|
74eda5bb70
|
Make append take a mutable &. Not even checked at present, tsk tsk.
|
2010-10-22 11:46:54 -07:00 |
|
Graydon Hoare
|
3f80e79efc
|
Add support for passing args to fns in rustc.
|
2010-10-21 18:13:57 -07:00 |
|
Graydon Hoare
|
67477b85ae
|
Support basic function calls in rustc.
|
2010-10-21 17:24:26 -07:00 |
|
Graydon Hoare
|
3aaae2a881
|
Teach rustc to parse call exprs.
|
2010-10-21 16:42:02 -07:00 |
|
Dave Herman
|
dbe27199b8
|
line length police; moved comp.util.bits to std.bitv
|
2010-10-21 11:39:53 -07:00 |
|
Dave Herman
|
852c0d6631
|
oops, removed bits.test() from main
|
2010-10-21 08:06:44 -07:00 |
|
Dave Herman
|
da8b6795c7
|
tests and bugfixes: fns take aliases, fixed binary arithmetic in create, eliminated wasted bit per uint
|
2010-10-21 07:36:13 -07:00 |
|
Dave Herman
|
ce3224652f
|
simpler computation of uint_bits(), plus whitespace police
|
2010-10-20 22:04:19 -07:00 |
|
Dave Herman
|
8f71dad2c9
|
created a first draft of the bit-set library needed for typestate
|
2010-10-20 17:04:15 -07:00 |
|
Graydon Hoare
|
368943998d
|
Translate lazy && and || operators in rustc.
|
2010-10-19 17:24:15 -07:00 |
|
Graydon Hoare
|
71b1f1d117
|
Parse and translate assignments.
|
2010-10-19 16:33:11 -07:00 |
|
Graydon Hoare
|
b8cca0971f
|
Teach trans to allocate, initialize and load from local variables.
|
2010-10-19 14:54:10 -07:00 |
|
Patrick Walton
|
10d628dbd0
|
Add a type slot to the AST
|
2010-10-19 13:28:43 -07:00 |
|
Patrick Walton
|
e497fe981b
|
Partial work on adding types to the AST
|
2010-10-19 13:10:39 -07:00 |
|
Graydon Hoare
|
4a3edb320d
|
Store items and decls in vecs to preserve input order, index externally. Implement block-local name lookup.
|
2010-10-18 18:19:16 -07:00 |
|