1 //===- Sequence.h - Utility for producing sequences of values ---*- C++ -*-===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 /// This routine provides some synthesis utilities to produce sequences of
11 /// values. The names are intentionally kept very short as they tend to occur
12 /// in common and widely used contexts.
14 //===----------------------------------------------------------------------===//
16 #ifndef LLVM_ADT_SEQ_H
17 #define LLVM_ADT_SEQ_H
19 #include "llvm/ADT/iterator.h"
20 #include "llvm/ADT/iterator_range.h"
25 template <typename ValueT>
26 class value_sequence_iterator
27 : public iterator_facade_base<value_sequence_iterator<ValueT>,
28 std::random_access_iterator_tag,
30 typedef typename value_sequence_iterator::iterator_facade_base BaseT;
35 typedef typename BaseT::difference_type difference_type;
36 typedef typename BaseT::reference reference;
38 value_sequence_iterator() = default;
39 value_sequence_iterator(const value_sequence_iterator &) = default;
40 value_sequence_iterator(value_sequence_iterator &&Arg)
41 : Value(std::move(Arg.Value)) {}
43 template <typename U, typename Enabler = decltype(ValueT(std::declval<U>()))>
44 value_sequence_iterator(U &&Value) : Value(std::forward<U>(Value)) {}
46 value_sequence_iterator &operator+=(difference_type N) {
50 value_sequence_iterator &operator-=(difference_type N) {
54 using BaseT::operator-;
55 difference_type operator-(const value_sequence_iterator &RHS) const {
56 return Value - RHS.Value;
59 bool operator==(const value_sequence_iterator &RHS) const {
60 return Value == RHS.Value;
62 bool operator<(const value_sequence_iterator &RHS) const {
63 return Value < RHS.Value;
66 reference operator*() const { return Value; }
68 } // End detail namespace.
70 template <typename ValueT>
71 iterator_range<detail::value_sequence_iterator<ValueT>> seq(ValueT Begin,
73 return make_range(detail::value_sequence_iterator<ValueT>(Begin),
74 detail::value_sequence_iterator<ValueT>(End));