Project

General

Profile

Actions
Copy link

Bug #12198

open

Bit vector sizes do not match: 64 != 3.

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

Status:
Resolved
Priority:
Normal
Assignee:
Alexander Protsenko
Category:
Specification
Target version:
0.1
Start date:
03/01/2023
Due date:
% Done:

100%

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

Description

Ошибка:

Optimizing MIR...
  list dependencies...
  188/945...
********************************************************************************
ATTENTION! An unexpected error has occurred:
java.lang.IllegalArgumentException: Bit vector sizes do not match: 64 != 3.

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

Exception stack:

java.lang.IllegalArgumentException: Bit vector sizes do not match: 64 != 3.
    at ru.ispras.fortress.data.types.bitvector.BitVectorMath.checkEqualSize(BitVectorMath.java:1255)
    at ru.ispras.fortress.data.types.bitvector.BitVectorMath.transform(BitVectorMath.java:1231)
    at ru.ispras.fortress.data.types.bitvector.BitVectorMath.add(BitVectorMath.java:869)
    at ru.ispras.microtesk.translator.mir.BvOpcode$1.evalBitVector(BvOpcode.java:27)
    at ru.ispras.microtesk.translator.mir.BvOpcode.evalConst(BvOpcode.java:139)
    at ru.ispras.microtesk.translator.mir.EvalContext.visit(EvalContext.java:137)
    at ru.ispras.microtesk.translator.mir.Instruction$Assignment.accept(Instruction.java:43)
    at ru.ispras.microtesk.translator.mir.EvalContext.eval(EvalContext.java:122)
    at ru.ispras.microtesk.translator.mir.InlinePass.apply(InlinePass.java:44)
    at ru.ispras.microtesk.translator.mir.MirPassDriver.apply(MirPassDriver.java:83)
    at ru.ispras.microtesk.translator.mir.MirPassDriver.run(MirPassDriver.java:104)
    at ru.ispras.microtesk.translator.mir.MirTransHandler.processIr(MirTransHandler.java:75)
    at ru.ispras.microtesk.translator.mir.MirTransHandler.processIr(MirTransHandler.java:54)
    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:167)
    at ru.ispras.microtesk.MicroTESK.runTask(MicroTESK.java:159)
    at ru.ispras.microtesk.MicroTESK.main(MicroTESK.java:84)

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

> Task :translateK64 FAILED

Нужно внести правки в спецификацию.
Сложность состоит в том, что нужно определить это место.

Actions
Copy link

Also available in: Atom PDF