test/libyul/yulOptimizerTests/fullSimplify/signextend.yul


1
2
3
4
5
6
7
8
9
10
11
12

{
  let x := 7
  mstore(0, signextend(50, x))
  let y := 255
  mstore(1, signextend(0, y))
}
// ----
// fullSimplify
// {
//     mstore(0, 7)
//     mstore(1, 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff)
// }