(TranslationUnit
    (SymbolTable
        1
        {
            _lcompilers_optimization_fma_f32:
                (Function
                    (SymbolTable
                        3
                        {
                            _lcompilers_optimization_fma_f32:
                                (Variable
                                    3
                                    _lcompilers_optimization_fma_f32
                                    []
                                    ReturnVar
                                    ()
                                    ()
                                    Default
                                    (Real 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            a:
                                (Variable
                                    3
                                    a
                                    []
                                    In
                                    ()
                                    ()
                                    Default
                                    (Real 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            b:
                                (Variable
                                    3
                                    b
                                    []
                                    In
                                    ()
                                    ()
                                    Default
                                    (Real 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            c:
                                (Variable
                                    3
                                    c
                                    []
                                    In
                                    ()
                                    ()
                                    Default
                                    (Real 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                )
                        })
                    _lcompilers_optimization_fma_f32
                    (FunctionType
                        [(Real 4)
                        (Real 4)
                        (Real 4)]
                        (Real 4)
                        Source
                        Implementation
                        ()
                        .false.
                        .false.
                        .false.
                        .false.
                        .false.
                        []
                        .false.
                    )
                    []
                    [(Var 3 a)
                    (Var 3 b)
                    (Var 3 c)]
                    [(Assignment
                        (Var 3 _lcompilers_optimization_fma_f32)
                        (RealBinOp
                            (Var 3 a)
                            Add
                            (RealBinOp
                                (Var 3 b)
                                Mul
                                (Var 3 c)
                                (Real 4)
                                ()
                            )
                            (Real 4)
                            ()
                        )
                        ()
                    )]
                    (Var 3 _lcompilers_optimization_fma_f32)
                    Public
                    .false.
                    .false.
                    ()
                ),
            _lcompilers_optimization_fma_f321:
                (Function
                    (SymbolTable
                        4
                        {
                            _lcompilers_optimization_fma_f321:
                                (Variable
                                    4
                                    _lcompilers_optimization_fma_f321
                                    []
                                    ReturnVar
                                    ()
                                    ()
                                    Default
                                    (Real 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            a:
                                (Variable
                                    4
                                    a
                                    []
                                    In
                                    ()
                                    ()
                                    Default
                                    (Real 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            b:
                                (Variable
                                    4
                                    b
                                    []
                                    In
                                    ()
                                    ()
                                    Default
                                    (Real 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            c:
                                (Variable
                                    4
                                    c
                                    []
                                    In
                                    ()
                                    ()
                                    Default
                                    (Real 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                )
                        })
                    _lcompilers_optimization_fma_f321
                    (FunctionType
                        [(Real 4)
                        (Real 4)
                        (Real 4)]
                        (Real 4)
                        Source
                        Implementation
                        ()
                        .false.
                        .false.
                        .false.
                        .false.
                        .false.
                        []
                        .false.
                    )
                    []
                    [(Var 4 a)
                    (Var 4 b)
                    (Var 4 c)]
                    [(Assignment
                        (Var 4 _lcompilers_optimization_fma_f321)
                        (RealBinOp
                            (Var 4 a)
                            Add
                            (RealBinOp
                                (Var 4 b)
                                Mul
                                (Var 4 c)
                                (Real 4)
                                ()
                            )
                            (Real 4)
                            ()
                        )
                        ()
                    )]
                    (Var 4 _lcompilers_optimization_fma_f321)
                    Public
                    .false.
                    .false.
                    ()
                ),
            _lcompilers_optimization_fma_f64:
                (Function
                    (SymbolTable
                        5
                        {
                            _lcompilers_optimization_fma_f64:
                                (Variable
                                    5
                                    _lcompilers_optimization_fma_f64
                                    []
                                    ReturnVar
                                    ()
                                    ()
                                    Default
                                    (Real 8)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            a:
                                (Variable
                                    5
                                    a
                                    []
                                    In
                                    ()
                                    ()
                                    Default
                                    (Real 8)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            b:
                                (Variable
                                    5
                                    b
                                    []
                                    In
                                    ()
                                    ()
                                    Default
                                    (Real 8)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            c:
                                (Variable
                                    5
                                    c
                                    []
                                    In
                                    ()
                                    ()
                                    Default
                                    (Real 8)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                )
                        })
                    _lcompilers_optimization_fma_f64
                    (FunctionType
                        [(Real 8)
                        (Real 8)
                        (Real 8)]
                        (Real 8)
                        Source
                        Implementation
                        ()
                        .false.
                        .false.
                        .false.
                        .false.
                        .false.
                        []
                        .false.
                    )
                    []
                    [(Var 5 a)
                    (Var 5 b)
                    (Var 5 c)]
                    [(Assignment
                        (Var 5 _lcompilers_optimization_fma_f64)
                        (RealBinOp
                            (Var 5 a)
                            Add
                            (RealBinOp
                                (Var 5 b)
                                Mul
                                (Var 5 c)
                                (Real 8)
                                ()
                            )
                            (Real 8)
                            ()
                        )
                        ()
                    )]
                    (Var 5 _lcompilers_optimization_fma_f64)
                    Public
                    .false.
                    .false.
                    ()
                ),
            fma:
                (Program
                    (SymbolTable
                        2
                        {
                            pi:
                                (Variable
                                    2
                                    pi
                                    []
                                    Local
                                    (RealConstant
                                        3.140000
                                        (Real 4)
                                    )
                                    (RealConstant
                                        3.140000
                                        (Real 4)
                                    )
                                    Parameter
                                    (Real 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            s1:
                                (Variable
                                    2
                                    s1
                                    []
                                    Local
                                    (Cast
                                        (RealConstant
                                            1.000000
                                            (Real 4)
                                        )
                                        RealToReal
                                        (Real 8)
                                        (RealConstant
                                            1.000000
                                            (Real 8)
                                        )
                                    )
                                    (RealConstant
                                        1.000000
                                        (Real 8)
                                    )
                                    Save
                                    (Real 8)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            s2:
                                (Variable
                                    2
                                    s2
                                    []
                                    Local
                                    (Cast
                                        (RealConstant
                                            2.000000
                                            (Real 4)
                                        )
                                        RealToReal
                                        (Real 8)
                                        (RealConstant
                                            2.000000
                                            (Real 8)
                                        )
                                    )
                                    (RealConstant
                                        2.000000
                                        (Real 8)
                                    )
                                    Save
                                    (Real 8)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            x:
                                (Variable
                                    2
                                    x
                                    []
                                    Local
                                    (RealConstant
                                        4.000000
                                        (Real 4)
                                    )
                                    (RealConstant
                                        4.000000
                                        (Real 4)
                                    )
                                    Save
                                    (Real 4)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                ),
                            z:
                                (Variable
                                    2
                                    z
                                    []
                                    Local
                                    (Cast
                                        (RealConstant
                                            1.000000
                                            (Real 4)
                                        )
                                        RealToReal
                                        (Real 8)
                                        (RealConstant
                                            1.000000
                                            (Real 8)
                                        )
                                    )
                                    (RealConstant
                                        1.000000
                                        (Real 8)
                                    )
                                    Save
                                    (Real 8)
                                    ()
                                    Source
                                    Public
                                    Required
                                    .false.
                                    .false.
                                )
                        })
                    fma
                    []
                    [(Assignment
                        (Var 2 x)
                        (FunctionCall
                            1 _lcompilers_optimization_fma_f321
                            1 _lcompilers_optimization_fma_f321
                            [((FunctionCall
                                1 _lcompilers_optimization_fma_f32
                                1 _lcompilers_optimization_fma_f32
                                [((RealBinOp
                                    (Var 2 x)
                                    Mul
                                    (Cast
                                        (IntegerConstant 4 (Integer 4) Decimal)
                                        IntegerToReal
                                        (Real 4)
                                        (RealConstant
                                            4.000000
                                            (Real 4)
                                        )
                                    )
                                    (Real 4)
                                    ()
                                ))
                                ((RealConstant
                                    0.500000
                                    (Real 4)
                                ))
                                ((IntrinsicElementalFunction
                                    Sign
                                    [(RealConstant
                                        1.000000
                                        (Real 4)
                                    )
                                    (Var 2 x)]
                                    0
                                    (Real 4)
                                    ()
                                ))]
                                (Real 4)
                                ()
                                ()
                            ))
                            ((RealUnaryMinus
                                (Var 2 x)
                                (Real 4)
                                ()
                            ))
                            ((Var 2 pi))]
                            (Real 4)
                            ()
                            ()
                        )
                        ()
                    )
                    (Assignment
                        (Var 2 z)
                        (FunctionCall
                            1 _lcompilers_optimization_fma_f64
                            1 _lcompilers_optimization_fma_f64
                            [((Var 2 s1))
                            ((Var 2 z))
                            ((Var 2 s2))]
                            (Real 8)
                            ()
                            ()
                        )
                        ()
                    )
                    (If
                        (RealCompare
                            (IntrinsicElementalFunction
                                Abs
                                [(RealBinOp
                                    (Var 2 x)
                                    Sub
                                    (RealConstant
                                        3.940000
                                        (Real 4)
                                    )
                                    (Real 4)
                                    ()
                                )]
                                0
                                (Real 4)
                                ()
                            )
                            Gt
                            (RealConstant
                                0.000001
                                (Real 4)
                            )
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )
                    (If
                        (RealCompare
                            (IntrinsicElementalFunction
                                Abs
                                [(RealBinOp
                                    (Var 2 z)
                                    Sub
                                    (Cast
                                        (RealConstant
                                            3.000000
                                            (Real 4)
                                        )
                                        RealToReal
                                        (Real 8)
                                        (RealConstant
                                            3.000000
                                            (Real 8)
                                        )
                                    )
                                    (Real 8)
                                    ()
                                )]
                                0
                                (Real 8)
                                ()
                            )
                            Gt
                            (Cast
                                (RealConstant
                                    0.000001
                                    (Real 4)
                                )
                                RealToReal
                                (Real 8)
                                (RealConstant
                                    0.000001
                                    (Real 8)
                                )
                            )
                            (Logical 4)
                            ()
                        )
                        [(ErrorStop
                            ()
                        )]
                        []
                    )]
                )
        })
    []
)
