1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
use std::iter;
use std::ops::Range;
use llvm_sys::core::*;
use llvm_sys::prelude::*;
type Int = i64;
struct IntRangeIter<I>
where
I: Iterator<Item = Int>,
{
inner_iter: iter::Peekable<I>,
}
impl<I> Iterator for IntRangeIter<I>
where
I: Iterator<Item = Int>,
{
type Item = Range<Int>;
fn next(&mut self) -> Option<Range<Int>> {
let range_start = self.inner_iter.next()?;
let mut range_length: Int = 1;
while self.inner_iter.peek() == Some(&(range_start + range_length)) {
self.inner_iter.next();
range_length += 1;
}
Some(range_start..range_start + (range_length as Int))
}
}
fn find_int_ranges(input: impl Iterator<Item = Int>) -> impl Iterator<Item = Range<Int>> {
IntRangeIter {
inner_iter: input.peekable(),
}
}
pub fn int_range_md_node(
llx: LLVMContextRef,
llvm_int_type: LLVMTypeRef,
input: impl Iterator<Item = Int>,
) -> LLVMMetadataRef {
unsafe {
let mut llvm_range_values: Vec<LLVMMetadataRef> = find_int_ranges(input)
.flat_map(|range| iter::once(range.start).chain(iter::once(range.end)))
.map(|value| LLVMConstInt(llvm_int_type, value as u64, 0))
.map(|value| LLVMValueAsMetadata(value))
.collect();
LLVMMDNodeInContext2(llx, llvm_range_values.as_mut_ptr(), llvm_range_values.len())
}
}
#[cfg(test)]
mod test {
use super::*;
#[test]
fn empty() {
let iter = find_int_ranges([].iter().cloned());
assert_eq!(0, iter.count());
}
#[test]
fn single_value() {
let mut iter = find_int_ranges([-5].iter().cloned());
assert_eq!(Some(-5..-4), iter.next());
assert_eq!(None, iter.next());
}
#[test]
fn single_range() {
let mut iter = find_int_ranges([-1, 0, 1].iter().cloned());
assert_eq!(Some(-1..2), iter.next());
assert_eq!(None, iter.next());
}
#[test]
fn multi_range() {
let mut iter = find_int_ranges([-5, -1, 0, 1, 90, 91, 92].iter().cloned());
assert_eq!(Some(-5..-4), iter.next());
assert_eq!(Some(-1..2), iter.next());
assert_eq!(Some(90..93), iter.next());
assert_eq!(None, iter.next());
}
}