src/binaryen/test/i64-setTempRet0.fromasm.imprecise.no-opts

   1 (module
   2  (type $FUNCSIG$j (func (result i64)))
   3  (type $legaltype$illegalImportResult (func (result i32)))
   4  (import "env" "illegalImportResult" (func $illegalImportResult (result i64)))
   5  (import "env" "illegalImportResult" (func $legalimport$illegalImportResult (result i32)))
   6  (import "env" "memory" (memory $0 256 256))
   7  (import "env" "table" (table 0 0 anyfunc))
   8  (import "env" "memoryBase" (global $memoryBase i32))
   9  (import "env" "tableBase" (global $tableBase i32))
  10  (global $tempRet0 (mut i32) (i32.const 0))
  11  (export "illegalResult" (func $legalstub$illegalResult))
  12  (export "imports" (func $imports))
  13  (func $illegalResult (; 2 ;) (result i64)
  14   (return
  15    (i64.const 8589934593)
  16   )
  17  )
  18  (func $imports (; 3 ;) (result i32)
  19   (return
  20    (i32.wrap/i64
  21     (call $legalfunc$illegalImportResult)
  22    )
  23   )
  24  )
  25  (func $legalstub$illegalResult (; 4 ;) (result i32)
  26   (local $0 i64)
  27   (set_local $0
  28    (call $illegalResult)
  29   )
  30   (set_global $tempRet0
  31    (i32.wrap/i64
  32     (i64.shr_u
  33      (get_local $0)
  34      (i64.const 32)
  35     )
  36    )
  37   )
  38   (i32.wrap/i64
  39    (get_local $0)
  40   )
  41  )
  42  (func $legalfunc$illegalImportResult (; 5 ;) (result i64)
  43   (i64.or
  44    (i64.extend_u/i32
  45     (call $legalimport$illegalImportResult)
  46    )
  47    (i64.shl
  48     (i64.extend_u/i32
  49      (get_global $tempRet0)
  50     )
  51     (i64.const 32)
  52    )
  53   )
  54  )
  55 )