test/two_sides.fromasm.imprecise

(module
 (export "_test" (func $_test))
 (func $_test (; 0 ;) (; 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)
   (get_local $4)
   (i32.trunc_s/f64
    (f64.mul
     (f64.add
      (f64.convert_s/i32
       (get_local $2)
      )
      (tee_local $5
       (f64.convert_s/i32
        (i32.mul
         (get_local $0)
         (get_local $1)
        )
       )
      )
     )
     (f64.add
      (get_local $5)
      (f64.convert_s/i32
       (get_local $3)
      )
     )
    )
   )
   (i32.trunc_s/f64
    (f64.mul
     (f64.add
      (f64.convert_s/i32
       (get_local $2)
      )
      (tee_local $5
       (f64.convert_s/i32
        (i32.mul
         (get_local $2)
         (get_local $3)
        )
       )
      )
     )
     (f64.add
      (f64.convert_s/i32
       (get_local $3)
      )
      (get_local $5)
     )
    )
   )
  )
 )
)