Commit Graph

8593 Commits (010b5069bd30bbca448fcd32b863c77d666c9c9e)

Author SHA1 Message Date
Slava Pestov 029719f757 functors: fix unit test 2010-05-05 00:44:21 -04:00
Slava Pestov de8e0ccd5c alien.c-types: cleanup 2010-05-04 19:33:55 -04:00
Slava Pestov 5fbc42e184 bootstrap.compiler.timing: update 2010-05-04 19:33:54 -04:00
Slava Pestov f693e64798 vm: fix field order in zone struct 2010-05-04 17:57:53 -04:00
Daniel Ehrenberg 24ad579631 Merge branch 'master' of git://factorcode.org/git/factor 2010-05-04 09:52:34 -05:00
Daniel Ehrenberg 4f66732c36 Fixing scheduling for compiler changes 2010-05-04 09:48:16 -05:00
Slava Pestov f3ea9288df cpu.ppc: updating optimizing compiler backend for recent changes 2010-05-04 05:51:54 -05:00
Slava Pestov 92a4b5ec7b cpu.ppc.assembler: new opcodes: LFDUX LFDX LFSUX LFSX STFDUX STFDX STFSUX STFSX 2010-05-04 05:47:21 -05:00
Slava Pestov 035a2e9b63 compiler: more tests 2010-05-04 05:46:45 -05:00
Slava Pestov 572d7f77f8 compiler.cfg.value-numbering: don't use complex addressing modes unless architecture supports it 2010-05-04 05:46:21 -05:00
Slava Pestov fec408260e vm: tweak inline_gc() for PowerPC 2010-05-04 06:52:30 -04:00
Slava Pestov aaa4c70b01 windows.directx.dinput: factor out a code snippet into a word instead of repeating it many times in macro expansion, reducing compiled code size 2010-05-04 04:56:38 -05:00
Slava Pestov 421dc67be4 tools.deploy.shaker: fix debugger stripping 2010-05-04 03:42:20 -04:00
Slava Pestov 74a4c33423 Remove 'prettyprint' from a few USING: forms 2010-05-04 02:34:37 -05:00
Slava Pestov 1bd7b85b03 windows.directx.dinput.constants: fix breakage if image is saved and restarted 2010-05-04 02:31:36 -05:00
Slava Pestov f46a56024c ui.tools.error-list: re-use the same actual gadget, so that the current selection and set of displayed error types is preserved if the user closes and re-opens the error list 2010-05-04 02:53:53 -04:00
Slava Pestov dd2a4c2c77 cpu.x86: GC root offsets were computed wrong in words containing alien calls 2010-05-04 02:53:53 -04:00
Doug Coleman 8ccb56c924 C-style identifiers in peg.ebnf 2010-05-03 23:52:37 -05:00
Doug Coleman fa07f5d85f Allow - in peg.ebnf identifiers. Eating still not allowed... 2010-05-03 23:40:50 -05:00
Doug Coleman c7351595e5 Allow a-zA-Z0-9_ in identifiers for peg.ebnf 2010-05-03 23:36:29 -05:00
Slava Pestov ea4ee4ff60 compiler.tests: remove useless test from float tests; min and max are generic now, with methods on floats, so any potential inconsistency is gone 2010-05-04 00:07:53 -04:00
Slava Pestov 6c35652666 cpu: cleanups 2010-05-03 23:08:24 -04:00
Slava Pestov 41ec3f20a8 tools.deploy.shaker: tweak error reporting slightly 2010-05-03 23:07:46 -04:00
Slava Pestov 86d89f3ff7 cpu.ppc: fixing typos in non-optimizing backend 2010-05-03 22:43:51 -04:00
Slava Pestov a8fdfc5860 ui.gadgets.tables: fix load error in docs 2010-05-03 22:42:19 -04:00
Slava Pestov 1c6bbf7fd1 bit-arrays: re-use utility words from math.bitwise and io.binary to make implementation a bit more elegant 2010-05-03 22:38:50 -04:00
Slava Pestov ad69052a1a compiler.cfg.value-numbering: fix typo in unit test 2010-05-03 22:11:29 -04:00
Slava Pestov cf4abda115 ui.gadgets.tables: remove multiple selection support, and make the error list handle preservation of the current selection better when the underlying model changes 2010-05-03 22:09:00 -04:00
Slava Pestov 652c4c28c6 cpu.x86.assembler: fix test on 64-bit 2010-05-03 20:16:13 -04:00
Daniel Ehrenberg b02208ceb2 Some fixes to merge scheduling 2010-05-03 17:54:46 -05:00
Daniel Ehrenberg 05f0470556 Merge branch 'master' of git://factorcode.org/git/factor into s3 2010-05-03 17:51:30 -05:00
Slava Pestov 60299f6d74 Eliminate some -rot from the codebase 2010-05-03 18:31:01 -04:00
Daniel Ehrenberg ce77ec68ea Merge branch 'master' of git://factorcode.org/git/factor into s3 2010-05-03 17:29:08 -05:00
Daniel Ehrenberg 277705345f Merge branch 'master' of git://factorcode.org/git/factor into s3
Conflicts:

	basis/compiler/cfg/finalization/finalization.factor
2010-05-03 17:29:03 -05:00
Slava Pestov bb3cea31ea cpu.ppc: updates for recent compiler changes, untested 2010-05-03 18:28:31 -04:00
Slava Pestov 4352902bb6 compiler.cfg.empty-blocks: remove unused pass 2010-05-03 18:23:54 -04:00
Slava Pestov ca4f442eaa compiler.cfg.alias-analysis: storing a reference into an object now merges the reference's alias class with the heap alias class 2010-05-03 18:20:28 -04:00
Daniel Ehrenberg 5509604ffe Merge branch 'master' into s3
Conflicts:

	basis/compiler/cfg/optimizer/optimizer.factor
2010-05-03 17:19:28 -05:00
Slava Pestov 58e4381eb1 compiler: new "binary literal area" at the end of a word's machine code stores constant floats and SIMD vectors; this allows ##load-reference/##load-memory fusion to be performed on x86-64, with a RIP-relative address reaching the data; also simplifies VM since custom relocation types used by the previous 32-bit-only optimization are no longer needed 2010-05-03 17:34:35 -04:00
Slava Pestov 9b4135713e compiler.cfg.representations: make sure that immediate operands fit 2010-05-03 17:34:34 -04:00
Slava Pestov 86548320eb compiler.cfg.value-numbering: fix unit test for 64-bit 2010-05-03 17:34:33 -04:00
Slava Pestov 64ab598225 io.launcher.unix: add timeout to a test 2010-05-03 17:34:33 -04:00
Slava Pestov f5c5d8b44c compiler: remove flat machine representation and generate code directly from the CFG 2010-05-03 17:34:32 -04:00
Slava Pestov 5236f327ba compiler.cfg.debugger: add ssa. word to print IR before representation selection runs 2010-05-03 17:34:31 -04:00
Slava Pestov 0fbf454b18 compiler.tree.propagation: fix both-fixnums? trick 2010-05-03 17:34:30 -04:00
Slava Pestov 7f6ae34d72 Updating tests for recent compiler changes 2010-05-03 17:34:30 -04:00
Slava Pestov 38bafd2be8 compiler.cfg.linear-scan.assignment: spill slot representation logic was backwards, just like Factor 2010-05-03 17:34:29 -04:00
Slava Pestov 428ba9fd0f compiler.cfg: fuse ##load-integer/##load-reference into ##replace to form ##replace-imm 2010-05-03 17:34:28 -04:00
Slava Pestov 9788323d25 compiler: add ##load-vector instruction to avoid wasting a temporary register on x86-32 2010-05-03 17:34:28 -04:00
Slava Pestov 1b4b66e341 cpu.x86: use available type info to generate more efficient %box-displaced-alien where possible 2010-05-03 17:34:27 -04:00
Slava Pestov 5979fe7f41 compiler.cfg.copy-prop: optimistic copy propagation 2010-05-03 17:34:26 -04:00
Slava Pestov e90712b1ed compiler.cfg: cleanup 2010-05-03 17:34:26 -04:00
Slava Pestov df86d1341f compiler.cfg: clean up ##phi literals in tests 2010-05-03 17:34:24 -04:00
Slava Pestov ffd1844d52 compiler.cfg.linear-scan: clean up spill slot assignment 2010-05-03 17:34:24 -04:00
Slava Pestov 65f86bfce7 compiler.cfg.ssa.detruction: coalesce different representations in more cases 2010-05-03 17:34:22 -04:00
Slava Pestov ce73031ec3 compiler.cfg.alias-analysis: write unit tests and fix redundant store elimination 2010-05-03 17:34:22 -04:00
Slava Pestov e436ae7314 continuations: keep original error when throwing wrapped errors as well, for easier debugging of bootstrap failures 2010-05-03 17:34:22 -04:00
Slava Pestov 33eb15bf44 compiler.cfg.debugger: clean up and make it more flexible 2010-05-03 17:34:22 -04:00
Slava Pestov 43f269e4eb Register allocation now uses SSA properties to coalesce values with different representations 2010-05-03 17:34:20 -04:00
Slava Pestov 9b34a4a054 compiler.cfg: remove unused 'reps' slot from compiler.cfg, and re-organize things in preparation for SSA register allocation 2010-05-03 17:34:18 -04:00
Slava Pestov 43fc230c69 compiler.cfg.linear-scan: cleanups 2010-05-03 17:34:18 -04:00
Slava Pestov d23bb19b55 Code cleanups 2010-05-03 17:34:17 -04:00
Slava Pestov c55a6bb385 compiler.cfg.gc-checks: move phi instructions into GC check block, to ensure correct behavior 2010-05-03 17:34:17 -04:00
Slava Pestov 95ff5ffe51 New GC checks work in progress 2010-05-03 17:34:16 -04:00
Slava Pestov 655497b7b4 cpu.x86.assembler: small cleanups 2010-05-03 17:34:15 -04:00
Slava Pestov 4d749c9dfe compiler.tree.propagation: fix tests 2010-05-03 17:34:14 -04:00
Slava Pestov 9c44dddf97 compiler.codegen: cleanup 2010-05-03 17:34:14 -04:00
Slava Pestov db7403d697 compiler.cfg.linear-scan.resolve: fix incorrect behavior when one physical register is used with several representations in the same register class 2010-05-03 17:34:14 -04:00
Slava Pestov 51b13ce373 compiler.cfg.linear-scan: don't insert a _reload if the register is going to be overwritten anyway 2010-05-03 17:34:14 -04:00
Slava Pestov a9ccfa8f05 strings: move string-nth primitive out of the VM and into the library 2010-05-03 17:34:12 -04:00
Slava Pestov 458fd007be compiler.cfg.representations: simplify a little 2010-05-03 17:34:11 -04:00
Slava Pestov ed8c32989f compiler.cfg.representations: add peephole optimizations for integer comparisons 2010-05-03 17:34:11 -04:00
Slava Pestov 0f5d9974a0 compiler.cfg.representations: fix various bugs 2010-05-03 17:34:11 -04:00
Slava Pestov 456743a6ce compiler.cfg.representations: add more peephole optimizations to reduce fixnum tagging and untagging overhead 2010-05-03 17:34:11 -04:00
Slava Pestov a141df595b compiler.cfg.value-numbering: more cleanups 2010-05-03 17:34:10 -04:00
Slava Pestov ef8094e3b3 compiler.cfg.value-numbering: identify VNs with their representative vregs, eliminating the vn>vreg hash 2010-05-03 17:34:10 -04:00
Slava Pestov edaf59bf46 compiler.cfg.value-numbering: maintain a VN to instruction mapping. This eliminates all instances of expression inspection, allowing the auto-generated expression classes to be removed 2010-05-03 17:34:09 -04:00
Slava Pestov f548a08637 compiler.cfg.value-numbering: remove constant -vs- literal distinction 2010-05-03 17:34:09 -04:00
Slava Pestov 9cea3f2c93 compiler.cfg.ssa.liveness: remove unused pass 2010-05-03 17:34:08 -04:00
Slava Pestov 732f57f31d compiler.cfg.builder: fix unit tests 2010-05-03 17:34:08 -04:00
Slava Pestov f14f2cbdab compiler.cfg.value-numbering: merge 'simplify' pass into 'rewrite' 2010-05-03 17:34:08 -04:00
Slava Pestov 378c2b2a46 compiler.cfg: add ##load-memory and ##store-memory instructions implementing complex addressing modes, and associated value numbering optimizations 2010-05-03 17:34:07 -04:00
Slava Pestov b8d556514c compiler.cfg.value-numbering: add slot addressing rewrite rule to eliminate a redundant ##add-imm from array-nth and set-array-nth 2010-05-03 17:34:07 -04:00
Slava Pestov 2475699736 compiler.cfg: more flexible addressing for ##slot and ##set-slot 2010-05-03 17:34:06 -04:00
Slava Pestov 6d41d2277f cpu.x86.assembler: support all addressing modes 2010-05-03 17:34:06 -04:00
Slava Pestov 913b95192e compiler.cfg: merge all alien accessors into ##load-memory-imm and ##store-memory-imm 2010-05-03 17:34:06 -04:00
Slava Pestov 279eb461b1 compiler.cfg: remove ##set-string-nth-fast instruction since it can be expressed just as efficiently using other instructions 2010-05-03 17:34:04 -04:00
Slava Pestov c81063614b compiler.tests.low-level-ir: update for recent changes 2010-05-03 17:34:04 -04:00
Slava Pestov efd2a80d98 compiler.cfg.value-numbering: fix compile error 2010-05-03 17:34:04 -04:00
Slava Pestov e95cd256ec compiler.cfg.representations: peephole optimizations are used to simplify the case where the input to a ##shl-imm or ##sar-imm needs to be untagged 2010-05-03 17:34:03 -04:00
Slava Pestov 2ce926594d compiler.cfg.value-numbering: new optimizations; reassociation for shifts and redistribution for shifts/multiplies over additions/subtractions 2010-05-03 17:34:02 -04:00
Slava Pestov 2ca8d543f1 compiler.cfg.instructions: more typos 2010-05-03 17:34:02 -04:00
Slava Pestov 82fb1879af Debugging untagged fixnums 2010-05-03 17:34:02 -04:00
Slava Pestov 5d3a7a7362 Untagged fixnums work in progress 2010-05-03 17:34:02 -04:00
Slava Pestov 503c0fcfde compiler: Start using tagged-rep for stuff, and split up compiler.cfg.representations into several sub-vocabularies 2010-05-03 17:34:01 -04:00
Joe Groff 8e33230039 tools.deploy.shaker: adjust fallback error handler message so it looks better in a Win32 MessageBox 2010-05-02 22:40:54 -07:00
Joe Groff 7e2d32b7d2 windows.errors, debugger.windows: improve description of Windows error objects 2010-05-02 22:29:59 -07:00
Joe Groff c167646e3b windows.directx.dinput: pre-construct some intermediate structs to slightly improve horrible compilation time on the gigantic macro expansions 2010-05-02 18:14:30 -07:00
Joe Groff 515296892b windows.directx.dinput: forgot to reenable constant initialization 2010-05-02 11:23:51 -07:00
Joe Groff 3e3b85d279 windows.directx.dinput: use macros to define format constants to avoid holding onto a bunch of useless symbols after deployment 2010-05-02 01:27:07 -07:00