1 files changed, 12 insertions, 0 deletions
diff --git a/test/libyul/yulOptimizerTests/fullSimplify/signextend.yul b/test/libyul/yulOptimizerTests/fullSimplify/signextend.yul
new file mode 100644
index 00000000..714eb860
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/fullSimplify/signextend.yul
@@ -0,0 +1,12 @@
+{
+  let x := 7
+  mstore(0, signextend(50, x))
+  let y := 255
+  mstore(1, signextend(0, y))
+}
+// ----
+// fullSimplify
+// {
+//     mstore(0, 7)
+//     mstore(1, 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff)
+// }