Project

General

Profile

Task #6808

Split CFG processes into independent parts

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

Status:
Rejected
Priority:
High
Assignee:
Category:
Engine (Parser)
Target version:
Start date:
02/04/2016
Due date:
% Done:

100%

Estimated time:
Detected in build:
hdl.parser.process.split.backend
Published in build:

Description

1. Annotate CFG representation basic block statements with information about control flow (from parent switch statements) and data flow (from other basic blocks) dependencies.
2. Create an oriented graph of such dependencies.
3. Split the graph into connected components.
4. Split CFG representation objects into connected components are received from step 3.

History

#1

Updated by Sergey Smolov over 4 years ago

  • Status changed from New to Resolved
  • % Done changed from 0 to 100

The task is implemented in hdl.parser.process.split.backend branch. I've not merged it into master since the following tests have some problems:

  1. EfsmConflictEtractorTestCase, ConflictXmlPrinterTestCase - work too slow at at b11
  2. EfsmTestGeneratorVhdlTestCase, TestVhdlTestbenchPrinterVhdlTestCase - see #6366
  3. HlddXmvPrinterTestCase, SmvModelCheckerLauncherTestCase, SmvTestParserTestCase - work too slow at b03.
#2

Updated by Sergey Smolov over 4 years ago

  • Status changed from Resolved to Open

Still does not merged.

#3

Updated by Sergey Smolov over 4 years ago

  • Target version changed from 0.1 to 0.2
#4

Updated by Sergey Smolov almost 4 years ago

  • Detected in build changed from svn to master
#5

Updated by Sergey Smolov almost 4 years ago

  • Detected in build changed from master to hdl.parser.process.split.backend
#6

Updated by Sergey Smolov almost 4 years ago

  • Status changed from Open to Resolved

Done in 63bc1924e

#7

Updated by Sergey Smolov about 3 years ago

  • Status changed from Resolved to Rejected

Phase-based approach seems to be more efficient (#8262).

Also available in: Atom PDF