Merge pull request #6521 from ethereum/type_conv_yul-6479

Yul Generation: conversions
This commit is contained in:
chriseth
2019-04-25 14:29:37 +02:00
committed by GitHub
8 changed files with 139 additions and 18 deletions
@@ -0,0 +1,10 @@
contract C {
function f() public pure returns (uint16 x) {
uint8 y = uint8(0x12345678);
x = y;
}
}
// ====
// compileViaYul: true
// ----
// f() -> 0x78
@@ -0,0 +1,12 @@
contract C {
function f(bytes32 b) public pure returns (bytes32 x) {
x = b;
}
function g() public pure returns (bytes32 x) {
x = f(bytes4(uint32(0x12345678)));
}
}
// ====
// compileViaYul: true
// ----
// g() -> 0x1234567800000000000000000000000000000000000000000000000000000000
@@ -0,0 +1,10 @@
contract C {
function f(uint a) public pure returns (uint8 x) {
uint8 b = uint8(a);
x = b;
}
}
// ====
// compileViaYul: true
// ----
// f(uint256): 0x12345678 -> 0x78
@@ -0,0 +1,14 @@
// Tests IRGeneratorForStatements::visit(Assignment const& _assignment)
contract C {
function f() public pure returns (uint16 x) {
uint8 y;
assembly {
y := 0x12345678
}
x = y;
}
}
// ====
// compileViaYul: true
// ----
// f() -> 0x78
@@ -0,0 +1,17 @@
// IRGeneratorForStatements::visit(FunctionCall const& _functionCall)
contract C {
function f(uint b) public pure returns (uint x) {
x = b;
}
function g() public pure returns (uint x) {
uint8 a;
assembly {
a := 0x12345678
}
x = f(a);
}
}
// ====
// compileViaYul: true
// ----
// g() -> 0x78
@@ -0,0 +1,13 @@
// IRGeneratorForStatements::visit(VariableDeclarationStatement const& _varDeclStatement)
contract C {
function f() public pure returns (uint y) {
uint8 a;
assembly { a := 0x12345678 }
uint z = a;
y = z;
}
}
// ====
// compileViaYul: true
// ----
// f() -> 0x78