[InferAtomsPass] Instruction scheduling - #2

Open

robertzhidealx wants to merge 18 commits into

CMUAbstract:masterfrom

robertzhidealx:optimizations

Commits on Nov 21, 2023

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

Commits on Dec 17, 2023

[InferAtomsPass] Makefile to simplify testing
robertzhidealx
committed
c7fd8d0

Commits on Dec 19, 2023

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

Commits on Jan 31, 2024

[InferAtomsPass] Generalize instruction scheduling
robertzhidealx
committed
c772992

Commits on Feb 3, 2024

[InferAtomsPass] More code cleanup & debug logging
robertzhidealx
committed
7d71c88

Commits on Feb 4, 2024

[InferAtomsPass] Minimize consistent atomic regions
robertzhidealx
committed
7c01f9a

Commits on Feb 5, 2024

Commits on Feb 6, 2024

[InferAtomsPass] Fully sound FreshConsistent region inference optimization
robertzhidealx
committed
3ab09aa

Commits on Feb 12, 2024

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

Commits on Mar 11, 2024

Commits on Mar 12, 2024

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

Commits on Mar 13, 2024

Commits on Mar 16, 2024

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

Commits on Mar 17, 2024

[InferAtomsPass] More Rust loop tests
robertzhidealx
committed
ca0e667