Commit Graph

8591 Commits (ad7636045f6aca0d6318ab2f6b1cc23a088e65e7)

Author SHA1 Message Date
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
Slava Pestov d88aeb80d9 cpu.ppc: fix breakage caused by ##compare-imm change 2010-04-19 01:40:16 -05:00
Slava Pestov 2eda6fc6aa io.encodings: add a fast-path for ascii, utf8 and 8-bit encodings when string only contains ASCII characters 2010-04-19 01:14:00 -05:00
Slava Pestov d143aa64b2 compiler.tree.propagation.transforms: open-code >fixnum when input is already a fixnum or f 2010-04-19 01:14:00 -05:00
Slava Pestov 2517b2fc2b compiler: combine ##load-constant followed by ##alien-double into a ##load-double on x86-32, saving an integer register 2010-04-18 21:42:45 -05:00
Slava Pestov 8f0739197e compiler.cfg: fix some bugs introduced by the ##compare-imm fusion patch 2010-04-18 21:42:45 -05:00
Slava Pestov bc9241d2b7 compiler.tree.propagation.recursive: more fine-grained generalize-counter-interval eliminates overflow checks from binary-search 2010-04-18 21:42:45 -05:00
Slava Pestov 2aaf24412a compiler: change how 'f' is represented in low level IR to simplify some code, and fuse a ##load-constant of a word with a ##compare into a ##compare-imm on x86-32. This eliminates a spill from binary-search 2010-04-18 21:42:45 -05:00
Slava Pestov cf69c58eee binary-search: use nth-unsafe for a further performance gain 2010-04-18 21:42:44 -05:00
Daniel Ehrenberg fbb1eb98a9 Improving dependence graph correctness 2010-04-18 19:59:52 -05:00
Daniel Ehrenberg aa6158b366 Changing require-when usages to the new syntax for require-when 2010-04-18 14:29:24 -05:00
Daniel Ehrenberg 265fe6208f Adding null? word to test if a set is empty 2010-04-17 16:25:51 -05:00
Daniel Ehrenberg 865285cdd7 Merge branch 'master' of git://factorcode.org/git/factor into s3 2010-04-17 14:05:40 -05:00
Slava Pestov fd7a304410 binary-search: better tests 2010-04-17 01:04:17 -05:00
Slava Pestov c1a870fe72 sequences: remove stupid <flat-slice> word 2010-04-17 00:58:30 -05:00
Slava Pestov 8d3d425d44 binary-search: faster and cleaner implementation using locals 2010-04-17 00:58:12 -05:00
Daniel Ehrenberg 6892bac1ca Making some scheduling assertions only run in unit tests 2010-04-15 17:36:43 -05:00
Daniel Ehrenberg 74de7d0e2a Merge branch 'master' of git://factorcode.org/git/factor into s3 2010-04-15 17:28:53 -05:00
Slava Pestov 2ace3c5956 formatting: remove platform-specific example 2010-04-15 16:14:29 -05:00
Joe Groff c588d28acb Merge branch 'master' of factorcode.org:/git/factor 2010-04-15 13:48:31 -07:00
Joe Groff feb62f3e88 missing USING: for system-info.linux 2010-04-15 13:48:14 -07:00
Slava Pestov f26bf45b4a formatting: fix unit tests on Windows; libc's float formatting produces different output there 2010-04-15 13:49:16 -05:00
Joe Groff c261141e00 Merge branch 'master' of factorcode.org:/git/factor 2010-04-15 11:27:54 -07:00
Joe Groff 5f71d2bb18 db.sqlite.ffi: remove leftover stack effects from converted FUNCTION-ALIAS:es 2010-04-15 11:27:33 -07:00
Slava Pestov aaacd2a349 unix.process: use if-zero instead of re-inventing it 2010-04-14 22:45:30 -07:00
Joe Groff ba2fa96eeb unix: don't hack _exit to have a terminating effect; just use FUNCTION: 2010-04-14 22:04:04 -07:00
Joe Groff 343856307e db.sqlite.ffi: use FUNCTION-ALIAS: 2010-04-14 21:58:52 -07:00
Joe Groff 1c99d0cae0 update libc to use FUNCTION: and FUNCTION-ALIAS: 2010-04-14 21:50:30 -07:00
Joe Groff 37784cd356 rearrange stuff in alien.arrays and alien.data to eliminate libc dependency from alien.arrays, and by extension, alien.syntax 2010-04-14 21:40:29 -07:00
Joe Groff c595c4a151 x11.syntax: update X-FUNCTION: for FUNCTION: refactoring 2010-04-14 21:34:32 -07:00
Joe Groff 4aa62ffb24 Merge branch 'master' of factorcode.org:/git/factor 2010-04-14 19:37:54 -07:00
Slava Pestov bd4e920995 compiler.tree.propagation: fix scalability issue with constraints 2010-04-14 17:19:26 -07:00
Joe Groff 54015782f3 document FUNCTION-ALIAS: 2010-04-14 16:14:33 -07:00
Joe Groff 5b470d8da9 system-info.linux: use FUNCTION-ALIAS: 2010-04-14 16:00:11 -07:00
Joe Groff 1dadc4efed Merge branch 'master' of git://factorcode.org/git/factor 2010-04-14 13:16:08 -07:00
Joe Groff f10ea3cbea libc: add DESTRUCTOR: for (free) 2010-04-14 13:08:45 -07:00
Joe Groff d20bff5615 prettyprint FUNCTION-ALIAS: definitions 2010-04-14 12:40:10 -07:00
Joe Groff efbc3033da math.libm: use FUNCTION-ALIAS: 2010-04-14 12:25:22 -07:00
Joe Groff e5c1a82643 alien.syntax: FUNCTION-ALIAS: syntax to define a C function binding with a different Factor name 2010-04-14 12:06:45 -07:00
Slava Pestov 8f4210436b formatting: use the new format-float word to fix a failing test case 2010-04-13 21:24:35 -07:00
Slava Pestov 288090d993 math.parser: expose a format-float primitive for use by formatting vocabulary 2010-04-13 21:21:28 -07:00
Slava Pestov 7524007110 load-all now skips vocabs tagged 'not loaded', and test-all skips vocabs tagged 'not tested' 2010-04-13 18:43:33 -07:00
Slava Pestov da6bcbedfc Replace 'untested' tag with 'not loaded' and 'not tested' tags 2010-04-13 18:43:01 -07:00
Slava Pestov 74075511c2 ui.tools.error-list: smaller default size 2010-04-13 06:16:45 -07:00
Slava Pestov 572b71238f stack-checker: calling 'dispatch' with unbalanced branches generated an error message that erroneously talked about 'if' 2010-04-13 05:24:49 -07:00
Slava Pestov 956ffa8946 furnace.recaptcha: add new tag 2010-04-13 01:52:57 -07:00
Slava Pestov 4f16212840 compiler.tests.redefine23: test wasn't testing anything 2010-04-13 00:56:48 -07:00
Slava Pestov 88f627a402 compiler.tests.alien: fix tests on Win64 2010-04-13 01:24:04 -05:00
Joe Groff 378e0f7f6e Merge branch 'master' of factorcode.org:/git/factor 2010-04-12 19:17:53 -07:00
Joe Groff 54b357eb63 Merge git://github.com/erikcharlebois/factor 2010-04-12 19:17:37 -07:00
Slava Pestov 3c11991843 classes.struct, specialized-arrays: fix unit tests to work when forget-tests? is on 2010-04-12 18:29:47 -07:00
Slava Pestov 99a3b3c9f6 furnace: documentation improvements 2010-04-12 18:17:21 -07:00
Joe Groff c7f52ab3b1 Merge git://github.com/william42/factor 2010-04-12 17:06:21 -07:00
Slava Pestov 918b202b9a compiler.tests.alien: get it passing when VM is compiled with MINGW by disabling certain tests and using the MINGW ABI for others, and fix fastcall alien-indirect tests for name decoration 2010-04-12 18:14:18 -05:00
Slava Pestov 67e24b1d2a compiler.codegen: need to do name decoration with fastcall as well 2010-04-12 18:10:25 -05:00
Slava Pestov becb7c78b7 Move non-parsing words out of alien.syntax, and use a symbol instead of a string variable to store the current library in alien.parser 2010-04-12 18:09:26 -05:00
Slava Pestov 2712496880 cpu.x86.32: fastcall struct returns are different on Linux than everywhere else for some unknown reason 2010-04-12 18:44:02 -04:00
Slava Pestov a7ee58dc83 mason.test: forget test vocabs right after each test, instead of at the end 2010-04-12 14:45:43 -07:00
Slava Pestov 1434a305c8 vm: add a new rc-absolute-1 relocation class to allow storing values in 8-bit operands, and optimized code sequences for inline caches using this 2010-04-12 14:22:41 -07:00
Erik Charlebois 4addd3161b Merge branch 'master' of git://github.com/slavapestov/factor 2010-04-12 11:29:24 -07:00
Erik Charlebois ef365bfa53 Remove unused locals. 2010-04-12 01:18:58 -07:00
Slava Pestov 3be3fdeb46 Merge branch 'master' of git://github.com/erikcharlebois/factor 2010-04-12 01:16:43 -07:00
Erik Charlebois 0448c867e2 Fix indentation in read-token 2010-04-12 01:15:49 -07:00
Erik Charlebois 3d4dadffe2 Image encoding/decoding of PBM format 2010-04-12 00:49:16 -07:00
Slava Pestov 1881476892 ui.backend.windows: fix icon name 2010-04-11 15:03:38 -05:00
Slava Pestov 328068b480 windows: fix load errors 2010-04-11 15:00:54 -05:00