LLVM 20.0.0git
iterator_range.h
Go to the documentation of this file.
1//===- iterator_range.h - A range adaptor for iterators ---------*- C++ -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8/// \file
9/// This provides a very simple, boring adaptor for a begin and end iterator
10/// into a range type. This should be used to build range views that work well
11/// with range based for loops and range based constructors.
12///
13/// Note that code here follows more standards-based coding conventions as it
14/// is mirroring proposed interfaces for standardization.
15///
16//===----------------------------------------------------------------------===//
17
18#ifndef LLVM_ADT_ITERATOR_RANGE_H
19#define LLVM_ADT_ITERATOR_RANGE_H
20
21#include "llvm/ADT/ADL.h"
22#include <type_traits>
23#include <utility>
24
25namespace llvm {
26
27template <typename From, typename To, typename = void>
28struct explicitly_convertible : std::false_type {};
29
30template <typename From, typename To>
32 From, To,
33 std::void_t<decltype(static_cast<To>(
34 std::declval<std::add_rvalue_reference_t<From>>()))>> : std::true_type {
35};
36
37/// A range adaptor for a pair of iterators.
38///
39/// This just wraps two iterators into a range-compatible interface. Nothing
40/// fancy at all.
41template <typename IteratorT>
43 IteratorT begin_iterator, end_iterator;
44
45public:
46#if __GNUC__ == 7 || (__GNUC__ == 8 && __GNUC_MINOR__ < 4)
47 // Be careful no to break gcc-7 and gcc-8 < 8.4 on the mlir target.
48 // See https://github.com/llvm/llvm-project/issues/63843
49 template <typename Container>
50#else
51 template <
52 typename Container,
53 std::enable_if_t<explicitly_convertible<
54 llvm::detail::IterOfRange<Container>, IteratorT>::value> * = nullptr>
55#endif
56 iterator_range(Container &&c)
57 : begin_iterator(adl_begin(c)), end_iterator(adl_end(c)) {
58 }
59 iterator_range(IteratorT begin_iterator, IteratorT end_iterator)
60 : begin_iterator(std::move(begin_iterator)),
61 end_iterator(std::move(end_iterator)) {}
62
63 IteratorT begin() const { return begin_iterator; }
64 IteratorT end() const { return end_iterator; }
65 bool empty() const { return begin_iterator == end_iterator; }
66};
67
68template <typename Container>
69iterator_range(Container &&)
71
72/// Convenience function for iterating over sub-ranges.
73///
74/// This provides a bit of syntactic sugar to make using sub-ranges
75/// in for loops a bit easier. Analogous to std::make_pair().
76template <class T> iterator_range<T> make_range(T x, T y) {
77 return iterator_range<T>(std::move(x), std::move(y));
78}
79
80template <typename T> iterator_range<T> make_range(std::pair<T, T> p) {
81 return iterator_range<T>(std::move(p.first), std::move(p.second));
82}
83
84}
85
86#endif
BlockVerifier::State From
Given that RA is a live value
A range adaptor for a pair of iterators.
iterator_range(IteratorT begin_iterator, IteratorT end_iterator)
IteratorT end() const
IteratorT begin() const
iterator_range(Container &&c)
decltype(adl_begin(std::declval< RangeT & >())) IterOfRange
Definition: ADL.h:126
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
constexpr auto adl_begin(RangeT &&range) -> decltype(adl_detail::begin_impl(std::forward< RangeT >(range)))
Returns the begin iterator to range using std::begin and function found through Argument-Dependent Lo...
Definition: ADL.h:78
iterator_range< T > make_range(T x, T y)
Convenience function for iterating over sub-ranges.
constexpr auto adl_end(RangeT &&range) -> decltype(adl_detail::end_impl(std::forward< RangeT >(range)))
Returns the end iterator to range using std::end and functions found through Argument-Dependent Looku...
Definition: ADL.h:86
OutputIt move(R &&Range, OutputIt Out)
Provide wrappers to std::move which take ranges instead of having to pass begin/end explicitly.
Definition: STLExtras.h:1849
Implement std::hash so that hash_code can be used in STL containers.
Definition: BitVector.h:858