aarch64: expression

This commit is contained in:
deesix 2020-02-01 21:23:49 +01:00
parent c32cb92daa
commit ebb0e4a3f9
3 changed files with 7 additions and 5 deletions

View File

@ -1070,6 +1070,7 @@ void expression()
else if(X86 == Architecture) store = "STORE_INTEGER\n";
else if(AMD64 == Architecture) store = "STORE_INTEGER\n";
else if(ARMV7L == Architecture) store = "!0 R0 STORE32 R1 MEMORY\n";
else if(AARCH64 == Architecture) store = "STR_X0_[X1]\n";
}
else
{
@ -1077,6 +1078,7 @@ void expression()
else if(X86 == Architecture) store = "STORE_CHAR\n";
else if(AMD64 == Architecture) store = "STORE_CHAR\n";
else if(ARMV7L == Architecture) store = "!0 R0 STORE8 R1 MEMORY\n";
else if(AARCH64 == Architecture) store = "STR_BYTE_W0_[X1]\n";
}
common_recursion(expression);

View File

@ -53,10 +53,10 @@ a0ae067746e7a2b01d33950da1cf640e12c3a70a045ab331ea2025af59dec9af test/results/t
e01b615db5df31392bd1054c45141dcff936b11dfb1cad270edc0aa67653f5a1 test/results/test10-knight-native-binary
c1b5a2a3cd46c5e95e5540e871c2a916e028684ca80f51c001ef489342e27625 test/results/test10-knight-posix-binary
b3e13d54aab689137628fb9c4487bfd8288f9bd18bef8fe756577c8d2dce1f1f test/results/test10-x86-binary
ec1170fc87bc5868b610f1372abb947fb5ced0b2e395f60d7ea74d93cd68ccff test/results/test100-amd64-binary
0d0bb58eae4948a5ccd8868a73acf3ca6c12c8bc06c593f6987c64d2362b69b1 test/results/test100-armv7l-binary
489c49ef258a4130322c1c96cd2826debdedf96c2aa088d5459333daf6f07728 test/results/test100-knight-posix-binary
76f799c044919eeed4c99bb7201c3dc984580f4e8e37cd57205faaf420ac3246 test/results/test100-x86-binary
ff8929fd6abd6218b107131f67128012140e73b8bc5e5123c4fa2e8881a307a7 test/results/test100-amd64-binary
e82b46f81f652fc05d3ed5962435a678ba8dde42d152692776308acd2c6bb365 test/results/test100-armv7l-binary
482ce619f387db8d47738d944f70409a272c2e8d887283e94dbfc21cf26672c2 test/results/test100-knight-posix-binary
90b25175db7d780f8a8e3b05e3e564417ccbf8fc46e7970afd18eddd1fbc6993 test/results/test100-x86-binary
34e6d535e30ef8826a4ad1a4d08b76cfa370c54595599ad3be784b64c9cd8ec5 test/results/test11-amd64-binary
893695e6f300a0fe055fad935a56abd549bba70d1d39c535a680f41bbb73f117 test/results/test11-armv7l-binary
7115c4a552eb4b2c1a868ac3dca43be7d040c8e89b7b66851d0522d298429af9 test/results/test11-knight-native-binary

View File

@ -1 +1 @@
0e0e8857d3f5a9e964d28497d5746af99dbe6dfc66e60d66058b0c83a6b6e2fc test/test100/proof
f53c30c629a4da8ed2dccff81dccce99ef3e240fa66cf3e70608abbb09242384 test/test100/proof