Home
last modified time | relevance | path

Searched refs:value_range (Results 1 – 25 of 77) sorted by relevance

1234

/netbsd-src/external/gpl3/gcc.old/dist/gcc/
H A Drange-op.cc69 empty_range_check (value_range &r, in empty_range_check()
70 const value_range &op1, const value_range & op2) in empty_range_check()
85 undefined_shift_range_check (value_range &r, tree type, const value_range op) in undefined_shift_range_check()
89 r = value_range (); in undefined_shift_range_check()
101 r = value_range (type); in undefined_shift_range_check()
128 range_operator::wi_fold (value_range &r, tree type, in wi_fold()
134 gcc_checking_assert (value_range::supports_type_p (type)); in wi_fold()
135 r = value_range (type); in wi_fold()
142 range_operator::fold_range (value_range &r, tree type, in fold_range()
143 const value_range &lh, in fold_range()
[all …]
H A Dvalue-range.h40 class GTY((for_user)) value_range in class()
43 value_range (); in class()
44 value_range (tree, tree, value_range_kind = VR_RANGE); in class()
45 value_range (tree type, const wide_int &, const wide_int &, in class()
47 value_range (tree type); in class()
66 void union_ (const value_range *); in class()
67 void intersect (const value_range *); in class()
68 void union_ (const value_range &); in class()
69 void intersect (const value_range &); in class()
71 bool operator== (const value_range &) const; in class()
[all …]
H A Drange-op.h53 virtual bool fold_range (value_range &r, tree type,
54 const value_range &lh,
55 const value_range &rh) const;
68 virtual bool op1_range (value_range &r, tree type,
69 const value_range &lhs,
70 const value_range &op2) const;
71 virtual bool op2_range (value_range &r, tree type,
72 const value_range &lhs,
73 const value_range &op1) const;
77 virtual void wi_fold (value_range &r, tree type,
[all …]
H A Dvalue-range.cc30 value_range::value_range (tree min, tree max, value_range_kind kind) in value_range() function in value_range
35 value_range::value_range (tree type) in value_range() function in value_range
40 value_range::value_range (tree type, in value_range() function in value_range
51 value_range::set_undefined () in set_undefined()
58 value_range::set_varying (tree type) in set_varying()
81 value_range::set (tree min, tree max, value_range_kind kind) in set()
232 value_range::set (tree val) in set()
243 value_range::set_nonzero (tree type) in set_nonzero()
252 value_range::set_zero (tree type) in set_zero()
260 value_range::check () in check()
[all …]
H A Drange.cc32 value_range
35 return value_range (build_zero_cst (type), build_zero_cst (type)); in range_zero()
38 value_range
41 return value_range (build_zero_cst (type), build_zero_cst (type), in range_nonzero()
45 value_range
50 return value_range (type, wi::zero (prec), wi::max_value (prec, sign)); in range_positives()
53 value_range
58 value_range r; in range_negatives()
62 r = value_range (type, wi::min_value (prec, sign), wi::minus_one (prec)); in range_negatives()
H A Dtree-vrp.h27 class GTY((user)) value_range_equiv : public value_range in class()
31 value_range_equiv (const value_range &); in class()
82 : value_range () in value_range_equiv()
115 extern bool range_int_cst_p (const value_range *);
121 void range_fold_unary_expr (value_range *, enum tree_code, tree type,
122 const value_range *, tree op0_type);
123 void range_fold_binary_expr (value_range *, enum tree_code, tree type,
124 const value_range *, const value_range *);
H A Drange.h24 value_range range_zero (tree type);
25 value_range range_nonzero (tree type);
26 value_range range_positives (tree type);
27 value_range range_negatives (tree type);
H A Dtree-vrp.c104 value_range::set (min, max, kind); in set()
117 value_range_equiv::value_range_equiv (const value_range &other) in value_range_equiv()
155 value_range::check (); in check()
184 return (value_range::equal_p (other) in equal_p()
198 value_range::set_varying (type); in set_varying()
232 value_range::dump (file); in dump()
412 range_int_cst_p (const value_range *vr) in range_int_cst_p()
890 extract_range_from_pointer_plus_expr (value_range *vr, in extract_range_from_pointer_plus_expr()
893 const value_range *vr0, in extract_range_from_pointer_plus_expr()
894 const value_range *vr1) in extract_range_from_pointer_plus_expr()
[all …]
H A Dtree-ssanames.h72 extern void set_range_info (tree, const value_range &);
76 extern enum value_range_kind get_range_info (const_tree, value_range &);
H A Dipa-prop.c110 struct ipa_vr_ggc_hash_traits : public ggc_cache_remove <value_range *>
112 typedef value_range *value_type;
113 typedef value_range *compare_type;
115 hash (const value_range *p) in hash()
123 equal (const value_range *a, const value_range *b) in equal()
130 mark_empty (value_range *&p) in mark_empty()
135 is_empty (const value_range *p) in is_empty()
140 is_deleted (const value_range *p) in is_deleted()
142 return p == reinterpret_cast<const value_range *> (1); in is_deleted()
145 mark_deleted (value_range *&p) in mark_deleted()
[all …]
H A Dipa-cp.c312 value_range m_vr;
317 bool meet_with (const value_range *p_vr);
323 bool meet_with_1 (const value_range *other_vr);
937 ipcp_vr_lattice::meet_with (const value_range *p_vr) in meet_with()
946 ipcp_vr_lattice::meet_with_1 (const value_range *other_vr) in meet_with_1()
954 value_range save (m_vr); in meet_with_1()
1513 ipa_vr_operation_and_type_effects (value_range *dst_vr, in ipa_vr_operation_and_type_effects()
1514 value_range *src_vr, in ipa_vr_operation_and_type_effects()
1528 value_range
1532 value_range vr; in ipa_value_range_from_jfunc()
[all …]
/netbsd-src/external/gpl3/gcc/dist/gcc/
H A Drange.cc32 value_range
35 return value_range (build_zero_cst (type), build_zero_cst (type)); in range_zero()
38 value_range
41 return value_range (build_zero_cst (type), build_zero_cst (type), in range_nonzero()
45 value_range
50 return value_range (type, wi::zero (prec), wi::max_value (prec, sign)); in range_positives()
53 value_range
58 value_range r; in range_negatives()
62 r = value_range (type, wi::min_value (prec, sign), wi::minus_one (prec)); in range_negatives()
H A Dtree-vrp.h45 extern bool range_int_cst_p (const value_range *);
51 void range_fold_unary_expr (value_range *, enum tree_code, tree type,
52 const value_range *, tree op0_type);
53 void range_fold_binary_expr (value_range *, enum tree_code, tree type,
54 const value_range *, const value_range *);
H A Drange.h24 value_range range_zero (tree type);
25 value_range range_nonzero (tree type);
26 value_range range_positives (tree type);
27 value_range range_negatives (tree type);
H A Dvalue-range-equiv.cc37 value_range_equiv::value_range_equiv (const value_range &other) in value_range_equiv()
47 value_range::set (min, max, kind); in set()
71 value_range::set_varying (type); in set_varying()
130 value_range::verify_range (); in check()
159 return (value_range::equal_p (other) in equal_p()
281 value_range::dump (file); in dump()
H A Dvalue-range-equiv.h27 class GTY((user)) value_range_equiv : public value_range in class()
30 value_range_equiv () : value_range () { m_equiv = NULL; } in class()
31 value_range_equiv (const value_range &); in class()
H A Dtree-vrp.cc233 range_int_cst_p (const value_range *vr) in range_int_cst_p()
709 extract_range_from_pointer_plus_expr (value_range *vr, in extract_range_from_pointer_plus_expr()
712 const value_range *vr0, in extract_range_from_pointer_plus_expr()
713 const value_range *vr1) in extract_range_from_pointer_plus_expr()
749 extract_range_from_plus_minus_expr (value_range *vr, in extract_range_from_plus_minus_expr()
752 const value_range *vr0_, in extract_range_from_plus_minus_expr()
753 const value_range *vr1_) in extract_range_from_plus_minus_expr()
757 value_range vr0 = *vr0_, vr1 = *vr1_; in extract_range_from_plus_minus_expr()
758 value_range vrtem0, vrtem1; in extract_range_from_plus_minus_expr()
768 value_range vrres; in extract_range_from_plus_minus_expr()
[all …]
H A Dvalue-query.cc325 value_range glob; in update_global_range()
332 value_range vr = r; in update_global_range()
416 value_range
426 value_range vr; in gimple_range_global()
430 return value_range (type); in gimple_range_global()
H A Dvalue-range.cc97 value_range cst (src); in copy_legacy_to_multi_range()
414 value_range numeric_range (*this); in legacy_lower_bound()
441 value_range numeric_range (*this); in legacy_upper_bound()
483 value_range tmp (other); in equal_p()
488 value_range tmp2 (*this); in equal_p()
560 value_range vr0, vr1; in singleton_p()
561 ranges_from_anti_range ((const value_range *) this, &vr0, &vr1); in singleton_p()
639 value_range numeric_range (*this); in contains_p()
1830 *this = value_range (min (), max (), VR_ANTI_RANGE); in invert()
1832 *this = value_range (min (), max ()); in invert()
[all …]
H A Dvr-values.cc185 if (const value_range *vr = get_value_range (expr, stmt)) in range_of_expr()
191 value_range tmp = *vr; in range_of_expr()
312 symbolic_range_based_on_p (value_range *vr, const_tree sym) in symbolic_range_based_on_p()
504 const value_range *vr = query->get_value_range (op, s); in op_with_boolean_value_range_p()
505 return *vr == value_range (build_zero_cst (TREE_TYPE (op)), in op_with_boolean_value_range_p()
830 value_range vr0, vr1; in extract_range_from_binary_expr()
851 vr0 = value_range (vrp_val_min (expr_type), vrp_val_max (expr_type)); in extract_range_from_binary_expr()
853 vr1 = value_range (vrp_val_min (expr_type), vrp_val_max (expr_type)); in extract_range_from_binary_expr()
903 value_range n_vr1; in extract_range_from_binary_expr()
927 value_range n_vr0; in extract_range_from_binary_expr()
[all …]
H A Dvalue-range.h182 typedef int_range<1> value_range; typedef
196 extern bool ranges_from_anti_range (const value_range *,
197 value_range *, value_range *);
H A Dgimple-array-bounds.h38 const value_range *get_value_range (const_tree op, gimple *);
H A Dipa-prop.h331 value_range *m_vr;
527 auto_vec<value_range, 32> m_known_value_ranges;
583 vec<value_range> m_known_value_ranges = vNULL;
1220 value_range ipa_value_range_from_jfunc (ipa_node_params *, cgraph_edge *,
H A Dipa-prop.cc114 struct ipa_vr_ggc_hash_traits : public ggc_cache_remove <value_range *>
116 typedef value_range *value_type;
117 typedef value_range *compare_type;
119 hash (const value_range *p) in hash()
127 equal (const value_range *a, const value_range *b) in equal()
134 mark_empty (value_range *&p) in mark_empty()
139 is_empty (const value_range *p) in is_empty()
144 is_deleted (const value_range *p) in is_deleted()
146 return p == reinterpret_cast<const value_range *> (1); in is_deleted()
149 mark_deleted (value_range *&p) in mark_deleted()
[all …]
H A Dipa-cp.cc343 value_range m_vr;
348 bool meet_with (const value_range *p_vr);
354 bool meet_with_1 (const value_range *other_vr);
1003 ipcp_vr_lattice::meet_with (const value_range *p_vr) in meet_with()
1012 ipcp_vr_lattice::meet_with_1 (const value_range *other_vr) in meet_with_1()
1020 value_range save (m_vr); in meet_with_1()
1367 plats->m_value_range.m_vr = value_range (); in initialize_node_lattices()
1628 ipa_vr_operation_and_type_effects (value_range *dst_vr, in ipa_vr_operation_and_type_effects()
1629 value_range *src_vr, in ipa_vr_operation_and_type_effects()
1643 value_range
[all …]

1234