[move compiler] [CSE Step 3] add test cases for CSE

Author: junxzm1990

third_party/move/move-compiler-v2/tests/common-subexp-elimination/not-optimized/field_access.move

@@ -0,0 +1,32 @@
+module 0x99::FiledAccess {
+    struct Inner has copy, drop {
+        value: u64,
+    }
+
+    struct Outer has copy, drop {
+        inner: Inner,
+    }
+
+    fun get_value(outer: &Outer): u64 {
+        outer.inner.value
+    }
+
+    fun set_value(outer: &mut Outer, new_value: u64) {
+        outer.inner.value = new_value;
+    }
+
+    // `arg1.inner.value` cannot be reused due to the mutation between the two accesses
+    fun test_field_access(arg1: Outer, arg2: u64): u64 {
+        let x = arg1.inner.value;
+        arg1.inner.value += 1;
+        x + arg2 + arg1.inner.value
+    }
+
+    // `arg1.inner.value` cannot be reused due to the mutation between the two accesses
+    fun test_field_access_ref(arg1: Outer, arg2: u64): u64 {
+        let x = arg1.inner.value;
+        let ref = &mut arg1.inner.value;
+        *ref += 1;
+        x + arg2 + arg1.inner.value
+    }
+}

third_party/move/move-compiler-v2/tests/common-subexp-elimination/not-optimized/field_access.off.exp

@@ -0,0 +1,93 @@
+
+============ disassembled file-format ==================
+// Bytecode version v9
+module 0x99::FiledAccess
+struct Inner has copy + drop
+  value: u64
+
+struct Outer has copy + drop
+  inner: Inner
+
+// Function definition at index 0
+fun get_value(l0: &Outer): u64
+    move_loc l0
+    borrow_field Outer, inner
+    borrow_field Inner, value
+    read_ref
+    ret
+
+// Function definition at index 1
+fun set_value(l0: &mut Outer, l1: u64)
+    local l2: &mut u64
+    move_loc l0
+    mut_borrow_field Outer, inner
+    mut_borrow_field Inner, value
+    st_loc l2
+    move_loc l1
+    // @5
+    move_loc l2
+    write_ref
+    ret
+
+// Function definition at index 2
+fun test_field_access(l0: Outer, l1: u64): u64
+    local l2: &mut u64
+    borrow_loc l0
+    borrow_field Outer, inner
+    borrow_field Inner, value
+    read_ref
+    mut_borrow_loc l0
+    // @5
+    mut_borrow_field Outer, inner
+    mut_borrow_field Inner, value
+    st_loc l2
+    copy_loc l2
+    read_ref
+    // @10
+    ld_u64 1
+    add
+    move_loc l2
+    write_ref
+    move_loc l1
+    // @15
+    add
+    borrow_loc l0
+    borrow_field Outer, inner
+    borrow_field Inner, value
+    read_ref
+    // @20
+    add
+    ret
+
+// Function definition at index 3
+fun test_field_access_ref(l0: Outer, l1: u64): u64
+    local l2: &mut u64
+    borrow_loc l0
+    borrow_field Outer, inner
+    borrow_field Inner, value
+    read_ref
+    mut_borrow_loc l0
+    // @5
+    mut_borrow_field Outer, inner
+    mut_borrow_field Inner, value
+    st_loc l2
+    copy_loc l2
+    read_ref
+    // @10
+    ld_u64 1
+    add
+    move_loc l2
+    write_ref
+    move_loc l1
+    // @15
+    add
+    borrow_loc l0
+    borrow_field Outer, inner
+    borrow_field Inner, value
+    read_ref
+    // @20
+    add
+    ret
+
+
+============ bytecode verification succeeded ========