Renaming libjulia to libyul

17 files changed, 286 insertions, 0 deletions

diff --git a/test/libyul/yulOptimizerTests/rematerialiser/branches_for1.yul b/test/libyul/yulOptimizerTests/rematerialiser/branches_for1.yul
new file mode 100644
index 00000000..dbd1ee63
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/rematerialiser/branches_for1.yul
@@ -0,0 +1,21 @@
+{
+    let a := 1
+    for { pop(a) } a { pop(a) } {
+        pop(a)
+    }
+}
+// ----
+// rematerialiser
+// {
+//     let a := 1
+//     for {
+//         pop(1)
+//     }
+//     1
+//     {
+//         pop(1)
+//     }
+//     {
+//         pop(1)
+//     }
+// }
diff --git a/test/libyul/yulOptimizerTests/rematerialiser/branches_for2.yul b/test/libyul/yulOptimizerTests/rematerialiser/branches_for2.yul
new file mode 100644
index 00000000..6a52e045
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/rematerialiser/branches_for2.yul
@@ -0,0 +1,25 @@
+{
+    let a := 1
+    for { pop(a) } a { pop(a) } {
+        a := 7
+        let c := a
+    }
+    let x := a
+}
+// ----
+// rematerialiser
+// {
+//     let a := 1
+//     for {
+//         pop(1)
+//     }
+//     a
+//     {
+//         pop(7)
+//     }
+//     {
+//         a := 7
+//         let c := 7
+//     }
+//     let x := a
+// }
diff --git a/test/libyul/yulOptimizerTests/rematerialiser/branches_for_declared_in_init1.yul b/test/libyul/yulOptimizerTests/rematerialiser/branches_for_declared_in_init1.yul
new file mode 100644
index 00000000..fc816419
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/rematerialiser/branches_for_declared_in_init1.yul
@@ -0,0 +1,23 @@
+{
+    let b := 0
+    for { let a := 1 pop(a) } a { pop(a) } {
+        b := 1 pop(a)
+    }
+}
+// ----
+// rematerialiser
+// {
+//     let b := 0
+//     for {
+//         let a := 1
+//         pop(1)
+//     }
+//     1
+//     {
+//         pop(1)
+//     }
+//     {
+//         b := 1
+//         pop(1)
+//     }
+// }
diff --git a/test/libyul/yulOptimizerTests/rematerialiser/branches_for_declared_in_init2.yul b/test/libyul/yulOptimizerTests/rematerialiser/branches_for_declared_in_init2.yul
new file mode 100644
index 00000000..3d916890
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/rematerialiser/branches_for_declared_in_init2.yul
@@ -0,0 +1,24 @@
+{
+    let b := 0
+    for { let a := 1 pop(a) } lt(a, 0) { pop(a) a := add(a, 3) } {
+        b := 1 pop(a)
+    }
+}
+// ----
+// rematerialiser
+// {
+//     let b := 0
+//     for {
+//         let a := 1
+//         pop(1)
+//     }
+//     lt(a, 0)
+//     {
+//         pop(a)
+//         a := add(a, 3)
+//     }
+//     {
+//         b := 1
+//         pop(a)
+//     }
+// }
diff --git a/test/libyul/yulOptimizerTests/rematerialiser/branches_if.yul b/test/libyul/yulOptimizerTests/rematerialiser/branches_if.yul
new file mode 100644
index 00000000..c148c2f2
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/rematerialiser/branches_if.yul
@@ -0,0 +1,18 @@
+{
+    let a := 1
+    let b := 2
+    if b { pop(b) b := a }
+    let c := b
+}
+// ----
+// rematerialiser
+// {
+//     let a := 1
+//     let b := 2
+//     if 2
+//     {
+//         pop(2)
+//         b := 1
+//     }
+//     let c := b
+// }
diff --git a/test/libyul/yulOptimizerTests/rematerialiser/branches_switch.yul b/test/libyul/yulOptimizerTests/rematerialiser/branches_switch.yul
new file mode 100644
index 00000000..8f70a79d
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/rematerialiser/branches_switch.yul
@@ -0,0 +1,24 @@
+{
+    let a := 1
+    let b := 2
+    switch number()
+    case 1 { b := a }
+    default { let x := a let y := b b := a }
+    pop(add(a, b))
+}
+// ----
+// rematerialiser
+// {
+//     let a := 1
+//     let b := 2
+//     switch number()
+//     case 1 {
+//         b := 1
+//     }
+//     default {
+//         let x := 1
+//         let y := b
+//         b := 1
+//     }
+//     pop(add(1, b))
+// }
diff --git a/test/libyul/yulOptimizerTests/rematerialiser/do_not_move_out_of_scope.yul b/test/libyul/yulOptimizerTests/rematerialiser/do_not_move_out_of_scope.yul
new file mode 100644
index 00000000..891a5043
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/rematerialiser/do_not_move_out_of_scope.yul
@@ -0,0 +1,19 @@
+// Cannot replace `let b := x` by `let b := a` since a is out of scope.
+{
+	let x
+	{
+		let a := sload(0)
+		x := a
+	}
+	let b := x
+}
+// ----
+// rematerialiser
+// {
+//     let x
+//     {
+//         let a := sload(0)
+//         x := a
+//     }
+//     let b := x
+// }
diff --git a/test/libyul/yulOptimizerTests/rematerialiser/do_not_remat_large_amounts_of_code1.yul b/test/libyul/yulOptimizerTests/rematerialiser/do_not_remat_large_amounts_of_code1.yul
new file mode 100644
index 00000000..016fa0d7
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/rematerialiser/do_not_remat_large_amounts_of_code1.yul
@@ -0,0 +1,10 @@
+{
+	let x := add(mul(calldataload(2), calldataload(4)), mul(2, calldatasize()))
+	let b := x
+}
+// ----
+// rematerialiser
+// {
+//     let x := add(mul(calldataload(2), calldataload(4)), mul(2, calldatasize()))
+//     let b := x
+// }
diff --git a/test/libyul/yulOptimizerTests/rematerialiser/do_not_remat_large_amounts_of_code2.yul b/test/libyul/yulOptimizerTests/rematerialiser/do_not_remat_large_amounts_of_code2.yul
new file mode 100644
index 00000000..d95dc1fc
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/rematerialiser/do_not_remat_large_amounts_of_code2.yul
@@ -0,0 +1,10 @@
+{
+	let x := add(mul(calldataload(2), calldataload(4)), calldatasize())
+	let b := x
+}
+// ----
+// rematerialiser
+// {
+//     let x := add(mul(calldataload(2), calldataload(4)), calldatasize())
+//     let b := add(mul(calldataload(2), calldataload(4)), calldatasize())
+// }
diff --git a/test/libyul/yulOptimizerTests/rematerialiser/expression.yul b/test/libyul/yulOptimizerTests/rematerialiser/expression.yul
new file mode 100644
index 00000000..a801677d
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/rematerialiser/expression.yul
@@ -0,0 +1,10 @@
+{
+    let a := add(mul(calldatasize(), 2), number())
+    let b := add(a, a)
+}
+// ----
+// rematerialiser
+// {
+//     let a := add(mul(calldatasize(), 2), number())
+//     let b := add(add(mul(calldatasize(), 2), number()), add(mul(calldatasize(), 2), number()))
+// }
diff --git a/test/libyul/yulOptimizerTests/rematerialiser/non_movable_function.yul b/test/libyul/yulOptimizerTests/rematerialiser/non_movable_function.yul
new file mode 100644
index 00000000..9a041dfc
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/rematerialiser/non_movable_function.yul
@@ -0,0 +1,18 @@
+{
+    function f(x) -> y {}
+    let a := 1
+    let b := f(a)
+    let c := a
+    mstore(add(a, b), c)
+}
+// ----
+// rematerialiser
+// {
+//     function f(x) -> y
+//     {
+//     }
+//     let a := 1
+//     let b := f(1)
+//     let c := 1
+//     mstore(add(1, b), 1)
+// }
diff --git a/test/libyul/yulOptimizerTests/rematerialiser/non_movable_instruction.yul b/test/libyul/yulOptimizerTests/rematerialiser/non_movable_instruction.yul
new file mode 100644
index 00000000..8767abc9
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/rematerialiser/non_movable_instruction.yul
@@ -0,0 +1,14 @@
+{
+    let a := 1
+    let b := mload(a)
+    let c := a
+    mstore(add(a, b), c)
+}
+// ----
+// rematerialiser
+// {
+//     let a := 1
+//     let b := mload(1)
+//     let c := 1
+//     mstore(add(1, b), 1)
+// }
diff --git a/test/libyul/yulOptimizerTests/rematerialiser/reassign.yul b/test/libyul/yulOptimizerTests/rematerialiser/reassign.yul
new file mode 100644
index 00000000..47124658
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/rematerialiser/reassign.yul
@@ -0,0 +1,21 @@
+{
+    let a := extcodesize(0)
+    let b := a
+    let c := b
+    a := 2
+    let d := add(b, c)
+    pop(a) pop(b) pop(c) pop(d)
+}
+// ----
+// rematerialiser
+// {
+//     let a := extcodesize(0)
+//     let b := a
+//     let c := a
+//     a := 2
+//     let d := add(b, c)
+//     pop(2)
+//     pop(b)
+//     pop(c)
+//     pop(add(b, c))
+// }
diff --git a/test/libyul/yulOptimizerTests/rematerialiser/reassignment.yul b/test/libyul/yulOptimizerTests/rematerialiser/reassignment.yul
new file mode 100644
index 00000000..13238780
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/rematerialiser/reassignment.yul
@@ -0,0 +1,19 @@
+{
+    let a := 1
+    pop(a)
+    if a { a := 2 }
+    let b := mload(a)
+    pop(b)
+}
+// ----
+// rematerialiser
+// {
+//     let a := 1
+//     pop(1)
+//     if 1
+//     {
+//         a := 2
+//     }
+//     let b := mload(a)
+//     pop(b)
+// }
diff --git a/test/libyul/yulOptimizerTests/rematerialiser/smoke.yul b/test/libyul/yulOptimizerTests/rematerialiser/smoke.yul
new file mode 100644
index 00000000..2423db32
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/rematerialiser/smoke.yul
@@ -0,0 +1,5 @@
+{}
+// ----
+// rematerialiser
+// {
+// }
diff --git a/test/libyul/yulOptimizerTests/rematerialiser/trivial.yul b/test/libyul/yulOptimizerTests/rematerialiser/trivial.yul
new file mode 100644
index 00000000..d29ea98a
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/rematerialiser/trivial.yul
@@ -0,0 +1,12 @@
+{
+    let a := 1
+    let b := a
+    mstore(0, b)
+}
+// ----
+// rematerialiser
+// {
+//     let a := 1
+//     let b := 1
+//     mstore(0, 1)
+// }
diff --git a/test/libyul/yulOptimizerTests/rematerialiser/update_asignment_remat.yul b/test/libyul/yulOptimizerTests/rematerialiser/update_asignment_remat.yul
new file mode 100644
index 00000000..7d35fee0
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/rematerialiser/update_asignment_remat.yul
@@ -0,0 +1,13 @@
+// We cannot substitute `a` in `let b := a`
+{
+	let a := extcodesize(0)
+	a := mul(a, 2)
+	let b := a
+}
+// ----
+// rematerialiser
+// {
+//     let a := extcodesize(0)
+//     a := mul(a, 2)
+//     let b := a
+// }