[InferAtomsPass] Instruction scheduling#2

Open

robertzhidealx wants to merge 18 commits intoCMUAbstract:masterfrom

robertzhidealx:optimizations

Commits on Nov 21, 2023

[InferAtomsPass] Revamp pass to support the latest LLVM and fix/refactor code
robertzhidealx
committed

Commits on Dec 17, 2023

[InferAtomsPass] Makefile to simplify testing
robertzhidealx
committed

Commits on Dec 19, 2023

[WIP][InferAtomsPass] Instruction scheduling
robertzhidealx
committed
[InferAtomsPass] Unignore .ll files in ctests and add more comments
robertzhidealx
committed

Commits on Jan 31, 2024

[InferAtomsPass] Generalize instruction scheduling
robertzhidealx
committed

Commits on Feb 3, 2024

[InferAtomsPass] More code cleanup & debug logging
robertzhidealx
committed

Commits on Feb 4, 2024

[InferAtomsPass] Minimize consistent atomic regions
robertzhidealx
committed

Commits on Feb 5, 2024

Commits on Feb 6, 2024

[InferAtomsPass] Fully sound FreshConsistent region inference optimization
robertzhidealx
committed

Commits on Feb 12, 2024

[InferAtomsPass] Handle cases where IO calls have arguments and explore optimizing loops
robertzhidealx
committed

Commits on Mar 11, 2024

Commits on Mar 12, 2024

[InferAtomsPass] Don't optimize loops with tainted loop conditions
robertzhidealx
committed

Commits on Mar 13, 2024

Commits on Mar 16, 2024

[InferAtomsPass] Slight tweak to support Rust programs with loops
robertzhidealx
committed

Commits on Mar 17, 2024

[InferAtomsPass] More Rust loop tests
robertzhidealx
committed