compiler.cfg.value-numbering.comparisons vocabulary
Factor handbook > Vocabulary index


Summary
compiler.cfg.value-numbering.comparisons vocabulary

Meta-data
Authors:Slava Pestov


Words

Union classes
general-compare-insn
scalar-compare-insn


Ordinary words
WordStack effect
(>compare-imm)( insn swap? -- dst src1 src2 cc )
(>compare-imm-branch)( insn swap? -- src1 src2 cc )
(simplify-test)( insn -- src1 src2 cc )
>boolean-insn( insn ? -- insn' )
>compare-imm( insn swap? -- insn' )
>compare-imm-branch( insn swap? -- insn' )
>compare-integer-imm( insn swap? -- insn' )
>compare-integer-imm-branch( insn swap? -- insn' )
>compare<( insn -- in1 in2 cc )
>test( insn -- insn' )
>test-branch( insn -- insn' )
>test-imm( insn ? -- insn' )
>test-imm-branch( insn ? -- insn' )
>test-vector<( insn -- src1 temp rep vcc )
evaluate-compare-imm( insn -- ? )
evaluate-compare-integer-imm( insn -- ? )
evaluate-self-compare( insn -- ? )
evaluate-test-imm( insn -- ? )
fold-branch( ? -- insn )
fold-compare-imm( insn -- insn' )
fold-compare-imm-branch( insn -- insn/f )
fold-compare-imm?( insn -- ? )
fold-compare-integer-imm( insn -- insn' )
fold-compare-integer-imm-branch( insn -- insn/f )
fold-compare-integer-imm?( insn -- ? )
fold-test-imm( insn -- insn' )
fold-test-imm-branch( insn -- insn/f )
fold-test-imm?( insn -- ? )
rewrite-boolean-comparison( insn -- insn )
rewrite-boolean-comparison?( insn -- ? )
rewrite-into-test?( insn -- ? )
rewrite-redundant-comparison( insn -- insn' )
rewrite-redundant-comparison?( insn -- ? )
rewrite-self-compare( insn -- insn' )
rewrite-self-compare-branch( insn -- insn' )
simplify-test( insn -- insn )
simplify-test-imm( insn -- insn )
simplify-test-imm-branch( insn -- insn )
swap-compare( src1 src2 cc swap? -- src1 src2 cc )


Class predicate words
WordStack effect
general-compare-insn?( object -- ? )
scalar-compare-insn?( object -- ? )


Files