Fix Data Dependency and Self-Loop Handling + Refactor Core Functions

[Casperento]

Summary

This PR addresses issues encountered while executing our pass in the LLVM Test Suite and includes several functional fixes and code refactorings.

Issues Fixed

1. Incomplete Data and Control Dependencies
   The existing implementation in computeGates and get_data_dependences_for (in ProgramSlice.cpp) did not correctly account for all relevant edges and basic blocks when computing data and control dependencies.

   • Fix: Gates are now computed for all basic blocks, and this comprehensive information is used to derive accurate data dependencies.

2. Incorrect Handling of Self-Loops
   In cases where a basic block has a self-loop (an edge to itself), its gating instruction (typically a branch) was being included in the outlined slice function, resulting in incorrect slices.

   • Fix: The gating instruction of a basic block is now excluded from dependency computation when it forms part of a self-loop.

Refactorings

• Refactored the isSelfContained, canRemove and killSlice functions in daedalus.cpp to improve readability and maintainability.
• New internal test called test4.c.

Additions

• Introduced the getParentFunction getter to log the parent function during each iteration of function outlining.

[DanielAugusto191]

lgtm