Extraction of time consuming components from BLT blocks

[prizescu]

In order to simplify and speed up solving of blocks one can extract stuff which is time consuming and does not depend on any variables in the block which it belongs to. This includes:

• Functions
• Conditions
• ...

[prizescu]

Changed where blockFunctionExtraction is executed and made it functional. r5842

[prizescu]

blockFunctionExtraction now runs based directly on the option rather then a unnecessary flag. Some log output cleanup. r5847

[prizescu]

blockFunctionExtraction now correctly updates the BiPGraph as well. r5982

[prizescu]

Remove option for block function extraction. Always run it. r6156

[Jesper Mattsson]

changeset:6161

Recreating branch from latest trunk to repair broken merge in r6158, r6159 & r6160. Need to add changes made in branch separately.

[Jesper Mattsson]

changeset:6162

Deleting branch to prepare to recreate (attempt without deleting failed, see r6161).

[Jesper Mattsson]

changeset:6163

Recreating branch from latest trunk to repair broken merge in r6158, r6159 & r6160. Need to add changes made in branch separately.

[Jesper Mattsson]

changeset:6166

Added changes from previous incarnation of branch to new one.

[prizescu]

Changed the default behavior of the dependsOnBlock function to return true for abstract FExps, in order to avoid extracting functions in special cases where a block dependent variable isn't detected.
Instead the aspect now also takes into consideration: FArrays, FAbstractScalarExps and FLitExp. r6171

[prizescu]

Changed the expected output of some tests to conform to the optimization. r6275

[prizescu]

Added some basic tests for the optimization. r6276

[prizescu]

Merge with trunk. r6281

[prizescu]

Merged with trunk again. Added option enable_block_function_extraction. r6309

[prizescu]

Reintegrated changes from branch containing block function call extraction optimization. r6310

[prizescu]

Added description to the option enable_block_function_extraction. r6311

[prizescu]

Added descriptions and better names to BFE test. Also, added new test. r6312

[Tove Bergdahl]

What remains on this ticket?

[Jonathan Kämpe]

r11340 closing thesis branch