test/passes/optimize-instructions.txt

(module
  (type $0 (func (param i32 i64)))
  (type $1 (func))
  (memory $0 0)
  (func $f (type $0) (param $i1 i32) (param $i2 i64)
    (if
      (i32.eqz
        (get_local $i1)
      )
      (drop
        (i32.const 10)
      )
    )
    (if
      (get_local $i1)
      (drop
        (i32.const 12)
      )
      (drop
        (i32.const 11)
      )
    )
    (if
      (i64.eqz
        (get_local $i2)
      )
      (drop
        (i32.const 11)
      )
      (drop
        (i32.const 12)
      )
    )
    (drop
      (i32.le_s
        (i32.const 1)
        (i32.const 2)
      )
    )
    (drop
      (i32.lt_s
        (i32.const 1)
        (i32.const 2)
      )
    )
    (drop
      (i32.ge_s
        (i32.const 1)
        (i32.const 2)
      )
    )
    (drop
      (i32.gt_s
        (i32.const 1)
        (i32.const 2)
      )
    )
    (drop
      (i32.le_u
        (i32.const 1)
        (i32.const 2)
      )
    )
    (drop
      (i32.lt_u
        (i32.const 1)
        (i32.const 2)
      )
    )
    (drop
      (i32.ge_u
        (i32.const 1)
        (i32.const 2)
      )
    )
    (drop
      (i32.gt_u
        (i32.const 1)
        (i32.const 2)
      )
    )
    (drop
      (i32.eqz
        (f32.gt
          (f32.const 1)
          (f32.const 2)
        )
      )
    )
    (drop
      (i32.eqz
        (f32.ge
          (f32.const 1)
          (f32.const 2)
        )
      )
    )
    (drop
      (i32.eqz
        (f32.lt
          (f32.const 1)
          (f32.const 2)
        )
      )
    )
    (drop
      (i32.eqz
        (f32.le
          (f32.const 1)
          (f32.const 2)
        )
      )
    )
    (drop
      (i32.eqz
        (f64.gt
          (f64.const 1)
          (f64.const 2)
        )
      )
    )
    (drop
      (i32.eqz
        (f64.ge
          (f64.const 1)
          (f64.const 2)
        )
      )
    )
    (drop
      (i32.eqz
        (f64.lt
          (f64.const 1)
          (f64.const 2)
        )
      )
    )
    (drop
      (i32.eqz
        (f64.le
          (f64.const 1)
          (f64.const 2)
        )
      )
    )
    (drop
      (f32.ne
        (f32.const 1)
        (f32.const 2)
      )
    )
    (drop
      (f32.eq
        (f32.const 1)
        (f32.const 2)
      )
    )
    (drop
      (f64.ne
        (f64.const 1)
        (f64.const 2)
      )
    )
    (drop
      (f64.eq
        (f64.const 1)
        (f64.const 2)
      )
    )
    (drop
      (i32.eqz
        (i32.const 100)
      )
    )
    (drop
      (i32.eqz
        (i32.const 100)
      )
    )
    (drop
      (i32.eqz
        (i32.const 0)
      )
    )
    (if
      (i32.const 123)
      (nop)
    )
    (drop
      (select
        (i32.const 102)
        (i32.const 101)
        (get_local $i1)
      )
    )
    (drop
      (select
        (tee_local $i1
          (i32.const 103)
        )
        (tee_local $i1
          (i32.const 104)
        )
        (i32.eqz
          (get_local $i1)
        )
      )
    )
    (drop
      (select
        (i32.const 0)
        (i32.const 1)
        (i32.const 2)
      )
    )
  )
  (func $load-store (type $1)
    (drop
      (i32.load8_u
        (i32.const 0)
      )
    )
    (drop
      (i32.load8_u
        (i32.const 1)
      )
    )
    (drop
      (i32.and
        (i32.load8_s
          (i32.const 2)
        )
        (i32.const 254)
      )
    )
    (drop
      (i32.and
        (i32.load8_u
          (i32.const 3)
        )
        (i32.const 1)
      )
    )
    (drop
      (i32.load16_u
        (i32.const 4)
      )
    )
    (drop
      (i32.load16_u
        (i32.const 5)
      )
    )
    (drop
      (i32.and
        (i32.load16_s
          (i32.const 6)
        )
        (i32.const 65534)
      )
    )
    (drop
      (i32.and
        (i32.load16_u
          (i32.const 7)
        )
        (i32.const 1)
      )
    )
    (i32.store8
      (i32.const 8)
      (i32.const -1)
    )
    (i32.store8
      (i32.const 9)
      (i32.and
        (i32.const -2)
        (i32.const 254)
      )
    )
    (i32.store16
      (i32.const 10)
      (i32.const -3)
    )
    (i32.store16
      (i32.const 11)
      (i32.and
        (i32.const -4)
        (i32.const 65534)
      )
    )
  )
  (func $and-neg1 (type $1)
    (drop
      (i32.const 100)
    )
    (drop
      (i32.and
        (i32.const 100)
        (i32.const 1)
      )
    )
  )
)