Epic: SSA Refactoring

[Savio-Sou]

Tasks

Beta Give feedback

1. Remove todo to generate a witness when resolving a NodeId #758
   refactor ssa +2
   
2. Apply correct typing to return values of black box functions #775
   enhancement refactor ssa +3
   
3. Check correctness of as_u32 method in mem.rs #785
   enhancement ssa +2
   
4. Add mapping data structures #1118
   enhancement refactor ssa +3
5. Implement translation from Monomorhpized AST to SSA IR #1119
   enhancement refactor ssa +3
6. Implement ACIR generation from SSA #1120
   enhancement refactor ssa +3
7. Implement Brillig Gen for SSA #1121
   enhancement refactor ssa +3
8. Implement SSA builder #1167
   enhancement refactor ssa +3
   
9. Change successor function in basic_block module #1212
   enhancement refactor ssa +3
   
10. SSA Refactor: Implement array cloning #1300
    enhancement refactor ssa +3
11. Remove Barretenberg specific code/comments from SSA #1307
    enhancement refactor ssa +3
    
12. Document Witness offset of 1 #1410
    enhancement refactor ssa +3
    
13. mem2reg on array arguments to main #1411
    E-MEDIUM P-MEDIUM enhancement refactor ssa +5
    
14. Add location information to AcirGenError::IndexOutOfBounds #1412
    E-LOW P-MEDIUM enhancement refactor ssa +5
    
15. Experiment with addresses as constants in the new SSA refactoring #1413
    enhancement refactor ssa +3
16. Abstract TwoWayMap to be able to be used for more usecases #1414
    enhancement refactor ssa +3
17. Copy arrays in the SSA IR #1416
    enhancement refactor ssa +3
18. Duplicated code with --experimental-ssa flattening pass #1420
    bug refactor ssa +3
    
19. Add justification in ACIR Gen for duplicated ACIR Abi generation information #1425
    E-MEDIUM P-MEDIUM enhancement refactor ssa +5
    

    
20. Document DIE pass of SSA removing any unused variables from Noir #1427
    enhancement refactor ssa +3
    
21. Store equality sets in AcirContext #1431
    E-MEDIUM P-MEDIUM enhancement refactor ssa +5
    
22. Encapsulate Unit return check #1438
    enhancement refactor ssa +3
23. Track more information about the bit size of Variables during Acir Gen #1439
    enhancement refactor ssa +3
24. Use to_expression in Acir Gen to conveniently convert AcirVarData into an Expression #1441
    enhancement refactor ssa +3
25. Constrain statements are inefficient to Acir Gen #1442
    E-MEDIUM P-MEDIUM enhancement refactor ssa +5
    
26. Consider having the frontend disallow as u{FieldElement::max_num_bits()} conversions #1443
    E-LOW P-LOW enhancement refactor ssa +5
    
27. Address GtEq extra opcodes #1444
    discussion enhancement refactor ssa +4
28. Add proper documentation of how we generate constraints for greater_than_equal bounds checks #1445
    E-LOW P-HIGH enhancement refactor ssa +5
    
29. Add range constraints for bounded integer params to main #1446
    E-MEDIUM P-HIGH enhancement refactor ssa +5
    
30. Confirm whether instructions should handle all results from a function call #1447
    enhancement refactor ssa +3
31. (SSA Refactor) Printer prints old ValueId after set_value is called #1451
    bug refactor ssa +3
32. Add integration test for range constraints for parameters to main #1452
    enhancement refactor ssa +3
33. Define uninitialised array element access #1458
    E-MEDIUM P-MEDIUM enhancement refactor ssa +5
    
34. Carefully consider range optimizations in ssa pass as the black box function calls relies on them #1467
    discussion enhancement refactor ssa +4
35. Consider removing code for range constraining array parameters #1469
    E-LOW P-LOW enhancement refactor ssa +5
    
36. Add proper error handling in SSA for errors caused by user inputs #1473
    enhancement refactor ssa +3
    
37. Extend left shifts operator to handle non-constant shifts #1478
    E-MEDIUM P-HIGH enhancement refactor ssa +5
    
38. Add support of bit shifts on signed integers #1479
    E-LOW P-MEDIUM enhancement refactor ssa +5
    
39. (SSA Refactor): Returning arrays from if statements results in incorrect IR #1486
    bug refactor ssa +3
    
40. Add SSA logic for truncate #1487
    enhancement refactor ssa +3
41. Make --show-output a feature of execution rather than compilation #1497
    enhancement refactor ssa +3
42. Check new SSA code to see if sha256 regression bug is still present #1500
    enhancement refactor ssa +3
43. mem2reg ignores terminator #1502
    bug refactor ssa +3
    

[kevaundray]

Closing this as completed -- some of the issues have been branched out into separate non-blocking issues