Actions
Bug #9441
openUnsupported operator BVADD
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)
Updated by Alexander Protsenko over 1 year ago
- Target version changed from 2.5 to 2.6
Actions