Code

Pallas fix phi encoding#1310

Code

Merged

RobertMensing merged 6 commits intopallas-loop-contractsutwente-fmt/vercors:pallas-loop-contractsfrom pallas-fix-phi-encodingutwente-fmt/vercors:pallas-fix-phi-encodingCopy head branch name to clipboardFeb 14, 2025

+676-444

Commits

Commits on Feb 12, 2025

• Removed redundant struct from C++ part of Pallas

  RobertMensing

  committed
  b680860

  Copy full SHA for b680860

Commits on Feb 13, 2025

• Pallas: Simplify phi-encoding by using break-crit-edges pass from LLVM

  RobertMensing

  committed
  aa72405

  Copy full SHA for aa72405

• Moved terminator instruction of LLVMBasicBlock into separate field

  RobertMensing

  committed
  144f1e8

  Copy full SHA for 144f1e8

Commits on Feb 14, 2025

• Fix inconsistent formatting

  RobertMensing

  committed
  2dc2b27

  Copy full SHA for 2dc2b27

• Fix broken phi-encoding

  RobertMensing

  committed
  4eb72db

  Copy full SHA for 4eb72db

• Added test for fixed phi-encoding

  RobertMensing

  committed
  0799828

  Copy full SHA for 0799828