Project

General

Profile

Actions

Task #5161

closed

[parser][cfg] Обработка циклов

Added by Sergey Smolov over 10 years ago. Updated almost 10 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Category:
-
Target version:
Start date:
07/28/2014
Due date:
% Done:

100%

Estimated time:
Detected in build:
svn
Published in build:
20150307

Description

Реализовать компонент parser.basis.backend.CfgLoopBackend.
Если компонент находит цикл, то выдает предупреждение.


Related issues 1 (0 open1 closed)

Related to Retrascope - Bug #5597: [efsm] Processing of loopsClosedSergey Smolov02/03/2015

Actions
Actions #1

Updated by Sergey Smolov over 10 years ago

  • Subject changed from [parser][cfg] Первичная обработка циклов to [parser][cfg] Обработка циклов
  • Target version changed from 0.1 to 0.2

Первичная обработка реализована:
1) в VHDL-парсере - при обнаружении цикла (IGSequentialLoop) выдается предупреждение;
2) в CfgCgaaTransformer - если каким-то образом цикл проник в CFG-представление, то будет выдано сообщение при попытке построить GA-диаграмму.

Actions #2

Updated by Sergey Smolov almost 10 years ago

  • Status changed from New to Open
Actions #3

Updated by Sergey Smolov almost 10 years ago

Необходимо реализовать обработку следующих видов циклов:

1) с конечным числом итераций -> преобразовать в последовательность базовых блоков искомой длины;
2) "while(true)"-циклы -> преобразовать в отдельный зависимый процесс.

Actions #4

Updated by Sergey Smolov almost 10 years ago

  • Status changed from Open to Resolved
  • % Done changed from 0 to 100
  • Published in build set to r1604
Actions #5

Updated by Sergey Smolov almost 10 years ago

  • Status changed from Resolved to Verified
Actions #6

Updated by Sergey Smolov almost 10 years ago

  • Status changed from Verified to Closed
  • Published in build changed from r1604 to 20150307
Actions

Also available in: Atom PDF