RealConstant¶
A real literal.
Declaration¶
Syntax¶
RealConstant(float r, ttype type)
Arguments¶
Argument |
Description |
|---|---|
|
the value. |
|
the real type, which fixes the kind and therefore the precision. |
Return values¶
The value of the expression.
Description¶
The value is stored as a number. ASR text prints it with enough digits to
round-trip exactly, and uses the #asr/float64 and #asr/real128 tags for
values a decimal literal cannot represent, such as infinities and NaNs.
Examples¶
(RealConstant
:r 2.5
:type (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 []
)