m1-ENSL/CAP
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
main
CAP/MiniC/README-SSA.md

1.0 KiB
Raw Permalink Blame History

MiniC Compiler

LAB5a (Control Flow Graph in SSA Form) & LAB5b (Smart Register Allocation), CAP 2023-24

Authors

Augustin LUCAS

Contents

Extension implemented : Optimizing swap

  • Cycles of size 1 : skip
  • Cycles of size 2 : use 3 XOR operations to swap the registers values without any temporary register use

Test design

No tests were added since some of the students' tests from lab4 still failed to execute properly.

Known bugs

Failing tests:

  • ./TP04/tests/students/ext-for-fortran/test_imbricated_for.c
  • ./TP04/tests/students/ext-for-fortran/test_for.c
  • ./TP04/tests/students/base/test_nested_while.c
  • ./TP04/tests/students/base/test_fibonacci.c
  • ./TP04/tests/provided/dataflow/df03.c

The bug seems to be related to the handling of Offsets because a lot more tests will fail if temporaries are only assigned to memory (no registers). This can be done by commenting TP05/SmartAllocator.py:124.

This seems to affect while and for loops as well as regular variables (because variables may not be stored/loaded correctly).