duskphantom_middle/transform/
load_store_elim.rs

1// Copyright 2024 Duskphantom Authors
2//
3// Licensed under the Apache License, Version 2.0 (the "License");
4// you may not use this file except in compliance with the License.
5// You may obtain a copy of the License at
6//
7//     http://www.apache.org/licenses/LICENSE-2.0
8//
9// Unless required by applicable law or agreed to in writing, software
10// distributed under the License is distributed on an "AS IS" BASIS,
11// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12// See the License for the specific language governing permissions and
13// limitations under the License.
14//
15// SPDX-License-Identifier: Apache-2.0
16
17use anyhow::Result;
18
19use crate::{
20    analysis::{effect_analysis::EffectAnalysis, memory_ssa::MemorySSA},
21    Program,
22};
23
24use super::{load_elim, store_elim};
25
26pub fn optimize_program(program: &mut Program) -> Result<bool> {
27    let effect_analysis = EffectAnalysis::new(program);
28    let mut memory_ssa = MemorySSA::new(program, &effect_analysis);
29    let mut changed = false;
30
31    // Eliminate predictable load first, and then eliminate unused store
32    changed |= load_elim::optimize_program(program, &mut memory_ssa)?;
33    changed |= store_elim::optimize_program(program, &mut memory_ssa)?;
34    Ok(changed)
35}
duskphantom_middle/transform/load_store_elim.rs

duskphantom_middle/transform/
load_store_elim.rs
