admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

Port last tests to pypeline

Browse Source 
Convert the `revng.test-segregate-stack-accesses` and
`revng.test-detect-stack-size` tests so that they use
the new pipeline.
This commit is contained in:
Giacomo Vercesi
2026-06-11 12:23:02 +02:00
committed by Alessandro Di Federico
parent 4776a24eb8
commit 75059cfdff
2 changed files with 17 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files
share/revng/test/configuration/revng/detect-stack-size.yml
+5 -4
View File
@@ -6,13 +6,14 @@ commands:
#
# Run detect-stack-size and test against ground truth
#
# TODO: this crashes in the new pipeline, investigate
- type: revng.test-detect-stack-size
from:
- type: revng-qa.compiled-with-debug-info
filter: for-detect-stack-size
suffix: /
command: |-
revng analyze --resume "$OUTPUT" import-binary "$INPUT" -o /dev/null;
revng analyze --resume "$OUTPUT" detect-abi "$INPUT" -o /dev/null;
revng analyze --resume "$OUTPUT" detect-stack-size "$INPUT" | revng model compare "${SOURCE}.model.yml" -;
cd "$OUTPUT";
revng2 project init --no-initial-auto-analysis "$INPUT";
revng2 project analyze parse-binary -o /dev/null;
revng2 project analyze detect-abi -o /dev/null;
revng2 project analyze detect-stack-size | revng model compare "${SOURCE}.model.yml" -;
share/revng/test/configuration/revng/segregate-stack-accesses.yml
+12 -10
View File
@@ -3,29 +3,31 @@
#
commands:
# TODO: this crashes with the new pipeline, investigate
- type: revng.test-segregate-stack-accesses
from:
- type: revng-qa.compiled-with-debug-info
filter: for-segregate-stack-accesses
suffix: /
command: |-
cd "$OUTPUT";
export REVNG_OPTIONS="$${REVNG_OPTIONS:-} --debug-names";
revng analyze --resume "$OUTPUT" import-binary "$INPUT" -o /dev/null;
revng2 project init --no-initial-auto-analysis "$INPUT";
revng2 project analyze parse-binary -o /dev/null;
revng model override-by-name
"$OUTPUT/context/model.yml"
model.yml
${SOURCE}.override.$QEMU_NAME.yml
> "$OUTPUT/context/model-tmp.yml";
mv "$OUTPUT/context/model-tmp.yml" "$OUTPUT/context/model.yml";
> model-tmp.yml;
mv model-tmp.yml model.yml;
rm -r .cache;
revng analyze --resume "$OUTPUT" detect-abi "$INPUT" -o /dev/null;
revng2 project analyze detect-abi -o /dev/null;
revng2 project analyze detect-stack-size -o /dev/null;
revng analyze --resume "$OUTPUT" detect-stack-size "$INPUT" -o /dev/null;
revng artifact --resume "$OUTPUT" segregate-stack-accesses "$INPUT" |
revng2 project artifact segregate-stack-accesses --tar |
revng merge llvm |
revng opt -remove-llvmassume-calls -instcombine-noarrays -sroa-noarrays -drop-redundant-ptrint-casts -dce -type-shrinking -dce -drop-redundant-ptrint-casts -early-cse -instsimplify -dce -S |
FileCheck --check-prefix=CHECK-$QEMU_NAME ${SOURCE}.filecheck.ll;
revng artifact --resume "$OUTPUT" emit-c "$INPUT" -o /dev/null;
revng2 project artifact emit-c -o /dev/null;