Project

General

Profile

Actions

Bug #9854

closed

Error: Failed to allocate VR

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

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

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:
2.5.1-beta-200127

Description

Описание ошибки: флаг по умолчанию для 'reserve-explicit' не является 'false', хотя это явно указано.

Лог:

Error: Failed to allocate VR using ru.ispras.microtesk.test.engine.allocator.AllocationData@6b5dc4bb. Reason: Cannot peek an object: used={READ=[0, 4, 8, 12, 16, 20, 24, 28], WRITE=[], NOP=[], ANY=[0, 4, 8, 12, 16, 20, 24, 28]}, excluded=[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31].

Чтобы воспроизвести ошибку, заходим в шаблон для сборки Risc-V: instruction/instruction_rv32v_gen1.rb
Убираем строку:

set_option_value 'reserve-explicit', false

Генерируем тест по шаблону.

Actions #1

Updated by Alexander Kamkin almost 5 years ago

  • Status changed from New to Resolved
  • Target version set to 2.5

Дело в том, что в etc/settings.xml устанавливается значение true.

<?xml version="1.0" encoding="utf-8"?>
<settings>
  <setting name="random-seed" value="0"/>
  <setting name="branch-exec-limit" value="200"/>
  <setting name="code-file-extension" value="s"/>
  <setting name="code-file-prefix" value="test"/>
  <setting name="data-file-extension" value="s"/>
  <setting name="data-file-prefix" value="data"/>
  <setting name="exception-file-prefix" value="boot"/>
  <setting name="program-length-limit" value="10000"/>
  <setting name="trace-length-limit" value="100000"/>
  <setting name="comments-enabled" value=""/>
  <setting name="comments-debug" value=""/>
  <setting name="default-test-data" value=""/>
  <setting name="reserve-explicit" value="true"/>
  <setting name="tracer-log" value="true"/>
  <setting
    name="arch-dirs" 
    value="riscv=arch/riscv/settings.xml:
           cpu=arch/demo/cpu/settings.xml:
           vliw=arch/demo/vliw/settings.xml:
           vmem=arch/demo/vmem/settings.xml:
           minimips=arch/demo/minimips/settings.xml:
           x86=arch/demo/x86/settings.xml" 
  />
</settings>

Actions #2

Updated by Alexander Kamkin almost 5 years ago

  • Status changed from Resolved to Closed
  • Published in build set to 2.5.1-beta-200127
Actions

Also available in: Atom PDF