Project

General

Profile

Actions

Bug #9982

closed

java.lang.IllegalArgumentException: Bit vector sizes do not match: 1 != 6

Added by Alexander Protsenko over 4 years ago. Updated over 4 years ago.

Status:
Closed
Priority:
Normal
Category:
nML Translator
Target version:
Start date:
12/12/2019
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Platform:
Published in build:
2.5.0-beta-191226

Description

https://forge.ispras.ru/jenkins/job/MicroTESK_ARMv8/2144/console

java.lang.IllegalArgumentException: Bit vector sizes do not match: 1 != 6.

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: 1 != 6.
    at ru.ispras.fortress.data.types.bitvector.BitVectorMath.checkEqualSize(BitVectorMath.java:926)
    at ru.ispras.fortress.data.types.bitvector.BitVectorMath.transform(BitVectorMath.java:902)
    at ru.ispras.fortress.data.types.bitvector.BitVectorMath.add(BitVectorMath.java:682)
    at ru.ispras.microtesk.translator.mir.BvOpcode$1.evalBitVector(Instruction.java:412)
    at ru.ispras.microtesk.translator.mir.BvOpcode.evalConst(Instruction.java:512)
    at ru.ispras.microtesk.translator.mir.EvalContext.visit(EvalContext.java:74)
    at ru.ispras.microtesk.translator.mir.Instruction$Assignment.accept(Instruction.java:30)
    at ru.ispras.microtesk.translator.mir.EvalContext.eval(EvalContext.java:59)
    at ru.ispras.microtesk.translator.mir.InlinePass.apply(InlinePass.java:25)
    at ru.ispras.microtesk.translator.mir.MirPassDriver.apply(MirPassDriver.java:46)
    at ru.ispras.microtesk.translator.mir.MirPassDriver.run(MirPassDriver.java:56)
    at ru.ispras.microtesk.translator.mir.MirTransHandler.processIr(MirTransHandler.java:70)
    at ru.ispras.microtesk.translator.mir.MirTransHandler.processIr(MirTransHandler.java:30)
    at ru.ispras.microtesk.translator.Translator.processIr(Translator.java:84)
    at ru.ispras.microtesk.translator.nml.NmlTranslator.start(NmlTranslator.java:133)
    at ru.ispras.microtesk.translator.Translator.translate(Translator.java:201)
    at ru.ispras.microtesk.MicroTESK.translate(MicroTESK.java:168)
    at ru.ispras.microtesk.MicroTESK.runTask(MicroTESK.java:141)
    at ru.ispras.microtesk.MicroTESK.main(MicroTESK.java:79)

Одно из возможных решений: Если бы можно было вывести более подробную информацию, например, имя инструкции, я бы смог поправить спецификации.

Актуально для архитектуры: MIPS и ARMv8

Actions #1

Updated by Alexander Protsenko over 4 years ago

Реализовано: 80013bb1
Связанная задача: #9925

Actions #2

Updated by Alexander Protsenko over 4 years ago

  • Status changed from New to Resolved
Actions #3

Updated by Alexander Kamkin over 4 years ago

  • Status changed from Resolved to Closed
  • Published in build set to 2.5.0-beta-191226
Actions

Also available in: Atom PDF