test/two_sides.fromasm.imprecise

(module
 (import "env" "memory" (memory $0 256 256))
 (import "env" "table" (table 0 0 anyfunc))
 (import "env" "memoryBase" (global $memoryBase i32))
 (import "env" "tableBase" (global $tableBase i32))
 (export "_test" (func $_test))
 (func $_test (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i32) (param $4 i32) (result i32)
  (local $5 f64)
  (if 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 $1)
         (get_local $0)
        )
       )
      )
     )
     (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 $3)
         (get_local $2)
        )
       )
      )
     )
     (f64.add
      (f64.convert_s/i32
       (get_local $3)
      )
      (get_local $5)
     )
    )
   )
  )
 )
)