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

SymQEMU tests and Dockefile #39

Closed
wants to merge 55 commits into from
Closed

SymQEMU tests and Dockefile #39

wants to merge 55 commits into from

Commits on Nov 29, 2023

  1. add util function for vec expr

    @damienmaier
    damienmaier committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    fa1089f View commit details
    Browse the repository at this point in the history

  2. instrument tcg_gen_mov_vec

    @damienmaier
    damienmaier committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    65592a8 View commit details
    Browse the repository at this point in the history

  3. instumented tcg_gen_ld_vec

    @damienmaier
    damienmaier committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    9eec6e4 View commit details
    Browse the repository at this point in the history

  4. add tcgv_vec_expr util function

    @damienmaier
    damienmaier committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    63d0b6b View commit details
    Browse the repository at this point in the history

  5. simplify sym_store_host helper

    @damienmaier
    damienmaier committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    6fb428a View commit details
    Browse the repository at this point in the history

  6. instrumented tcg_gen_st_vec

    @damienmaier
    damienmaier committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    1d0aa71 View commit details
    Browse the repository at this point in the history

  7. instrument tcg_gen_stl_vec

    @damienmaier
    damienmaier committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    9752b46 View commit details
    Browse the repository at this point in the history

Commits on Nov 30, 2023

  1. add malloc and free helper functions

    @damienmaier
    damienmaier committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    83fbd7c View commit details
    Browse the repository at this point in the history

  2. util functions for vector intrumentation

    @damienmaier
    damienmaier committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    d2fe1d1 View commit details
    Browse the repository at this point in the history

  3. instrumented tcg_gen_and_vec

    @damienmaier
    damienmaier committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    da5127d View commit details
    Browse the repository at this point in the history

  4. implemented sym helper for and vec

    @damienmaier
    damienmaier committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    7927d40 View commit details
    Browse the repository at this point in the history

Commits on Dec 1, 2023

  1. generalized sym_and_vec implementation

    @damienmaier
    damienmaier committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    d5d9af3 View commit details
    Browse the repository at this point in the history

  2. refactor

    @damienmaier
    damienmaier committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    bc93cce View commit details
    Browse the repository at this point in the history

  3. refactor

    @damienmaier
    damienmaier committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    34c8485 View commit details
    Browse the repository at this point in the history

  4. fix free temp

    @damienmaier
    damienmaier committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    f41cfa6 View commit details
    Browse the repository at this point in the history

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

    @damienmaier
    damienmaier committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    b6b5add View commit details
    Browse the repository at this point in the history

  6. typo

    @damienmaier
    damienmaier committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    cbd03ea View commit details
    Browse the repository at this point in the history

Commits on Dec 2, 2023

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

    …ed operations
    @damienmaier
    damienmaier committed Dec 2, 2023
    Configuration menu
    Copy the full SHA
    9f08fb8 View commit details
    Browse the repository at this point in the history

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

    @damienmaier
    damienmaier committed Dec 2, 2023
    Configuration menu
    Copy the full SHA
    848e568 View commit details
    Browse the repository at this point in the history

  3. make vector operations abs be built with instrumented operations

    @damienmaier
    damienmaier committed Dec 2, 2023
    Configuration menu
    Copy the full SHA
    d906a0e View commit details
    Browse the repository at this point in the history

  4. refactor

    @damienmaier
    damienmaier committed Dec 2, 2023
    Configuration menu
    Copy the full SHA
    e9cdce2 View commit details
    Browse the repository at this point in the history

  5. refactor

    @damienmaier
    damienmaier committed Dec 2, 2023
    Configuration menu
    Copy the full SHA
    b5a60b3 View commit details
    Browse the repository at this point in the history

  6. add build_symbol_for_vector_int32_op function

    @damienmaier
    damienmaier committed Dec 2, 2023
    Configuration menu
    Copy the full SHA
    8fc5505 View commit details
    Browse the repository at this point in the history

  7. instrumented vec vec shifts and rotates ops

    @damienmaier
    damienmaier committed Dec 2, 2023
    Configuration menu
    Copy the full SHA
    fbde819 View commit details
    Browse the repository at this point in the history

  8. instrumented vec i32 shifts and rotates ops

    @damienmaier
    damienmaier committed Dec 2, 2023
    Configuration menu
    Copy the full SHA
    17171ca View commit details
    Browse the repository at this point in the history

  9. instrumented vec immediate shifts and rotates ops

    @damienmaier
    damienmaier committed Dec 2, 2023
    Configuration menu
    Copy the full SHA
    46d7b39 View commit details
    Browse the repository at this point in the history

Commits on Dec 3, 2023

  1. refactor

    @damienmaier
    damienmaier committed Dec 3, 2023
    Configuration menu
    Copy the full SHA
    ccfd8c1 View commit details
    Browse the repository at this point in the history

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

    @damienmaier
    damienmaier committed Dec 3, 2023
    Configuration menu
    Copy the full SHA
    c8c6b3b View commit details
    Browse the repository at this point in the history

  3. instrumented tcg_gen_cmp_vec

    @damienmaier
    damienmaier committed Dec 3, 2023
    Configuration menu
    Copy the full SHA
    45204fa View commit details
    Browse the repository at this point in the history

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

    @damienmaier
    damienmaier committed Dec 3, 2023
    Configuration menu
    Copy the full SHA
    b287728 View commit details
    Browse the repository at this point in the history

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

    …future regression
    @damienmaier
    damienmaier committed Dec 3, 2023
    Configuration menu
    Copy the full SHA
    01a2d0e View commit details
    Browse the repository at this point in the history

  6. fix vector load bug

    @damienmaier
    damienmaier committed Dec 3, 2023
    Configuration menu
    Copy the full SHA
    3b838fc View commit details
    Browse the repository at this point in the history

  7. fix split_symbol function, add asserts

    @damienmaier
    damienmaier committed Dec 3, 2023
    Configuration menu
    Copy the full SHA
    826b74b View commit details
    Browse the repository at this point in the history

Commits on Dec 4, 2023

  1. fix extract symbol logic

    @damienmaier
    damienmaier committed Dec 4, 2023
    Configuration menu
    Copy the full SHA
    9902878 View commit details
    Browse the repository at this point in the history

Commits on Dec 5, 2023

  1. fix endianess issue in apply_op_and_merge function

    @damienmaier
    damienmaier committed Dec 5, 2023
    Configuration menu
    Copy the full SHA
    c4381e7 View commit details
    Browse the repository at this point in the history

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

    @damienmaier
    damienmaier committed Dec 5, 2023
    Configuration menu
    Copy the full SHA
    c369e5a View commit details
    Browse the repository at this point in the history

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

    …instrumented instructions
    @damienmaier
    damienmaier committed Dec 5, 2023
    Configuration menu
    Copy the full SHA
    c212307 View commit details
    Browse the repository at this point in the history

  4. remove forgotten concretization

    @damienmaier
    damienmaier committed Dec 5, 2023
    Configuration menu
    Copy the full SHA
    17142e2 View commit details
    Browse the repository at this point in the history

  5. instrumented tcg_gen_dup_i64_vec,tcg_gen_dup_i32_vec functions

    @damienmaier
    damienmaier committed Dec 5, 2023
    Configuration menu
    Copy the full SHA
    7c4b7be View commit details
    Browse the repository at this point in the history

  6. instrumented min max functions

    @damienmaier
    damienmaier committed Dec 5, 2023
    Configuration menu
    Copy the full SHA
    f83bda8 View commit details
    Browse the repository at this point in the history

  7. instrumented tcg_gen_dup_mem_vec

    @damienmaier
    damienmaier committed Dec 5, 2023
    Configuration menu
    Copy the full SHA
    679ed4e View commit details
    Browse the repository at this point in the history

Commits on Dec 6, 2023

  1. fix wront assert in sym_load_and_duplicate_into_vec

    @damienmaier
    damienmaier committed Dec 6, 2023
    Configuration menu
    Copy the full SHA
    4949502 View commit details
    Browse the repository at this point in the history

Commits on Dec 16, 2023

  1. refactor : put vec helpers in separate file

    @damienmaier
    damienmaier committed Dec 16, 2023
    Configuration menu
    Copy the full SHA
    bdb5a3e View commit details
    Browse the repository at this point in the history

Commits on Dec 17, 2023

  1. documentation and refactoring

    @damienmaier
    damienmaier committed Dec 17, 2023
    Configuration menu
    Copy the full SHA
    a5f4144 View commit details
    Browse the repository at this point in the history

Commits on Jan 10, 2024

  1. refactor

    @damienmaier
    damienmaier committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    b44e1fa View commit details
    Browse the repository at this point in the history

Commits on Feb 4, 2024

  1. fix rotate functions for PR

    @damienmaier
    damienmaier committed Feb 4, 2024
    Configuration menu
    Copy the full SHA
    88e18a3 View commit details
    Browse the repository at this point in the history

Commits on Feb 11, 2024

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

    …instructions
    @damienmaier
    damienmaier committed Feb 11, 2024
    Configuration menu
    Copy the full SHA
    ec3c4c1 View commit details
    Browse the repository at this point in the history

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

    @damienmaier
    damienmaier committed Feb 11, 2024
    Configuration menu
    Copy the full SHA
    ccab95f View commit details
    Browse the repository at this point in the history

  3. mention files related to vec instructions in README

    @damienmaier
    damienmaier committed Feb 11, 2024
    Configuration menu
    Copy the full SHA
    3b961e7 View commit details
    Browse the repository at this point in the history

  4. add testing script and simple test binary

    @damienmaier
    damienmaier committed Feb 11, 2024
    Configuration menu
    Copy the full SHA
    066b926 View commit details
    Browse the repository at this point in the history

  5. add symcc as submodule

    @damienmaier
    damienmaier committed Feb 11, 2024
    Configuration menu
    Copy the full SHA
    fe7ee6f View commit details
    Browse the repository at this point in the history

  6. do not include existing build artifacts in docker image

    @damienmaier
    damienmaier committed Feb 11, 2024
    Configuration menu
    Copy the full SHA
    90510eb View commit details
    Browse the repository at this point in the history

  7. added Dockerfile for building and running e2e tests

    @damienmaier
    damienmaier committed Feb 11, 2024
    Configuration menu
    Copy the full SHA
    0e4cc23 View commit details
    Browse the repository at this point in the history

  8. use debug build in Dockerfile

    @damienmaier
    damienmaier committed Feb 11, 2024
    Configuration menu
    Copy the full SHA
    cae00b6 View commit details
    Browse the repository at this point in the history

  9. make SymQEMU Dockerfile rely on SymCC Dockerfile

    @damienmaier
    damienmaier committed Feb 11, 2024
    Configuration menu
    Copy the full SHA
    f5ce706 View commit details
    Browse the repository at this point in the history