[AArch64] Use arithmetic right shift for signed

- as discussed with deesix, this is the proper fix
- the test1000 checksum changes as it uses the M2-Planet source as input
This commit is contained in:
Sanne Wouda 2020-12-04 19:35:30 +00:00
parent d34ea502cc
commit a63b8837c0
4 changed files with 11 additions and 10 deletions

View File

@ -884,7 +884,7 @@ void additive_expr_stub()
arithmetic_recursion(postfix_expr, "SDIV_X0_X1_X0\n", "UDIV_X0_X1_X0\n", "/", additive_expr_stub);
arithmetic_recursion(postfix_expr, "SDIV_X2_X1_X0\nMSUB_X0_X0_X2_X1\n", "UDIV_X2_X1_X0\nMSUB_X0_X0_X2_X1\n", "%", additive_expr_stub);
general_recursion(postfix_expr, "LSHIFT_X0_X1_X0\n", "<<", additive_expr_stub);
general_recursion(postfix_expr, "RSHIFT_X0_X1_X0\n", ">>", additive_expr_stub);
arithmetic_recursion(postfix_expr, "ARITH_RSHIFT_X0_X1_X0\n", "LOGICAL_RSHIFT_X0_X1_X0\n", ">>", additive_expr_stub);
}
}

View File

@ -114,7 +114,8 @@ DEFINE UDIV_X2_X1_X0 2208c09a
DEFINE LSHIFT_X0_X0_X2 0020c29a
DEFINE LSHIFT_X0_X1_X0 2020c09a
DEFINE RSHIFT_X0_X1_X0 2028c09a
DEFINE LOGICAL_RSHIFT_X0_X1_X0 2024c09a
DEFINE ARITH_RSHIFT_X0_X1_X0 2028c09a
DEFINE MVN_X0 e00320aa
DEFINE AND_X0_X1_X0 2000008a

View File

@ -140,12 +140,12 @@ ed42d7ef7b3f1e99b1266c9d8cc5032bd17f29880e2c1ddca7031795459a1aa7 test/results/t
3abd9279114df2afa56fa3bbc2a5529174f8fb5d63878dc37f289ca48ef70f41 test/results/test0100-armv7l-binary
0186bd14060ee2f85cd18f5405532ecb62516065d1e487a88212a61978fe3db0 test/results/test0100-knight-posix-binary
c21664610539bb9046895a98c46d8f30d24726278ad24f5ab7676d1f3b5d4925 test/results/test0100-x86-binary
58f1e37acb7c40d04b44b50585f7b93abcb7d4093eda218b6bb57d5ae1312279 test/results/test0101-aarch64-binary
4143145e0b03df893c64cc481703f8e5eab4cc8e881ee8138d82ccb1cd3978b5 test/results/test0101-aarch64-binary
0fcfca746f697fb2037cec05a934667efb8a7d15d1c5bb62c90a11c8bbe75eb8 test/results/test0101-amd64-binary
6e40185d52f0df1f55a0cc4a69780e4ef94e1ca5b11a5420964941b7b9bba7a9 test/results/test0101-armv7l-binary
d016c10cc61cc9c52cfd54f98423eb957aaf89738949bc47b94e6bc83569a9f5 test/results/test0101-knight-posix-binary
551fd272d788bb5bcfb2bd54ac762ba8c5e6e1b67fd6a1a64ed1394d0a997781 test/results/test0101-x86-binary
aadb8cc24066c151d39efd8d8b0851314aa04fa466856f58622c76ce2f117b09 test/results/test0102-aarch64-binary
ce03708749b6b2229a585083d1cd24842d93cd256648946d1a5ad8f6d761a7a6 test/results/test0102-aarch64-binary
d3f85a43b3fed5ba9ac2b4db5a509c9b13eae2392805ea7aae6c10490f627330 test/results/test0102-amd64-binary
f796b342443ddf49e21e097aa3a30221eb23ce7878d3eb3222c4fb99d1a32b02 test/results/test0102-armv7l-binary
4441fd5c8d2419db522ef07d7df0f7ca21255a3dda8f03224b66601bc3da9284 test/results/test0102-knight-posix-binary
@ -169,8 +169,8 @@ a2a83f42119e646b389b98647cf6cf2aa9597185997c9453db746178c8c4c0bf test/results/t
6c10f796fdb986a3a52a4ed8ad1a4eb4c1023c5dd99101a2aeadd9bad4d064ef test/results/test0106-knight-native-binary
6852a8f33ec49d43bcfb3ffff1e04900ad146806aeb67ed1749d15baed50bcb5 test/results/test0106-knight-posix-binary
3e026925ec537c817f815b4748e19e4edc0487643b66d8df00a831c73229059e test/results/test0106-x86-binary
50d571a58d3ca052b6d92567e3e68cdf8eabfd98a79f86d747c6769c231f15e9 test/results/test1000-aarch64-binary
dab703f295f2074bbf10927fa6e5811cdbe4a5801f5c99d84167f31180c63609 test/results/test1000-amd64-binary
c4e6ce14fd9171504c7ff2490da8147f51e62359f73f0ef6e63b67dca1bf793d test/results/test1000-armv7l-binary
2ca38a7da9c4f707ea2940a08cf5314401e0a5b96d7a467ed49c04890dd54622 test/results/test1000-knight-posix-binary
4f3ee7a46a31edfc502c436c561c0a281d9c5b6ef2c578215d0e3777f88e0045 test/results/test1000-x86-binary
42ea3aabc063e9031a967b48f5654e0a2cf98efc7e1565d1f8f8b61e00389af1 test/results/test1000-aarch64-binary
fe550731b4dcba29c057663c85a0e0e1d914b2f3415338ff5fcaede7f5ade444 test/results/test1000-amd64-binary
fd2f5064b9711296d4c26d90e6ed4efa1133ca9b5bd97bcd2fafe547b3477050 test/results/test1000-armv7l-binary
3303e8f98eec3e296ade4c47be64690754076f957def71991210a13b0c70f3d7 test/results/test1000-knight-posix-binary
9eedb93e444f4bcca1baad61d00c776114061ff1be8e171f49383670047d56c6 test/results/test1000-x86-binary

View File

@ -1 +1 @@
5a26f6d1d3fd9da464ba7e2f5ab2c51f97fabc0366c5c7cba5af238753343264 test/test1000/proof
152da3a775fc707f6efdf3f77e0c5c7e024ddb3c01abb4b0c2909c005d11eb5b test/test1000/proof