[SYSTEMDS-1852] IPA fails w/ issue of simplification rewrite

• 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: 18/Aug/17 05:01
• Updated: 30/Nov/17 22:50
• Resolved: 02/Sep/17 23:37

Description

After the recent IPA and compiler changes (e.g., merge of statement blocks), we encountered the following rewrite issue:

Caused by: org.apache.sysml.hops.HopsException: Failed to retrieve 'to' argument from basic 1-N sequence.
        at org.apache.sysml.hops.rewrite.HopRewriteUtils.getBasic1NSequenceMaxLiteral(HopRewriteUtils.java:1005)
        at org.apache.sysml.hops.rewrite.RewriteAlgebraicSimplificationStatic.simplifyOuterSeqExpand(RewriteAlgebraicSimplificationStatic.java:1644)
        at org.apache.sysml.hops.rewrite.RewriteAlgebraicSimplificationStatic.rule_AlgebraicSimplification(RewriteAlgebraicSimplificationStatic.java:173)
        at org.apache.sysml.hops.rewrite.RewriteAlgebraicSimplificationStatic.rule_AlgebraicSimplification(RewriteAlgebraicSimplificationStatic.java:178)
        at org.apache.sysml.hops.rewrite.RewriteAlgebraicSimplificationStatic.rule_AlgebraicSimplification(RewriteAlgebraicSimplificationStatic.java:178)
        at org.apache.sysml.hops.rewrite.RewriteAlgebraicSimplificationStatic.rule_AlgebraicSimplification(RewriteAlgebraicSimplificationStatic.java:178)
        at org.apache.sysml.hops.rewrite.RewriteAlgebraicSimplificationStatic.rule_AlgebraicSimplification(RewriteAlgebraicSimplificationStatic.java:178)
        at org.apache.sysml.hops.rewrite.RewriteAlgebraicSimplificationStatic.rule_AlgebraicSimplification(RewriteAlgebraicSimplificationStatic.java:178)
        at org.apache.sysml.hops.rewrite.RewriteAlgebraicSimplificationStatic.rule_AlgebraicSimplification(RewriteAlgebraicSimplificationStatic.java:178)
        at org.apache.sysml.hops.rewrite.RewriteAlgebraicSimplificationStatic.rewriteHopDAGs(RewriteAlgebraicSimplificationStatic.java:83)
        at org.apache.sysml.hops.rewrite.ProgramRewriter.rewriteHopDAGs(ProgramRewriter.java:275)
        at org.apache.sysml.hops.rewrite.ProgramRewriter.rewriteStatementBlockHopDAGs(ProgramRewriter.java:265)
        at org.apache.sysml.hops.rewrite.ProgramRewriter.rewriteStatementBlockHopDAGs(ProgramRewriter.java:249)
        at org.apache.sysml.hops.rewrite.ProgramRewriter.rewriteStatementBlockHopDAGs(ProgramRewriter.java:233)
        at org.apache.sysml.hops.rewrite.ProgramRewriter.rewriteProgramHopDAGs(ProgramRewriter.java:206)
        at org.apache.sysml.hops.ipa.IPAPassApplyStaticHopRewrites.rewriteProgram(IPAPassApplyStaticHopRewrites.java:52)
        at org.apache.sysml.hops.ipa.InterProceduralAnalysis.analyzeProgram(InterProceduralAnalysis.java:202)
        at org.apache.sysml.parser.DMLTranslator.rewriteHopsDAG(DMLTranslator.java:281)