mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Alessandro Di Federico
1429b526ab
This commit drops libptc in favor of its new form libtcg. It brings several improvements, among which: * The QEMU version we work on has been upgraded. * CPUStateAccessAnalysis has been reimplemented in a way that makes it easier to debug and solves some limitations (e.g., tracking leaking pointers). * Identification of pieces of the CPU state that are read by each helper and fixing access to the CPU state is now performed at build-time. * We no longer mmap the code we need to translate, dropping all the issues related to code that needed to be mapped where something is already present. * We now have two distinct flavors of helper modules: the full one and the "slim" one. The latter contains the definition only of functions we intend to inline. It is used in most of the pipeline, a good thing since we spend less time optimizing code we don't really care about. The full module is only used on the re-compilation branch of the pipeline. * We no longer split the `cpu_loop` function. * We change MetaAddress to rely on architectures from `model::` as opposed to the LLVM ones. * We no longer attach debug info to LLVM IR containing the original assembly. * We now verify that the lifted code only contains code we expect.
29 lines
516 B
Bash
Executable File
29 lines
516 B
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
#
|
|
# This file is distributed under the MIT License. See LICENSE.md for details.
|
|
#
|
|
|
|
set -euo pipefail
|
|
|
|
printf "Name\\n"
|
|
|
|
(
|
|
for FILE in "$@"; do
|
|
(
|
|
if [[ "${FILE}" =~ ^.+\.bc$ ]]; then
|
|
cat "${FILE}"
|
|
|
|
elif [[ "${FILE}" =~ ^.+\.ll$ ]]; then
|
|
llvm-as "${FILE}" -o -
|
|
|
|
else
|
|
echo "\"${FILE}\" does not have a supported llvm-module extension. Is it even a module?" 1>&2
|
|
exit 1
|
|
fi
|
|
) |
|
|
|
|
llvm-nm - --format=just-symbols
|
|
done
|
|
) | sort -u
|