test/two_sides.fromasm.imprecise.no-opts

(module
 (type $i32_i32_i32_i32_i32_=>_i32 (func (param i32 i32 i32 i32 i32) (result i32)))
 (import "env" "memory" (memory $memory 256 256))
 (import "env" "table" (table $table 0 0 funcref))
 (import "env" "__memory_base" (global $__memory_base i32))
 (import "env" "__table_base" (global $__table_base i32))
 (export "_test" (func $_test))
 (func $_test (param $i1 i32) (param $i2 i32) (param $i3 i32) (param $i4 i32) (param $i5 i32) (result i32)
  (local $d6 f64)
  (if
   (i32.eqz
    (local.get $i5)
   )
   (block
    (local.set $d6
     (f64.convert_i32_s
      (i32.mul
       (local.get $i4)
       (local.get $i3)
      )
     )
    )
    (local.set $d6
     (f64.mul
      (f64.add
       (f64.convert_i32_s
        (local.get $i3)
       )
       (local.get $d6)
      )
      (f64.add
       (f64.convert_i32_s
        (local.get $i4)
       )
       (local.get $d6)
      )
     )
    )
    (local.set $i5
     (i32.trunc_f64_s
      (local.get $d6)
     )
    )
    (return
     (local.get $i5)
    )
   )
   (block
    (local.set $d6
     (f64.convert_i32_s
      (i32.mul
       (local.get $i2)
       (local.get $i1)
      )
     )
    )
    (local.set $d6
     (f64.mul
      (f64.add
       (f64.convert_i32_s
        (local.get $i3)
       )
       (local.get $d6)
      )
      (f64.add
       (local.get $d6)
       (f64.convert_i32_s
        (local.get $i4)
       )
      )
     )
    )
    (local.set $i5
     (i32.trunc_f64_s
      (local.get $d6)
     )
    )
    (return
     (local.get $i5)
    )
   )
  )
  (return
   (i32.const 0)
  )
 )
)