Skip to content

Test Remill with LLVM 16 #1016

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 5 commits into from
May 9, 2023
Merged

Test Remill with LLVM 16 #1016

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
34b4c71
Test remill and anvill with LLVM 16
ekilmer Apr 28, 2023
f9b0a81
Disable anvill test
ekilmer Apr 28, 2023
df1ad9c
Use latest 'master'
ekilmer May 9, 2023
475c256
Don't build anvill on LLVM 16
ekilmer May 9, 2023
cd7b745
Remove commented GHA conditionals
ekilmer May 9, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 4 additions & 4 deletions .github/workflows/vcpkg_ci_amd64.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -207,7 +207,6 @@ jobs:
- name: 'Remill build'
shell: 'bash'
working-directory: remill
if: contains(matrix.llvm, 'llvm-15')
run: |
cmake -G Ninja \
-DCMAKE_VERBOSE_MAKEFILE=ON \
Expand All @@ -222,7 +221,6 @@ jobs:
- name: 'Remill test'
shell: 'bash'
working-directory: remill/build
if: contains(matrix.llvm, 'llvm-15')
run: |
# Some tests fail on ubuntu 22.04
env CTEST_OUTPUT_ON_FAILURE=1 ctest . || true
Expand All @@ -246,10 +244,12 @@ jobs:
-S . -B build
cmake --build build
cmake --install build
# NOTE: This is an old test that doesn't make sense anymore
# Need to find some other way to run a smoketest
#- name: 'Anvill test'
# shell: 'bash'
# working-directory: anvill/build
# # if: matrix.target_arch == 'x64'
# working-directory: anvill
# if: contains(matrix.llvm, 'llvm-15')
# run: |
# ./install/bin/anvill-decompile-spec --spec ../bin/Decompile/tests/specs/ret0.json --bc_out ./ret0.bc --ir_out ret0.ir

Expand Down
13 changes: 8 additions & 5 deletions .github/workflows/vcpkg_ci_mac.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -205,7 +205,7 @@ jobs:
- name: 'Remill build'
shell: 'bash'
working-directory: remill
if: contains(matrix.llvm, 'llvm-15') && matrix.target_arch == 'x64'
if: matrix.target_arch == 'x64'
run: |
cmake -G Ninja \
-DCMAKE_VERBOSE_MAKEFILE=ON \
Expand All @@ -221,7 +221,7 @@ jobs:
- name: 'Remill test'
shell: 'bash'
working-directory: remill/build
if: contains(matrix.llvm, 'llvm-15') && matrix.target_arch == 'x64'
if: matrix.target_arch == 'x64'
run: |
# Only run test on x64
env CTEST_OUTPUT_ON_FAILURE=1 ctest .
Expand All @@ -247,12 +247,15 @@ jobs:
cmake --build build
cmake --install build

# NOTE: This is an old test that doesn't make sense anymore
# Need to find some other way to run a smoketest
#- name: 'Anvill test'
# shell: 'bash'
# working-directory: anvill/build
# if: contains(matrix.llvm, 'llvm-15') && matrix.target_arch == 'x64'
# working-directory: anvill
# # if: contains(matrix.llvm, 'llvm-15') && matrix.target_arch == 'x64'
# if: matrix.target_arch == 'x64'
# run: |
# ./install/bin/anvill-decompile-json -spec ../bin/Decompile/tests/specs/ret0.json -bc_out ./ret0.bc -ir_out ret0.ir
# ./install/bin/anvill-decompile-spec -spec ../bin/Decompile/tests/specs/ret0.json -bc_out ./ret0.bc -ir_out ret0.ir

- name: Cache cleanup and reporting
shell: 'bash'
Expand Down
1 change: 0 additions & 1 deletion .github/workflows/vcpkg_ci_windows.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -155,7 +155,6 @@ jobs:
# python ../scripts/roundtrip.py ( Get-ChildItem tools | Where-Object {$_.name -match "rellic-decomp.exe"} ) ..\tests\tools\decomp "${env:VCPKG_ROOT}\installed\${env:TRIPLET}\tools\${{ matrix.llvm }}\clang.exe"

- name: 'Test remill build'
if: ${{ matrix.llvm == 'llvm-15' }}
run: |
cd remill
Remove-Item -Recurse -Force -ErrorAction SilentlyContinue .\build
Expand Down
2 changes: 1 addition & 1 deletion remill
Open in desktop
Submodule remill updated 99 files
+21 −21 .github/workflows/ci.yml
+54 −4 CMakeLists.txt
+1 −0 CODEOWNERS
+2 −2 Dockerfile
+6 −6 README.md
+3 −6 bin/differential_tester_x86/LiftAndCompare.cpp
+8 −4 bin/lift/Lift.cpp
+1 −1 cmake/BCCompiler.cmake
+3 −2 cmake/options.cmake
+1 −1 cmake/settings.cmake
+48 −0 include/remill/Arch/AArch64/AArch64Base.h
+12 −3 include/remill/Arch/Arch.h
+7 −3 include/remill/Arch/Context.h
+18 −0 include/remill/Arch/Name.h
+387 −0 include/remill/Arch/PPC/Runtime/State.h
+3 −0 include/remill/Arch/Runtime/HyperCall.h
+2 −1 include/remill/Arch/Runtime/Int.h
+5 −0 include/remill/Arch/Runtime/Intrinsics.h
+1 −0 include/remill/BC/IntrinsicTable.h
+87 −0 include/remill/BC/PCodeCFG.h
+18 −7 include/remill/BC/SleighLifter.h
+5 −0 include/remill/BC/Util.h
+8 −17 include/remill/BC/Version.h
+0 −37 lib/Arch/AArch32/CMakeLists.txt
+0 −3,841 lib/Arch/AArch32/Decode.cpp
+0 −11 lib/Arch/AArch32/Runtime/CMakeLists.txt
+0 −19 lib/Arch/AArch32/Runtime/Instructions.cpp
+0 −752 lib/Arch/AArch32/Semantics/BINARY.cpp
+0 −168 lib/Arch/AArch32/Semantics/BITBYTE.cpp
+0 −128 lib/Arch/AArch32/Semantics/BRANCH.cpp
+0 −58 lib/Arch/AArch32/Semantics/COND.cpp
+0 −190 lib/Arch/AArch32/Semantics/FLAGS.cpp
+0 −87 lib/Arch/AArch32/Semantics/LOGICAL.cpp
+0 −509 lib/Arch/AArch32/Semantics/MEM.cpp
+0 −36 lib/Arch/AArch32/Semantics/MISC.cpp
+4 −416 lib/Arch/AArch64/Arch.cpp
+3 −2 lib/Arch/AArch64/Runtime/CMakeLists.txt
+24 −2 lib/Arch/Arch.cpp
+1 −1 lib/Arch/CMakeLists.txt
+7 −3 lib/Arch/Context.cpp
+2 −0 lib/Arch/Instruction.cpp
+8 −1 lib/Arch/Name.cpp
+1 −0 lib/Arch/PPC/CMakeLists.txt
+44 −0 lib/Arch/PPC/Runtime/CMakeLists.txt
+43 −0 lib/Arch/PPC/Runtime/Instructions.cpp
+13 −0 lib/Arch/Runtime/HyperCall.cpp
+40 −4 lib/Arch/Sleigh/AArch32Arch.cpp
+4 −6 lib/Arch/Sleigh/AArch32Arch.h
+87 −0 lib/Arch/Sleigh/AArch64Arch.cpp
+46 −0 lib/Arch/Sleigh/AArch64Arch.h
+400 −0 lib/Arch/Sleigh/AArch64Base.cpp
+0 −0 lib/Arch/Sleigh/ARMBase.cpp
+72 −24 lib/Arch/Sleigh/Arch.cpp
+42 −11 lib/Arch/Sleigh/Arch.h
+18 −0 lib/Arch/Sleigh/CMakeLists.txt
+75 −23 lib/Arch/Sleigh/ControlFlowStructuring.cpp
+7 −4 lib/Arch/Sleigh/ControlFlowStructuring.h
+42 −0 lib/Arch/Sleigh/PPC.h
+308 −0 lib/Arch/Sleigh/PPCArch.cpp
+9 −6 lib/Arch/Sleigh/Thumb.h
+19 −16 lib/Arch/Sleigh/Thumb2Arch.cpp
+8 −4 lib/Arch/Sleigh/X86Arch.cpp
+1 −0 lib/BC/CMakeLists.txt
+1 −1 lib/BC/InstructionLifter.cpp
+7 −0 lib/BC/IntrinsicTable.cpp
+5 −0 lib/BC/Optimizer.cpp
+168 −0 lib/BC/PcodeCFG.cpp
+357 −110 lib/BC/SleighLifter.cpp
+1 −8 lib/BC/TraceLifter.cpp
+55 −26 lib/BC/Util.cpp
+340 −0 patches/sleigh/0001-AARCH64base.patch
+82 −0 patches/sleigh/0001-AARCH64instructions.patch
+54 −0 patches/sleigh/0001-ARM.patch
+129 −121 patches/sleigh/0001-ARMTHUMBinstructions.patch
+59 −0 patches/sleigh/0001-ppc_common.patch
+172 −0 patches/sleigh/0001-ppc_instructions.patch
+97 −0 patches/sleigh/0001-ppc_isa.patch
+120 −0 patches/sleigh/0001-ppc_vle.patch
+40 −0 patches/sleigh/0001-quicciii.patch
+257 −281 patches/sleigh/x86-ia.patch
+29 −21 scripts/build.sh
+3 −3 scripts/docker-lifter-entrypoint.sh
+2 −1 scripts/replace_pc_relative_disactions/README.md
+13 −13 scripts/replace_pc_relative_disactions/poetry.lock
+1 −0 scripts/replace_pc_relative_disactions/pyproject.toml
+1 −0 scripts/replace_pc_relative_disactions/register_definitions/AARCH64.ia
+5 −1 scripts/replace_pc_relative_disactions/register_definitions/ARMThumb.ia
+1 −0 scripts/replace_pc_relative_disactions/register_definitions/powerpc.ia
+112 −34 scripts/replace_pc_relative_disactions/replace_pc_relative_disactions/main.py
+1 −0 test_runner_lib/CMakeLists.txt
+22 −21 test_runner_lib/TestRunner.cpp
+162 −0 test_runner_lib/include/test_runner/TestOutputSpec.h
+22 −2 test_runner_lib/include/test_runner/TestRunner.h
+0 −3 tests/AArch64/Lift.cpp
+36 −0 tests/PPC/CMakeLists.txt
+803 −0 tests/PPC/TestLifting.cpp
+0 −3 tests/Thumb/CMakeLists.txt
+93 −39 tests/Thumb/TestLifting.cpp
+0 −3 tests/X86/Lift.cpp