Test erc20

cairo1/darwin_arm64/corelib/src/lib.cairo

@@ -413,3 +413,13 @@ mod test;
 // Modules for testing only.
 mod testing;
 mod starknet_testing;
+
+mod warplib;
+use warplib::get_u128_try_from_felt_result;
+use warplib::u256_from_felts;
+
+use warplib::maths::warp_add256;
+use warplib::maths::warp_external_input_check_address;
+use warplib::maths::warp_external_input_check_int256;
+use warplib::maths::warp_ge256;
+use warplib::maths::warp_sub_unsafe256;

cairo1/darwin_arm64/corelib/src/warplib.cairo

@@ -0,0 +1,10 @@
+mod integer;
+use integer::get_u128_try_from_felt_result;
+use integer::u256_from_felts;
+
+mod maths;
+use maths::warp_add256;
+use maths::warp_external_input_check_address;
+use maths::warp_external_input_check_int256;
+use maths::warp_ge256;
+use maths::warp_sub_unsafe256;

cairo1/darwin_arm64/corelib/src/warplib/integer.cairo

@@ -0,0 +1,15 @@
+use integer::u128_try_from_felt;
+use option::OptionTrait;
+
+fn u256_from_felts(low_felt: felt, high_felt: felt) -> u256 {
+    let low_u128: u128 = get_u128_try_from_felt_result(low_felt);
+    let high_u128: u128 = get_u128_try_from_felt_result(high_felt);
+    return u256{ low: low_u128, high: high_u128 };
+}
+
+fn get_u128_try_from_felt_result(value: felt) -> u128 {
+    let resp = u128_try_from_felt(value);
+    assert(resp.is_some(), 'Felts too large for u256');
+    return resp.unwrap();
+}
+

cairo1/darwin_arm64/corelib/src/warplib/maths.cairo

@@ -0,0 +1,10 @@
+mod add;
+use add::warp_add256;
+mod external_input_check_address;
+use external_input_check_address::warp_external_input_check_address;
+mod external_input_check_ints;
+use external_input_check_ints::warp_external_input_check_int256;
+mod ge;
+use ge::warp_ge256;
+mod sub_unsafe;
+use sub_unsafe::warp_sub_unsafe256;

cairo1/darwin_arm64/corelib/src/warplib/maths/add.cairo

@@ -0,0 +1,192 @@
+//AUTO-GENERATED
+
+
+fn warp_add8(lhs: felt, rhs: felt) -> felt{
+    let res = lhs + rhs;
+    let max: felt = 0xff;
+    assert (res <= max, 'Value out of bounds');
+    return res;
+}
+fn warp_add16(lhs: felt, rhs: felt) -> felt{
+    let res = lhs + rhs;
+    let max: felt = 0xffff;
+    assert (res <= max, 'Value out of bounds');
+    return res;
+}
+fn warp_add24(lhs: felt, rhs: felt) -> felt{
+    let res = lhs + rhs;
+    let max: felt = 0xffffff;
+    assert (res <= max, 'Value out of bounds');
+    return res;
+}
+fn warp_add32(lhs: felt, rhs: felt) -> felt{
+    let res = lhs + rhs;
+    let max: felt = 0xffffffff;
+    assert (res <= max, 'Value out of bounds');
+    return res;
+}
+fn warp_add40(lhs: felt, rhs: felt) -> felt{
+    let res = lhs + rhs;
+    let max: felt = 0xffffffffff;
+    assert (res <= max, 'Value out of bounds');
+    return res;
+}
+fn warp_add48(lhs: felt, rhs: felt) -> felt{
+    let res = lhs + rhs;
+    let max: felt = 0xffffffffffff;
+    assert (res <= max, 'Value out of bounds');
+    return res;
+}
+fn warp_add56(lhs: felt, rhs: felt) -> felt{
+    let res = lhs + rhs;
+    let max: felt = 0xffffffffffffff;
+    assert (res <= max, 'Value out of bounds');
+    return res;
+}
+fn warp_add64(lhs: felt, rhs: felt) -> felt{
+    let res = lhs + rhs;
+    let max: felt = 0xffffffffffffffff;
+    assert (res <= max, 'Value out of bounds');
+    return res;
+}
+fn warp_add72(lhs: felt, rhs: felt) -> felt{
+    let res = lhs + rhs;
+    let max: felt = 0xffffffffffffffffff;
+    assert (res <= max, 'Value out of bounds');
+    return res;
+}
+fn warp_add80(lhs: felt, rhs: felt) -> felt{
+    let res = lhs + rhs;
+    let max: felt = 0xffffffffffffffffffff;
+    assert (res <= max, 'Value out of bounds');
+    return res;
+}
+fn warp_add88(lhs: felt, rhs: felt) -> felt{
+    let res = lhs + rhs;
+    let max: felt = 0xffffffffffffffffffffff;
+    assert (res <= max, 'Value out of bounds');
+    return res;
+}
+fn warp_add96(lhs: felt, rhs: felt) -> felt{
+    let res = lhs + rhs;
+    let max: felt = 0xffffffffffffffffffffffff;
+    assert (res <= max, 'Value out of bounds');
+    return res;
+}
+fn warp_add104(lhs: felt, rhs: felt) -> felt{
+    let res = lhs + rhs;
+    let max: felt = 0xffffffffffffffffffffffffff;
+    assert (res <= max, 'Value out of bounds');
+    return res;
+}
+fn warp_add112(lhs: felt, rhs: felt) -> felt{
+    let res = lhs + rhs;
+    let max: felt = 0xffffffffffffffffffffffffffff;
+    assert (res <= max, 'Value out of bounds');
+    return res;
+}
+fn warp_add120(lhs: felt, rhs: felt) -> felt{
+    let res = lhs + rhs;
+    let max: felt = 0xffffffffffffffffffffffffffffff;
+    assert (res <= max, 'Value out of bounds');
+    return res;
+}
+fn warp_add128(lhs: felt, rhs: felt) -> felt{
+    let res = lhs + rhs;
+    let max: felt = 0xffffffffffffffffffffffffffffffff;
+    assert (res <= max, 'Value out of bounds');
+    return res;
+}
+fn warp_add136(lhs: felt, rhs: felt) -> felt{
+    let res = lhs + rhs;
+    let max: felt = 0xffffffffffffffffffffffffffffffffff;
+    assert (res <= max, 'Value out of bounds');
+    return res;
+}
+fn warp_add144(lhs: felt, rhs: felt) -> felt{
+    let res = lhs + rhs;
+    let max: felt = 0xffffffffffffffffffffffffffffffffffff;
+    assert (res <= max, 'Value out of bounds');
+    return res;
+}
+fn warp_add152(lhs: felt, rhs: felt) -> felt{
+    let res = lhs + rhs;
+    let max: felt = 0xffffffffffffffffffffffffffffffffffffff;
+    assert (res <= max, 'Value out of bounds');
+    return res;
+}
+fn warp_add160(lhs: felt, rhs: felt) -> felt{
+    let res = lhs + rhs;
+    let max: felt = 0xffffffffffffffffffffffffffffffffffffffff;
+    assert (res <= max, 'Value out of bounds');
+    return res;
+}
+fn warp_add168(lhs: felt, rhs: felt) -> felt{
+    let res = lhs + rhs;
+    let max: felt = 0xffffffffffffffffffffffffffffffffffffffffff;
+    assert (res <= max, 'Value out of bounds');
+    return res;
+}
+fn warp_add176(lhs: felt, rhs: felt) -> felt{
+    let res = lhs + rhs;
+    let max: felt = 0xffffffffffffffffffffffffffffffffffffffffffff;
+    assert (res <= max, 'Value out of bounds');
+    return res;
+}
+fn warp_add184(lhs: felt, rhs: felt) -> felt{
+    let res = lhs + rhs;
+    let max: felt = 0xffffffffffffffffffffffffffffffffffffffffffffff;
+    assert (res <= max, 'Value out of bounds');
+    return res;
+}
+fn warp_add192(lhs: felt, rhs: felt) -> felt{
+    let res = lhs + rhs;
+    let max: felt = 0xffffffffffffffffffffffffffffffffffffffffffffffff;
+    assert (res <= max, 'Value out of bounds');
+    return res;
+}
+fn warp_add200(lhs: felt, rhs: felt) -> felt{
+    let res = lhs + rhs;
+    let max: felt = 0xffffffffffffffffffffffffffffffffffffffffffffffffff;
+    assert (res <= max, 'Value out of bounds');
+    return res;
+}
+fn warp_add208(lhs: felt, rhs: felt) -> felt{
+    let res = lhs + rhs;
+    let max: felt = 0xffffffffffffffffffffffffffffffffffffffffffffffffffff;
+    assert (res <= max, 'Value out of bounds');
+    return res;
+}
+fn warp_add216(lhs: felt, rhs: felt) -> felt{
+    let res = lhs + rhs;
+    let max: felt = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffff;
+    assert (res <= max, 'Value out of bounds');
+    return res;
+}
+fn warp_add224(lhs: felt, rhs: felt) -> felt{
+    let res = lhs + rhs;
+    let max: felt = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff;
+    assert (res <= max, 'Value out of bounds');
+    return res;
+}
+fn warp_add232(lhs: felt, rhs: felt) -> felt{
+    let res = lhs + rhs;
+    let max: felt = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffff;
+    assert (res <= max, 'Value out of bounds');
+    return res;
+}
+fn warp_add240(lhs: felt, rhs: felt) -> felt{
+    let res = lhs + rhs;
+    let max: felt = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff;
+    assert (res <= max, 'Value out of bounds');
+    return res;
+}
+fn warp_add248(lhs: felt, rhs: felt) -> felt{
+    let res = lhs + rhs;
+    let max: felt = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff;
+    assert (res <= max, 'Value out of bounds');
+    return res;
+}
+fn warp_add256(lhs: u256, rhs: u256) -> u256{
+    return lhs + rhs;
+}