Project

General

Profile

Bug #9869

Генерация граничных значений для регистров инструкций

Added by Alexander Protsenko about 1 year ago. Updated 9 months ago.

Status:
New
Priority:
Normal
Category:
Test Engine
Target version:
Start date:
10/15/2019
Due date:
% Done:

0%

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

Description

В качестве примера можно посмотреть шаблон:
https://forge.ispras.ru/projects/microtesk-riscv/repository/385/revisions/master/entry/src/main/arch/riscv/templates/sequence/boundary_data.rb

    sequence {
      add a0, a1, a2 do testdata('boundary') end      
      sub a3, a0, a4 do testdata('boundary') end      
    }.run

Не учитывается зависимость:

    Preparation
    li a1, 0x7fffffffffffffff
    li a2, 0x7fffffffffffffff
    li a0, 0x7fffffffffffffff
    li a4, 0x7fffffffffffffff

    Stimulus
    add a0, a1, a2
    sub a3, a0, a4

Так же нужен пример, где генерируются граничные значения для регистров a1, a2, a4 и итерация идет для каждого из регистра.

History

#1

Updated by Alexander Kamkin 9 months ago

  • Target version set to 2.5

Also available in: Atom PDF