trivial.txt

; start LHS (in $2)
%0:i32 = var
%1 = shl %0, 3:i32
%2 = add %1, 461288:i32
%3 = add %2, 8:i32
infer %3

trivial.wast

(module
 (type $0 (func (param i32)))
 (type $1 (func (param i32 i32 i32) (result i32)))
 (import "env" "memory" (memory $0 4096))
 (func $0 (; 0 ;) (type $0) (param $var$0 i32)
  (unreachable)
 )
 (func $1 (; 1 ;) (type $1) (param $var$0 i32) (param $var$1 i32) (param $var$2 i32) (result i32)
  (unreachable)
 )
 (func $2 (; 2 ;) (type $0) (param $var$0 i32)
  (local $var$1 i32)
  (local $var$2 i32)
  (local $var$3 i32)
  (local $var$4 i32)
  (set_local $var$4
   (block $label$1 (result i32)
    (block $label$2
     (if
      (i32.const 0)
      (block
       (set_local $var$0
        (i32.add
         (i32.shl
          (tee_local $var$4
           (i32.shr_u
            (i32.const 1)
            (i32.const 3)
           )
          )
          (i32.const 3)
         )

         (i32.const 461288)

        )
       )
       (br_if $label$2
        (i32.const 0)
       )
       (unreachable)
      )
     )
     (unreachable)
    )
    (i32.store
     (i32.const 461248)
     (i32.or
      (i32.const 1)
      (get_local $var$4)
     )
    )
    (i32.const 1)
   )
  )
  (i32.store
   (i32.add
    (get_local $var$0)
    (i32.const 8)
   )
   (i32.const 0)
  )
 )
)