Project

General

Profile

Actions
Copy link

Bug #9441

open

Unsupported operator BVADD

Added by Alexander Protsenko almost 6 years ago. Updated over 1 year ago.

Status:
New
Priority:
Normal
Assignee:
Alexander Kamkin
Category:
MMU Plugin
Target version:
2.6
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)
Actions
Copy link

Also available in: Atom PDF