Andrea Gussoni 80df1f3a42 MTGoTo: add unit test leveraging IDS ordering

2025-04-30 16:10:54 +02:00

..

CMakeLists.txt

clift: use shipped lit for tests infrastructure

2024-02-04 16:49:51 +01:00

DAGify.ll

ScopeGraph: use snake_case for Markers

2025-04-30 16:10:54 +02:00

EnforceSingleExit.ll

ScopeGraph: use snake_case for Markers

2025-04-30 16:10:54 +02:00

Example.ll

Relicense to MIT

2024-02-29 17:03:36 +01:00

GenericRegion.ll

Fix MIT license

2025-04-30 16:10:54 +02:00

InlineDivergentScopes.ll

ScopeGraph: use snake_case for Markers

2025-04-30 16:10:54 +02:00

InlineDivergentScopesAndMaterializeTrivialGoto.ll

MTGoTo: add unit test leveraging IDS ordering

2025-04-30 16:10:54 +02:00

lit.cfg.py

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

lit.site.cfg.py.in

Relicense to MIT

2024-02-29 17:03:36 +01:00

MaterializeTrivialGoto.ll

MTGoTo: introduce unit test

2025-04-30 16:10:54 +02:00

OperatorPrecedenceResolutionPass.ll

Relicense to MIT

2024-02-29 17:03:36 +01:00

peephole-optimization-for-decompilation.ll

PeepholeOptimizationPass can reorder instructions

2024-06-06 10:43:17 +02:00

RemoveExtractValues.ll

Relicense to MIT

2024-02-29 17:03:36 +01:00

ScopeGraph.ll

ScopeGraph: use snake_case for Markers

2025-04-30 16:10:54 +02:00

SelectScope.ll

ScopeGraph: use snake_case for Markers

2025-04-30 16:10:54 +02:00

TernaryReduction.ll

Relicense to MIT

2024-02-29 17:03:36 +01:00

TwosComplementArithmeticNormalization.ll

TANP: fix off-by-one in wrapping ICmp reduction

2024-06-04 00:10:27 +02:00