[Bug][move-compiler-v2] MOVELOC_UNAVAILABLE_ERROR related bugs raised by V2

[zzjas]

🐛 Bug

To reproduce

Try to compile the following code with MVC_EXP=ast-simplify=off aptos move compile --compiler-version v2 --language-version 2 or MVC_EXP=optimize=off aptos move compile --compiler-version v2 --language-version 2.

Code snippet to reproduce

module 0xCAFE::Module1 {
    struct Struct3 has drop, copy {
        var32: u16,
        var33: u32,
        var34: u8,
        var35: u32,
        var36: u32,
    }

    public fun function6(): Struct3 {
        let var44: u16 =  21859u16;
        let var45: u32 =  1399722001u32;
        Struct3 {
            var32: var44,
            var33: var45,
            var34: 154u8,
            var35: var45,
            var36: var45,
        }
    }
}

Stack trace/error message

bug: bytecode verification failed with unexpected status code `MOVELOC_UNAVAILABLE_ERROR`. This is a compiler bug, consider reporting it.
   ┌─ ~/debug_package/sources/0.move:13:9
   │  
14 │ ╭         Struct3 {
15 │ │             var32: var44,
16 │ │             var33: var45,
17 │ │             var34: 154u8,
18 │ │             var35: var45,
19 │ │             var36: var45,
20 │ │         }
   │ ╰─────────^

{
  "Error": "Move compilation failed: exiting with bytecode verification errors"
}

Expected Behavior

It should compile as it does with aptos move compile and aptos move compile --compiler-version v2 --language-version 2.

Additional context

If the last use of var45 is changed to some number literal, it will compile fine: e.g.

...
            var36: 1399722001u32,
...

[zzjas]

The fuzzer found another MOVELOC_UNAVAILABLE_ERROR case:

module 0xCAFE::Module0 {
    public fun function2<T1: drop + store> (var3: T1, var4: T1): T1 {
        if (((var3 == var3) && if (true)  { false } else { true }))  {
        } else {};
        var4
    }
}

Compiling with aptos move compile gives:

error[E06002]: use of unassigned variable
  ┌─ ~/debug_package/sources/repro.move:3:23
  │
3 │         if (((var3 == var3) && if (true)  { false } else { true }))  {
  │               ----    ^^^^ Invalid usage of previously moved variable 'var3'.
  │               │        
  │               The value of 'var3' was previously moved here.
  │               Suggestion: use 'copy var3' to avoid the move.

Compiling with aptos move compile --compiler-version v2 --language-version 2 gives:

bug: bytecode verification failed with unexpected status code `MOVELOC_UNAVAILABLE_ERROR`. This is a compiler bug, consider reporting it.
  ┌─ ~/debug_package/sources/repro.move:3:14
  │
3 │         if (((var3 == var3) && if (true)  { false } else { true }))  {
  │              ^^^^^^^^^^^^^^