revng-revng

mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00

T

Andrea Gussoni afa0cfbab4 Emit actual case values for regular switches

We now emit `RegularSwitch` node type creating the vector containing the
case values by inspecting the actual values of the `ConstantInt` in the
IR.

Due to the introduction of weaving, we can have a cascade of switches,
and in this case the top switch should bring to a certain weaving switch
for multiple values of the case label.
For this reason, switch case are now represented by sets, which are
usually populated by a single value, but in presence of a weaving
switches they can represent the fact that for each value contained in
the set we must take a certain case label.
The backend of the decompiler has been updated to reflect this change,
in order to emit all the values for a certain `CaseSet` in `or` if the
size of the seat is greater than 1.

2020-06-15 15:06:23 +02:00

cmake

Create revngc CMake package

2019-02-10 16:20:42 +01:00

include

Emit actual case values for regular switches

2020-06-15 15:06:23 +02:00

lib

Emit actual case values for regular switches

2020-06-15 15:06:23 +02:00

tests

Fix use of boost unit_test_framework