Merge branch 'master' into cuda-changes

Merge branch 'master' of git://factorcode.org/git/factor

Fixing scheduling for compiler changes

cpu.ppc: updating optimizing compiler backend for recent changes

cpu.ppc.assembler: new opcodes: LFDUX LFDX LFSUX LFSX STFDUX STFDX STFSUX STFSX

compiler: more tests

compiler.cfg.value-numbering: don't use complex addressing modes unless architecture supports it

vm: tweak inline_gc() for PowerPC

windows.directx.dinput: factor out a code snippet into a word instead of repeating it many times in macro expansion, reducing compiled code size

Update cleanup list so that Windows binary packages won't include various crap emitted by Windows SDK

tools.deploy.shaker: fix debugger stripping

Remove 'prettyprint' from a few USING: forms

windows.directx.dinput.constants: fix breakage if image is saved and restarted

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

cpu.x86: GC root offsets were computed wrong in words containing alien calls

C-style identifiers in peg.ebnf

Allow - in peg.ebnf identifiers.  Eating still not allowed...

Allow a-zA-Z0-9_ in identifiers for peg.ebnf

compiler.tests: remove useless test from float tests; min and max are generic now, with methods on floats, so any potential inconsistency is gone

cpu: cleanups

tools.deploy.shaker: tweak error reporting slightly

cpu.ppc: fixing typos in non-optimizing backend

ui.gadgets.tables: fix load error in docs

bit-arrays: re-use utility words from math.bitwise and io.binary to make implementation a bit more elegant

compiler.cfg.value-numbering: fix typo in unit test

ui.gadgets.tables: remove multiple selection support, and make the error list handle preservation of the current selection better when the underlying model changes

cuda: streamline memory api

cpu.x86.assembler: fix test on 64-bit

Some fixes to merge scheduling

Merge branch 'master' of git://factorcode.org/git/factor into s3

Eliminate some -rot from the codebase

Merge branch 'master' of git://factorcode.org/git/factor into s3

Merge branch 'master' of git://factorcode.org/git/factor into s3

Conflicts:

basis/compiler/cfg/finalization/finalization.factor

cpu.ppc: updates for recent compiler changes, untested

compiler.cfg.empty-blocks: remove unused pass

compiler.cfg.alias-analysis: storing a reference into an object now merges the reference's alias class with the heap alias class

Merge branch 'master' into s3

Conflicts:

basis/compiler/cfg/optimizer/optimizer.factor

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

compiler.cfg.representations: make sure that immediate operands fit

compiler.cfg.value-numbering: fix unit test for 64-bit

io.launcher.unix: add timeout to a test

compiler: remove flat machine representation and generate code directly from the CFG

compiler.cfg.debugger: add ssa. word to print IR before representation selection runs

compiler.tree.propagation: fix both-fixnums? trick

Updating tests for recent compiler changes

compiler.cfg.linear-scan.assignment: spill slot representation logic was backwards, just like Factor

compiler.cfg: fuse ##load-integer/##load-reference into ##replace to form ##replace-imm

compiler: add ##load-vector instruction to avoid wasting a temporary register on x86-32

cpu.x86: use available type info to generate more efficient %box-displaced-alien where possible

compiler.cfg.copy-prop: optimistic copy propagation

compiler.cfg: cleanup

compiler.cfg: clean up ##phi literals in tests

compiler.cfg.linear-scan: clean up spill slot assignment

compiler.cfg.ssa.detruction: coalesce different representations in more cases

compiler.cfg.alias-analysis: write unit tests and fix redundant store elimination

continuations: keep original error when throwing wrapped errors as well, for easier debugging of bootstrap failures

compiler.cfg.debugger: clean up and make it more flexible

Register allocation now uses SSA properties to coalesce values with different representations

compiler.cfg: remove unused 'reps' slot from compiler.cfg, and re-organize things in preparation for SSA register allocation

compiler.cfg.linear-scan: cleanups

Code cleanups

compiler.cfg.gc-checks: move phi instructions into GC check block, to ensure correct behavior

New GC checks work in progress

cpu.x86.assembler: small cleanups

compiler.tree.propagation: fix tests

compiler.codegen: cleanup

compiler.cfg.linear-scan.resolve: fix incorrect behavior when one physical register is used with several representations in the same register class

compiler.cfg.linear-scan: don't insert a _reload if the register is going to be overwritten anyway

strings: move string-nth primitive out of the VM and into the library

compiler.cfg.representations: simplify a little

compiler.cfg.representations: add peephole optimizations for integer comparisons

compiler.cfg.representations: fix various bugs

compiler.cfg.representations: add more peephole optimizations to reduce fixnum tagging and untagging overhead

compiler.cfg.value-numbering: more cleanups

compiler.cfg.value-numbering: identify VNs with their representative vregs, eliminating the vn>vreg hash

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

compiler.cfg.value-numbering: remove constant -vs- literal distinction

compiler.cfg.ssa.liveness: remove unused pass

compiler.cfg.builder: fix unit tests

compiler.cfg.value-numbering: merge 'simplify' pass into 'rewrite'

compiler.cfg: add ##load-memory and ##store-memory instructions implementing complex addressing modes, and associated value numbering optimizations

compiler.cfg.value-numbering: add slot addressing rewrite rule to eliminate a redundant ##add-imm from array-nth and set-array-nth

compiler.cfg: more flexible addressing for ##slot and ##set-slot

cpu.x86.assembler: support all addressing modes

compiler.cfg: merge all alien accessors into ##load-memory-imm and ##store-memory-imm

benchmark.yuv-to-rgb: use TYPED: instead of HINTS:

compiler.cfg: remove ##set-string-nth-fast instruction since it can be expressed just as efficiently using other instructions

compiler.tests.low-level-ir: update for recent changes

compiler.cfg.value-numbering: fix compile error

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

compiler.cfg.value-numbering: new optimizations; reassociation for shifts and redistribution for shifts/multiplies over additions/subtractions

compiler.cfg.instructions: more typos

Debugging untagged fixnums

Untagged fixnums work in progress

compiler: Start using tagged-rep for stuff, and split up compiler.cfg.representations into several sub-vocabularies

tools.deploy.shaker: adjust fallback error handler message so it looks better in a Win32 MessageBox

windows.errors, debugger.windows: improve description of Windows error objects

windows.directx.dinput: pre-construct some intermediate structs to slightly improve horrible compilation time on the gigantic macro expansions

windows.directx.dinput: forgot to reenable constant initialization

windows.directx.dinput: use macros to define format constants to avoid holding onto a bunch of useless symbols after deployment