Project

General

Profile

Bug #9441

Unsupported operator BVADD

Added by Alexander Protsenko almost 2 years ago. Updated 9 months ago.

Status:
New
Priority:
Normal
Category:
MMU Plugin
Target version:
Start date:
01/21/2019
Due date:
% Done:

0%

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)

History

#1

Updated by Alexander Kamkin 9 months ago

  • Target version set to 2.5

Also available in: Atom PDF