Bug #9441: Unsupported operator BVADD - MicroTESK - Open-Source Projects

Actions

Copy link

Bug #9441

open

Unsupported operator BVADD

Added by Alexander Protsenko almost 6 years ago. Updated almost 2 years ago.

Status:

New

Priority:

Normal

Assignee:

Alexander Kamkin

Category:

MMU Plugin

Target version:

2.6

Start date:

01/21/2019

Due date:

% Done:

Estimated time:

Detected in build:

svn

Platform:

Published in build:

Description

Code:

function SV32TranslateCycle (va: VA, a: 32, i: 3): PT.entry
  var temp_address: VA;
  {
    temp_address = temp_address + a;
  }

java.lang.IllegalArgumentException: Unsupported operator BVADD in (BVADD SV32TranslateCycle.temp_address SV32TranslateCycle.a)
    at ru.ispras.microtesk.mmu.translator.codegen.spec.AtomExtractor.extract(AtomExtractor.java:101)
    at ru.ispras.microtesk.mmu.translator.codegen.spec.AtomExtractor.extract(AtomExtractor.java:52)
    at ru.ispras.microtesk.mmu.translator.codegen.spec.ControlFlowBuilder.buildStmtAssign(ControlFlowBuilder.java:301)
    at ru.ispras.microtesk.mmu.translator.codegen.spec.ControlFlowBuilder.buildStmtAssign(ControlFlowBuilder.java:284)
    at ru.ispras.microtesk.mmu.translator.codegen.spec.ControlFlowBuilder.buildStmts(ControlFlowBuilder.java:240)
    at ru.ispras.microtesk.mmu.translator.codegen.spec.ControlFlowBuilder.buildStmtIf(ControlFlowBuilder.java:383)
    at ru.ispras.microtesk.mmu.translator.codegen.spec.ControlFlowBuilder.buildStmts(ControlFlowBuilder.java:244)
    at ru.ispras.microtesk.mmu.translator.codegen.spec.ControlFlowBuilder.build(ControlFlowBuilder.java:227)
    at ru.ispras.microtesk.mmu.translator.codegen.spec.StbFunction.buildFunction(StbFunction.java:133)
    at ru.ispras.microtesk.mmu.translator.codegen.spec.StbFunction.build(StbFunction.java:58)
    at ru.ispras.castle.codegen.FileGeneratorStringTemplate.generate(FileGeneratorStringTemplate.java:94)
    at ru.ispras.microtesk.mmu.translator.codegen.spec.SpecGenerator.processFunctions(SpecGenerator.java:125)
    at ru.ispras.microtesk.mmu.translator.codegen.spec.SpecGenerator.processIr(SpecGenerator.java:60)
    at ru.ispras.microtesk.mmu.translator.codegen.spec.SpecGenerator.processIr(SpecGenerator.java:35)
    at ru.ispras.microtesk.translator.Translator.processIr(Translator.java:84)
    at ru.ispras.microtesk.mmu.translator.MmuTranslator.start(MmuTranslator.java:135)
    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)