[isoltest] Add support to query balance.

Author: aarlt

test/libsolidity/SemanticTest.cpp

@@ -125,6 +125,17 @@ void SemanticTest::initializeBuiltins()
 	{
 		return util::toBigEndian(u256(0x1234));
 	};
+	soltestAssert(m_builtins.count("balance") == 0, "");
+	m_builtins["balance"] = [this](FunctionCall const& _call) -> std::optional<bytes>
+	{
+		soltestAssert(_call.arguments.parameters.size() <= 1, "Account address expected.");
+		h160 address;
+		if (_call.arguments.parameters.size() == 1)
+			address = h160(_call.arguments.parameters.at(0).rawString);
+		else
+			address = m_contractAddress;
+		return util::toBigEndian(SolidityExecutionFramework::balanceAt(address));
+	};
 	soltestAssert(m_builtins.count("storageEmpty") == 0, "");
 	m_builtins["storageEmpty"] = [this](FunctionCall const& _call) -> std::optional<bytes>
 	{

test/libsolidity/semanticTests/isoltestTesting/balance_other_contract.sol

@@ -0,0 +1,29 @@
+contract Other {
+    constructor() payable {
+    }
+    function getAddress() public returns (address) {
+        return address(this);
+    }
+}
+contract ClientReceipt {
+    Other other;
+    constructor() payable {
+        other = new Other{value:500}();
+    }
+    function getAddress() public returns (address) {
+        return other.getAddress();
+    }
+}
+// ====
+// compileViaYul: also
+// ----
+// constructor(), 2000 wei ->
+// gas irOptimized: 191881
+// gas legacy: 235167
+// gas legacyOptimized: 180756
+// balance -> 1500
+// gas irOptimized: 191881
+// gas legacy: 235167
+// gas legacyOptimized: 180756
+// getAddress() -> 0xf01f7809444bd9a93a854361c6fae3f23d9e23db
+// balance: 0xf01f7809444bd9a93a854361c6fae3f23d9e23db -> 500

test/libsolidity/semanticTests/isoltestTesting/balance_with_balance.sol

@@ -0,0 +1,8 @@
+contract ClientReceipt {
+    constructor() payable {}
+}
+// ====
+// compileViaYul: also
+// ----
+// constructor(), 1000 wei ->
+// balance -> 1000

test/libsolidity/semanticTests/isoltestTesting/balance_with_balance2.sol

@@ -0,0 +1,8 @@
+contract ClientReceipt {
+    constructor() payable {}
+}
+// ====
+// compileViaYul: also
+// ----
+// constructor(), 1 ether ->
+// balance -> 1000000000000000000

test/libsolidity/semanticTests/isoltestTesting/balance_without_balance.sol

@@ -0,0 +1,7 @@
+contract ClientReceipt {
+}
+// ====
+// compileViaYul: also
+// ----
+// balance -> 0
+// balance: 0x0000000000000000000000000000000000000000 -> 0

test/libsolidity/semanticTests/builtins/smoke_test.sol test/libsolidity/semanticTests/isoltestTesting/smoke_test.sol

@@ -8,14 +8,10 @@ contract C {
     function msgvalue() internal returns (uint) {
         return msg.value;
     }
-    // TODO: remove this helper function once isoltest supports balance checking
-    function balance() external returns (uint) {
-        return address(this).balance;
-    }
 }
 // ====
 // compileViaYul: also
 // compileToEwasm: also
 // ----
 // f(), 27 wei -> FAILURE
-// balance() -> 0
+// balance -> 0

test/libsolidity/semanticTests/builtins/storage/storage_empty.sol test/libsolidity/semanticTests/isoltestTesting/storage/storage_empty.sol

@@ -15,6 +15,6 @@ contract C {
 // ----
 // constructor(), 2 wei: 3 ->
 // state() -> 3
-// balance() -> 2
+// balance -> 2
 // update(uint256): 4
 // state() -> 4

test/libsolidity/semanticTests/builtins/storage/storage_nonempty.sol test/libsolidity/semanticTests/isoltestTesting/storage/storage_nonempty.sol

@@ -9,18 +9,18 @@ contract A {
     }
 }
 // ====
-// compileViaYul: also
 // compileToEwasm: also
+// compileViaYul: also
 // ----
 // data() -> 0
 // ()
 // data() -> 1
 // (): hex"42ef"
 // data() -> 2
 // externalData() -> 0x20, 2, left(0x42ef)
-// balance() -> 0
+// balance -> 0
 // (), 1 wei
-// balance() -> 1
+// balance -> 1
 // (), 2 wei: hex"fefe"
-// balance() -> 2
+// balance -> 3
 // externalData() -> 0x20, 2, left(0xfefe)