Project

General

Profile

Actions

Task #9720

open

Определение влияния параметров на инструкцию

Added by Alexander Protsenko almost 5 years ago. Updated about 1 year ago.

Status:
New
Priority:
Normal
Category:
MIR
Target version:
Start date:
06/25/2019
Due date:
% Done:

0%

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

Description

Для автогенерации тестов фрагмент подготовленного шаблона на данный момент выглядит следующим образом (представлены несколько фрагментов):

    la x(5), :data
    ld x(_), x(5), 0

    la x(5), :data
    sd x(5), x(5), 0

Проблема: точно не известно, какой из параметров является адресом чтения/записи для инструкций.
    beq x(_), x(_), :beq_label
    nop
    label :beq_label
    nop

Проблема: отсутствует знание об взаимодействии параметров и влияния на переход.
Actions

Also available in: Atom PDF