]> gitweb.factorcode.org Git - factor.git/log
factor.git
14 years agovariants docs nitpicks
Joe Groff [Fri, 3 Jul 2009 00:01:50 +0000 (19:01 -0500)]
variants docs nitpicks

14 years agoMerge branch 'master' of git://factorcode.org/git/factor
Slava Pestov [Thu, 2 Jul 2009 22:28:12 +0000 (17:28 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

14 years agocompiler.cfg.liveness: update for new ##phi node representation
Slava Pestov [Thu, 2 Jul 2009 22:28:02 +0000 (17:28 -0500)]
compiler.cfg.liveness: update for new ##phi node representation

14 years agocompiler.cfg: change representation of ##phi nodes. The input slot of ##phi nodes...
Slava Pestov [Thu, 2 Jul 2009 22:10:50 +0000 (17:10 -0500)]
compiler.cfg: change representation of ##phi nodes. The input slot of ##phi nodes is now an assoc mapping predecessors to values, rather than a sequence of values. This ensures that optimization which delete predecessors can be implemented

14 years agofix vim syntax highlighting for MEMO:, MEMO::, ::, MACRO::
Doug Coleman [Thu, 2 Jul 2009 21:33:08 +0000 (16:33 -0500)]
fix vim syntax highlighting for MEMO:, MEMO::, ::, MACRO::

14 years agorewrite rules for add/sub/mul/and/or/xor-imm, rewrite load-immediate/add to be add-imm
Doug Coleman [Thu, 2 Jul 2009 16:35:31 +0000 (11:35 -0500)]
rewrite rules for add/sub/mul/and/or/xor-imm, rewrite load-immediate/add to be add-imm

14 years agosimplify sub and sub-imm
Doug Coleman [Thu, 2 Jul 2009 16:33:15 +0000 (11:33 -0500)]
simplify sub and sub-imm

14 years agoadd a utility word vreg>constant
Doug Coleman [Thu, 2 Jul 2009 16:32:23 +0000 (11:32 -0500)]
add a utility word vreg>constant

14 years agocompiler.cfg.dce: now performs three passes over the CFG to fix a phase ordering...
Slava Pestov [Thu, 2 Jul 2009 08:17:19 +0000 (03:17 -0500)]
compiler.cfg.dce: now performs three passes over the CFG to fix a phase ordering issue

14 years agocompiler.cfg.dce: minor renamings
Slava Pestov [Thu, 2 Jul 2009 07:41:10 +0000 (02:41 -0500)]
compiler.cfg.dce: minor renamings

14 years agoMerge branch 'master' of git://factorcode.org/git/factor
Daniel Ehrenberg [Thu, 2 Jul 2009 07:31:06 +0000 (02:31 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

14 years agoDead code elimination eliminates some dead allocations
Daniel Ehrenberg [Thu, 2 Jul 2009 07:30:46 +0000 (02:30 -0500)]
Dead code elimination eliminates some dead allocations

14 years agocompiler.cfg.optimizer: enable branch folding
Slava Pestov [Thu, 2 Jul 2009 06:05:59 +0000 (01:05 -0500)]
compiler.cfg.optimizer: enable branch folding

14 years agocompiler.cfg: bug fixes in GC check insertion and fixnum intrinsics
Slava Pestov [Thu, 2 Jul 2009 05:51:06 +0000 (00:51 -0500)]
compiler.cfg: bug fixes in GC check insertion and fixnum intrinsics

14 years agocompiler.cfg.linear-scan: fix spilling
Slava Pestov [Thu, 2 Jul 2009 03:37:27 +0000 (22:37 -0500)]
compiler.cfg.linear-scan: fix spilling

14 years agoMerge branch 'master' of git://factorcode.org/git/factor
Slava Pestov [Wed, 1 Jul 2009 23:13:54 +0000 (18:13 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

14 years agocpu.x86.32: don't emit sub %esp,0x0 in prologue on Linux and Windows
Slava Pestov [Wed, 1 Jul 2009 23:13:45 +0000 (18:13 -0500)]
cpu.x86.32: don't emit sub %esp,0x0 in prologue on Linux and Windows

14 years agoMerge branch 'master' of git://factorcode.org/git/factor
Joe Groff [Wed, 1 Jul 2009 23:01:59 +0000 (18:01 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

14 years agopardon my dust
Joe Groff [Wed, 1 Jul 2009 22:57:21 +0000 (17:57 -0500)]
pardon my dust

14 years agocompiler.tree.optimizer: Remove redundant call to compute-def-use
Slava Pestov [Wed, 1 Jul 2009 22:41:20 +0000 (17:41 -0500)]
compiler.tree.optimizer: Remove redundant call to compute-def-use

14 years agocompiler.cfg.linear-scan: debugging spilling and resolve pass
Slava Pestov [Wed, 1 Jul 2009 22:41:07 +0000 (17:41 -0500)]
compiler.cfg.linear-scan: debugging spilling and resolve pass

14 years agoalien.structs: update docs to mention struct-arrays
Slava Pestov [Wed, 1 Jul 2009 21:16:40 +0000 (16:16 -0500)]
alien.structs: update docs to mention struct-arrays

14 years agoMerge branch 'master' of git://factorcode.org/git/factor
Joe Groff [Wed, 1 Jul 2009 18:55:24 +0000 (13:55 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

14 years agoput a slot on worlds for window-resources which get disposed when window is closed
Joe Groff [Wed, 1 Jul 2009 18:54:42 +0000 (13:54 -0500)]
put a slot on worlds for window-resources which get disposed when window is closed

14 years agoopengl helper words for ARB/APPLE vertex array objects
Joe Groff [Wed, 1 Jul 2009 18:53:28 +0000 (13:53 -0500)]
opengl helper words for ARB/APPLE vertex array objects

14 years agoptrdiff_t arrays
Joe Groff [Wed, 1 Jul 2009 18:52:42 +0000 (13:52 -0500)]
ptrdiff_t arrays

14 years agosome misc categorizations and factorings for image component formats
Joe Groff [Wed, 1 Jul 2009 18:52:26 +0000 (13:52 -0500)]
some misc categorizations and factorings for image component formats

14 years agocompiler.cfg.stack-analysis: fix unit tests for useless-blocks renaming and ##no...
Slava Pestov [Wed, 1 Jul 2009 04:17:33 +0000 (23:17 -0500)]
compiler.cfg.stack-analysis: fix unit tests for useless-blocks renaming and ##no-tco instruction

14 years agoMerge branch 'master' of git://factorcode.org/git/factor
Slava Pestov [Wed, 1 Jul 2009 04:07:36 +0000 (23:07 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

14 years agocompiler.cfg.optimizer: disable branch folding for now
Slava Pestov [Wed, 1 Jul 2009 04:07:27 +0000 (23:07 -0500)]
compiler.cfg.optimizer: disable branch folding for now

14 years agocompiler.cfg.builder: emit less crap after a #terminate node
Slava Pestov [Wed, 1 Jul 2009 04:03:25 +0000 (23:03 -0500)]
compiler.cfg.builder: emit less crap after a #terminate node

14 years agoMerge branch 'master' of git://factorcode.org/git/factor
Doug Coleman [Wed, 1 Jul 2009 04:02:04 +0000 (23:02 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

14 years agooptimize fixnum*fast and fixnum-shift-fast
Doug Coleman [Wed, 1 Jul 2009 04:01:44 +0000 (23:01 -0500)]
optimize fixnum*fast and fixnum-shift-fast

14 years agocombine add-imm instructions into a single add
Doug Coleman [Wed, 1 Jul 2009 03:59:53 +0000 (22:59 -0500)]
combine add-imm instructions into a single add

14 years agocompiler.cfg.branch-folding: fold away branches where both inputs are the same regist...
Slava Pestov [Wed, 1 Jul 2009 03:43:32 +0000 (22:43 -0500)]
compiler.cfg.branch-folding: fold away branches where both inputs are the same register. This results in 'push' being compiled slightly better

14 years agoFix possible infinite loop in skip-empty-blocks and remove redundant test in compiler...
Slava Pestov [Wed, 1 Jul 2009 03:43:02 +0000 (22:43 -0500)]
Fix possible infinite loop in skip-empty-blocks and remove redundant test in compiler.cfg.useless-conditionals

14 years agoChange branch splitting around a bit, rename useless-blocks to useless-conditionals...
Slava Pestov [Wed, 1 Jul 2009 03:11:15 +0000 (22:11 -0500)]
Change branch splitting around a bit, rename useless-blocks to useless-conditionals and rewrite it

14 years agoFix conflict
Slava Pestov [Wed, 1 Jul 2009 02:37:49 +0000 (21:37 -0500)]
Fix conflict

14 years agocompiler.cfg Remove height tracking for ##call instructions, wire in ##no-tco instruction
Slava Pestov [Wed, 1 Jul 2009 02:21:46 +0000 (21:21 -0500)]
compiler.cfg Remove height tracking for ##call instructions, wire in ##no-tco instruction

14 years agocompiler.cfg.tco: fix tail call optimization for ##fixnum-mul
Slava Pestov [Wed, 1 Jul 2009 02:08:08 +0000 (21:08 -0500)]
compiler.cfg.tco: fix tail call optimization for ##fixnum-mul

14 years agocompiler.cfg.builder: fix stack effect
Slava Pestov [Wed, 1 Jul 2009 02:07:55 +0000 (21:07 -0500)]
compiler.cfg.builder: fix stack effect

14 years agocompiler.cfg.linear-scan.assignment: insert-copy did the wrong thing if the second...
Slava Pestov [Wed, 1 Jul 2009 02:07:39 +0000 (21:07 -0500)]
compiler.cfg.linear-scan.assignment: insert-copy did the wrong thing if the second interval had been split. Fixes compilation of 'trilerp'

14 years agoFix conflict
Slava Pestov [Wed, 1 Jul 2009 01:16:09 +0000 (20:16 -0500)]
Fix conflict

14 years agocompiler.cfg.tco: Tail call optimization moved out of compiler.cfg.builder into its...
Slava Pestov [Wed, 1 Jul 2009 01:13:35 +0000 (20:13 -0500)]
compiler.cfg.tco: Tail call optimization moved out of compiler.cfg.builder into its own pass

14 years agoremove duplicate using
Doug Coleman [Tue, 30 Jun 2009 23:48:52 +0000 (18:48 -0500)]
remove duplicate using

14 years agoMerge branch 'master' of git://factorcode.org/git/factor
Doug Coleman [Tue, 30 Jun 2009 23:48:10 +0000 (18:48 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

14 years agomake commutative operations with immediates output the same IR
Doug Coleman [Tue, 30 Jun 2009 23:47:24 +0000 (18:47 -0500)]
make commutative operations with immediates output the same IR

14 years agocompiler.cfg.stack-analysis: fix tests
Slava Pestov [Tue, 30 Jun 2009 23:22:54 +0000 (18:22 -0500)]
compiler.cfg.stack-analysis: fix tests

14 years agoMerge branch 'master' of git://factorcode.org/git/factor
Slava Pestov [Tue, 30 Jun 2009 23:12:00 +0000 (18:12 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

14 years agocompiler.cfg.stack-analysis: enable global optimization
Slava Pestov [Tue, 30 Jun 2009 23:11:45 +0000 (18:11 -0500)]
compiler.cfg.stack-analysis: enable global optimization

14 years ago%dispatch: sometimes the generated sequence is one byte longer, so instead of hard...
Slava Pestov [Tue, 30 Jun 2009 23:11:15 +0000 (18:11 -0500)]
%dispatch: sometimes the generated sequence is one byte longer, so instead of hard-coding it, compute the right length

14 years agocompiler.cfg.linear-scan.assignment: get check-assignment? to work with coalescing
Slava Pestov [Tue, 30 Jun 2009 23:10:53 +0000 (18:10 -0500)]
compiler.cfg.linear-scan.assignment: get check-assignment? to work with coalescing

14 years agoMerge branch 'imagebin'
Doug Coleman [Tue, 30 Jun 2009 22:39:53 +0000 (17:39 -0500)]
Merge branch 'imagebin'

14 years agoimagebin does the right thing now
Doug Coleman [Tue, 30 Jun 2009 22:39:36 +0000 (17:39 -0500)]
imagebin does the right thing now

14 years agocpu.x86: don't clobber src in %dispatch
Slava Pestov [Tue, 30 Jun 2009 21:47:22 +0000 (16:47 -0500)]
cpu.x86: don't clobber src in %dispatch

14 years agoMerge branch 'master' of git://factorcode.org/git/factor
Doug Coleman [Tue, 30 Jun 2009 21:45:57 +0000 (16:45 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

14 years agofix bug where traversal order was lost
Doug Coleman [Tue, 30 Jun 2009 21:44:14 +0000 (16:44 -0500)]
fix bug where traversal order was lost

14 years agodisjoint-sets: add some tests for compiler bug; eventually more tests should be writt...
Slava Pestov [Tue, 30 Jun 2009 21:08:16 +0000 (16:08 -0500)]
disjoint-sets: add some tests for compiler bug; eventually more tests should be written for this vocab

14 years agocompiler.cfg.linear-scan: compute-free-pos was broken in the case where more than...
Slava Pestov [Tue, 30 Jun 2009 21:07:58 +0000 (16:07 -0500)]
compiler.cfg.linear-scan: compute-free-pos was broken in the case where more than one inactive interval had the same physical register assigned

14 years agospill to spill-temp, not to virtual spill addresses
Doug Coleman [Tue, 30 Jun 2009 20:40:13 +0000 (15:40 -0500)]
spill to spill-temp, not to virtual spill addresses

14 years agoMerge branch 'master' of git://factorcode.org/git/factor
Doug Coleman [Tue, 30 Jun 2009 20:32:11 +0000 (15:32 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

14 years agoadd branch splitting pass to compiler.cfg
Doug Coleman [Tue, 30 Jun 2009 20:31:48 +0000 (15:31 -0500)]
add branch splitting pass to compiler.cfg

14 years agoworking on imagebin
Doug Coleman [Tue, 30 Jun 2009 19:56:58 +0000 (14:56 -0500)]
working on imagebin

14 years agocompiler.cfg.stack-analysis: fix typos in unit tests
Slava Pestov [Mon, 29 Jun 2009 21:37:40 +0000 (16:37 -0500)]
compiler.cfg.stack-analysis: fix typos in unit tests

14 years agoAdd divisors to math.primes.factors
Samuel Tardieu [Mon, 29 Jun 2009 14:55:44 +0000 (16:55 +0200)]
Add divisors to math.primes.factors

14 years agoFix conflict
Slava Pestov [Mon, 29 Jun 2009 07:00:34 +0000 (02:00 -0500)]
Fix conflict

14 years agoFix conflict
Slava Pestov [Mon, 29 Jun 2009 06:59:53 +0000 (01:59 -0500)]
Fix conflict

14 years agocompiler.cfg.linear-scan.resolve: remove redundant vocabs from using list
Slava Pestov [Mon, 29 Jun 2009 03:58:35 +0000 (22:58 -0500)]
compiler.cfg.linear-scan.resolve: remove redundant vocabs from using list

14 years agocompiler.cfg.stack-analysis: fix another corner case with ##peek insertion, and fix...
Slava Pestov [Mon, 29 Jun 2009 03:52:28 +0000 (22:52 -0500)]
compiler.cfg.stack-analysis: fix another corner case with ##peek insertion, and fix changed-loc merging

14 years agoMerge branch 'master' of git://factorcode.org/git/factor
Doug Coleman [Sun, 28 Jun 2009 21:43:45 +0000 (16:43 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

14 years agofix bug in linear-scan.resolve by rewriting entire algorithm
Doug Coleman [Sun, 28 Jun 2009 21:43:17 +0000 (16:43 -0500)]
fix bug in linear-scan.resolve by rewriting entire algorithm

14 years agoMerge branch 'master' of git://factorcode.org/git/factor
Slava Pestov [Sat, 27 Jun 2009 22:33:00 +0000 (17:33 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

14 years agocompiler.cfg.stack-analysis: Fix case where both an ##inc-d/r and a ##peek get inserted
Slava Pestov [Sat, 27 Jun 2009 22:32:37 +0000 (17:32 -0500)]
compiler.cfg.stack-analysis: Fix case where both an ##inc-d/r and a ##peek get inserted

14 years agoMerge branch 'master' of git://factorcode.org/git/factor
Doug Coleman [Sat, 27 Jun 2009 02:51:08 +0000 (21:51 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

Conflicts:
basis/compiler/cfg/linear-scan/resolve/resolve-tests.factor

14 years agoadd spill-temp to compiler.cfg.instructions, implement parallel register assignment...
Doug Coleman [Sat, 27 Jun 2009 02:48:21 +0000 (21:48 -0500)]
add spill-temp to compiler.cfg.instructions, implement parallel register assignment in linear-scan.resolve

14 years agoadd collect-values to histogram
Doug Coleman [Sat, 27 Jun 2009 02:46:59 +0000 (21:46 -0500)]
add collect-values to histogram

14 years agoMerge branch 'master' of git://factorcode.org/git/factor
Slava Pestov [Fri, 26 Jun 2009 22:50:26 +0000 (17:50 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

14 years agoFix bootstrap and unit test
Slava Pestov [Fri, 26 Jun 2009 22:44:33 +0000 (17:44 -0500)]
Fix bootstrap and unit test

14 years agoRedesign compiler.cfg.stack-analysis to make compiler.cfg.height redundant, and to...
Slava Pestov [Fri, 26 Jun 2009 22:29:55 +0000 (17:29 -0500)]
Redesign compiler.cfg.stack-analysis to make compiler.cfg.height redundant, and to fix some problems

14 years agodocs for variants
Joe Groff [Fri, 26 Jun 2009 22:12:08 +0000 (17:12 -0500)]
docs for variants

14 years agovariants vocab for ADTs
Joe Groff [Fri, 26 Jun 2009 21:31:20 +0000 (16:31 -0500)]
variants vocab for ADTs

14 years agoMerge branch 'master' of git://factorcode.org/git/factor
Doug Coleman [Thu, 25 Jun 2009 18:26:18 +0000 (13:26 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

14 years agoMerge branch 'master' of git://factorcode.org/git/factor
Joe Groff [Thu, 25 Jun 2009 14:15:24 +0000 (09:15 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

14 years agowindows.offscreen:make-bitmap-image wasn't filling in the component-type of the image...
Joe Groff [Thu, 25 Jun 2009 14:15:04 +0000 (09:15 -0500)]
windows.offscreen:make-bitmap-image wasn't filling in the component-type of the image object it makes

14 years agoMerge branch 'master' of git://factorcode.org/git/factor
Slava Pestov [Thu, 25 Jun 2009 04:36:42 +0000 (23:36 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

14 years agoopengl.gl3 vocab containing only forward-compatible symbols. fill in some holes in...
Joe Groff [Wed, 24 Jun 2009 23:27:54 +0000 (18:27 -0500)]
opengl.gl3 vocab containing only forward-compatible symbols. fill in some holes in opengl.gl

14 years agoupdate demos using GL_EXT_framebuffer_object and GL_ARB_texture_float to use suffixle...
Joe Groff [Wed, 24 Jun 2009 22:59:25 +0000 (17:59 -0500)]
update demos using GL_EXT_framebuffer_object and GL_ARB_texture_float to use suffixless opengl 3 symbol names

14 years agoopengl 3.1
Joe Groff [Wed, 24 Jun 2009 22:28:37 +0000 (17:28 -0500)]
opengl 3.1

14 years agocompiler.cfg.stack-analysis: split up into three vocabs
Slava Pestov [Wed, 24 Jun 2009 18:54:43 +0000 (13:54 -0500)]
compiler.cfg.stack-analysis: split up into three vocabs

14 years agocompiler.cfg.linear-scan: fix unit tests
Slava Pestov [Wed, 24 Jun 2009 18:54:12 +0000 (13:54 -0500)]
compiler.cfg.linear-scan: fix unit tests

14 years agoShort circuit trivial composites
Samuel Tardieu [Wed, 24 Jun 2009 13:36:45 +0000 (15:36 +0200)]
Short circuit trivial composites

14 years agoGet rid of vector reallocation by preallocating it
Samuel Tardieu [Wed, 24 Jun 2009 13:27:58 +0000 (15:27 +0200)]
Get rid of vector reallocation by preallocating it

14 years agoMerge branch 'master' of git://factorcode.org/git/factor
Joe Groff [Wed, 24 Jun 2009 13:29:28 +0000 (08:29 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

14 years agoprovide image component-orders and component-types for all GPU texture formats
Joe Groff [Wed, 24 Jun 2009 13:26:30 +0000 (08:26 -0500)]
provide image component-orders and component-types for all GPU texture formats

14 years agoAdd extra tests for math.primes
Samuel Tardieu [Wed, 24 Jun 2009 11:13:10 +0000 (13:13 +0200)]
Add extra tests for math.primes

14 years agoPack primes numbers by slices of 30
Samuel Tardieu [Wed, 24 Jun 2009 11:04:20 +0000 (13:04 +0200)]
Pack primes numbers by slices of 30

In any given 30 successive integers greater than 5, there are at most
8 prime numbers. Use this to tightly pack the result of the Eratostene
sieve. This lets us store more prime numbers than before in less space.

14 years agoMerge branch 'master' of git://factorcode.org/git/factor
Slava Pestov [Wed, 24 Jun 2009 02:33:52 +0000 (21:33 -0500)]
Merge branch 'master' of git://factorcode.org/git/factor

14 years agocompiler.cfg.linear-scan: fix coalescing to take lifetime holes into account
Slava Pestov [Wed, 24 Jun 2009 02:32:51 +0000 (21:32 -0500)]
compiler.cfg.linear-scan: fix coalescing to take lifetime holes into account

14 years agothrow in image component-orders for some more opengl formats
Joe Groff [Wed, 24 Jun 2009 01:01:53 +0000 (20:01 -0500)]
throw in image component-orders for some more opengl formats

14 years agovalidate cocoa menu items with handles-gesture?
Joe Groff [Tue, 23 Jun 2009 01:16:52 +0000 (20:16 -0500)]
validate cocoa menu items with handles-gesture?