Project

General

Profile

Actions

Bug #10832

open

Parser allows bit vector extraction of array types

Added by Alexander Protsenko over 3 years ago. Updated over 1 year ago.

Status:
New
Priority:
Normal
Category:
nML Translator
Target version:
Start date:
05/06/2021
Due date:
% Done:

0%

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

Description

Ошибка:

Translating to MIR...
********************************************************************************
ATTENTION! An unexpected error has occurred:
java.lang.UnsupportedOperationException: null

The program will be terminated. Please contact us at: 
microtesk-support@ispras.ru
We are sorry for the inconvenience.

Exception stack:

java.lang.UnsupportedOperationException
    at ru.ispras.microtesk.translator.mir.MirArray.getSize(MirTy.java:213)
    at ru.ispras.microtesk.translator.mir.NmlIrTrans$WriteAccess.shiftLeft(NmlIrTrans.java:902)
    at ru.ispras.microtesk.translator.mir.NmlIrTrans$WriteAccess.write(NmlIrTrans.java:887)
    at ru.ispras.microtesk.translator.mir.NmlIrTrans$WriteAccess.accessMemory(NmlIrTrans.java:873)
    at ru.ispras.microtesk.translator.mir.NmlIrTrans.translateAccess(NmlIrTrans.java:696)
    at ru.ispras.microtesk.translator.mir.NmlIrTrans.translateWrite(NmlIrTrans.java:666)
    at ru.ispras.microtesk.translator.mir.NmlIrTrans.translateAssignment(NmlIrTrans.java:321)
    at ru.ispras.microtesk.translator.mir.NmlIrTrans.translate(NmlIrTrans.java:314)
    at ru.ispras.microtesk.translator.mir.NmlIrTrans.translate(NmlIrTrans.java:194)
    at ru.ispras.microtesk.translator.mir.NmlIrTrans.translate(NmlIrTrans.java:117)
    at ru.ispras.microtesk.translator.mir.NmlIrTrans.translate(NmlIrTrans.java:74)
    at ru.ispras.microtesk.translator.mir.MirTransHandler.translateIr(MirTransHandler.java:106)
    at ru.ispras.microtesk.translator.mir.MirTransHandler.processIr(MirTransHandler.java:69)
    at ru.ispras.microtesk.translator.mir.MirTransHandler.processIr(MirTransHandler.java:52)
    at ru.ispras.microtesk.translator.Translator.processIr(Translator.java:84)
    at ru.ispras.microtesk.translator.nml.NmlTranslator.start(NmlTranslator.java:131)
    at ru.ispras.microtesk.translator.Translator.translate(Translator.java:201)
    at ru.ispras.microtesk.MicroTESK.translate(MicroTESK.java:150)
    at ru.ispras.microtesk.MicroTESK.runTask(MicroTESK.java:142)
    at ru.ispras.microtesk.MicroTESK.main(MicroTESK.java:80)

********************************************************************************

Ошибка возникает на спецификации ВМ от 2021.05.06.

Actions #1

Updated by Artem Kotsynyak over 3 years ago

  • Subject changed from Translating to MIR: UnsupportedOperationException to Parser allows bit vector extraction of array types

Минимальный пример для воспроизведения ошибки:

reg R[SIZE, i64]

op instr()
action = {
  R<31..0> = coerce(i32, 0);
}

Actions #2

Updated by Artem Kotsynyak over 3 years ago

  • Category changed from MIR to nML Translator
Actions #3

Updated by Alexander Protsenko over 1 year ago

  • Target version changed from 2.5 to 2.6
Actions

Also available in: Atom PDF