Bug #6217: The == operator is not supported for the LOGIC_BOOLEAN type - MicroTESK - Open-Source Projects

Actions

Copy link

Bug #6217

closed

The == operator is not supported for the LOGIC_BOOLEAN type

Added by Alexander Protsenko over 8 years ago. Updated over 8 years ago.

Status:

Closed

Priority:

Normal

Assignee:

Artem Kotsynyak

Category:

Target version:

2.2

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)