revng-revng

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

T

Pietro Fezzardi 4767fa63c3 Fixed emission for local_sp and scev_barrier

This commit fixes a bug due to interacting behaviors between
MarkForSerialization, AddSCEVBarrierPass, and the emission in C of calls
to revng_init_local_sp.

These interacting behaviors caused the following quirks:
- At the beginning of Functions that contained a call to
  `revng_init_local_sp()`, that call was actually emitted twice.
  The first time was due to the actual call to `revng_init_local_sp()`,
  while the second was due to the first call being wrapped from a call
  to `revng_scev_barrier_*`.
  Now we properly emit only one call.
- The original call to `revng_init_local_sp()` was supposed to generate
  a local variable, to be used in various places across the function.
  However, due to the fact that the call was not properly labeled by
  MarkForSerialization, there was no local variable, causing calls to
  `revng_init_local_sp()` to be scattered around the body of the
  functions, follwed by various arithmetic operations.
  This behavior has been fixed as well, and we now emit the local
  variable correctly.

2021-02-02 11:23:53 +01:00

cmake

Move licensing details to LICENSE.md

2020-11-09 10:03:33 +01:00

include

Stub of DLA integration in Clang AST emission

2021-02-02 11:23:53 +01:00

lib

Fixed emission for local_sp and scev_barrier

2021-02-02 11:23:53 +01:00

share/revngc

Decompiler: fix detection of revng-c include file.