cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Use proper type in conditional simplifier.

Browse Source
This commit is contained in:
chriseth 2020-02-05 13:05:52 +01:00
parent 686b62b585
commit edfd30bcb7
10 changed files with 47 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
libyul/optimiser/ConditionalSimplifier.cpp
View File

@ -79,9 +79,9 @@ void ConditionalSimplifier::operator()(Block& _block)
{Identifier{location, condition}},
make_unique<Expression>(Literal{
location,
LiteralKind::Number,
"0"_yulstring,
{}
LiteralKind::Boolean,
"false"_yulstring,
m_dialect.boolType
})
}
);

18
test/libyul/yulOptimizerTests/conditionalSimplifier/add_correct_type.yul Normal file
View File

@ -0,0 +1,18 @@
{
let y:bool := false
for {} true { } {
if y { break }
}
}
// ====
// dialect: yul
// step: conditionalSimplifier
// ----
// {
// let y:bool := false
// for { } true { }
// {
// if y { break }
// y := false
// }
// }

18
test/libyul/yulOptimizerTests/conditionalSimplifier/add_correct_type_wasm.yul Normal file
View File

@ -0,0 +1,18 @@
{
let y:i32 := 0:i32
for {} true { } {
if y { break }
}
}
// ====
// dialect: ewasm
// step: conditionalSimplifier
// ----
// {
// let y:i32 := 0:i32
// for { } true { }
// {
// if y { break }
// y := false
// }
// }

2
test/libyul/yulOptimizerTests/conditionalSimplifier/clear_after_if_break.yul
View File

@ -12,6 +12,6 @@
// for { } and(y, 8) { pop(y) }
// {
// if y { break }
// y := 0
// y := false
// }
// }

2
test/libyul/yulOptimizerTests/conditionalSimplifier/clear_after_if_continue.yul
View File

@ -12,6 +12,6 @@
// for { } and(y, 8) { pop(y) }
// {
// if y { continue }
// y := 0
// y := false
// }
// }

4
test/libyul/yulOptimizerTests/conditionalSimplifier/clear_before_for_condition.yul
View File

@ -14,9 +14,9 @@
// let x := mload(0)
// let y := mload(0)
// if x { revert(0, 0) }
// x := 0
// x := false
// if y { revert(0, 0) }
// y := 0
// y := false
// for { } and(x, y) { }
// { x := 2 }
// }

2
test/libyul/yulOptimizerTests/conditionalSimplifier/clear_before_for_post.yul
View File

@ -16,7 +16,7 @@
// for { } x { sstore(1, x) }
// {
// if x { continue }
// x := 0
// x := false
// sstore(0, x)
// }
// sstore(0, x)

2
test/libyul/yulOptimizerTests/conditionalSimplifier/no_opt_if_break_is_not_last.yul
View File

@ -26,7 +26,7 @@
// sstore(7, 8)
// break
// }
// x := 0
// x := false
// sstore(10, x)
// }
// }

2
test/libyul/yulOptimizerTests/conditionalSimplifier/opt_after_terminating_if.yul
View File

@ -13,6 +13,6 @@
// sstore(0, x)
// revert(0, 0)
// }
// x := 0
// x := false
// sstore(1, x)
// }

2
test/libyul/yulOptimizerTests/fullSuite/clear_after_if_continue.yul
View File

@ -24,7 +24,7 @@
// }
// {
// if y { continue }
// sstore(1, 0)
// sstore(1, false)
// }
// if y { revert(0, 0) }
// }