andrius
/
M2-Planet
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

AArch64 support for unsigned comparison

This commit is contained in:
Sanne Wouda 2020-12-17 00:01:17 +00:00
parent e5befc4fee
commit 968fdfea65
4 changed files with 20 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
cc_core.c
View File

@ -945,10 +945,10 @@ void relational_expr_stub()
}
else if(AARCH64 == Architecture)
{
general_recursion(additive_expr, "CMP_X1_X0\nSET_X0_TO_1\nSKIP_INST_LT\nSET_X0_TO_0\n", "<", relational_expr_stub);
general_recursion(additive_expr, "CMP_X1_X0\nSET_X0_TO_1\nSKIP_INST_LE\nSET_X0_TO_0\n", "<=", relational_expr_stub);
general_recursion(additive_expr, "CMP_X1_X0\nSET_X0_TO_1\nSKIP_INST_GE\nSET_X0_TO_0\n", ">=", relational_expr_stub);
general_recursion(additive_expr, "CMP_X1_X0\nSET_X0_TO_1\nSKIP_INST_GT\nSET_X0_TO_0\n", ">", relational_expr_stub);
arithmetic_recursion(additive_expr, "CMP_X1_X0\nSET_X0_TO_1\nSKIP_INST_LT\nSET_X0_TO_0\n", "CMP_X1_X0\nSET_X0_TO_1\nSKIP_INST_LO\nSET_X0_TO_0\n", "<", relational_expr_stub);
arithmetic_recursion(additive_expr, "CMP_X1_X0\nSET_X0_TO_1\nSKIP_INST_LE\nSET_X0_TO_0\n", "CMP_X1_X0\nSET_X0_TO_1\nSKIP_INST_LS\nSET_X0_TO_0\n", "<=", relational_expr_stub);
arithmetic_recursion(additive_expr, "CMP_X1_X0\nSET_X0_TO_1\nSKIP_INST_GE\nSET_X0_TO_0\n", "CMP_X1_X0\nSET_X0_TO_1\nSKIP_INST_HS\nSET_X0_TO_0\n", ">=", relational_expr_stub);
arithmetic_recursion(additive_expr, "CMP_X1_X0\nSET_X0_TO_1\nSKIP_INST_GT\nSET_X0_TO_0\n", "CMP_X1_X0\nSET_X0_TO_1\nSKIP_INST_HI\nSET_X0_TO_0\n", ">", relational_expr_stub);
general_recursion(additive_expr, "CMP_X1_X0\nSET_X0_TO_1\nSKIP_INST_EQ\nSET_X0_TO_0\n", "==", relational_expr_stub);
general_recursion(additive_expr, "CMP_X1_X0\nSET_X0_TO_1\nSKIP_INST_NE\nSET_X0_TO_0\n", "!=", relational_expr_stub);
}

5
test/common_aarch64/aarch64_defs.M1
View File

@ -48,6 +48,11 @@ DEFINE SKIP_INST_LE 4d000054
DEFINE SKIP_INST_GT 4c000054
DEFINE SKIP_INST_GE 4a000054
DEFINE SKIP_INST_LO 43000054
DEFINE SKIP_INST_LS 49000054
DEFINE SKIP_INST_HS 42000054
DEFINE SKIP_INST_HI 48000054
DEFINE SKIP_32_DATA 02000014

20
test/test.answers
View File

@ -109,7 +109,7 @@ bdb95323821eea5b757445d1d4a8f79256a4b665c2a0666cbbb7931550ba4a6f test/results/t
cc0da63ac84b37fef8e0367246a01b3aea7be95dd410297d80500e8d43a54b32 test/results/test0018-knight-native-binary
a2cba152dd5dd47a574aec274d22fbda6efad301ddd942cdd928b69f92902fcb test/results/test0018-knight-posix-binary
b547b060881bbbd564d18575b5a96b4f5837ece88ea1f7a20bc5fb1b736361e4 test/results/test0018-x86-binary
26533e5ac6d14e2cdc40bd5638b1f246c9fe8a37ad547ac2733d4d8b4fab1873 test/results/test0019-aarch64-binary
de21e25c26b229c674461b28f3cc0e36c0a0d0b2287bece7590f8db47c3c8e37 test/results/test0019-aarch64-binary
5279026cb14f83907279c5372b9cc4b33f1481ed08f814b77fb82fab9382cb4a test/results/test0019-amd64-binary
6ff8fb4779ba53865a0f21b658c91db58a7fb11514978855acc6b1482d3ddbc0 test/results/test0019-armv7l-binary
829a00a8b9b90eca5ff6eb0100d1327e102f5a83e12a4e7073ae0b9bece81aa1 test/results/test0019-knight-posix-binary
@ -145,7 +145,7 @@ c21664610539bb9046895a98c46d8f30d24726278ad24f5ab7676d1f3b5d4925 test/results/t
6e40185d52f0df1f55a0cc4a69780e4ef94e1ca5b11a5420964941b7b9bba7a9 test/results/test0101-armv7l-binary
b49459649c771c4028dca40849423a7b6488520d99d7badcfcfb252ab3ef2d5e test/results/test0101-knight-posix-binary
551fd272d788bb5bcfb2bd54ac762ba8c5e6e1b67fd6a1a64ed1394d0a997781 test/results/test0101-x86-binary
ce03708749b6b2229a585083d1cd24842d93cd256648946d1a5ad8f6d761a7a6 test/results/test0102-aarch64-binary
bac1ee147a0ef0a6ae1f6612240ced7028a0d54cf9b1339663ec6f482cf08382 test/results/test0102-aarch64-binary
fc6cc80a36547e948faa1d21ebbc2207e506c4d40d3880ebc6233576eaf20013 test/results/test0102-amd64-binary
d133d452dedc09a1d29fd711ff58269a961da8f6074bb3dcd0104feac656c61f test/results/test0102-armv7l-binary
e82594cb968ee20eb5e2ebeb36fca526eba1d2d6ac440085d307967dd7977abf test/results/test0102-knight-posix-binary
@ -155,22 +155,22 @@ f2114b5217c12952a85d580ad5914dd679888d93d176ee132ace9e8773916b3b test/results/t
79cbb69a747b07d729db736bc177b52b344106387831a0210ff18fce92edf1cc test/results/test0103-armv7l-binary
0f8f90238756cd49b2ab098ede160a7847365c99e20ccf742a3e3fefb65bfbd0 test/results/test0103-knight-posix-binary
87c3c6ac883900334d2caa6695cab42628d2cb554e2216a5d541ec349df458b0 test/results/test0103-x86-binary
29ebf09fbd9408bcac55925e3e95ad6669f60e36e7f345fc69d46060ac57ed13 test/results/test0104-aarch64-binary
091064c92141dd70480e9cd4f34995989dc7ad853ace160a77d89303d7a1cb01 test/results/test0104-aarch64-binary
9deb2f3e7d916041b50d61df8ef15244a5d1050c2326a303ac4b3b2f915868cd test/results/test0104-amd64-binary
897195bc2aee17bdaf2064db6989b74a9c0e60805d22fddd970aeaf935235d7b test/results/test0104-armv7l-binary
9a9c974c104966882de5be4a68d85cf88f7cdfb4c95ae9dcfabe58b2c8232bb1 test/results/test0104-x86-binary
f13054e49236e290ec195fef13c6d320a124f6cb883e406da695819bf64a580f test/results/test0105-aarch64-binary
81dca0835beb3479c01b25058064e25a5ba42966c10a66ffdd06eb849d199f48 test/results/test0105-aarch64-binary
a498d43b19327f1342cb54e698db9fb237901ed0ab04890241bed00ff23eddbc test/results/test0105-amd64-binary
27af6c30cdf0e411edacbff6dc5c00f1b0d3b67e8a7923ebc8385bcb4486f4df test/results/test0105-armv7l-binary
f8ed88b69c3388c73a24b82702be0df9b06e06a8132ed9b75aed5aa8260f3b2d test/results/test0105-x86-binary
682b63f332ee299bf4afb91356004b96a223e309dc44a7efeb1cbcd9f21aeb4c test/results/test0106-aarch64-binary
d405c1ed0b6dfb83bde9bfd22628a5884a92fd41aac8e89d89dbb7684528855d test/results/test0106-aarch64-binary
32a2990df4a353f5abf27b4cf9577f9e8b500270ebac0f6aa8c6a78c7f4856cb test/results/test0106-amd64-binary
ecfba440594147303a8c16a144498f4be517ec2f02bc440d0d21075e6a8bc8d3 test/results/test0106-armv7l-binary
99cb6024b886c9dc5ecaf38826dd70a3e823c3a647d20c5ccd2848628e54409f test/results/test0106-knight-native-binary
cad614f909f2b9ac0279b7b508193836bea3a050cecf987448d378f62f6af916 test/results/test0106-knight-posix-binary
c1f58b9b99e1d62814d911a853cce82c2e8220cdadf164c090bd0f3bf4d11caa test/results/test0106-x86-binary
8ac99f46856255459a73a9ac4e8cb319e24cb7d2141599358f99b746ce67ff2a test/results/test1000-aarch64-binary
b85e2eabc12ab857bc7ef1dcfaefce10a2684f05c4a989c62ef777362931b231 test/results/test1000-amd64-binary
9b89e78e074dba280bd565e839567ae196e9cd6e10055176b0e9fac4cff8a730 test/results/test1000-armv7l-binary
c4c8423c14e81410f691450d0e18500b2e42522b7652753f515c69bc02f1b3a7 test/results/test1000-knight-posix-binary
296dd9b10ffc9c8f9e4fad5dcd2ac9e938a6c677c8644a44c3070ce8956a0c74 test/results/test1000-x86-binary
f2a7386688ebcc4de77eebebbced54910ecb6cdee430b584fdb7a3b24ae55db5 test/results/test1000-aarch64-binary
b638c11a808733c3baab6ccb6c2160ba08e7dab716bfad4020be6d175de62200 test/results/test1000-amd64-binary
ee3c34679065a686821d236321196fe34bed95f9c6db1d2d77363e8dd2a0a9c2 test/results/test1000-armv7l-binary
4a57546d2efaf9afa8ae45946c31d9bbd692b1eb716d37e6c3a05baae06ded27 test/results/test1000-knight-posix-binary
07338e5bb20d1537944cae3c7fe975c2c25288d0d28e5b8ab7b0e6237a2084f3 test/results/test1000-x86-binary

2
test/test1000/proof.answer
View File

@ -1 +1 @@
82114cb2b5b930c2f3dfbb68080dc1be2125c0683b4c246e1114b1839d7372f1 test/test1000/proof
d7413cb55a8096e516de963c2401c65df55e18363f6180a188ef8a50a7ab2695 test/test1000/proof