[SYSTEMDS-1982] IPA marks functions incorrectly for recompile_once

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: SystemML 1.0.0
• Assignee: Matthias Boehm
• Reporter: Matthias Boehm
• Created: 02/Nov/17 04:30
• Updated: 30/Nov/17 22:13
• Resolved: 30/Nov/17 22:13

Description

The IPA pass for function recompile, marks any function with loops for recompile once, even in cases where not a single statement block is marked for recompilation. Here is an example:

---FUNCTION .defaultNS::foo [recompile=true]
------GENERIC (lines 24-24) [recompile=false]
--------CP assignvar input.SCALAR.INT.false out.SCALAR.INT
------FOR (lines 0-0)
--------CP assignvar 1.SCALAR.INT.true __pred.SCALAR.INT
--------CP assignvar 2.SCALAR.INT.true __pred.SCALAR.INT
--------CP assignvar 1.SCALAR.INT.true __pred.SCALAR.INT
--------GENERIC (lines 26-27) [recompile=false]
----------CP uak+ X.MATRIX.DOUBLE _Var57.SCALAR.DOUBLE 8
----------CP castvti _Var57.SCALAR.DOUBLE.false _Var58.SCALAR.INT
----------CP rmvar _Var57
----------CP + input.SCALAR.INT.false _Var58.SCALAR.INT.false _Var59.SCALAR.INT
----------CP rmvar _Var58
----------CP mvvar _Var59 out