i64-to-i32-lowering.txt

(module
 (type $FUNCSIG$j (func (result i32)))
 (import "env" "func" (func $import (result i32)))
 (global $i64toi32_i32$HIGH_BITS (mut i32) (i32.const 0))
 (func $defined (; 1 ;) (type $FUNCSIG$j) (result i32)
  (local $i64toi32_i32$0 i32)
  (local $i64toi32_i32$1 i32)
  (local $i64toi32_i32$2 i32)
  (local $i64toi32_i32$3 i32)
  (local $i64toi32_i32$4 i32)
  (local $i64toi32_i32$5 i32)
  (local.set $i64toi32_i32$2
   (block (result i32)
    (local.set $i64toi32_i32$2
     (block (result i32)
      (local.set $i64toi32_i32$0
       (i32.const 0)
      )
      (i32.const 1)
     )
    )
    (local.set $i64toi32_i32$3
     (block (result i32)
      (local.set $i64toi32_i32$1
       (i32.const 0)
      )
      (i32.const 2)
     )
    )
    (local.set $i64toi32_i32$4
     (i32.add
      (local.get $i64toi32_i32$2)
      (local.get $i64toi32_i32$3)
     )
    )
    (local.set $i64toi32_i32$5
     (i32.add
      (local.get $i64toi32_i32$0)
      (local.get $i64toi32_i32$1)
     )
    )
    (if
     (i32.lt_u
      (local.get $i64toi32_i32$4)
      (local.get $i64toi32_i32$3)
     )
     (local.set $i64toi32_i32$5
      (i32.add
       (local.get $i64toi32_i32$5)
       (i32.const 1)
      )
     )
    )
    (local.get $i64toi32_i32$4)
   )
  )
  (global.set $i64toi32_i32$HIGH_BITS
   (local.get $i64toi32_i32$5)
  )
  (local.get $i64toi32_i32$2)
 )
)