GCC Middle and Back End API Reference
cfn_sincos Class Reference
Inheritance diagram for cfn_sincos:
Collaboration diagram for cfn_sincos:

Public Member Functions

 cfn_sincos (combined_fn cfn)
 
virtual bool fold_range (frange &r, tree type, const frange &lh, const frange &, relation_trio) const final override
 
virtual bool op1_range (frange &r, tree type, const frange &lhs, const frange &, relation_trio) const final override
 
virtual bool fold_range (irange &r, tree type, const irange &lh, const irange &rh, relation_trio=TRIO_VARYING) const
 
virtual bool fold_range (frange &r, tree type, const frange &lh, const frange &rh, relation_trio=TRIO_VARYING) const
 
virtual bool fold_range (irange &r, tree type, const frange &lh, const irange &rh, relation_trio=TRIO_VARYING) const
 
virtual bool fold_range (irange &r, tree type, const frange &lh, const frange &rh, relation_trio=TRIO_VARYING) const
 
virtual bool fold_range (frange &r, tree type, const irange &lh, const irange &rh, relation_trio=TRIO_VARYING) const
 
virtual bool fold_range (prange &r, tree type, const prange &lh, const prange &rh, relation_trio=TRIO_VARYING) const
 
virtual bool fold_range (prange &r, tree type, const prange &lh, const irange &rh, relation_trio=TRIO_VARYING) const
 
virtual bool fold_range (irange &r, tree type, const prange &lh, const prange &rh, relation_trio=TRIO_VARYING) const
 
virtual bool fold_range (prange &r, tree type, const irange &lh, const prange &rh, relation_trio=TRIO_VARYING) const
 
virtual bool fold_range (irange &r, tree type, const prange &lh, const irange &rh, relation_trio=TRIO_VARYING) const
 
virtual bool op1_range (irange &r, tree type, const irange &lhs, const irange &op2, relation_trio=TRIO_VARYING) const
 
virtual bool op1_range (prange &r, tree type, const prange &lhs, const prange &op2, relation_trio=TRIO_VARYING) const
 
virtual bool op1_range (prange &r, tree type, const irange &lhs, const prange &op2, relation_trio=TRIO_VARYING) const
 
virtual bool op1_range (prange &r, tree type, const prange &lhs, const irange &op2, relation_trio=TRIO_VARYING) const
 
virtual bool op1_range (irange &r, tree type, const prange &lhs, const irange &op2, relation_trio=TRIO_VARYING) const
 
virtual bool op1_range (frange &r, tree type, const frange &lhs, const frange &op2, relation_trio=TRIO_VARYING) const
 
virtual bool op1_range (frange &r, tree type, const irange &lhs, const frange &op2, relation_trio=TRIO_VARYING) const
 
virtual bool op2_range (irange &r, tree type, const irange &lhs, const irange &op1, relation_trio=TRIO_VARYING) const
 
virtual bool op2_range (prange &r, tree type, const irange &lhs, const prange &op1, relation_trio=TRIO_VARYING) const
 
virtual bool op2_range (irange &r, tree type, const prange &lhs, const prange &op1, relation_trio=TRIO_VARYING) const
 
virtual bool op2_range (frange &r, tree type, const frange &lhs, const frange &op1, relation_trio=TRIO_VARYING) const
 
virtual bool op2_range (frange &r, tree type, const irange &lhs, const frange &op1, relation_trio=TRIO_VARYING) const
 
virtual relation_kind lhs_op1_relation (const irange &lhs, const irange &op1, const irange &op2, relation_kind=VREL_VARYING) const
 
virtual relation_kind lhs_op1_relation (const prange &lhs, const prange &op1, const prange &op2, relation_kind=VREL_VARYING) const
 
virtual relation_kind lhs_op1_relation (const prange &lhs, const irange &op1, const irange &op2, relation_kind=VREL_VARYING) const
 
virtual relation_kind lhs_op1_relation (const irange &lhs, const prange &op1, const prange &op2, relation_kind=VREL_VARYING) const
 
virtual relation_kind lhs_op1_relation (const frange &lhs, const frange &op1, const frange &op2, relation_kind=VREL_VARYING) const
 
virtual relation_kind lhs_op1_relation (const irange &lhs, const frange &op1, const frange &op2, relation_kind=VREL_VARYING) const
 
virtual relation_kind lhs_op2_relation (const irange &lhs, const irange &op1, const irange &op2, relation_kind=VREL_VARYING) const
 
virtual relation_kind lhs_op2_relation (const frange &lhs, const frange &op1, const frange &op2, relation_kind=VREL_VARYING) const
 
virtual relation_kind lhs_op2_relation (const irange &lhs, const frange &op1, const frange &op2, relation_kind=VREL_VARYING) const
 
virtual relation_kind op1_op2_relation (const irange &lhs, const irange &op1, const irange &op2) const
 
virtual relation_kind op1_op2_relation (const irange &lhs, const prange &op1, const prange &op2) const
 
virtual relation_kind op1_op2_relation (const irange &lhs, const frange &op1, const frange &op2) const
 
virtual relation_kind op1_op2_relation (const frange &lhs, const frange &op1, const frange &op2) const
 
virtual bool overflow_free_p (const irange &lh, const irange &rh, relation_trio=TRIO_VARYING) const
 
virtual bool operand_check_p (tree, tree, tree) const
 

Protected Member Functions

virtual void wi_fold (irange &r, tree type, const wide_int &lh_lb, const wide_int &lh_ub, const wide_int &rh_lb, const wide_int &rh_ub) const
 
virtual bool op1_op2_relation_effect (irange &lhs_range, tree type, const irange &op1_range, const irange &op2_range, relation_kind rel) const
 
virtual bool op1_op2_relation_effect (prange &lhs_range, tree type, const prange &op1_range, const prange &op2_range, relation_kind rel) const
 
virtual bool op1_op2_relation_effect (prange &lhs_range, tree type, const prange &op1_range, const irange &op2_range, relation_kind rel) const
 
virtual bool op1_op2_relation_effect (irange &lhs_range, tree type, const prange &op1_range, const prange &op2_range, relation_kind rel) const
 
virtual bool op1_op2_relation_effect (prange &lhs_range, tree type, const irange &op1_range, const prange &op2_range, relation_kind rel) const
 
virtual bool op1_op2_relation_effect (irange &lhs_range, tree type, const prange &op1_range, const irange &op2_range, relation_kind rel) const
 
void wi_fold_in_parts (irange &r, tree type, const wide_int &lh_lb, const wide_int &lh_ub, const wide_int &rh_lb, const wide_int &rh_ub) const
 
void wi_fold_in_parts_equiv (irange &r, tree type, const wide_int &lb, const wide_int &ub, unsigned limit) const
 
virtual void update_bitmask (irange &, const irange &, const irange &) const
 
virtual void update_bitmask (irange &, const prange &, const prange &) const
 
virtual void rv_fold (frange &r, tree type, const REAL_VALUE_TYPE &lh_lb, const REAL_VALUE_TYPE &lh_ub, const REAL_VALUE_TYPE &rh_lb, const REAL_VALUE_TYPE &rh_ub, relation_kind) const
 

Private Attributes

combined_fn m_cfn
 

Constructor & Destructor Documentation

◆ cfn_sincos()

cfn_sincos::cfn_sincos ( combined_fn cfn)
inline

References ggc_alloc(), and m_cfn.

Member Function Documentation

◆ fold_range() [1/11]

virtual bool cfn_sincos::fold_range ( frange & r,
tree type,
const frange & op1,
const frange & op2,
relation_trio trio ) const
inlinefinaloverridevirtual
Floating point range operators.
   Copyright (C) 2022-2024 Free Software Foundation, Inc.
   Contributed by Aldy Hernandez <aldyh@redhat.com>.

This file is part of GCC.

GCC is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 3, or (at your option)
any later version.

GCC is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with GCC; see the file COPYING3.  If not see
<http://www.gnu.org/licenses/>.   

Reimplemented from range_operator.

References dconst1, dconst_pi, dconstinf, dconstm1, dconstninf, frange_mpfr_arg1(), frange_nextafter(), ggc_alloc(), m_cfn, NULL, r, real_arithmetic(), real_isfinite(), real_isneg(), real_less(), REAL_VALUE_TYPE, targetm, type(), and TYPE_MODE.

◆ fold_range() [2/11]

bool range_operator::fold_range ( frange & r,
tree type,
const frange & op1,
const frange & op2,
relation_trio trio = TRIO_VARYING ) const
virtual
Floating point range operators.
   Copyright (C) 2022-2024 Free Software Foundation, Inc.
   Contributed by Aldy Hernandez <aldyh@redhat.com>.

This file is part of GCC.

GCC is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 3, or (at your option)
any later version.

GCC is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with GCC; see the file COPYING3.  If not see
<http://www.gnu.org/licenses/>.   

Reimplemented from range_operator.

◆ fold_range() [3/11]

bool range_operator::fold_range ( frange & r,
tree type,
const irange & lh,
const irange & rh,
relation_trio = TRIO_VARYING ) const
virtual

Reimplemented from range_operator.

◆ fold_range() [4/11]

bool range_operator::fold_range ( irange & r,
tree type,
const frange & lh,
const frange & rh,
relation_trio = TRIO_VARYING ) const
virtual

Reimplemented from range_operator.

◆ fold_range() [5/11]

bool range_operator::fold_range ( irange & r,
tree type,
const frange & lh,
const irange & rh,
relation_trio = TRIO_VARYING ) const
virtual

Reimplemented from range_operator.

◆ fold_range() [6/11]

bool range_operator::fold_range ( irange & r,
tree type,
const irange & lh,
const irange & rh,
relation_trio trio = TRIO_VARYING ) const
virtual

Reimplemented from range_operator.

◆ fold_range() [7/11]

bool range_operator::fold_range ( irange & r,
tree type,
const prange & lh,
const irange & rh,
relation_trio = TRIO_VARYING ) const
virtual

Reimplemented from range_operator.

◆ fold_range() [8/11]

bool range_operator::fold_range ( irange & r,
tree type,
const prange & lh,
const prange & rh,
relation_trio = TRIO_VARYING ) const
virtual

Reimplemented from range_operator.

◆ fold_range() [9/11]

bool range_operator::fold_range ( prange & r,
tree type,
const irange & lh,
const prange & rh,
relation_trio = TRIO_VARYING ) const
virtual

Reimplemented from range_operator.

◆ fold_range() [10/11]

bool range_operator::fold_range ( prange & r,
tree type,
const prange & lh,
const irange & rh,
relation_trio = TRIO_VARYING ) const
virtual

Reimplemented from range_operator.

◆ fold_range() [11/11]

bool range_operator::fold_range ( prange & r,
tree type,
const prange & lh,
const prange & rh,
relation_trio = TRIO_VARYING ) const
virtual
Code for range operators.
   Copyright (C) 2017-2024 Free Software Foundation, Inc.
   Contributed by Andrew MacLeod <amacleod@redhat.com>
   and Aldy Hernandez <aldyh@redhat.com>.

This file is part of GCC.

GCC is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 3, or (at your option)
any later version.

GCC is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with GCC; see the file COPYING3.  If not see
<http://www.gnu.org/licenses/>.   

Reimplemented from range_operator.

◆ lhs_op1_relation() [1/6]

relation_kind range_operator::lhs_op1_relation ( const frange & lhs,
const frange & op1,
const frange & op2,
relation_kind = VREL_VARYING ) const
virtualinherited

◆ lhs_op1_relation() [2/6]

◆ lhs_op1_relation() [3/6]

◆ lhs_op1_relation() [4/6]

relation_kind range_operator::lhs_op1_relation ( const irange & lhs,
const prange & op1,
const prange & op2,
relation_kind rel = VREL_VARYING ) const
virtualinherited

◆ lhs_op1_relation() [5/6]

relation_kind range_operator::lhs_op1_relation ( const prange & lhs,
const irange & op1,
const irange & op2,
relation_kind rel = VREL_VARYING ) const
virtualinherited

◆ lhs_op1_relation() [6/6]

◆ lhs_op2_relation() [1/3]

relation_kind range_operator::lhs_op2_relation ( const frange & lhs,
const frange & op1,
const frange & op2,
relation_kind = VREL_VARYING ) const
virtualinherited

Reimplemented in operator_plus.

References VREL_VARYING.

◆ lhs_op2_relation() [2/3]

relation_kind range_operator::lhs_op2_relation ( const irange & lhs,
const frange & op1,
const frange & op2,
relation_kind = VREL_VARYING ) const
virtualinherited

Reimplemented in operator_plus.

◆ lhs_op2_relation() [3/3]

relation_kind range_operator::lhs_op2_relation ( const irange & lhs,
const irange & op1,
const irange & op2,
relation_kind rel = VREL_VARYING ) const
virtualinherited

Reimplemented in operator_plus, and operator_plus.

References VREL_VARYING.

Referenced by range_op_handler::lhs_op2_relation().

◆ op1_op2_relation() [1/4]

relation_kind range_operator::op1_op2_relation ( const frange & lhs,
const frange & op1,
const frange & op2 ) const
virtualinherited

◆ op1_op2_relation() [2/4]

relation_kind range_operator::op1_op2_relation ( const irange & lhs,
const frange & op1,
const frange & op2 ) const
virtualinherited

◆ op1_op2_relation() [3/4]

◆ op1_op2_relation() [4/4]

relation_kind range_operator::op1_op2_relation ( const irange & lhs,
const prange & op1,
const prange & op2 ) const
virtualinherited

◆ op1_op2_relation_effect() [1/6]

bool range_operator::op1_op2_relation_effect ( irange & lhs_range,
tree type,
const irange & op1_range,
const irange & op2_range,
relation_kind rel ) const
protectedvirtualinherited

◆ op1_op2_relation_effect() [2/6]

bool range_operator::op1_op2_relation_effect ( irange & lhs_range,
tree type,
const prange & op1_range,
const irange & op2_range,
relation_kind rel ) const
protectedvirtualinherited

◆ op1_op2_relation_effect() [3/6]

bool range_operator::op1_op2_relation_effect ( irange & lhs_range,
tree type,
const prange & op1_range,
const prange & op2_range,
relation_kind rel ) const
protectedvirtualinherited

◆ op1_op2_relation_effect() [4/6]

bool range_operator::op1_op2_relation_effect ( prange & lhs_range,
tree type,
const irange & op1_range,
const prange & op2_range,
relation_kind rel ) const
protectedvirtualinherited

◆ op1_op2_relation_effect() [5/6]

bool range_operator::op1_op2_relation_effect ( prange & lhs_range,
tree type,
const prange & op1_range,
const irange & op2_range,
relation_kind rel ) const
protectedvirtualinherited

◆ op1_op2_relation_effect() [6/6]

bool range_operator::op1_op2_relation_effect ( prange & lhs_range,
tree type,
const prange & op1_range,
const prange & op2_range,
relation_kind rel ) const
protectedvirtualinherited

◆ op1_range() [1/8]

virtual bool cfn_sincos::op1_range ( frange & r,
tree type,
const frange & lhs,
const frange & ,
relation_trio  ) const
inlinefinaloverridevirtual

◆ op1_range() [2/8]

bool range_operator::op1_range ( frange & r,
tree type,
const frange & lhs,
const frange & op2,
relation_trio = TRIO_VARYING ) const
virtual

Reimplemented from range_operator.

◆ op1_range() [3/8]

bool range_operator::op1_range ( frange & r,
tree type,
const irange & lhs,
const frange & op2,
relation_trio = TRIO_VARYING ) const
virtual

Reimplemented from range_operator.

◆ op1_range() [4/8]

bool range_operator::op1_range ( irange & r,
tree type,
const irange & lhs,
const irange & op2,
relation_trio = TRIO_VARYING ) const
virtual

Reimplemented from range_operator.

◆ op1_range() [5/8]

bool range_operator::op1_range ( irange & r,
tree type,
const prange & lhs,
const irange & op2,
relation_trio = TRIO_VARYING ) const
virtual

Reimplemented from range_operator.

◆ op1_range() [6/8]

bool range_operator::op1_range ( prange & r,
tree type,
const irange & lhs,
const prange & op2,
relation_trio = TRIO_VARYING ) const
virtual

Reimplemented from range_operator.

◆ op1_range() [7/8]

bool range_operator::op1_range ( prange & r,
tree type,
const prange & lhs,
const irange & op2,
relation_trio = TRIO_VARYING ) const
virtual

Reimplemented from range_operator.

◆ op1_range() [8/8]

bool range_operator::op1_range ( prange & r,
tree type,
const prange & lhs,
const prange & op2,
relation_trio = TRIO_VARYING ) const
virtual

Reimplemented from range_operator.

◆ op2_range() [1/5]

◆ op2_range() [2/5]

◆ op2_range() [3/5]

◆ op2_range() [4/5]

◆ op2_range() [5/5]

◆ operand_check_p()

◆ overflow_free_p()

bool range_operator::overflow_free_p ( const irange & lh,
const irange & rh,
relation_trio = TRIO_VARYING ) const
virtualinherited

◆ rv_fold()

void range_operator::rv_fold ( frange & r,
tree type,
const REAL_VALUE_TYPE & lh_lb,
const REAL_VALUE_TYPE & lh_ub,
const REAL_VALUE_TYPE & rh_lb,
const REAL_VALUE_TYPE & rh_ub,
relation_kind  ) const
protectedvirtualinherited

◆ update_bitmask() [1/2]

◆ update_bitmask() [2/2]

◆ wi_fold()

◆ wi_fold_in_parts()

void range_operator::wi_fold_in_parts ( irange & r,
tree type,
const wide_int & lh_lb,
const wide_int & lh_ub,
const wide_int & rh_lb,
const wide_int & rh_ub ) const
protectedinherited

◆ wi_fold_in_parts_equiv()

void range_operator::wi_fold_in_parts_equiv ( irange & r,
tree type,
const wide_int & lb,
const wide_int & ub,
unsigned limit ) const
protectedinherited

Field Documentation

◆ m_cfn

combined_fn cfn_sincos::m_cfn
private

Referenced by cfn_sincos(), fold_range(), and op1_range().


The documentation for this class was generated from the following file: