example-mir-execution-flow.md

MIR Execution Steps

Last Updated: 2025-08-05

Execution steps based on assert_eq.rs, applying a total of 156 rules, transforming from node 1 to node 3.

Execution Steps List

1. Function Call Initialization Phase

• Function Call Start
• Setup Callee Data
• Complete Argument Setup

2. Basic Block Execution Phase

• Execute Basic Block
• Execute Statement Sequence

3. Statement Execution Phase

• Handle Assignment Statement
• Set Local Variable Value (Hot Rule)

4. Operand Processing Phase

• Handle RValue Use
• Handle Constant Operand
• Decode Allocated Constant

5. Arithmetic Operation Phase

• Binary Operation Processing
• Binary Operation Result

6. Assertion Check Phase

• Assertion Check Start
• Expectation Check (Hot Rule)
• Move Operand Processing
• Projection Traversal and Move Marking
• Expectation Check (Cold Rule)

7. Control Flow Processing Phase

• Assertion Success Processing
• Execute Target Basic Block