LogicalCompare

A comparison of two logical values.

Declaration

Syntax

LogicalCompare(expr left, cmpop op, expr right, ttype type,
    expr? value)

Arguments

Argument	Описание
left	the left operand.
op	the comparison; see cmpop.
right	the right operand.
type	the logical type of the result.
value	the compile time value of the expression, when the frontend could fold it; nil otherwise.

Return values

The value of the expression.

Описание

Only Eq and NotEq are meaningful. p == q on logicals is the same operation as p .eqv. q; the two spellings produce different nodes so that unparsing can reproduce what was written.

Examples

(LogicalCompare
  :left (Var
    :v (SymbolRef 1 "p")
  )
  :op :Eq
  :right (Var
    :v (SymbolRef 1 "q")
  )
  :type (Logical
    :kind 4
  )
  :value nil
)

It comes from this complete ASR text document:

(TranslationUnit
  :symtab (SymbolTable
    :id 0
    :symbols {
      "main" (Program
        :symtab (SymbolTable
          :id 1
          :symbols {
            "p" (Variable
              :parent_symtab 1
              :name "p"
              :dependencies []
              :intent :Local
              :symbolic_value nil
              :value nil
              :storage :Default
              :type (Logical
                :kind 4
              )
              :type_declaration nil
              :abi :Source
              :access :Public
              :presence :Required
              :value_attr false
              :target_attr false
              :contiguous_attr false
              :bindc_name nil
              :is_volatile false
              :is_protected false
              :pass_attr :NotMethod
              :self_argument nil
              :codims []
            )
            "q" (Variable
              :parent_symtab 1
              :name "q"
              :dependencies []
              :intent :Local
              :symbolic_value nil
              :value nil
              :storage :Default
              :type (Logical
                :kind 4
              )
              :type_declaration nil
              :abi :Source
              :access :Public
              :presence :Required
              :value_attr false
              :target_attr false
              :contiguous_attr false
              :bindc_name nil
              :is_volatile false
              :is_protected false
              :pass_attr :NotMethod
              :self_argument nil
              :codims []
            )
          }
        )
        :name "main"
        :dependencies []
        :body [
          (Assignment
            :target (Var
              :v (SymbolRef 1 "p")
            )
            :value (LogicalConstant
              :value true
              :type (Logical
                :kind 4
              )
            )
            :overloaded nil
            :realloc_lhs false
            :move_allocation false
          )
          (Assignment
            :target (Var
              :v (SymbolRef 1 "q")
            )
            :value (LogicalNot
              :arg (Var
                :v (SymbolRef 1 "p")
              )
              :type (Logical
                :kind 4
              )
              :value nil
            )
            :overloaded nil
            :realloc_lhs false
            :move_allocation false
          )
          (Assignment
            :target (Var
              :v (SymbolRef 1 "q")
            )
            :value (LogicalBinOp
              :left (Var
                :v (SymbolRef 1 "p")
              )
              :op :Or
              :right (LogicalConstant
                :value false
                :type (Logical
                  :kind 4
                )
              )
              :type (Logical
                :kind 4
              )
              :value nil
            )
            :overloaded nil
            :realloc_lhs false
            :move_allocation false
          )
          (Assignment
            :target (Var
              :v (SymbolRef 1 "q")
            )
            :value (LogicalCompare
              :left (Var
                :v (SymbolRef 1 "p")
              )
              :op :Eq
              :right (Var
                :v (SymbolRef 1 "q")
              )
              :type (Logical
                :kind 4
              )
              :value nil
            )
            :overloaded nil
            :realloc_lhs false
            :move_allocation false
          )
        ]
      )
    }
  )
  :items []
)

See Also

cmpop, LogicalBinOp