Project

General

Profile

Task #6509

merge embedded switch nodes with conditions depending exactly from the same variable(s)

Added by Sergey Smolov over 4 years ago. Updated over 4 years ago.

Status:
Rejected
Priority:
Normal
Assignee:
Category:
Engine (Parser)
Target version:
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.

History

#1

Updated by Sergey Smolov over 4 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)
#2

Updated by Sergey Smolov over 4 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.

Also available in: Atom PDF