Commit Graph

8856 Commits (7f0ba864219568a590c2ab0a3a815465c16a6826)

Author SHA1 Message Date
Joe Groff ed6b1dab02 sequences.unrolled vocab with fixed-length unrolling versions of some each and map combinators 2010-05-19 16:22:22 -07:00
Slava Pestov dc1aca7ae2 specialized-arrays: fix typo 2010-05-19 03:23:26 -04:00
Slava Pestov 9e59192c73 compiler.cfg.builder.alien: use ##local-allot to fix value struct passing on Win64 2010-05-19 01:53:32 -04:00
Slava Pestov 9730ec1707 cpu.x86.32: fix load error 2010-05-19 01:29:52 -04:00
Slava Pestov 91cd3b854d Use ##local-allot to simplify longlong unboxing 2010-05-19 01:07:22 -04:00
Slava Pestov 0a0ebcd71d compiler.tree.propagation.known-words: fix load error 2010-05-19 00:51:03 -04:00
Slava Pestov 86358b1dc3 alien.data: add with-scoped-allocation combinator for stack-allocating C data 2010-05-19 00:33:36 -04:00
Slava Pestov 77516c6932 compiler.cfg: generalize ##prepare-struct-caller instruction to alloca()-like ##local-allot 2010-05-19 00:33:15 -04:00
Slava Pestov 7c85fdc1e5 stack-checker.alien: callback and assembly quotations can be callables 2010-05-19 00:31:46 -04:00
Slava Pestov a8098e3182 specialized-arrays: rename byte-array>T-array to T-array-cast, and make it work with anything that responds to >c-ptr / byte-length 2010-05-18 23:09:34 -04:00
Slava Pestov 4dd58ce40e compiler.tests: fix test for generalizations change 2010-05-18 23:08:37 -04:00
Slava Pestov e30a429985 Fixing fallout from sequences.generalizations change 2010-05-18 22:59:07 -04:00
Slava Pestov cf7451131e libc: use size_t instead of ulong for correct behavior on win64 2010-05-18 22:34:52 -04:00
Slava Pestov 4d66f52777 alien.c-types: make a couple of words private 2010-05-18 22:34:42 -04:00
Slava Pestov b67080b69d cpu.x86.assembler: drop useless ST0 operand from some x87 instructions 2010-05-18 19:37:59 -04:00
Slava Pestov 11511167e2 cpu.x86.x87: compares were clobbering ST0 2010-05-18 19:18:53 -04:00
Slava Pestov 1834241e5a alien.libraries, stack-checker.alien: check user inputs more carefully to ensure that invalid ABI descriptors don't slip through and break random stuff (reported by prunedtree) 2010-05-18 18:46:31 -04:00
Slava Pestov ea726f5680 Move remaining sequence operations from generalizations to sequences.generalizations where they belong 2010-05-18 18:36:47 -04:00
Slava Pestov 2dde83767c cpu.x86.assembler: fix typo 2010-05-18 17:59:34 -04:00
Slava Pestov 0aa6ae0feb cpu.x86.x87: use FISTPD to convert floats to integers, instead of the SSE3 instruction FISTTPD 2010-05-18 17:10:58 -04:00
Slava Pestov f5a951801e cpu.x86.assembler: AH CH DH BH register operands now work properly 2010-05-18 17:10:32 -04:00
Slava Pestov be733cd797 compiler.cfg.value-numbering: constant folding for ##shuffle-vector 2010-05-18 04:22:21 -04:00
Slava Pestov 53a51957df compiler.cfg.value-numbering: add constant folding for ##gather-vector instructions, and fix ##scalar>vector constant folding for integers 2010-05-18 03:56:07 -04:00
Slava Pestov 3104ad779a cpu.x86.64: call check-sse to ensure that cpu.x86.sse is loaded 2010-05-17 11:43:42 -04:00
Slava Pestov 6eaf2d7534 cpu.x86: add x87 codegen for Model T enthusiasts 2010-05-17 11:35:47 -04:00
Slava Pestov 41d929a201 compiler.cfg.ssa.interference: implement linear-time interference test 2010-05-17 05:50:13 -04:00
Slava Pestov 6b7260a4a7 compiler.cfg.ssa.interference.live-ranges: compute correct live ranges for ##phi instructions 2010-05-17 05:50:13 -04:00
Slava Pestov 0955f2c7eb compiler.cfg.linear-scan: fix typo 2010-05-17 05:50:13 -04:00
Joe Groff 93abc7d169 cpu.x86.assembler: a choice selection of x87 instructions 2010-05-17 02:02:40 -07:00
Slava Pestov db5b33977b cpu.x86.32: clean up %unary/binary-float-function 2010-05-17 04:03:13 -04:00
Slava Pestov 7ff309d50e cpu.x86: get rid of this extra-stack-space nonsense 2010-05-17 02:14:44 -04:00
Slava Pestov 3f8e13bf66 compiler.cfg: refactor stack frame code and fix frame pointer usage in callbacks 2010-05-16 21:04:40 -04:00
Slava Pestov a7b5957f6d compiler: hack to make XCreateIC() work on x86-64 2010-05-16 04:49:53 -04:00
Slava Pestov 8ebecac4d2 Merge branch 'master' of git://factorcode.org/git/factor 2010-05-16 04:10:03 -04:00
Slava Pestov e6abc0be15 Fixes for FFI changes 2010-05-16 04:09:47 -04:00
Joe Groff 67ea40ade3 compiler.cfg.intrinsics.simd: use ^^select-vector for simd constant nth when available 2010-05-16 00:50:20 -07:00
Joe Groff 645164188d compiler.cfg.instructions: ##select-vector instruction mapping to SSE4 PEXTR* 2010-05-16 00:50:19 -07:00
Slava Pestov 5b48cd2a63 FFI rewrite part 5: return value boxing and callback parameter boxing now uses vregs; simplify return value unboxing 2010-05-16 03:43:23 -04:00
Joe Groff 0c27f30475 compiler.cfg.intrinsics.simd: use new ##gather-int-vector insns to construct int vectors when available 2010-05-15 23:59:27 -07:00
Joe Groff 8c878ada17 compiler.cfg.instructions: ##gather-int-vector-2/4 instructions that map to SSE4 PINSR/PEXTR 2010-05-15 23:48:22 -07:00
Joe Groff 7c0cd6dc37 cpu.x86: fix bootstrap load error 2010-05-15 15:28:22 -07:00
Joe Groff 3de020c18a cpu.x86: don't enable bit-count intrinsic by default 2010-05-15 14:52:00 -07:00
Joe Groff 3956dd1516 cpu.x86.features: ( int alien-assembly ) c-bool> ==> ( bool alien-assembly ) 2010-05-15 14:33:19 -07:00
Joe Groff 009408dd11 cpu.x86: enable bit-count intrinsic if POPCNT available 2010-05-15 14:00:12 -07:00
Joe Groff 5d35917061 compiler.cfg.intrinsics: intrinsic for fixnum-bit-count 2010-05-15 13:59:47 -07:00
Joe Groff 7fec53b509 compiler.cfg.instructions: ##bit-count insn 2010-05-15 13:57:35 -07:00
Joe Groff 7c6c4ef8ae math.bitwise: factor M\ fixnum (bit-count) to a separate word so it can be made intrinsic 2010-05-15 13:27:26 -07:00
Joe Groff c00272d80a cpu.x86.features: add popcnt? test 2010-05-15 13:26:14 -07:00
Joe Groff d5b7ec3348 cpu.x86.assembler: SETcc instructions 2010-05-15 13:14:27 -07:00
Joe Groff 986ed057d8 cpu.x86.assembler: BT family instructions 2010-05-15 13:08:22 -07:00
Joe Groff 010b5069bd opengl.textures: borrow get-texture-float and get-texture-int helper words from gpu.textures 2010-05-15 12:09:50 -07:00
Slava Pestov 5c0c87fcaa compiler.cfg.value-numbering.comparisons: ##test-imm rewrite rule must check that the immediate fits 2010-05-15 03:19:24 -04:00
Daniel Ehrenberg fbaa8d153f Inlining no-method when a generic word has no method 2010-05-14 20:28:09 -05:00
Daniel Ehrenberg 05290ee1b1 Merge branch 'master' of git://factorcode.org/git/factor into propagation
Conflicts:

	basis/compiler/tree/propagation/propagation-tests.factor
2010-05-14 18:59:39 -05:00
Slava Pestov ad7636045f compiler: fix bad unit test 2010-05-14 18:37:11 -04:00
Slava Pestov 62eadda2aa cpu.x86.bootstrap: use TEST instruction 2010-05-14 18:37:10 -04:00
Slava Pestov 5ecd2b61c7 compiler.cfg: more silly optimizations 2010-05-14 18:37:09 -04:00
Slava Pestov 1a61c50896 compiler.cfg.instructions: change vreg-insn from a mixin into a superclass 2010-05-14 18:37:09 -04:00
Slava Pestov 6d30bb8bf4 compiler.cfg.linear-scan: pointless optimizations 2010-05-14 18:37:08 -04:00
Slava Pestov 291543c300 compiler.cfg.ssa.live-ranges: clean up 2010-05-14 18:37:08 -04:00
Slava Pestov 2a137bed0e bootstrap.compiler.timing: small update 2010-05-14 18:37:07 -04:00
Slava Pestov d1e422c981 compiler.cfg.alias-analysis: simplify and speed up 2010-05-14 18:37:07 -04:00
Slava Pestov 5a67711bfd compiler.cfg: use x86 TEST instruction to optimize 'bitand 0 =' 2010-05-14 18:37:06 -04:00
Joe Groff 22625469bc sequences.cords: specialize vshuffle-elements to use vshuffle2-elements on cord components 2010-05-14 13:29:37 -07:00
Joe Groff 8f1751cd54 math.vectors.simd.intrinsics: fix scalar fallback for (simd-vshuffle2-elements) 2010-05-14 02:47:39 -07:00
Joe Groff 2744816209 math.vectors, math.vectors.simd: add user-facing vshuffle2 word 2010-05-14 02:47:05 -07:00
Joe Groff 465a1673eb compiler.cfg.intrinsics.simd: mod shuffle indices for shuffle-2-vectors-imm intrinsic so they wrap like a real instruction would 2010-05-14 01:20:05 -07:00
Joe Groff 9f9e145819 math.vectors.simd.intrinsics: (simd-vshuffle2-elements) intrinsic that creates a vector by selecting elements from two input vectors. use ##shuffle-vector-halves-imm to implement for double-2s with SSE 2010-05-14 01:16:29 -07:00
Joe Groff 3766abd65e compiler.cfg.instructions: ##shuffle-vector-halves-imm insn to map to SSE's two-input SHUFPS/SHUFPD 2010-05-14 00:20:21 -07:00
Slava Pestov fe30355ec7 math.vectors.simd.cords: implement new-sequence and like methods on cords to make cross product work 2010-05-13 21:55:19 -04:00
Slava Pestov 4a98278720 cpu.x86.32: check for SSE2 on bootstrap since Factor now requires it 2010-05-13 18:25:46 -04:00
Slava Pestov bb87d124c1 compiler: small fixes and cleanups 2010-05-13 02:48:20 -04:00
Joe Groff 8b9f33e040 x11: convert XSupportsLocale return value to factor bool before testing (bug reported by ceninan) 2010-05-12 18:07:33 -07:00
Slava Pestov db2db6a1a6 compiler.cfg.builder.alien: fix for x86-32 2010-05-12 18:07:11 -04:00
Slava Pestov 42b0d456cd Refactor x86-32 stack cleanup logic 2010-05-12 02:09:11 -04:00
Slava Pestov f89b85db7b Temporary fixes for x86-32 until FFI boxing is rewritten 2010-05-12 01:41:49 -04:00
Slava Pestov 0cde5c8fb5 Eliminate compiler.alien 2010-05-11 23:24:47 -04:00
Slava Pestov 1c76c87c5c cpu.x86.64: fix typo 2010-05-11 22:29:46 -04:00
Slava Pestov ee0640f176 Move flatten-c-type to death row so that it can be executed in part 5 2010-05-11 22:26:31 -04:00
Slava Pestov eb802208d1 FFI rewrite part 4: parameter and return value unboxing redesign 2010-05-11 19:11:44 -04:00
Slava Pestov 423f9c607a cpu.ppc: fixes 2010-05-10 17:50:10 -05:00
Slava Pestov 9321f9378a cpu.ppc: update for recent changes -- untested 2010-05-10 02:21:23 -04:00
Slava Pestov 45689dbfe6 compiler: simplify ##unbox-small/large-struct by emitting an ##unbox-any-c-ptr first 2010-05-10 01:38:34 -04:00
Slava Pestov 4478c3a51a FFI rewrite part 3: eliminate ##push-context-stack and ##pop-context-stack 2010-05-10 00:46:29 -04:00
Slava Pestov acfbea3865 compiler.codegen.fixup: remove unused variable 2010-05-10 00:45:48 -04:00
Slava Pestov 7450dcf9ff cpu.x86.32: fix load error 2010-05-09 23:36:57 -04:00
Slava Pestov 7316d41226 FFI rewrite part 2: use ##peek and ##replace instructions to access stack 2010-05-09 23:26:43 -04:00
Slava Pestov 2912f21acc cpu.x86.64.unix: fix load error 2010-05-09 22:15:14 -04:00
Slava Pestov 839e26de3a cpu.x86.32: fix load error 2010-05-09 21:55:21 -04:00
Slava Pestov c211c3e84e FFI rewrite part 1: split up ##alien-invoke and friends into smaller instructions 2010-05-09 21:36:52 -04:00
Slava Pestov fa99cc8f0e ui.backend.windows: faster wheel mouse scroll rate 2010-05-07 18:26:16 -04:00
Slava Pestov f988dad79c compiler.cfg: add ##load-float instruction for single precision floating point constants 2010-05-07 18:26:00 -04:00
Slava Pestov 982e704626 compiler.cfg.linear-scan: clean up clobber-insn handling 2010-05-07 18:22:35 -04:00
Slava Pestov d215d691b5 Load debugger.{unix,windows} later on in bootstrap, because lopading it before the optimizing compiler incurs a long delay on Windows as all the WinAPI bindings get loaded and parsed 2010-05-06 17:41:00 -04:00
Slava Pestov 627295f094 Language change: tuple slot setter words with stack effect ( value object -- ) are now named FOO<< instead of (>>FOO) 2010-05-06 17:21:02 -04:00
Joe Groff 98db8b5e78 windows.directx.dinput: redo constant generation yet again to get compile time under control 2010-05-05 23:26:54 -07:00
Slava Pestov 020c011d00 cpu.ppc: add missing cases to ##load/store-memory instructions 2010-05-05 13:37:25 -04:00
Slava Pestov 32ab6ca8d8 compiler.cfg.intrinsics: may as well use cell-size stores instead of 32-bit stores when initializing byte arrays 2010-05-05 13:23:00 -04:00
Slava Pestov 07092df20b compiler.cfg.intrinsics.allot: fix <byte-array> intrinsic for real. Don't ever check in code without testing it 2010-05-05 13:17:20 -04:00
Daniel Ehrenberg ea69bd68ac Merge branch 'master' of git://factorcode.org/git/factor into propagation 2010-05-05 08:54:47 -05:00
Slava Pestov aaa706dd29 cpu.x86.32: fix load error 2010-05-05 02:54:48 -04:00
Slava Pestov 0dab9c7f9d compiler.cfg.intrinsics.allot: <byte-array> intrinsic was writing past the end of the array and this was causing problems for scheduling 2010-05-05 02:17:57 -04:00
Slava Pestov e763c74096 More FFI cleanups 2010-05-05 01:13:45 -04:00
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 4d5b7fe883 Fixing bug in dependency tracking for guarded method inlining 2010-05-04 16:47:00 -05:00
Daniel Ehrenberg 0d055060ad Bug fix in method inlining 2010-05-04 16:46:39 -05:00
Daniel Ehrenberg 23e78b8380 Removing hack with >fixnum, now subsumed by a more general optimization 2010-05-04 16:46:39 -05:00
Daniel Ehrenberg 0f0b56f1ef Adding dependency checking and proper handing of dispatch# to the new method inlining 2010-05-04 16:46:38 -05:00
Daniel Ehrenberg f1d7a4e663 Improving method inlining change, but there's still a bug 2010-05-04 16:46:08 -05:00
Daniel Ehrenberg 19a44d65df Changes to compiler.tree.propagation.inlining 2010-05-04 16:46:08 -05:00
Daniel Ehrenberg 3ed4a82475 Fixing another bug in the method inlining improvement 2010-05-04 16:46:08 -05:00
Daniel Ehrenberg 416707f327 Fixing optimization for improved method inlining 2010-05-04 16:46:07 -05:00
Daniel Ehrenberg 02bd3d7142 splitting generic word callsites when only one method is applicable 2010-05-04 16:46:07 -05:00
Daniel Ehrenberg 750a96935f instance? optimizes null checks 2010-05-04 16:46:07 -05: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
Joe Groff 719a7d6ffd Use dinput as default windows game.input backend 2010-05-02 00:38:37 -07:00
Doug Coleman 155ede5ad7 Fix normalization to take stride/padding bytes into account 2010-05-01 18:37:59 -05:00
Doug Coleman 64b248c5d5 move images.bitmap.loading to images.bitmap 2010-05-01 17:11:11 -05:00
Doug Coleman f67c62b0e4 Fix help lint for math.polynomials 2010-04-30 14:04:45 -05:00
Doug Coleman e15c02f308 Clean up math.polynomials some 2010-04-30 08:42:29 -05:00
unknown c02bb4bd17 Fix enter-fullscreen on windows 2010-04-30 08:06:06 -05:00
Doug Coleman 242f8490c5 Fix smart-if* for multiple inputs and test. oops 2010-04-29 20:21:53 -05:00
Doug Coleman 79a3b71f47 Demonstrate smart-if and smart-if* combinators 2010-04-29 19:57:07 -05:00
Slava Pestov aec2570cd3 ui.backend.x11: fix load error 2010-04-29 03:59:31 -04:00
Slava Pestov e82bbc5412 ui.backend.windows: fix compile error 2010-04-29 02:20:17 -05:00
Slava Pestov 1672c34f9f ui: use scroll delta information for smoother mouse scrolling on Windows and Mac OS X 2010-04-29 02:52:32 -04:00
Slava Pestov cea21f6a3d math.vectors: (vmerge) shouldn't be generic 2010-04-29 02:28:05 -04:00
Slava Pestov 4ee9e5336f math.vectors.simd.cords: a dash of inline sauce 2010-04-29 01:58:56 -04:00
Slava Pestov 0c8ed1b9d7 bootstrap.handbook: fix typo 2010-04-29 01:43:40 -04:00
Joe Groff add082faa3 Merge branch 'master' of factorcode.org:/git/factor 2010-04-28 15:49:00 -07:00
Joe Groff 0ab9046300 rename half-floats vocab to math.floats.half 2010-04-28 15:48:47 -07:00
Slava Pestov c9db8f4269 io.sockets: update <datagram> docs 2010-04-27 10:52:19 -04:00
Daniel Ehrenberg bfd76b41c8 Merge branch 'master' of git://factorcode.org/git/factor 2010-04-25 18:10:36 -05:00
Daniel Ehrenberg 879687521d Documenting bitfields in structs 2010-04-25 18:09:58 -05:00
Joe Groff 4022ceda8d Merge branch 'master' of factorcode.org:/git/factor 2010-04-25 12:19:28 -07:00
Joe Groff 859ec88bcd ui.backend.x11: search path for xmessage rather than hardcoding path 2010-04-25 12:18:45 -07:00
Daniel Ehrenberg d4eba4632a Making tools.deploy.shaker remove require-when data structures 2010-04-24 21:29:46 -05:00
Joe Groff e5c65b2204 use word-props instead of singletons for enum>number conversion so there's not a big fat generic making the image buy another plane ticket 2010-04-21 22:22:06 -07:00
Joe Groff 4c7ab0e9a3 doll up ENUM: docs 2010-04-21 21:33:04 -07:00
Doug Coleman 339952697f Fix alien.enum docs 2010-04-21 21:32:33 -05:00
Joe Groff f9668be814 alien.enums: make enum>number foldable so it optimizes constant enums to constant ints, make number>enum a macro so it doesn't use c-type metadata at runtime 2010-04-20 17:05:14 -07:00
Erik Charlebois fdeb305a3c Use generic word for enum>number. Tests and documentations. 2010-04-19 20:08:40 -07:00
Erik Charlebois baab8c060d Remove ENUM: f and replace uses with CONSTANTs.
Fix bootstrap and load-all errors from enum classes.
2010-04-19 20:08:40 -07:00
Joe Groff 52903ee597 prettyprint ENUM: definitions 2010-04-19 20:07:18 -07:00
Joe Groff d3f770d545 add alien.enums vocab with enum-c-types that convert between symbols and integer values in the FFI. update ENUM: to define symbolic enums, and take an optional base type 2010-04-19 20:07:18 -07:00
Joe Groff e730d3b6d5 alien.c-types: use CONSULT: to define c-type-protocol methods on c-type-name 2010-04-19 20:07:17 -07:00
Joe Groff 6e55a3b8f5 alien.parser, alien.syntax: send ENUM: body to parse-enum 2010-04-19 20:07:17 -07:00
Joe Groff f394cb4fdc alien.parser: have define-enum handle the case when the enum name is f 2010-04-19 20:07:17 -07:00
Joe Groff 8c915e05f7 alien.parser, alien.syntax: refactor ENUM: to separate parsing from definition 2010-04-19 20:07:17 -07:00
Joe Groff 4bc915d526 C-ENUM: -> ENUM: 2010-04-19 20:07:16 -07:00
Doug Coleman 366ce2896f Add callstack-bounds primitive to vm/ for use with javascriptcore library 2010-04-19 20:08:15 -05:00
Slava Pestov 703ff5385d Merge branch 'require-when' of git://github.com/littledan/Factor 2010-04-19 14:06:52 -05:00