Parents: | compiler.cfg.value-numbering |
Authors: | Slava Pestov |
Word | Stack effect |
(distribute) | ( outer inner imm temp add-op mul-op -- new-outers/f ) |
(reassociate) | ( insn -- dst src1 src2' src2'' ) |
?new-insn | ( dst src1 src2 ? class -- insn/f ) |
diagonal? | ( insn -- ? ) |
distribute | ( insn add-op mul-op -- new-insns/f ) |
distribute-over-add? | ( insn -- ? ) |
distribute-over-sub? | ( insn -- ? ) |
f-insn? | ( insn -- ? ) |
identity | ( insn -- insn' ) |
insn>imm-insn | ( insn op swap? -- new-insn ) |
mul-to-neg | ( insn -- insn' ) |
mul-to-neg? | ( insn -- ? ) |
mul-to-shl | ( insn -- insn' ) |
mul-to-shl? | ( insn -- ? ) |
reassociate | ( insn -- dst src1 src2 ) |
reassociate-arithmetic | ( insn new-insn -- insn/f ) |
reassociate-bitwise | ( insn new-insn -- insn/f ) |
reassociate-shift | ( insn new-insn -- insn/f ) |
rewrite-subtraction-identity | ( insn -- insn' ) |
self-inverse | ( insn -- insn' ) |
sub-imm>add-imm | ( insn -- insn' ) |
sub-to-neg | ( ##sub -- insn ) |
sub-to-neg? | ( ##sub -- ? ) |
zero-insn? | ( insn -- ? ) |