Real

A floating point type.

Declaration

Syntax

Real(int kind)

Arguments

Argument	Description
kind	the kind, which fixes the storage size and the range or precision; see kinds.

Return values

None. A type is not evaluated.

Description

The supported kinds are 4 and 8 bytes; kind 16 is accepted where the target provides it, and ASR text writes such constants with the #asr/real128 tag.

Examples

(Real
  :kind 8
)

It comes from this complete ASR text document:

(TranslationUnit
  :symtab (SymbolTable
    :id 0
    :symbols {
      "main" (Program
        :symtab (SymbolTable
          :id 1
          :symbols {
            "b" (Variable
              :parent_symtab 1
              :name "b"
              :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 []
            )
            "x" (Variable
              :parent_symtab 1
              :name "x"
              :dependencies []
              :intent :Local
              :symbolic_value nil
              :value nil
              :storage :Default
              :type (Real
                :kind 8
              )
              :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 []
            )
            "y" (Variable
              :parent_symtab 1
              :name "y"
              :dependencies []
              :intent :Local
              :symbolic_value nil
              :value nil
              :storage :Default
              :type (Real
                :kind 8
              )
              :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 "x")
            )
            :value (RealConstant
              :r 2.5
              :type (Real
                :kind 8
              )
            )
            :overloaded nil
            :realloc_lhs false
            :move_allocation false
          )
          (Assignment
            :target (Var
              :v (SymbolRef 1 "y")
            )
            :value (RealBinOp
              :left (Var
                :v (SymbolRef 1 "x")
              )
              :op :Div
              :right (RealConstant
                :r 2.0
                :type (Real
                  :kind 8
                )
              )
              :type (Real
                :kind 8
              )
              :value nil
            )
            :overloaded nil
            :realloc_lhs false
            :move_allocation false
          )
          (Assignment
            :target (Var
              :v (SymbolRef 1 "y")
            )
            :value (RealUnaryMinus
              :arg (Var
                :v (SymbolRef 1 "x")
              )
              :type (Real
                :kind 8
              )
              :value nil
            )
            :overloaded nil
            :realloc_lhs false
            :move_allocation false
          )
          (Assignment
            :target (Var
              :v (SymbolRef 1 "y")
            )
            :value (RealSqrt
              :arg (Var
                :v (SymbolRef 1 "x")
              )
              :type (Real
                :kind 8
              )
              :value nil
            )
            :overloaded nil
            :realloc_lhs false
            :move_allocation false
          )
          (Assignment
            :target (Var
              :v (SymbolRef 1 "y")
            )
            :value (RealCopySign
              :target (Var
                :v (SymbolRef 1 "x")
              )
              :source (RealConstant
                :r -1.0
                :type (Real
                  :kind 8
                )
              )
              :type (Real
                :kind 8
              )
              :value nil
            )
            :overloaded nil
            :realloc_lhs false
            :move_allocation false
          )
          (Assignment
            :target (Var
              :v (SymbolRef 1 "b")
            )
            :value (RealCompare
              :left (Var
                :v (SymbolRef 1 "x")
              )
              :op :GtE
              :right (Var
                :v (SymbolRef 1 "y")
              )
              :type (Logical
                :kind 4
              )
              :value nil
            )
            :overloaded nil
            :realloc_lhs false
            :move_allocation false
          )
        ]
      )
    }
  )
  :items []
)

See Also

Integer, Complex, kinds, RealConstant