test/two_sides.fromasm.imprecise

(module
 (type $i32_i32_i32_i32_i32_=>_i32 (func (param i32 i32 i32 i32 i32) (result i32)))
 (export "_test" (func $_test))
 (func $_test (; has Stack IR ;) (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i32) (param $4 i32) (result i32)
  (local $5 f64)
  (if (result i32)
   (local.get $4)
   (i32.trunc_f64_s
    (f64.mul
     (f64.add
      (f64.convert_i32_s
       (local.get $2)
      )
      (local.tee $5
       (f64.convert_i32_s
        (i32.mul
         (local.get $0)
         (local.get $1)
        )
       )
      )
     )
     (f64.add
      (local.get $5)
      (f64.convert_i32_s
       (local.get $3)
      )
     )
    )
   )
   (i32.trunc_f64_s
    (f64.mul
     (f64.add
      (f64.convert_i32_s
       (local.get $2)
      )
      (local.tee $5
       (f64.convert_i32_s
        (i32.mul
         (local.get $2)
         (local.get $3)
        )
       )
      )
     )
     (f64.add
      (f64.convert_i32_s
       (local.get $3)
      )
      (local.get $5)
     )
    )
   )
  )
 )
)