leo_passes/loop_unrolling/
visitor.rs

1// Copyright (C) 2019-2025 Provable Inc.
2// This file is part of the Leo library.
3
4// The Leo library is free software: you can redistribute it and/or modify
5// it under the terms of the GNU General Public License as published by
6// the Free Software Foundation, either version 3 of the License, or
7// (at your option) any later version.
8
9// The Leo library is distributed in the hope that it will be useful,
10// but WITHOUT ANY WARRANTY; without even the implied warranty of
11// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12// GNU General Public License for more details.
13
14// You should have received a copy of the GNU General Public License
15// along with the Leo library. If not, see <https://www.gnu.org/licenses/>.
16
17use leo_ast::{
18    AstReconstructor,
19    Block,
20    IterationStatement,
21    Literal,
22    Node,
23    NodeID,
24    Statement,
25    Type,
26    interpreter_value::Value,
27};
28use leo_errors::LoopUnrollerError;
29use leo_span::{Span, Symbol};
30
31use itertools::Either;
32
33use crate::CompilerState;
34
35pub struct UnrollingVisitor<'a> {
36    pub state: &'a mut CompilerState,
37    /// The current program name.
38    pub program: Symbol,
39    /// If we've encountered a loop that was not unrolled, here's it's spanned.
40    pub loop_not_unrolled: Option<Span>,
41    /// Have we unrolled any loop?
42    pub loop_unrolled: bool,
43}
44
45impl UnrollingVisitor<'_> {
46    pub fn in_scope<T>(&mut self, id: NodeID, func: impl FnOnce(&mut Self) -> T) -> T {
47        self.state.symbol_table.enter_scope(Some(id));
48        let result = func(self);
49        self.state.symbol_table.enter_parent();
50        result
51    }
52
53    /// Unrolls an IterationStatement.
54    pub fn unroll_iteration_statement(&mut self, input: IterationStatement, start: Value, stop: Value) -> Statement {
55        // We already know these are integers since loop unrolling occurs after type checking.
56        let cast_to_number = |v: Value| -> Result<i128, Statement> {
57            match v.as_i128() {
58                Some(val_as_i128) => Ok(val_as_i128),
59                None => {
60                    self.state.handler.emit_err(LoopUnrollerError::value_out_of_i128_bounds(v, input.span()));
61                    Err(Statement::dummy())
62                }
63            }
64        };
65
66        // Cast `start` to `i128`.
67        let start = match cast_to_number(start) {
68            Ok(v) => v,
69            Err(s) => return s,
70        };
71        // Cast `stop` to `i128`.
72        let stop = match cast_to_number(stop) {
73            Ok(v) => v,
74            Err(s) => return s,
75        };
76
77        let new_block_id = self.state.node_builder.next_id();
78
79        let iter = if input.inclusive { Either::Left(start..=stop) } else { Either::Right(start..stop) };
80
81        // Create a block statement to replace the iteration statement.
82        self.in_scope(new_block_id, |slf| {
83            Block {
84                span: input.span,
85                statements: iter.map(|iteration_count| slf.unroll_single_iteration(&input, iteration_count)).collect(),
86                id: new_block_id,
87            }
88            .into()
89        })
90    }
91
92    /// A helper function to unroll a single iteration an IterationStatement.
93    fn unroll_single_iteration(&mut self, input: &IterationStatement, iteration_count: i128) -> Statement {
94        // Construct a new node ID.
95        let const_id = self.state.node_builder.next_id();
96
97        let iterator_type =
98            self.state.type_table.get(&input.variable.id()).expect("guaranteed to have a type after type checking");
99
100        // Update the type table.
101        self.state.type_table.insert(const_id, iterator_type.clone());
102
103        let outer_block_id = self.state.node_builder.next_id();
104
105        // Reconstruct `iteration_count` as a `Literal`.
106        let Type::Integer(integer_type) = &iterator_type else {
107            unreachable!("Type checking enforces that the iteration variable is of integer type");
108        };
109
110        self.in_scope(outer_block_id, |slf| {
111            let value = Literal::integer(*integer_type, iteration_count.to_string(), Default::default(), const_id);
112
113            // Add the loop variable as a constant for the current scope.
114            slf.state.symbol_table.insert_const(slf.program, &[input.variable.name], value.into());
115
116            let duplicated_body =
117                super::duplicate::duplicate(input.block.clone(), &mut slf.state.symbol_table, &slf.state.node_builder);
118
119            let result = slf.reconstruct_block(duplicated_body).0.into();
120
121            Block { statements: vec![result], span: input.span(), id: outer_block_id }.into()
122        })
123    }
124}
leo_passes/loop_unrolling/visitor.rs

leo_passes/loop_unrolling/
visitor.rs
