armv7l support for unsigned comparisons

This commit is contained in:
Jeremiah Orians 2020-12-15 21:09:26 -05:00
parent f2cae3d501
commit e5befc4fee
No known key found for this signature in database
GPG Key ID: 5410E91C14959E87
4 changed files with 19 additions and 15 deletions

View File

@ -936,10 +936,10 @@ void relational_expr_stub()
}
else if(ARMV7L == Architecture)
{
general_recursion(additive_expr, "'0' R0 CMP R1 AUX_ALWAYS\n!0 R0 LOADI8_ALWAYS\n!1 R0 LOADI8_L\n", "<", relational_expr_stub);
general_recursion(additive_expr, "'0' R0 CMP R1 AUX_ALWAYS\n!0 R0 LOADI8_ALWAYS\n!1 R0 LOADI8_LE\n", "<=", relational_expr_stub);
general_recursion(additive_expr, "'0' R0 CMP R1 AUX_ALWAYS\n!0 R0 LOADI8_ALWAYS\n!1 R0 LOADI8_GE\n", ">=", relational_expr_stub);
general_recursion(additive_expr, "'0' R0 CMP R1 AUX_ALWAYS\n!0 R0 LOADI8_ALWAYS\n!1 R0 LOADI8_G\n", ">", relational_expr_stub);
arithmetic_recursion(additive_expr, "'0' R0 CMP R1 AUX_ALWAYS\n!0 R0 LOADI8_ALWAYS\n!1 R0 LOADI8_L\n", "'0' R0 CMP R1 AUX_ALWAYS\n!0 R0 LOADI8_ALWAYS\n!1 R0 LOADI8_LO\n", "<", relational_expr_stub);
arithmetic_recursion(additive_expr, "'0' R0 CMP R1 AUX_ALWAYS\n!0 R0 LOADI8_ALWAYS\n!1 R0 LOADI8_LE\n", "'0' R0 CMP R1 AUX_ALWAYS\n!0 R0 LOADI8_ALWAYS\n!1 R0 LOADI8_LS\n", "<=", relational_expr_stub);
arithmetic_recursion(additive_expr, "'0' R0 CMP R1 AUX_ALWAYS\n!0 R0 LOADI8_ALWAYS\n!1 R0 LOADI8_GE\n", "'0' R0 CMP R1 AUX_ALWAYS\n!0 R0 LOADI8_ALWAYS\n!1 R0 LOADI8_HS\n", ">=", relational_expr_stub);
arithmetic_recursion(additive_expr, "'0' R0 CMP R1 AUX_ALWAYS\n!0 R0 LOADI8_ALWAYS\n!1 R0 LOADI8_G\n", "'0' R0 CMP R1 AUX_ALWAYS\n!0 R0 LOADI8_ALWAYS\n!1 R0 LOADI8_HI\n", ">", relational_expr_stub);
general_recursion(additive_expr, "'0' R0 CMP R1 AUX_ALWAYS\n!0 R0 LOADI8_ALWAYS\n!1 R0 LOADI8_EQUAL\n", "==", relational_expr_stub);
general_recursion(additive_expr, "'0' R0 CMP R1 AUX_ALWAYS\n!0 R0 LOADI8_ALWAYS\n!1 R0 LOADI8_NE\n", "!=", relational_expr_stub);
}

View File

@ -68,6 +68,10 @@ DEFINE LOADI8_EQUAL 0A003
DEFINE LOADI8_NE 0A013
DEFINE LOADI8_LE 0A0D3
DEFINE LOADI8_L 0A0B3
DEFINE LOADI8_HI 0A083
DEFINE LOADI8_HS 0A023
DEFINE LOADI8_LS 0A093
DEFINE LOADI8_LO 0A033
# JUMP/BRANCH
DEFINE JUMP_ALWAYS EA

View File

@ -111,7 +111,7 @@ a2cba152dd5dd47a574aec274d22fbda6efad301ddd942cdd928b69f92902fcb test/results/t
b547b060881bbbd564d18575b5a96b4f5837ece88ea1f7a20bc5fb1b736361e4 test/results/test0018-x86-binary
26533e5ac6d14e2cdc40bd5638b1f246c9fe8a37ad547ac2733d4d8b4fab1873 test/results/test0019-aarch64-binary
5279026cb14f83907279c5372b9cc4b33f1481ed08f814b77fb82fab9382cb4a test/results/test0019-amd64-binary
3fb11401be187c022e63b6912bddedcedc975ef0a6cf08e978fdb48411589f48 test/results/test0019-armv7l-binary
6ff8fb4779ba53865a0f21b658c91db58a7fb11514978855acc6b1482d3ddbc0 test/results/test0019-armv7l-binary
829a00a8b9b90eca5ff6eb0100d1327e102f5a83e12a4e7073ae0b9bece81aa1 test/results/test0019-knight-posix-binary
18b7ab44902784a60444c120ec73fe01410a73ca89bbceb1cb2522e024ad0f2c test/results/test0019-x86-binary
6b31e8ee54270d38a1801f7614ae6247f59d44a2758f344b07a72794019290f4 test/results/test0020-aarch64-binary
@ -147,7 +147,7 @@ b49459649c771c4028dca40849423a7b6488520d99d7badcfcfb252ab3ef2d5e test/results/t
551fd272d788bb5bcfb2bd54ac762ba8c5e6e1b67fd6a1a64ed1394d0a997781 test/results/test0101-x86-binary
ce03708749b6b2229a585083d1cd24842d93cd256648946d1a5ad8f6d761a7a6 test/results/test0102-aarch64-binary
fc6cc80a36547e948faa1d21ebbc2207e506c4d40d3880ebc6233576eaf20013 test/results/test0102-amd64-binary
f796b342443ddf49e21e097aa3a30221eb23ce7878d3eb3222c4fb99d1a32b02 test/results/test0102-armv7l-binary
d133d452dedc09a1d29fd711ff58269a961da8f6074bb3dcd0104feac656c61f test/results/test0102-armv7l-binary
e82594cb968ee20eb5e2ebeb36fca526eba1d2d6ac440085d307967dd7977abf test/results/test0102-knight-posix-binary
4aa547b1a55d15b70a350f0b74f1a551e684eb17ebcd9e09ef5654c59eb0990c test/results/test0102-x86-binary
603fd4fe17f8ef9eac12116003941702849b720021da23dc32582ca41192a792 test/results/test0103-aarch64-binary
@ -157,20 +157,20 @@ f2114b5217c12952a85d580ad5914dd679888d93d176ee132ace9e8773916b3b test/results/t
87c3c6ac883900334d2caa6695cab42628d2cb554e2216a5d541ec349df458b0 test/results/test0103-x86-binary
29ebf09fbd9408bcac55925e3e95ad6669f60e36e7f345fc69d46060ac57ed13 test/results/test0104-aarch64-binary
9deb2f3e7d916041b50d61df8ef15244a5d1050c2326a303ac4b3b2f915868cd test/results/test0104-amd64-binary
5172743dab7c449c49d0ef8a6bebba4de8bdcb5fa490ec55fe41f6829064ee8d test/results/test0104-armv7l-binary
897195bc2aee17bdaf2064db6989b74a9c0e60805d22fddd970aeaf935235d7b test/results/test0104-armv7l-binary
9a9c974c104966882de5be4a68d85cf88f7cdfb4c95ae9dcfabe58b2c8232bb1 test/results/test0104-x86-binary
f13054e49236e290ec195fef13c6d320a124f6cb883e406da695819bf64a580f test/results/test0105-aarch64-binary
a498d43b19327f1342cb54e698db9fb237901ed0ab04890241bed00ff23eddbc test/results/test0105-amd64-binary
450ca9e7a1786c6f8ee55efd27a0006f991277f16965f6ada14d6e7df15b40f8 test/results/test0105-armv7l-binary
27af6c30cdf0e411edacbff6dc5c00f1b0d3b67e8a7923ebc8385bcb4486f4df test/results/test0105-armv7l-binary
f8ed88b69c3388c73a24b82702be0df9b06e06a8132ed9b75aed5aa8260f3b2d test/results/test0105-x86-binary
682b63f332ee299bf4afb91356004b96a223e309dc44a7efeb1cbcd9f21aeb4c test/results/test0106-aarch64-binary
32a2990df4a353f5abf27b4cf9577f9e8b500270ebac0f6aa8c6a78c7f4856cb test/results/test0106-amd64-binary
a2a83f42119e646b389b98647cf6cf2aa9597185997c9453db746178c8c4c0bf test/results/test0106-armv7l-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
3ba8be4a53844e217e6627af7c3cd52dec41847b40d4562c1e2c9bf603dd91c6 test/results/test1000-aarch64-binary
3373cb26f5cc2f7c2c9ea131c056627dabe21e73ad2d59798e8bfa2ad481f55f test/results/test1000-amd64-binary
b6723d3d1e4675bb4c09e71fdc3086918886a52d70a524197fc205a8bd260718 test/results/test1000-armv7l-binary
6758132c2e7df529068196e1d58c8f2fbd517ba4e0c270aeadef050fa61af466 test/results/test1000-knight-posix-binary
22495e17827c83852a3a888e0672baef277bc1cb4f62d3fd584d0d0fe10fc1e1 test/results/test1000-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

View File

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