Interchange_Float64_Type

class Interchange_Float64_Type (concrete, logical)

C++23 std::float64_t and GNU _Float64. This is a “binary interchange” type from ISO/IEC TS 18661-3:2015.

Direct parents:
Ancestor classes and implemented interfaces:

Basic_Type, Declarative_Node, Floating_Point_Type, Logical_IR_Root, Member, Named_Entity, Named_Type, Symbol, Type

Field

Kind

Type

Description

Mantissa_Digits (from Floating_Point_Type)

attribute

builtin Integer

Precision of the mantissa, in bits. Includes the implicit mantissa bit which is not actually stored. In the range 0.5 to 1.0, the step size between neighboring floats is 2**(-Mantissa_Digits). Corresponds to std::numeric_limits<T>::digits.

Min_Exponent (from Floating_Point_Type)

attribute

builtin Integer

One more than the smallest negative power of 2 that is a valid normalized floating-point value. Corresponds to std::numeric_limits<T>::min_exponent.

Max_Exponent (from Floating_Point_Type)

attribute

builtin Integer

One more than the largest integer power of 2 that is a valid finite floating-point value. Corresponds to std::numeric_limits<T>::max_exponent.

Size (from Type)

attribute

builtin Natural

Alignment_Log (from Type)

attribute

builtin Byte

log2 of the type’s alignment

Alignment (from Type)

attribute

builtin Natural

Alignment of the type (must be a power of 2)

Size_In_Bits (from Type)

attribute

builtin UInt64

Size of the type, in bits.

Parent (from Logical_IR_Root)

semantic

class Logical_IR_Root

Physical (from Logical_IR_Root)

semantic to physical

class Physical_IR_Root

Visibility (from Member)

attribute

enum Visibility_Type

Name (from Named_Entity)

attribute

builtin String