[SYSTEMDS-1832] Redundant checkpoint instructions before loops

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: SystemML 0.15
• Epic Link: Extended inter-procedural analysis
• Assignee: Matthias Boehm
• Reporter: Matthias Boehm
• Created: 09/Aug/17 01:21
• Updated: 09/Sep/17 03:40
• Resolved: 09/Aug/17 20:54

Description

Static rewrites include HOP DAG and statement block rewrites. We apply these rewrites multiple times during compilation (e.g., rewrites followed by multiple passes of IPA). Some of the static rewrites such as RewriteInjectSparkLoopCheckpointing assume that they are called once for a program. Applying them multiple times leads to redundant statement blocks with redundant checkpoint instructions. Accordingly, IPA should explicitly disable such rewrites.