diff options
author | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2020-11-26 12:19:10 +0100 |
---|---|---|
committer | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2020-11-26 12:19:10 +0100 |
commit | 3f691c8c892c897791d2e9cef104f209f587abee (patch) | |
tree | 081fea77c70842633ef1de9c6ec06f714c7e38c0 /test | |
parent | 02a86fb0cd2dcb63b8346c48ca78056b30c7fef6 (diff) | |
download | compcert-kvx-3f691c8c892c897791d2e9cef104f209f587abee.tar.gz compcert-kvx-3f691c8c892c897791d2e9cef104f209f587abee.zip |
Fixing a generation bug on shrx in Asmblockgen
I forgot this one and the gen test script reminds me
Diffstat (limited to 'test')
-rwxr-xr-x | test/aarch64/gen_tests/asmb_aarch64_gen_test.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/aarch64/gen_tests/asmb_aarch64_gen_test.sh b/test/aarch64/gen_tests/asmb_aarch64_gen_test.sh index 660ff7aa..38235f14 100755 --- a/test/aarch64/gen_tests/asmb_aarch64_gen_test.sh +++ b/test/aarch64/gen_tests/asmb_aarch64_gen_test.sh @@ -11,9 +11,9 @@ done DIRS=( ../c/*.c # Special simple tests - ../../c/*.c + #../../c/*.c ../../clightgen/*.c - ../../compression/*.c + #../../compression/*.c ../../cse2/*.c # Monniaux test directory @@ -36,7 +36,7 @@ DIRS=( ../../monniaux/lustrev4_lv6-en-2cgc_heater_control/*.c #../../monniaux/lustrev6-carlightV2/*.c # Warnings #../../monniaux/lustrev6-convertible-2cgc/*.c # Unsupported feature? - ../../monniaux/lustrev6-convertible-en-2cgc/*.c + #../../monniaux/lustrev6-convertible-en-2cgc/*.c #../../monniaux/lustrev6-convertible/*.c # Warnings ../../monniaux/madd/*.c #../../monniaux/math/*.c # Unsupported feature? @@ -59,7 +59,7 @@ DIRS=( ) #FILES=../c/*.c CCOMP_BBLOCKS="../../../ccomp -fno-postpass" -CCOMP_REF="../../../../CompCert_aarch64-ref/ccomp" +CCOMP_REF="../../../../CompCert_kvx/ccomp" COUNT=0 if [ $WOFF -eq 1 ] |