Actions
Task #6509
closedmerge embedded switch nodes with conditions depending exactly from the same variable(s)
Start date:
01/17/2016
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Published in build:
Description
Backend that merges embedded switch statements. Supposing that they have f(x) and g(x) conditions respectively,
it merges them into one switch with the following condition:
cond(f, C) ? fg : f
where
cond(f, C) is an extression that is built from f condition and it's possible values of it's child C case statement (that is a parent for g switch statement), and fg is a concatenation. All the chidl case statements for g statements should modify their values to the bitvector datatype and should have "cond(f, C)" prefix.
Updated by Sergey Smolov almost 9 years ago
- Subject changed from merge embeded switch nodes with conditions depending exactly from the same variable(s) to merge embedded switch nodes with conditions depending exactly from the same variable(s)
Updated by Sergey Smolov almost 9 years ago
- Status changed from New to Rejected
The task is rejected due to the fact that the proposed optimisation does not change the number of paths, but only the size of graphical representation.
Actions