Matthias Boehm created SYSTEMML-1935:
----------------------------------------
Summary: Improve rewrite for merging statement blocks
Key: SYSTEMML-1935
URL: https://issues.apache.org/jira/browse/SYSTEMML-1935
Project: SystemML
Issue Type: Task
Reporter: Matthias Boehm
There are two shortcomings of the (recently introduced) rewrite on merging
statement block sequences.
* Order of statement block rewrites: Currently, we apply HOP DAG rewrites and
statement block rewrites recursively over the entire program. For statement
block rewrites, we first apply sequence rewrites and then individual block
rewrites. However, this misses opportunities when an individual block rewrite
such as branch-removal expands for example an if to a sequence of blocks.
* Missing dead code elimination: When merging statement blocks, we connect
transient writes and transient reads and add roots if they are not existing
transient writes. However, we should explicitly check the live out set in order
to eliminate dead code that does not need to be computed (e.g., originating
from branch-removal and sequence merge)
--
This message was sent by Atlassian JIRA
(v6.4.14#64029)
