Actions
Bug #6217
closedThe == operator is not supported for the LOGIC_BOOLEAN type
Start date:
07/22/2015
Due date:
% Done:
100%
Estimated time:
Detected in build:
svn
Platform:
Published in build:
2.3.0
Description
I.
MMU Code:
if HaveEL_EL2 == 1 && NOT_IsSecure == 1 && PSTATE_EL_EL0_EL1 == 1 then s1_enabled = HCR_EL2_TGE == 0 && SCTLR_EL1_M == 1; else s1_enabled = SCTLR_M == 1; endif; if s1_enabled == 1 then // First stage enabled endif;
Output:
armv8.mmu 235:18 ERROR (SEMANTIC): "The == operator is not supported for the LOGIC_BOOLEAN type." armv8.mmu 235:4 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'if'." armv8.mmu 235:4 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'if'." java.lang.IllegalArgumentException at ru.ispras.fortress.util.InvariantChecks.checkTrue(InvariantChecks.java:41) at ru.ispras.fortress.util.InvariantChecks.checkNotNull(InvariantChecks.java:69) at ru.ispras.microtesk.mmu.translator.ir.Attribute.<init>(Unknown Source) at ru.ispras.microtesk.mmu.translator.MmuTreeWalkerBase$CommonBuilder.addAttribute(Unknown Source) at ru.ispras.microtesk.mmu.translator.grammar.MmuTreeWalker.segment(Unknown Source) at ru.ispras.microtesk.mmu.translator.grammar.MmuTreeWalker.declaration(Unknown Source) at ru.ispras.microtesk.mmu.translator.grammar.MmuTreeWalker.startRule(Unknown Source) at ru.ispras.microtesk.mmu.translator.MmuTranslator.start(Unknown Source) at ru.ispras.microtesk.translator.Translator.start(Unknown Source) at ru.ispras.microtesk.MicroTESK.translate(Unknown Source) at ru.ispras.microtesk.MicroTESK.main(Unknown Source)
II.
Code:
if HaveEL_EL2 == 1 && NOT_IsSecure == 1 && PSTATE_EL_EL0_EL1 == 1 then s1_enabled = HCR_EL2_TGE == 0 && SCTLR_EL1_M == 1; else s1_enabled = SCTLR_M == 1; endif; if s1_enabled then // First stage enabled endif;
Output:
armv8.mmu 235:4 ERROR (SEMANTIC): "Incorrect conditional expression: only boolean expressions are accepted." armv8.mmu 235:4 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'if'." java.lang.IllegalArgumentException at ru.ispras.fortress.util.InvariantChecks.checkTrue(InvariantChecks.java:41) at ru.ispras.fortress.util.InvariantChecks.checkNotNull(InvariantChecks.java:69) at ru.ispras.microtesk.mmu.translator.ir.Attribute.<init>(Unknown Source) at ru.ispras.microtesk.mmu.translator.MmuTreeWalkerBase$CommonBuilder.addAttribute(Unknown Source) at ru.ispras.microtesk.mmu.translator.grammar.MmuTreeWalker.segment(Unknown Source) at ru.ispras.microtesk.mmu.translator.grammar.MmuTreeWalker.declaration(Unknown Source) at ru.ispras.microtesk.mmu.translator.grammar.MmuTreeWalker.startRule(Unknown Source) at ru.ispras.microtesk.mmu.translator.MmuTranslator.start(Unknown Source) at ru.ispras.microtesk.translator.Translator.start(Unknown Source) at ru.ispras.microtesk.MicroTESK.translate(Unknown Source) at ru.ispras.microtesk.MicroTESK.main(Unknown Source)
Updated by Alexander Kamkin over 9 years ago
- Project changed from 161 to MicroTESK
Updated by Alexander Kamkin over 9 years ago
- Category set to 48
- Target version set to 2.2
Updated by Artem Kotsynyak about 9 years ago
- Status changed from New to Resolved
- % Done changed from 0 to 100
Updated by Andrei Tatarnikov about 9 years ago
- Status changed from Resolved to Closed
- Published in build set to 2.3.0
Actions