Skip to content
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

Jump to bottom

Added instrumentation of vector TCG operations #38

Merged
merged 62 commits into from
Feb 22, 2024
Merged

Added instrumentation of vector TCG operations #38

merged 62 commits into from
Feb 22, 2024

Commits on Feb 17, 2024

  1. make SymQEMU Dockerfile rely on SymCC Dockerfile

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    1a9d04e View commit details
    Browse the repository at this point in the history

  2. Add some documentation, fix typos in doc, and wrap to 80 columns

    @aurelf
    aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    18fc98c View commit details
    Browse the repository at this point in the history

  3. remove unncessary line in Dockerfile

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    c434dfd View commit details
    Browse the repository at this point in the history

  4. write a wrong test expected output to demonstrate that this makes the… 

    … tests fail
    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    a9cbdff View commit details
    Browse the repository at this point in the history

  5. revert previous commit

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    40ffbc2 View commit details
    Browse the repository at this point in the history

  6. add util function for vec expr

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    6f6df2f View commit details
    Browse the repository at this point in the history

  7. instrument tcg_gen_mov_vec

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    0e5af2e View commit details
    Browse the repository at this point in the history

  8. instumented tcg_gen_ld_vec

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    3989992 View commit details
    Browse the repository at this point in the history

  9. add tcgv_vec_expr util function

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    af8fa7b View commit details
    Browse the repository at this point in the history

  10. simplify sym_store_host helper

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    0165c3f View commit details
    Browse the repository at this point in the history

  11. instrumented tcg_gen_st_vec

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    1437949 View commit details
    Browse the repository at this point in the history

  12. instrument tcg_gen_stl_vec

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    a338746 View commit details
    Browse the repository at this point in the history

  13. add malloc and free helper functions

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    29ec563 View commit details
    Browse the repository at this point in the history

  14. util functions for vector intrumentation

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    64f19e6 View commit details
    Browse the repository at this point in the history

  15. instrumented tcg_gen_and_vec

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    ab6b435 View commit details
    Browse the repository at this point in the history

  16. implemented sym helper for and vec

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    45b07f5 View commit details
    Browse the repository at this point in the history

  17. generalized sym_and_vec implementation

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    0350124 View commit details
    Browse the repository at this point in the history

  18. refactor

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    62d1019 View commit details
    Browse the repository at this point in the history

  19. refactor

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    da2ee36 View commit details
    Browse the repository at this point in the history

  20. fix free temp

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    0a1f32b View commit details
    Browse the repository at this point in the history

  21. instrumented vec or,xor,add,sub,mul

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    73a618a View commit details
    Browse the repository at this point in the history

  22. typo

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    ad3e1ee View commit details
    Browse the repository at this point in the history

  23. make vector operations andc,orc,nand,nor,eqv be built with instrument… 

    …ed operations
    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    bd8f5a5 View commit details
    Browse the repository at this point in the history

  24. make vector operations not and neg be built with instrumented operations

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    197924f View commit details
    Browse the repository at this point in the history

  25. make vector operations abs be built with instrumented operations

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    b4d10cf View commit details
    Browse the repository at this point in the history

  26. refactor

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    4647e1a View commit details
    Browse the repository at this point in the history

  27. refactor

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    8186dd6 View commit details
    Browse the repository at this point in the history

  28. add build_symbol_for_vector_int32_op function

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    eb45cd6 View commit details
    Browse the repository at this point in the history

  29. instrumented vec vec shifts and rotates ops

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    50251f9 View commit details
    Browse the repository at this point in the history

  30. instrumented vec i32 shifts and rotates ops

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    1636af2 View commit details
    Browse the repository at this point in the history

  31. instrumented vec immediate shifts and rotates ops

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    0ec22e4 View commit details
    Browse the repository at this point in the history

  32. refactor

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    55f9de4 View commit details
    Browse the repository at this point in the history

  33. add support of helper functions with 8 and 9 args

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    d8074f5 View commit details
    Browse the repository at this point in the history

  34. instrumented tcg_gen_cmp_vec

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    0f9e961 View commit details
    Browse the repository at this point in the history

  35. concretize not yet instrumented vec ops results to avoid crash

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    f9cf587 View commit details
    Browse the repository at this point in the history

  36. fix bux related to expr version of constants and add assert to avoid … 

    …future regression
    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    eaea586 View commit details
    Browse the repository at this point in the history

  37. fix vector load bug

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    8aa48d6 View commit details
    Browse the repository at this point in the history

  38. fix split_symbol function, add asserts

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    49a0157 View commit details
    Browse the repository at this point in the history

  39. fix extract symbol logic

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    89cc562 View commit details
    Browse the repository at this point in the history

  40. fix endianess issue in apply_op_and_merge function

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    82a6792 View commit details
    Browse the repository at this point in the history

  41. instrumented saturating signed/unsigned sub/add vec instructions

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    d3b0386 View commit details
    Browse the repository at this point in the history

  42. make sure cmpsel and bitsel instructions are generated using already … 

    …instrumented instructions
    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    ff7406b View commit details
    Browse the repository at this point in the history

  43. remove forgotten concretization

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    065eee4 View commit details
    Browse the repository at this point in the history

  44. instrumented tcg_gen_dup_i64_vec,tcg_gen_dup_i32_vec functions

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    f7d0447 View commit details
    Browse the repository at this point in the history

  45. instrumented min max functions

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    6f5b312 View commit details
    Browse the repository at this point in the history

  46. instrumented tcg_gen_dup_mem_vec

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    c5419d0 View commit details
    Browse the repository at this point in the history

  47. fix wront assert in sym_load_and_duplicate_into_vec

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    01b0b10 View commit details
    Browse the repository at this point in the history

  48. refactor : put vec helpers in separate file

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    37491b2 View commit details
    Browse the repository at this point in the history

  49. documentation and refactoring

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    877692f View commit details
    Browse the repository at this point in the history

  50. refactor

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    d9796f9 View commit details
    Browse the repository at this point in the history

  51. fix rotate functions for PR

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    b29f504 View commit details
    Browse the repository at this point in the history

  52. added todo comments to clarify situation for indirectly instrumented … 

    …instructions
    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    0529b3b View commit details
    Browse the repository at this point in the history

  53. add todo for returning expressions instad of pushing path constraints

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    1ea43b5 View commit details
    Browse the repository at this point in the history

  54. mention files related to vec instructions in README

    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    569f996 View commit details
    Browse the repository at this point in the history

  55. Add asprintf test program 

    This target program resulted on incorrect results before vector
instructions were instrumented
    @damienmaier @aurelf
    damienmaier authored and aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    3c35a2e View commit details
    Browse the repository at this point in the history

  56. typo fixes in README.md

    @aurelf
    aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    854d82d View commit details
    Browse the repository at this point in the history

  57. Minor formatting fixes

    @aurelf
    aurelf committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    51bbf36 View commit details
    Browse the repository at this point in the history

Commits on Feb 22, 2024

  1. Update tcg-runtime-sym-vec.c 

    Minor typos
    @aurelf
    aurelf committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    5945bd7 View commit details
    Browse the repository at this point in the history

  2. Adding QEMU own checks to Dockerfile (CI) and improve README.md (eure… 

    …com-s3#43)
    @aurelf
    aurelf committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    772c202 View commit details
    Browse the repository at this point in the history

  3. Adding SymQEMU unit test suite to CI (eurecom-s3#44) 

    * Moved check-sym-runtime.c to unit tests and updated to work with QEMU8
* Build and run check-sym-runtime test with meson.build  
* Improve Dockerfile
* Added documentation about test suites
    @aurelf
    aurelf committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    393104f View commit details
    Browse the repository at this point in the history

  4. Update SymQEMU unit tests (check-sym-runtime.c) 

    "helper_sym_store_host_i64" and "helper_sym_store_host_i32" were
replaced by helper_sym_store_host, adjusting the unit tests
accordingly
    @aurelf
    aurelf committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    087b98d View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into pr-vec-instrumentation

    @aurelf
    aurelf committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    c9a79af View commit details
    Browse the repository at this point in the history