ARM support

.gitignore

@@ -3,3 +3,5 @@
 build*/
 *.pyc
 CMakeSettings.json
+temp/*
+tests/temp/*

ARM-TODO.md

@@ -0,0 +1,15 @@
+ALIVE-ARM-TV TODO list
+================
+
+Many things required to be done. Listing things things that come to mind at the moment
+-------------------------------------
+
+- process the debug info in the assembly parser
+
+- handle functions with different number of parameters (either using the src IR file or from debug info)
+    - for now, lets use the IR fileand support simple parameters passed thru registers
+
+- handle different types
+
+- investigate if arm asl can be used to lift arm instructions to alive IR
+

BugList.md

@@ -110,3 +110,28 @@ Please contact us or submit a PR if something is missing or inaccurate.
 17. Crash with FP<->BV conversions (https://github.com/Z3Prover/z3/issues/6460)
 18. Integer overflow (https://github.com/Z3Prover/z3/commit/a96f5a9b425b6f5ba7e8ce1c1a75db6683c4bdc9)
 19. Memory leak with arrays on timeout (https://github.com/Z3Prover/z3/commit/dda0c8ff4200faa6a441855716b47ec7f93e026e)
+
+### Miscompilation bugs found in ARM64 Backend
+1. GlobalIsel miscompiles an llvm.fshl instruction (https://github.com/llvm/llvm-project/issues/55003)
+2. GlobalIsel miscompiles a zero-extended logical shift right (https://github.com/llvm/llvm-project/issues/55129)
+3. Incorrect optimization of sitofp/fptosi roundtrip (https://github.com/llvm/llvm-project/issues/55150)
+4. Miscompilation on a shift followed by an icmp instruction (https://github.com/llvm/llvm-project/issues/55178)
+5. Miscompilation when backend attempts to lower to a rotate instruction (https://github.com/llvm/llvm-project/issues/55201) 
+6. Miscompilation with urem and undef (https://github.com/llvm/llvm-project/issues/55271)
+7. or followed by and miscompile with global isel on arm64 (https://github.com/llvm/llvm-project/issues/55284)
+8. urem and udiv miscompile with global isel set on arm64 (https://github.com/llvm/llvm-project/issues/55287)
+9. fshl-related miscompile by arm64 and x86-64 backends (https://github.com/llvm/llvm-project/issues/55296)
+10. Miscompilation of arithmetic binops with constant params (https://github.com/llvm/llvm-project/issues/55342)
+11. Miscompilation in multiple backends including arm64 and x86-64 (https://github.com/llvm/llvm-project/issues/55484)
+12. Miscompilation involving arithmentic binops (https://github.com/llvm/llvm-project/issues/55490)
+13. Miscompilation of non-canonical add+icmp (https://github.com/llvm/llvm-project/issues/55627)
+14. Miscompilation of smul.with.overflow.i2 (https://github.com/llvm/llvm-project/issues/55644)
+15. Funnel shift related miscompile by ARM64 backend with global isel (https://github.com/llvm/llvm-project/issues/56664)
+16. Possible miscompile of signext-of-i1 by aarch64 backend (https://github.com/llvm/llvm-project/issues/57181)
+17. GlobalIsel backend miscompiles funnel shift with undef amount (https://github.com/llvm/llvm-project/issues/57256)
+18. Miscompile of code involving a usub.sat by AArch64 backend (https://github.com/llvm/llvm-project/issues/58109)
+19. Miscompilation of a frozen poison by AArch64 backend (https://github.com/llvm/llvm-project/issues/58321)
+20. AArch64 backend miscompile of some funnel shifts (https://github.com/llvm/llvm-project/issues/59898)
+21. Miscompile by AArch64 backend related to smax.i64 (https://github.com/llvm/llvm-project/issues/59902)
+22. miscompile from AArch64 global isel backend (https://github.com/llvm/llvm-project/issues/61008)
+=======

CMakeLists.txt

@@ -20,7 +20,7 @@ if (MSVC)
   set(CMAKE_EXE_LINKER_FLAGS         "/LTCG:INCREMENTAL ${CMAKE_EXE_LINKER_FLAGS}")
 else()
   set(CMAKE_CXX_FLAGS                "-Wall -Werror -fPIC -fstrict-enums ${CMAKE_CXX_FLAGS}")
-  set(CMAKE_CXX_FLAGS_DEBUG          "-g -Og ${CMAKE_CXX_FLAGS_DEBUG}")
+  set(CMAKE_CXX_FLAGS_DEBUG          "-g -O0 -fsanitize=address,undefined -fno-sanitize-recover=undefined -fno-sanitize=vptr ${CMAKE_CXX_FLAGS_DEBUG}")
   set(CMAKE_CXX_FLAGS_RELEASE        "-O3 ${CMAKE_CXX_FLAGS_RELEASE}")
   set(CMAKE_CXX_FLAGS_RELWITHDEBINFO "${CMAKE_CXX_FLAGS_RELEASE} -g ${CMAKE_CXX_FLAGS_RELWITHDEBINFO}")
 endif()
@@ -181,6 +181,8 @@ if (BUILD_LLVM_UTILS OR BUILD_TV)
   include(AddLLVM)
 
   include_directories(${LLVM_INCLUDE_DIRS})
+  include_directories(${LLVM_BINARY_DIR}/lib)
+
   add_definitions(${LLVM_DEFINITIONS})
 
   set(LLVM_UTIL_SRCS
@@ -191,15 +193,27 @@ if (BUILD_LLVM_UTILS OR BUILD_TV)
     "llvm_util/utils.cpp"
   )
 
+  set(BACKEND_TV_SRCS
+    "backend_tv/adjust_src.cpp"
+    "backend_tv/lifter.cpp"
+    "backend_tv/run_backend.cpp"
+  )
+
   add_library(llvm_util STATIC ${LLVM_UTIL_SRCS})
-  set(ALIVE_LIBS_LLVM llvm_util ${ALIVE_LIBS})
+  add_library(backend_tv STATIC ${BACKEND_TV_SRCS})
+  set(ALIVE_LIBS_LLVM llvm_util backend_tv ${ALIVE_LIBS})
+  set(ALIVE_EXEC_LIBS_LLVM llvm_util backend_tv ${ALIVE_EXEC_LIBS})
 
   set(LLVM_LINK_COMPONENTS ${LLVM_LINK_COMPONENTS} TargetParser)
 
   add_llvm_executable(alive-tv
     "tools/alive-tv.cpp"
   )
 
+  add_llvm_executable(backend-tv
+    "tools/backend-tv.cpp"
+  )
+
   add_llvm_executable(quick-fuzz
     "tools/quick-fuzz.cpp"
   )
@@ -210,6 +224,7 @@ if (BUILD_LLVM_UTILS OR BUILD_TV)
 
 else()
   set(LLVM_UTIL_SRCS "")
+  set(BACKEND_TV_SRCS "")
 endif()
 
 if (BUILD_TV)
@@ -250,9 +265,10 @@ install(TARGETS alive alive-jobserver)
 #add_library(alive2 SHARED ${IR_SRCS} ${SMT_SRCS} ${TOOLS_SRCS} ${UTIL_SRCS} ${LLVM_UTIL_SRCS})
 
 if (BUILD_LLVM_UTILS OR BUILD_TV)
-  llvm_map_components_to_libnames(llvm_libs support core irreader bitwriter analysis passes transformutils)
-#  target_link_libraries(alive2 PRIVATE ${llvm_libs})
+  llvm_map_components_to_libnames(llvm_libs support core irreader bitwriter analysis passes transformutils asmparser asmprinter target mc mcparser mcdisassembler aarch64asmparser aarch64codegen aarch64desc aarch64disassembler aarch64info aarch64utils)
+  #target_link_libraries(alive2 PRIVATE ${llvm_libs})
   target_link_libraries(alive-tv PRIVATE ${ALIVE_LIBS_LLVM} ${Z3_LIBRARIES} ${HIREDIS_LIBRARIES} ${llvm_libs})
+  target_link_libraries(backend-tv PRIVATE ${ALIVE_LIBS_LLVM} ${Z3_LIBRARIES} ${HIREDIS_LIBRARIES} ${llvm_libs})
   target_link_libraries(quick-fuzz PRIVATE ${ALIVE_LIBS_LLVM} ${Z3_LIBRARIES} ${HIREDIS_LIBRARIES} ${llvm_libs})
   target_link_libraries(alive-exec PRIVATE ${ALIVE_LIBS_LLVM} ${Z3_LIBRARIES} ${HIREDIS_LIBRARIES} ${llvm_libs})
   install(TARGETS alive-tv quick-fuzz alive-exec)
@@ -278,5 +294,5 @@ add_custom_target("check"
                  )
 
 if (BUILD_TV)
-  add_dependencies("check" "alive-tv" "quick-fuzz" "tv")
+  add_dependencies("check" "alive-tv" "backend-tv" "quick-fuzz" "tv")
 endif()