Description

Description: a task in LegoFlow-SWE (Harbor dataset). integrity constraints { enf a = add(b, c); enf b = multiply(a, c); } 3. Compile the main module. 4. Inspect the MIR after the inlining pass – the calls list still contains entries for add and multiply because the function bodies were not…