Semantic tests for User Defined Value types

Author: hrkrshnn

test/libsolidity/semanticTests/userDefinedValueType/calldata.sol

@@ -0,0 +1,57 @@
+type MyAddress is address;
+
+contract C {
+    MyAddress[] addresses;
+    function f(MyAddress[] calldata _addresses) external {
+        for (uint i = 0; i < _addresses.length; i++) {
+            address(_addresses[i]).call("test");
+        }
+        addresses = _addresses;
+    }
+    function g(MyAddress[] memory _addresses) external {
+        for (uint i = 0; i < _addresses.length; i++) {
+            address(_addresses[i]).call("test");
+        }
+        addresses = _addresses;
+    }
+    function test_f() external returns (bool) {
+        clean();
+        MyAddress[] memory test = new MyAddress[](3);
+        test[0] = MyAddress(1);
+        test[1] = MyAddress(2);
+        test[2] = MyAddress(3);
+        this.f(test);
+        test_equality(test);
+        return true;
+    }
+    function test_g() external returns (bool) {
+        clean();
+        MyAddress[] memory test = new MyAddress[](5);
+        test[0] = MyAddress(1);
+        test[1] = MyAddress(2);
+        test[2] = MyAddress(3);
+        test[3] = MyAddress(4);
+        test[4] = MyAddress(5);
+        this.g(test);
+        test_equality(test);
+        return true;
+    }
+    function clean() internal {
+        for (uint i = 0 ; i < addresses.length; i++) {
+            addresses[i] = MyAddress(0);
+        }
+    }
+    function test_equality(MyAddress[] memory _addresses) internal view {
+        require (_addresses.length == addresses.length);
+        for (uint i = 0; i < _addresses.length; i++) {
+            require(address(_addresses[i]) == address(addresses[i]));
+        }
+    }
+}
+// ====
+// compileViaYul: also
+// ----
+// test_f() -> true
+// gas legacy: 96989494
+// test_g() -> FAILURE
+// gas legacy: 98438081

test/libsolidity/semanticTests/userDefinedValueType/parameter.sol

@@ -0,0 +1,24 @@
+type MyAddress is address;
+contract C {
+    function id(MyAddress a) external returns (MyAddress b) {
+        b = a;
+    }
+    function unwrap(MyAddress a) external returns (address b) {
+        b = address(a);
+    }
+    function wrap(address a) external returns (MyAddress b) {
+        b = MyAddress(a);
+    }
+}
+// ====
+// compileViaYul: also
+// ----
+// id(address): 5 -> 5
+// id(address): 0xffffffffffffffffffffffffffffffffffffffff -> 0xffffffffffffffffffffffffffffffffffffffff
+// id(address): 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff -> FAILURE
+// unwrap(address): 5 -> 5
+// unwrap(address): 0xffffffffffffffffffffffffffffffffffffffff -> 0xffffffffffffffffffffffffffffffffffffffff
+// unwrap(address): 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff -> FAILURE
+// wrap(address): 5 -> 5
+// wrap(address): 0xffffffffffffffffffffffffffffffffffffffff -> 0xffffffffffffffffffffffffffffffffffffffff
+// wrap(address): 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff -> FAILURE

test/libsolidity/semanticTests/userDefinedValueType/simple.sol

@@ -0,0 +1,13 @@
+type MyInt is int;
+contract C {
+    function f() external returns (MyInt a) {
+    }
+    function g() external returns (MyInt b) {
+        b = MyInt(int(1));
+    }
+}
+// ====
+// compileViaYul: also
+// ----
+// f() -> 0
+// g() -> 1