ChakraCore/test/WasmSpec/chakra_generated/chakra_i32.wast

;;-------------------------------------------------------------------------------------------------------
;; Copyright (C) Microsoft. All rights reserved.
;; Licensed under the MIT license. See LICENSE.txt file in the project root for full license information.
;;-------------------------------------------------------------------------------------------------------
;;AUTO-GENERATED do not modify

(module
  (func (export "add0") (result i32) (i32.add (i32.const 1) (i32.const 1)))
  (func (export "add1") (param $x i32) (result i32) (i32.add (get_local $x) (i32.const 1)))
  (func (export "add2") (param $y i32) (result i32) (i32.add (i32.const 1) (get_local $y)))
  (func (export "add3") (result i32) (i32.add (i32.const 1) (i32.const 0)))
  (func (export "add4") (param $x i32) (result i32) (i32.add (get_local $x) (i32.const 0)))
  (func (export "add5") (param $y i32) (result i32) (i32.add (i32.const 1) (get_local $y)))
  (func (export "add6") (result i32) (i32.add (i32.const -1) (i32.const -1)))
  (func (export "add7") (param $x i32) (result i32) (i32.add (get_local $x) (i32.const -1)))
  (func (export "add8") (param $y i32) (result i32) (i32.add (i32.const -1) (get_local $y)))
  (func (export "add9") (result i32) (i32.add (i32.const -1) (i32.const 1)))
  (func (export "add10") (param $x i32) (result i32) (i32.add (get_local $x) (i32.const 1)))
  (func (export "add11") (param $y i32) (result i32) (i32.add (i32.const -1) (get_local $y)))
  (func (export "add12") (result i32) (i32.add (i32.const 0x7fffffff) (i32.const 1)))
  (func (export "add13") (param $x i32) (result i32) (i32.add (get_local $x) (i32.const 1)))
  (func (export "add14") (param $y i32) (result i32) (i32.add (i32.const 0x7fffffff) (get_local $y)))
  (func (export "add15") (result i32) (i32.add (i32.const 0x80000000) (i32.const -1)))
  (func (export "add16") (param $x i32) (result i32) (i32.add (get_local $x) (i32.const -1)))
  (func (export "add17") (param $y i32) (result i32) (i32.add (i32.const 0x80000000) (get_local $y)))
  (func (export "add18") (result i32) (i32.add (i32.const 0x80000000) (i32.const 0x80000000)))
  (func (export "add19") (param $x i32) (result i32) (i32.add (get_local $x) (i32.const 0x80000000)))
  (func (export "add20") (param $y i32) (result i32) (i32.add (i32.const 0x80000000) (get_local $y)))
  (func (export "add21") (result i32) (i32.add (i32.const 0x3fffffff) (i32.const 1)))
  (func (export "add22") (param $x i32) (result i32) (i32.add (get_local $x) (i32.const 1)))
  (func (export "add23") (param $y i32) (result i32) (i32.add (i32.const 0x3fffffff) (get_local $y)))
  (func (export "sub24") (result i32) (i32.sub (i32.const 1) (i32.const 1)))
  (func (export "sub25") (param $x i32) (result i32) (i32.sub (get_local $x) (i32.const 1)))
  (func (export "sub26") (param $y i32) (result i32) (i32.sub (i32.const 1) (get_local $y)))
  (func (export "sub27") (result i32) (i32.sub (i32.const 1) (i32.const 0)))
  (func (export "sub28") (param $x i32) (result i32) (i32.sub (get_local $x) (i32.const 0)))
  (func (export "sub29") (param $y i32) (result i32) (i32.sub (i32.const 1) (get_local $y)))
  (func (export "sub30") (result i32) (i32.sub (i32.const -1) (i32.const -1)))
  (func (export "sub31") (param $x i32) (result i32) (i32.sub (get_local $x) (i32.const -1)))
  (func (export "sub32") (param $y i32) (result i32) (i32.sub (i32.const -1) (get_local $y)))
  (func (export "sub33") (result i32) (i32.sub (i32.const 0x7fffffff) (i32.const -1)))
  (func (export "sub34") (param $x i32) (result i32) (i32.sub (get_local $x) (i32.const -1)))
  (func (export "sub35") (param $y i32) (result i32) (i32.sub (i32.const 0x7fffffff) (get_local $y)))
  (func (export "sub36") (result i32) (i32.sub (i32.const 0x80000000) (i32.const 1)))
  (func (export "sub37") (param $x i32) (result i32) (i32.sub (get_local $x) (i32.const 1)))
  (func (export "sub38") (param $y i32) (result i32) (i32.sub (i32.const 0x80000000) (get_local $y)))
  (func (export "sub39") (result i32) (i32.sub (i32.const 0x80000000) (i32.const 0x80000000)))
  (func (export "sub40") (param $x i32) (result i32) (i32.sub (get_local $x) (i32.const 0x80000000)))
  (func (export "sub41") (param $y i32) (result i32) (i32.sub (i32.const 0x80000000) (get_local $y)))
  (func (export "sub42") (result i32) (i32.sub (i32.const 0x3fffffff) (i32.const -1)))
  (func (export "sub43") (param $x i32) (result i32) (i32.sub (get_local $x) (i32.const -1)))
  (func (export "sub44") (param $y i32) (result i32) (i32.sub (i32.const 0x3fffffff) (get_local $y)))
  (func (export "mul45") (result i32) (i32.mul (i32.const 1) (i32.const 1)))
  (func (export "mul46") (param $x i32) (result i32) (i32.mul (get_local $x) (i32.const 1)))
  (func (export "mul47") (param $y i32) (result i32) (i32.mul (i32.const 1) (get_local $y)))
  (func (export "mul48") (result i32) (i32.mul (i32.const 1) (i32.const 0)))
  (func (export "mul49") (param $x i32) (result i32) (i32.mul (get_local $x) (i32.const 0)))
  (func (export "mul50") (param $y i32) (result i32) (i32.mul (i32.const 1) (get_local $y)))
  (func (export "mul51") (result i32) (i32.mul (i32.const -1) (i32.const -1)))
  (func (export "mul52") (param $x i32) (result i32) (i32.mul (get_local $x) (i32.const -1)))
  (func (export "mul53") (param $y i32) (result i32) (i32.mul (i32.const -1) (get_local $y)))
  (func (export "mul54") (result i32) (i32.mul (i32.const 0x10000000) (i32.const 4096)))
  (func (export "mul55") (param $x i32) (result i32) (i32.mul (get_local $x) (i32.const 4096)))
  (func (export "mul56") (param $y i32) (result i32) (i32.mul (i32.const 0x10000000) (get_local $y)))
  (func (export "mul57") (result i32) (i32.mul (i32.const 0x80000000) (i32.const 0)))
  (func (export "mul58") (param $x i32) (result i32) (i32.mul (get_local $x) (i32.const 0)))
  (func (export "mul59") (param $y i32) (result i32) (i32.mul (i32.const 0x80000000) (get_local $y)))
  (func (export "mul60") (result i32) (i32.mul (i32.const 0x80000000) (i32.const -1)))
  (func (export "mul61") (param $x i32) (result i32) (i32.mul (get_local $x) (i32.const -1)))
  (func (export "mul62") (param $y i32) (result i32) (i32.mul (i32.const 0x80000000) (get_local $y)))
  (func (export "mul63") (result i32) (i32.mul (i32.const 0x7fffffff) (i32.const -1)))
  (func (export "mul64") (param $x i32) (result i32) (i32.mul (get_local $x) (i32.const -1)))
  (func (export "mul65") (param $y i32) (result i32) (i32.mul (i32.const 0x7fffffff) (get_local $y)))
  (func (export "mul66") (result i32) (i32.mul (i32.const 0x01234567) (i32.const 0x76543210)))
  (func (export "mul67") (param $x i32) (result i32) (i32.mul (get_local $x) (i32.const 0x76543210)))
  (func (export "mul68") (param $y i32) (result i32) (i32.mul (i32.const 0x01234567) (get_local $y)))
  (func (export "mul69") (result i32) (i32.mul (i32.const 0x7fffffff) (i32.const 0x7fffffff)))
  (func (export "mul70") (param $x i32) (result i32) (i32.mul (get_local $x) (i32.const 0x7fffffff)))
  (func (export "mul71") (param $y i32) (result i32) (i32.mul (i32.const 0x7fffffff) (get_local $y)))
  (func (export "div_s72") (result i32) (i32.div_s (i32.const 1) (i32.const 0)))
  (func (export "div_s73") (param $x i32) (result i32) (i32.div_s (get_local $x) (i32.const 0)))
  (func (export "div_s74") (param $y i32) (result i32) (i32.div_s (i32.const 1) (get_local $y)))
  (func (export "div_s75") (result i32) (i32.div_s (i32.const 0) (i32.const 0)))
  (func (export "div_s76") (param $x i32) (result i32) (i32.div_s (get_local $x) (i32.const 0)))
  (func (export "div_s77") (param $y i32) (result i32) (i32.div_s (i32.const 0) (get_local $y)))
  (func (export "div_s78") (result i32) (i32.div_s (i32.const 0x80000000) (i32.const -1)))
  (func (export "div_s79") (param $x i32) (result i32) (i32.div_s (get_local $x) (i32.const -1)))
  (func (export "div_s80") (param $y i32) (result i32) (i32.div_s (i32.const 0x80000000) (get_local $y)))
  (func (export "div_s81") (result i32) (i32.div_s (i32.const 1) (i32.const 1)))
  (func (export "div_s82") (param $x i32) (result i32) (i32.div_s (get_local $x) (i32.const 1)))
  (func (export "div_s83") (param $y i32) (result i32) (i32.div_s (i32.const 1) (get_local $y)))
  (func (export "div_s84") (result i32) (i32.div_s (i32.const 0) (i32.const 1)))
  (func (export "div_s85") (param $x i32) (result i32) (i32.div_s (get_local $x) (i32.const 1)))
  (func (export "div_s86") (param $y i32) (result i32) (i32.div_s (i32.const 0) (get_local $y)))
  (func (export "div_s87") (result i32) (i32.div_s (i32.const 0) (i32.const -1)))
  (func (export "div_s88") (param $x i32) (result i32) (i32.div_s (get_local $x) (i32.const -1)))
  (func (export "div_s89") (param $y i32) (result i32) (i32.div_s (i32.const 0) (get_local $y)))
  (func (export "div_s90") (result i32) (i32.div_s (i32.const -1) (i32.const -1)))
  (func (export "div_s91") (param $x i32) (result i32) (i32.div_s (get_local $x) (i32.const -1)))
  (func (export "div_s92") (param $y i32) (result i32) (i32.div_s (i32.const -1) (get_local $y)))
  (func (export "div_s93") (result i32) (i32.div_s (i32.const 0x80000000) (i32.const 2)))
  (func (export "div_s94") (param $x i32) (result i32) (i32.div_s (get_local $x) (i32.const 2)))
  (func (export "div_s95") (param $y i32) (result i32) (i32.div_s (i32.const 0x80000000) (get_local $y)))
  (func (export "div_s96") (result i32) (i32.div_s (i32.const 0x80000001) (i32.const 1000)))
  (func (export "div_s97") (param $x i32) (result i32) (i32.div_s (get_local $x) (i32.const 1000)))
  (func (export "div_s98") (param $y i32) (result i32) (i32.div_s (i32.const 0x80000001) (get_local $y)))
  (func (export "div_s99") (result i32) (i32.div_s (i32.const 5) (i32.const 2)))
  (func (export "div_s100") (param $x i32) (result i32) (i32.div_s (get_local $x) (i32.const 2)))
  (func (export "div_s101") (param $y i32) (result i32) (i32.div_s (i32.const 5) (get_local $y)))
  (func (export "div_s102") (result i32) (i32.div_s (i32.const -5) (i32.const 2)))
  (func (export "div_s103") (param $x i32) (result i32) (i32.div_s (get_local $x) (i32.const 2)))
  (func (export "div_s104") (param $y i32) (result i32) (i32.div_s (i32.const -5) (get_local $y)))
  (func (export "div_s105") (result i32) (i32.div_s (i32.const 5) (i32.const -2)))
  (func (export "div_s106") (param $x i32) (result i32) (i32.div_s (get_local $x) (i32.const -2)))
  (func (export "div_s107") (param $y i32) (result i32) (i32.div_s (i32.const 5) (get_local $y)))
  (func (export "div_s108") (result i32) (i32.div_s (i32.const -5) (i32.const -2)))
  (func (export "div_s109") (param $x i32) (result i32) (i32.div_s (get_local $x) (i32.const -2)))
  (func (export "div_s110") (param $y i32) (result i32) (i32.div_s (i32.const -5) (get_local $y)))
  (func (export "div_s111") (result i32) (i32.div_s (i32.const 7) (i32.const 3)))
  (func (export "div_s112") (param $x i32) (result i32) (i32.div_s (get_local $x) (i32.const 3)))
  (func (export "div_s113") (param $y i32) (result i32) (i32.div_s (i32.const 7) (get_local $y)))
  (func (export "div_s114") (result i32) (i32.div_s (i32.const -7) (i32.const 3)))
  (func (export "div_s115") (param $x i32) (result i32) (i32.div_s (get_local $x) (i32.const 3)))
  (func (export "div_s116") (param $y i32) (result i32) (i32.div_s (i32.const -7) (get_local $y)))
  (func (export "div_s117") (result i32) (i32.div_s (i32.const 7) (i32.const -3)))
  (func (export "div_s118") (param $x i32) (result i32) (i32.div_s (get_local $x) (i32.const -3)))
  (func (export "div_s119") (param $y i32) (result i32) (i32.div_s (i32.const 7) (get_local $y)))
  (func (export "div_s120") (result i32) (i32.div_s (i32.const -7) (i32.const -3)))
  (func (export "div_s121") (param $x i32) (result i32) (i32.div_s (get_local $x) (i32.const -3)))
  (func (export "div_s122") (param $y i32) (result i32) (i32.div_s (i32.const -7) (get_local $y)))
  (func (export "div_s123") (result i32) (i32.div_s (i32.const 11) (i32.const 5)))
  (func (export "div_s124") (param $x i32) (result i32) (i32.div_s (get_local $x) (i32.const 5)))
  (func (export "div_s125") (param $y i32) (result i32) (i32.div_s (i32.const 11) (get_local $y)))
  (func (export "div_s126") (result i32) (i32.div_s (i32.const 17) (i32.const 7)))
  (func (export "div_s127") (param $x i32) (result i32) (i32.div_s (get_local $x) (i32.const 7)))
  (func (export "div_s128") (param $y i32) (result i32) (i32.div_s (i32.const 17) (get_local $y)))
  (func (export "div_u129") (result i32) (i32.div_u (i32.const 1) (i32.const 0)))
  (func (export "div_u130") (param $x i32) (result i32) (i32.div_u (get_local $x) (i32.const 0)))
  (func (export "div_u131") (param $y i32) (result i32) (i32.div_u (i32.const 1) (get_local $y)))
  (func (export "div_u132") (result i32) (i32.div_u (i32.const 0) (i32.const 0)))
  (func (export "div_u133") (param $x i32) (result i32) (i32.div_u (get_local $x) (i32.const 0)))
  (func (export "div_u134") (param $y i32) (result i32) (i32.div_u (i32.const 0) (get_local $y)))
  (func (export "div_u135") (result i32) (i32.div_u (i32.const 1) (i32.const 1)))
  (func (export "div_u136") (param $x i32) (result i32) (i32.div_u (get_local $x) (i32.const 1)))
  (func (export "div_u137") (param $y i32) (result i32) (i32.div_u (i32.const 1) (get_local $y)))
  (func (export "div_u138") (result i32) (i32.div_u (i32.const 0) (i32.const 1)))
  (func (export "div_u139") (param $x i32) (result i32) (i32.div_u (get_local $x) (i32.const 1)))
  (func (export "div_u140") (param $y i32) (result i32) (i32.div_u (i32.const 0) (get_local $y)))
  (func (export "div_u141") (result i32) (i32.div_u (i32.const -1) (i32.const -1)))
  (func (export "div_u142") (param $x i32) (result i32) (i32.div_u (get_local $x) (i32.const -1)))
  (func (export "div_u143") (param $y i32) (result i32) (i32.div_u (i32.const -1) (get_local $y)))
  (func (export "div_u144") (result i32) (i32.div_u (i32.const 0x80000000) (i32.const -1)))
  (func (export "div_u145") (param $x i32) (result i32) (i32.div_u (get_local $x) (i32.const -1)))
  (func (export "div_u146") (param $y i32) (result i32) (i32.div_u (i32.const 0x80000000) (get_local $y)))
  (func (export "div_u147") (result i32) (i32.div_u (i32.const 0x80000000) (i32.const 2)))
  (func (export "div_u148") (param $x i32) (result i32) (i32.div_u (get_local $x) (i32.const 2)))
  (func (export "div_u149") (param $y i32) (result i32) (i32.div_u (i32.const 0x80000000) (get_local $y)))
  (func (export "div_u150") (result i32) (i32.div_u (i32.const 0x8ff00ff0) (i32.const 0x10001)))
  (func (export "div_u151") (param $x i32) (result i32) (i32.div_u (get_local $x) (i32.const 0x10001)))
  (func (export "div_u152") (param $y i32) (result i32) (i32.div_u (i32.const 0x8ff00ff0) (get_local $y)))
  (func (export "div_u153") (result i32) (i32.div_u (i32.const 0x80000001) (i32.const 1000)))
  (func (export "div_u154") (param $x i32) (result i32) (i32.div_u (get_local $x) (i32.const 1000)))
  (func (export "div_u155") (param $y i32) (result i32) (i32.div_u (i32.const 0x80000001) (get_local $y)))
  (func (export "div_u156") (result i32) (i32.div_u (i32.const 5) (i32.const 2)))
  (func (export "div_u157") (param $x i32) (result i32) (i32.div_u (get_local $x) (i32.const 2)))
  (func (export "div_u158") (param $y i32) (result i32) (i32.div_u (i32.const 5) (get_local $y)))
  (func (export "div_u159") (result i32) (i32.div_u (i32.const -5) (i32.const 2)))
  (func (export "div_u160") (param $x i32) (result i32) (i32.div_u (get_local $x) (i32.const 2)))
  (func (export "div_u161") (param $y i32) (result i32) (i32.div_u (i32.const -5) (get_local $y)))
  (func (export "div_u162") (result i32) (i32.div_u (i32.const 5) (i32.const -2)))
  (func (export "div_u163") (param $x i32) (result i32) (i32.div_u (get_local $x) (i32.const -2)))
  (func (export "div_u164") (param $y i32) (result i32) (i32.div_u (i32.const 5) (get_local $y)))
  (func (export "div_u165") (result i32) (i32.div_u (i32.const -5) (i32.const -2)))
  (func (export "div_u166") (param $x i32) (result i32) (i32.div_u (get_local $x) (i32.const -2)))
  (func (export "div_u167") (param $y i32) (result i32) (i32.div_u (i32.const -5) (get_local $y)))
  (func (export "div_u168") (result i32) (i32.div_u (i32.const 7) (i32.const 3)))
  (func (export "div_u169") (param $x i32) (result i32) (i32.div_u (get_local $x) (i32.const 3)))
  (func (export "div_u170") (param $y i32) (result i32) (i32.div_u (i32.const 7) (get_local $y)))
  (func (export "div_u171") (result i32) (i32.div_u (i32.const 11) (i32.const 5)))
  (func (export "div_u172") (param $x i32) (result i32) (i32.div_u (get_local $x) (i32.const 5)))
  (func (export "div_u173") (param $y i32) (result i32) (i32.div_u (i32.const 11) (get_local $y)))
  (func (export "div_u174") (result i32) (i32.div_u (i32.const 17) (i32.const 7)))
  (func (export "div_u175") (param $x i32) (result i32) (i32.div_u (get_local $x) (i32.const 7)))
  (func (export "div_u176") (param $y i32) (result i32) (i32.div_u (i32.const 17) (get_local $y)))
  (func (export "rem_s177") (result i32) (i32.rem_s (i32.const 1) (i32.const 0)))
  (func (export "rem_s178") (param $x i32) (result i32) (i32.rem_s (get_local $x) (i32.const 0)))
  (func (export "rem_s179") (param $y i32) (result i32) (i32.rem_s (i32.const 1) (get_local $y)))
  (func (export "rem_s180") (result i32) (i32.rem_s (i32.const 0) (i32.const 0)))
  (func (export "rem_s181") (param $x i32) (result i32) (i32.rem_s (get_local $x) (i32.const 0)))
  (func (export "rem_s182") (param $y i32) (result i32) (i32.rem_s (i32.const 0) (get_local $y)))
  (func (export "rem_s183") (result i32) (i32.rem_s (i32.const 0x7fffffff) (i32.const -1)))
  (func (export "rem_s184") (param $x i32) (result i32) (i32.rem_s (get_local $x) (i32.const -1)))
  (func (export "rem_s185") (param $y i32) (result i32) (i32.rem_s (i32.const 0x7fffffff) (get_local $y)))
  (func (export "rem_s186") (result i32) (i32.rem_s (i32.const 1) (i32.const 1)))
  (func (export "rem_s187") (param $x i32) (result i32) (i32.rem_s (get_local $x) (i32.const 1)))
  (func (export "rem_s188") (param $y i32) (result i32) (i32.rem_s (i32.const 1) (get_local $y)))
  (func (export "rem_s189") (result i32) (i32.rem_s (i32.const 0) (i32.const 1)))
  (func (export "rem_s190") (param $x i32) (result i32) (i32.rem_s (get_local $x) (i32.const 1)))
  (func (export "rem_s191") (param $y i32) (result i32) (i32.rem_s (i32.const 0) (get_local $y)))
  (func (export "rem_s192") (result i32) (i32.rem_s (i32.const 0) (i32.const -1)))
  (func (export "rem_s193") (param $x i32) (result i32) (i32.rem_s (get_local $x) (i32.const -1)))
  (func (export "rem_s194") (param $y i32) (result i32) (i32.rem_s (i32.const 0) (get_local $y)))
  (func (export "rem_s195") (result i32) (i32.rem_s (i32.const -1) (i32.const -1)))
  (func (export "rem_s196") (param $x i32) (result i32) (i32.rem_s (get_local $x) (i32.const -1)))
  (func (export "rem_s197") (param $y i32) (result i32) (i32.rem_s (i32.const -1) (get_local $y)))
  (func (export "rem_s198") (result i32) (i32.rem_s (i32.const 0x80000000) (i32.const -1)))
  (func (export "rem_s199") (param $x i32) (result i32) (i32.rem_s (get_local $x) (i32.const -1)))
  (func (export "rem_s200") (param $y i32) (result i32) (i32.rem_s (i32.const 0x80000000) (get_local $y)))
  (func (export "rem_s201") (result i32) (i32.rem_s (i32.const 0x80000000) (i32.const 2)))
  (func (export "rem_s202") (param $x i32) (result i32) (i32.rem_s (get_local $x) (i32.const 2)))
  (func (export "rem_s203") (param $y i32) (result i32) (i32.rem_s (i32.const 0x80000000) (get_local $y)))
  (func (export "rem_s204") (result i32) (i32.rem_s (i32.const 0x80000001) (i32.const 1000)))
  (func (export "rem_s205") (param $x i32) (result i32) (i32.rem_s (get_local $x) (i32.const 1000)))
  (func (export "rem_s206") (param $y i32) (result i32) (i32.rem_s (i32.const 0x80000001) (get_local $y)))
  (func (export "rem_s207") (result i32) (i32.rem_s (i32.const 5) (i32.const 2)))
  (func (export "rem_s208") (param $x i32) (result i32) (i32.rem_s (get_local $x) (i32.const 2)))
  (func (export "rem_s209") (param $y i32) (result i32) (i32.rem_s (i32.const 5) (get_local $y)))
  (func (export "rem_s210") (result i32) (i32.rem_s (i32.const -5) (i32.const 2)))
  (func (export "rem_s211") (param $x i32) (result i32) (i32.rem_s (get_local $x) (i32.const 2)))
  (func (export "rem_s212") (param $y i32) (result i32) (i32.rem_s (i32.const -5) (get_local $y)))
  (func (export "rem_s213") (result i32) (i32.rem_s (i32.const 5) (i32.const -2)))
  (func (export "rem_s214") (param $x i32) (result i32) (i32.rem_s (get_local $x) (i32.const -2)))
  (func (export "rem_s215") (param $y i32) (result i32) (i32.rem_s (i32.const 5) (get_local $y)))
  (func (export "rem_s216") (result i32) (i32.rem_s (i32.const -5) (i32.const -2)))
  (func (export "rem_s217") (param $x i32) (result i32) (i32.rem_s (get_local $x) (i32.const -2)))
  (func (export "rem_s218") (param $y i32) (result i32) (i32.rem_s (i32.const -5) (get_local $y)))
  (func (export "rem_s219") (result i32) (i32.rem_s (i32.const 7) (i32.const 3)))
  (func (export "rem_s220") (param $x i32) (result i32) (i32.rem_s (get_local $x) (i32.const 3)))
  (func (export "rem_s221") (param $y i32) (result i32) (i32.rem_s (i32.const 7) (get_local $y)))
  (func (export "rem_s222") (result i32) (i32.rem_s (i32.const -7) (i32.const 3)))
  (func (export "rem_s223") (param $x i32) (result i32) (i32.rem_s (get_local $x) (i32.const 3)))
  (func (export "rem_s224") (param $y i32) (result i32) (i32.rem_s (i32.const -7) (get_local $y)))
  (func (export "rem_s225") (result i32) (i32.rem_s (i32.const 7) (i32.const -3)))
  (func (export "rem_s226") (param $x i32) (result i32) (i32.rem_s (get_local $x) (i32.const -3)))
  (func (export "rem_s227") (param $y i32) (result i32) (i32.rem_s (i32.const 7) (get_local $y)))
  (func (export "rem_s228") (result i32) (i32.rem_s (i32.const -7) (i32.const -3)))
  (func (export "rem_s229") (param $x i32) (result i32) (i32.rem_s (get_local $x) (i32.const -3)))
  (func (export "rem_s230") (param $y i32) (result i32) (i32.rem_s (i32.const -7) (get_local $y)))
  (func (export "rem_s231") (result i32) (i32.rem_s (i32.const 11) (i32.const 5)))
  (func (export "rem_s232") (param $x i32) (result i32) (i32.rem_s (get_local $x) (i32.const 5)))
  (func (export "rem_s233") (param $y i32) (result i32) (i32.rem_s (i32.const 11) (get_local $y)))
  (func (export "rem_s234") (result i32) (i32.rem_s (i32.const 17) (i32.const 7)))
  (func (export "rem_s235") (param $x i32) (result i32) (i32.rem_s (get_local $x) (i32.const 7)))
  (func (export "rem_s236") (param $y i32) (result i32) (i32.rem_s (i32.const 17) (get_local $y)))
  (func (export "rem_u237") (result i32) (i32.rem_u (i32.const 1) (i32.const 0)))
  (func (export "rem_u238") (param $x i32) (result i32) (i32.rem_u (get_local $x) (i32.const 0)))
  (func (export "rem_u239") (param $y i32) (result i32) (i32.rem_u (i32.const 1) (get_local $y)))
  (func (export "rem_u240") (result i32) (i32.rem_u (i32.const 0) (i32.const 0)))
  (func (export "rem_u241") (param $x i32) (result i32) (i32.rem_u (get_local $x) (i32.const 0)))
  (func (export "rem_u242") (param $y i32) (result i32) (i32.rem_u (i32.const 0) (get_local $y)))
  (func (export "rem_u243") (result i32) (i32.rem_u (i32.const 1) (i32.const 1)))
  (func (export "rem_u244") (param $x i32) (result i32) (i32.rem_u (get_local $x) (i32.const 1)))
  (func (export "rem_u245") (param $y i32) (result i32) (i32.rem_u (i32.const 1) (get_local $y)))
  (func (export "rem_u246") (result i32) (i32.rem_u (i32.const 0) (i32.const 1)))
  (func (export "rem_u247") (param $x i32) (result i32) (i32.rem_u (get_local $x) (i32.const 1)))
  (func (export "rem_u248") (param $y i32) (result i32) (i32.rem_u (i32.const 0) (get_local $y)))
  (func (export "rem_u249") (result i32) (i32.rem_u (i32.const -1) (i32.const -1)))
  (func (export "rem_u250") (param $x i32) (result i32) (i32.rem_u (get_local $x) (i32.const -1)))
  (func (export "rem_u251") (param $y i32) (result i32) (i32.rem_u (i32.const -1) (get_local $y)))
  (func (export "rem_u252") (result i32) (i32.rem_u (i32.const 0x80000000) (i32.const -1)))
  (func (export "rem_u253") (param $x i32) (result i32) (i32.rem_u (get_local $x) (i32.const -1)))
  (func (export "rem_u254") (param $y i32) (result i32) (i32.rem_u (i32.const 0x80000000) (get_local $y)))
  (func (export "rem_u255") (result i32) (i32.rem_u (i32.const 0x80000000) (i32.const 2)))
  (func (export "rem_u256") (param $x i32) (result i32) (i32.rem_u (get_local $x) (i32.const 2)))
  (func (export "rem_u257") (param $y i32) (result i32) (i32.rem_u (i32.const 0x80000000) (get_local $y)))
  (func (export "rem_u258") (result i32) (i32.rem_u (i32.const 0x8ff00ff0) (i32.const 0x10001)))
  (func (export "rem_u259") (param $x i32) (result i32) (i32.rem_u (get_local $x) (i32.const 0x10001)))
  (func (export "rem_u260") (param $y i32) (result i32) (i32.rem_u (i32.const 0x8ff00ff0) (get_local $y)))
  (func (export "rem_u261") (result i32) (i32.rem_u (i32.const 0x80000001) (i32.const 1000)))
  (func (export "rem_u262") (param $x i32) (result i32) (i32.rem_u (get_local $x) (i32.const 1000)))
  (func (export "rem_u263") (param $y i32) (result i32) (i32.rem_u (i32.const 0x80000001) (get_local $y)))
  (func (export "rem_u264") (result i32) (i32.rem_u (i32.const 5) (i32.const 2)))
  (func (export "rem_u265") (param $x i32) (result i32) (i32.rem_u (get_local $x) (i32.const 2)))
  (func (export "rem_u266") (param $y i32) (result i32) (i32.rem_u (i32.const 5) (get_local $y)))
  (func (export "rem_u267") (result i32) (i32.rem_u (i32.const -5) (i32.const 2)))
  (func (export "rem_u268") (param $x i32) (result i32) (i32.rem_u (get_local $x) (i32.const 2)))
  (func (export "rem_u269") (param $y i32) (result i32) (i32.rem_u (i32.const -5) (get_local $y)))
  (func (export "rem_u270") (result i32) (i32.rem_u (i32.const 5) (i32.const -2)))
  (func (export "rem_u271") (param $x i32) (result i32) (i32.rem_u (get_local $x) (i32.const -2)))
  (func (export "rem_u272") (param $y i32) (result i32) (i32.rem_u (i32.const 5) (get_local $y)))
  (func (export "rem_u273") (result i32) (i32.rem_u (i32.const -5) (i32.const -2)))
  (func (export "rem_u274") (param $x i32) (result i32) (i32.rem_u (get_local $x) (i32.const -2)))
  (func (export "rem_u275") (param $y i32) (result i32) (i32.rem_u (i32.const -5) (get_local $y)))
  (func (export "rem_u276") (result i32) (i32.rem_u (i32.const 7) (i32.const 3)))
  (func (export "rem_u277") (param $x i32) (result i32) (i32.rem_u (get_local $x) (i32.const 3)))
  (func (export "rem_u278") (param $y i32) (result i32) (i32.rem_u (i32.const 7) (get_local $y)))
  (func (export "rem_u279") (result i32) (i32.rem_u (i32.const 11) (i32.const 5)))
  (func (export "rem_u280") (param $x i32) (result i32) (i32.rem_u (get_local $x) (i32.const 5)))
  (func (export "rem_u281") (param $y i32) (result i32) (i32.rem_u (i32.const 11) (get_local $y)))
  (func (export "rem_u282") (result i32) (i32.rem_u (i32.const 17) (i32.const 7)))
  (func (export "rem_u283") (param $x i32) (result i32) (i32.rem_u (get_local $x) (i32.const 7)))
  (func (export "rem_u284") (param $y i32) (result i32) (i32.rem_u (i32.const 17) (get_local $y)))
  (func (export "and285") (result i32) (i32.and (i32.const 1) (i32.const 0)))
  (func (export "and286") (param $x i32) (result i32) (i32.and (get_local $x) (i32.const 0)))
  (func (export "and287") (param $y i32) (result i32) (i32.and (i32.const 1) (get_local $y)))
  (func (export "and288") (result i32) (i32.and (i32.const 0) (i32.const 1)))
  (func (export "and289") (param $x i32) (result i32) (i32.and (get_local $x) (i32.const 1)))
  (func (export "and290") (param $y i32) (result i32) (i32.and (i32.const 0) (get_local $y)))
  (func (export "and291") (result i32) (i32.and (i32.const 1) (i32.const 1)))
  (func (export "and292") (param $x i32) (result i32) (i32.and (get_local $x) (i32.const 1)))
  (func (export "and293") (param $y i32) (result i32) (i32.and (i32.const 1) (get_local $y)))
  (func (export "and294") (result i32) (i32.and (i32.const 0) (i32.const 0)))
  (func (export "and295") (param $x i32) (result i32) (i32.and (get_local $x) (i32.const 0)))
  (func (export "and296") (param $y i32) (result i32) (i32.and (i32.const 0) (get_local $y)))
  (func (export "and297") (result i32) (i32.and (i32.const 0x7fffffff) (i32.const 0x80000000)))
  (func (export "and298") (param $x i32) (result i32) (i32.and (get_local $x) (i32.const 0x80000000)))
  (func (export "and299") (param $y i32) (result i32) (i32.and (i32.const 0x7fffffff) (get_local $y)))
  (func (export "and300") (result i32) (i32.and (i32.const 0x7fffffff) (i32.const -1)))
  (func (export "and301") (param $x i32) (result i32) (i32.and (get_local $x) (i32.const -1)))
  (func (export "and302") (param $y i32) (result i32) (i32.and (i32.const 0x7fffffff) (get_local $y)))
  (func (export "and303") (result i32) (i32.and (i32.const 0xf0f0ffff) (i32.const 0xfffff0f0)))
  (func (export "and304") (param $x i32) (result i32) (i32.and (get_local $x) (i32.const 0xfffff0f0)))
  (func (export "and305") (param $y i32) (result i32) (i32.and (i32.const 0xf0f0ffff) (get_local $y)))
  (func (export "and306") (result i32) (i32.and (i32.const 0xffffffff) (i32.const 0xffffffff)))
  (func (export "and307") (param $x i32) (result i32) (i32.and (get_local $x) (i32.const 0xffffffff)))
  (func (export "and308") (param $y i32) (result i32) (i32.and (i32.const 0xffffffff) (get_local $y)))
  (func (export "or309") (result i32) (i32.or (i32.const 1) (i32.const 0)))
  (func (export "or310") (param $x i32) (result i32) (i32.or (get_local $x) (i32.const 0)))
  (func (export "or311") (param $y i32) (result i32) (i32.or (i32.const 1) (get_local $y)))
  (func (export "or312") (result i32) (i32.or (i32.const 0) (i32.const 1)))
  (func (export "or313") (param $x i32) (result i32) (i32.or (get_local $x) (i32.const 1)))
  (func (export "or314") (param $y i32) (result i32) (i32.or (i32.const 0) (get_local $y)))
  (func (export "or315") (result i32) (i32.or (i32.const 1) (i32.const 1)))
  (func (export "or316") (param $x i32) (result i32) (i32.or (get_local $x) (i32.const 1)))
  (func (export "or317") (param $y i32) (result i32) (i32.or (i32.const 1) (get_local $y)))
  (func (export "or318") (result i32) (i32.or (i32.const 0) (i32.const 0)))
  (func (export "or319") (param $x i32) (result i32) (i32.or (get_local $x) (i32.const 0)))
  (func (export "or320") (param $y i32) (result i32) (i32.or (i32.const 0) (get_local $y)))
  (func (export "or321") (result i32) (i32.or (i32.const 0x7fffffff) (i32.const 0x80000000)))
  (func (export "or322") (param $x i32) (result i32) (i32.or (get_local $x) (i32.const 0x80000000)))
  (func (export "or323") (param $y i32) (result i32) (i32.or (i32.const 0x7fffffff) (get_local $y)))
  (func (export "or324") (result i32) (i32.or (i32.const 0x80000000) (i32.const 0)))
  (func (export "or325") (param $x i32) (result i32) (i32.or (get_local $x) (i32.const 0)))
  (func (export "or326") (param $y i32) (result i32) (i32.or (i32.const 0x80000000) (get_local $y)))
  (func (export "or327") (result i32) (i32.or (i32.const 0xf0f0ffff) (i32.const 0xfffff0f0)))
  (func (export "or328") (param $x i32) (result i32) (i32.or (get_local $x) (i32.const 0xfffff0f0)))
  (func (export "or329") (param $y i32) (result i32) (i32.or (i32.const 0xf0f0ffff) (get_local $y)))
  (func (export "or330") (result i32) (i32.or (i32.const 0xffffffff) (i32.const 0xffffffff)))
  (func (export "or331") (param $x i32) (result i32) (i32.or (get_local $x) (i32.const 0xffffffff)))
  (func (export "or332") (param $y i32) (result i32) (i32.or (i32.const 0xffffffff) (get_local $y)))
  (func (export "xor333") (result i32) (i32.xor (i32.const 1) (i32.const 0)))
  (func (export "xor334") (param $x i32) (result i32) (i32.xor (get_local $x) (i32.const 0)))
  (func (export "xor335") (param $y i32) (result i32) (i32.xor (i32.const 1) (get_local $y)))
  (func (export "xor336") (result i32) (i32.xor (i32.const 0) (i32.const 1)))
  (func (export "xor337") (param $x i32) (result i32) (i32.xor (get_local $x) (i32.const 1)))
  (func (export "xor338") (param $y i32) (result i32) (i32.xor (i32.const 0) (get_local $y)))
  (func (export "xor339") (result i32) (i32.xor (i32.const 1) (i32.const 1)))
  (func (export "xor340") (param $x i32) (result i32) (i32.xor (get_local $x) (i32.const 1)))
  (func (export "xor341") (param $y i32) (result i32) (i32.xor (i32.const 1) (get_local $y)))
  (func (export "xor342") (result i32) (i32.xor (i32.const 0) (i32.const 0)))
  (func (export "xor343") (param $x i32) (result i32) (i32.xor (get_local $x) (i32.const 0)))
  (func (export "xor344") (param $y i32) (result i32) (i32.xor (i32.const 0) (get_local $y)))
  (func (export "xor345") (result i32) (i32.xor (i32.const 0x7fffffff) (i32.const 0x80000000)))
  (func (export "xor346") (param $x i32) (result i32) (i32.xor (get_local $x) (i32.const 0x80000000)))
  (func (export "xor347") (param $y i32) (result i32) (i32.xor (i32.const 0x7fffffff) (get_local $y)))
  (func (export "xor348") (result i32) (i32.xor (i32.const 0x80000000) (i32.const 0)))
  (func (export "xor349") (param $x i32) (result i32) (i32.xor (get_local $x) (i32.const 0)))
  (func (export "xor350") (param $y i32) (result i32) (i32.xor (i32.const 0x80000000) (get_local $y)))
  (func (export "xor351") (result i32) (i32.xor (i32.const -1) (i32.const 0x80000000)))
  (func (export "xor352") (param $x i32) (result i32) (i32.xor (get_local $x) (i32.const 0x80000000)))
  (func (export "xor353") (param $y i32) (result i32) (i32.xor (i32.const -1) (get_local $y)))
  (func (export "xor354") (result i32) (i32.xor (i32.const -1) (i32.const 0x7fffffff)))
  (func (export "xor355") (param $x i32) (result i32) (i32.xor (get_local $x) (i32.const 0x7fffffff)))
  (func (export "xor356") (param $y i32) (result i32) (i32.xor (i32.const -1) (get_local $y)))
  (func (export "xor357") (result i32) (i32.xor (i32.const 0xf0f0ffff) (i32.const 0xfffff0f0)))
  (func (export "xor358") (param $x i32) (result i32) (i32.xor (get_local $x) (i32.const 0xfffff0f0)))
  (func (export "xor359") (param $y i32) (result i32) (i32.xor (i32.const 0xf0f0ffff) (get_local $y)))
  (func (export "xor360") (result i32) (i32.xor (i32.const 0xffffffff) (i32.const 0xffffffff)))
  (func (export "xor361") (param $x i32) (result i32) (i32.xor (get_local $x) (i32.const 0xffffffff)))
  (func (export "xor362") (param $y i32) (result i32) (i32.xor (i32.const 0xffffffff) (get_local $y)))
  (func (export "shl363") (result i32) (i32.shl (i32.const 1) (i32.const 1)))
  (func (export "shl364") (param $x i32) (result i32) (i32.shl (get_local $x) (i32.const 1)))
  (func (export "shl365") (param $y i32) (result i32) (i32.shl (i32.const 1) (get_local $y)))
  (func (export "shl366") (result i32) (i32.shl (i32.const 1) (i32.const 0)))
  (func (export "shl367") (param $x i32) (result i32) (i32.shl (get_local $x) (i32.const 0)))
  (func (export "shl368") (param $y i32) (result i32) (i32.shl (i32.const 1) (get_local $y)))
  (func (export "shl369") (result i32) (i32.shl (i32.const 0x7fffffff) (i32.const 1)))
  (func (export "shl370") (param $x i32) (result i32) (i32.shl (get_local $x) (i32.const 1)))
  (func (export "shl371") (param $y i32) (result i32) (i32.shl (i32.const 0x7fffffff) (get_local $y)))
  (func (export "shl372") (result i32) (i32.shl (i32.const 0xffffffff) (i32.const 1)))
  (func (export "shl373") (param $x i32) (result i32) (i32.shl (get_local $x) (i32.const 1)))
  (func (export "shl374") (param $y i32) (result i32) (i32.shl (i32.const 0xffffffff) (get_local $y)))
  (func (export "shl375") (result i32) (i32.shl (i32.const 0x80000000) (i32.const 1)))
  (func (export "shl376") (param $x i32) (result i32) (i32.shl (get_local $x) (i32.const 1)))
  (func (export "shl377") (param $y i32) (result i32) (i32.shl (i32.const 0x80000000) (get_local $y)))
  (func (export "shl378") (result i32) (i32.shl (i32.const 0x40000000) (i32.const 1)))
  (func (export "shl379") (param $x i32) (result i32) (i32.shl (get_local $x) (i32.const 1)))
  (func (export "shl380") (param $y i32) (result i32) (i32.shl (i32.const 0x40000000) (get_local $y)))
  (func (export "shl381") (result i32) (i32.shl (i32.const 1) (i32.const 31)))
  (func (export "shl382") (param $x i32) (result i32) (i32.shl (get_local $x) (i32.const 31)))
  (func (export "shl383") (param $y i32) (result i32) (i32.shl (i32.const 1) (get_local $y)))
  (func (export "shl384") (result i32) (i32.shl (i32.const 1) (i32.const 32)))
  (func (export "shl385") (param $x i32) (result i32) (i32.shl (get_local $x) (i32.const 32)))
  (func (export "shl386") (param $y i32) (result i32) (i32.shl (i32.const 1) (get_local $y)))
  (func (export "shl387") (result i32) (i32.shl (i32.const 1) (i32.const 33)))
  (func (export "shl388") (param $x i32) (result i32) (i32.shl (get_local $x) (i32.const 33)))
  (func (export "shl389") (param $y i32) (result i32) (i32.shl (i32.const 1) (get_local $y)))
  (func (export "shl390") (result i32) (i32.shl (i32.const 1) (i32.const -1)))
  (func (export "shl391") (param $x i32) (result i32) (i32.shl (get_local $x) (i32.const -1)))
  (func (export "shl392") (param $y i32) (result i32) (i32.shl (i32.const 1) (get_local $y)))
  (func (export "shl393") (result i32) (i32.shl (i32.const 1) (i32.const 0x7fffffff)))
  (func (export "shl394") (param $x i32) (result i32) (i32.shl (get_local $x) (i32.const 0x7fffffff)))
  (func (export "shl395") (param $y i32) (result i32) (i32.shl (i32.const 1) (get_local $y)))
  (func (export "shr_s396") (result i32) (i32.shr_s (i32.const 1) (i32.const 1)))
  (func (export "shr_s397") (param $x i32) (result i32) (i32.shr_s (get_local $x) (i32.const 1)))
  (func (export "shr_s398") (param $y i32) (result i32) (i32.shr_s (i32.const 1) (get_local $y)))
  (func (export "shr_s399") (result i32) (i32.shr_s (i32.const 1) (i32.const 0)))
  (func (export "shr_s400") (param $x i32) (result i32) (i32.shr_s (get_local $x) (i32.const 0)))
  (func (export "shr_s401") (param $y i32) (result i32) (i32.shr_s (i32.const 1) (get_local $y)))
  (func (export "shr_s402") (result i32) (i32.shr_s (i32.const -1) (i32.const 1)))
  (func (export "shr_s403") (param $x i32) (result i32) (i32.shr_s (get_local $x) (i32.const 1)))
  (func (export "shr_s404") (param $y i32) (result i32) (i32.shr_s (i32.const -1) (get_local $y)))
  (func (export "shr_s405") (result i32) (i32.shr_s (i32.const 0x7fffffff) (i32.const 1)))
  (func (export "shr_s406") (param $x i32) (result i32) (i32.shr_s (get_local $x) (i32.const 1)))
  (func (export "shr_s407") (param $y i32) (result i32) (i32.shr_s (i32.const 0x7fffffff) (get_local $y)))
  (func (export "shr_s408") (result i32) (i32.shr_s (i32.const 0x80000000) (i32.const 1)))
  (func (export "shr_s409") (param $x i32) (result i32) (i32.shr_s (get_local $x) (i32.const 1)))
  (func (export "shr_s410") (param $y i32) (result i32) (i32.shr_s (i32.const 0x80000000) (get_local $y)))
  (func (export "shr_s411") (result i32) (i32.shr_s (i32.const 0x40000000) (i32.const 1)))
  (func (export "shr_s412") (param $x i32) (result i32) (i32.shr_s (get_local $x) (i32.const 1)))
  (func (export "shr_s413") (param $y i32) (result i32) (i32.shr_s (i32.const 0x40000000) (get_local $y)))
  (func (export "shr_s414") (result i32) (i32.shr_s (i32.const 1) (i32.const 32)))
  (func (export "shr_s415") (param $x i32) (result i32) (i32.shr_s (get_local $x) (i32.const 32)))
  (func (export "shr_s416") (param $y i32) (result i32) (i32.shr_s (i32.const 1) (get_local $y)))
  (func (export "shr_s417") (result i32) (i32.shr_s (i32.const 1) (i32.const 33)))
  (func (export "shr_s418") (param $x i32) (result i32) (i32.shr_s (get_local $x) (i32.const 33)))
  (func (export "shr_s419") (param $y i32) (result i32) (i32.shr_s (i32.const 1) (get_local $y)))
  (func (export "shr_s420") (result i32) (i32.shr_s (i32.const 1) (i32.const -1)))
  (func (export "shr_s421") (param $x i32) (result i32) (i32.shr_s (get_local $x) (i32.const -1)))
  (func (export "shr_s422") (param $y i32) (result i32) (i32.shr_s (i32.const 1) (get_local $y)))
  (func (export "shr_s423") (result i32) (i32.shr_s (i32.const 1) (i32.const 0x7fffffff)))
  (func (export "shr_s424") (param $x i32) (result i32) (i32.shr_s (get_local $x) (i32.const 0x7fffffff)))
  (func (export "shr_s425") (param $y i32) (result i32) (i32.shr_s (i32.const 1) (get_local $y)))
  (func (export "shr_s426") (result i32) (i32.shr_s (i32.const 1) (i32.const 0x80000000)))
  (func (export "shr_s427") (param $x i32) (result i32) (i32.shr_s (get_local $x) (i32.const 0x80000000)))
  (func (export "shr_s428") (param $y i32) (result i32) (i32.shr_s (i32.const 1) (get_local $y)))
  (func (export "shr_s429") (result i32) (i32.shr_s (i32.const 0x80000000) (i32.const 31)))
  (func (export "shr_s430") (param $x i32) (result i32) (i32.shr_s (get_local $x) (i32.const 31)))
  (func (export "shr_s431") (param $y i32) (result i32) (i32.shr_s (i32.const 0x80000000) (get_local $y)))
  (func (export "shr_s432") (result i32) (i32.shr_s (i32.const -1) (i32.const 32)))
  (func (export "shr_s433") (param $x i32) (result i32) (i32.shr_s (get_local $x) (i32.const 32)))
  (func (export "shr_s434") (param $y i32) (result i32) (i32.shr_s (i32.const -1) (get_local $y)))
  (func (export "shr_s435") (result i32) (i32.shr_s (i32.const -1) (i32.const 33)))
  (func (export "shr_s436") (param $x i32) (result i32) (i32.shr_s (get_local $x) (i32.const 33)))
  (func (export "shr_s437") (param $y i32) (result i32) (i32.shr_s (i32.const -1) (get_local $y)))
  (func (export "shr_s438") (result i32) (i32.shr_s (i32.const -1) (i32.const -1)))
  (func (export "shr_s439") (param $x i32) (result i32) (i32.shr_s (get_local $x) (i32.const -1)))
  (func (export "shr_s440") (param $y i32) (result i32) (i32.shr_s (i32.const -1) (get_local $y)))
  (func (export "shr_s441") (result i32) (i32.shr_s (i32.const -1) (i32.const 0x7fffffff)))
  (func (export "shr_s442") (param $x i32) (result i32) (i32.shr_s (get_local $x) (i32.const 0x7fffffff)))
  (func (export "shr_s443") (param $y i32) (result i32) (i32.shr_s (i32.const -1) (get_local $y)))
  (func (export "shr_s444") (result i32) (i32.shr_s (i32.const -1) (i32.const 0x80000000)))
  (func (export "shr_s445") (param $x i32) (result i32) (i32.shr_s (get_local $x) (i32.const 0x80000000)))
  (func (export "shr_s446") (param $y i32) (result i32) (i32.shr_s (i32.const -1) (get_local $y)))
  (func (export "shr_u447") (result i32) (i32.shr_u (i32.const 1) (i32.const 1)))
  (func (export "shr_u448") (param $x i32) (result i32) (i32.shr_u (get_local $x) (i32.const 1)))
  (func (export "shr_u449") (param $y i32) (result i32) (i32.shr_u (i32.const 1) (get_local $y)))
  (func (export "shr_u450") (result i32) (i32.shr_u (i32.const 1) (i32.const 0)))
  (func (export "shr_u451") (param $x i32) (result i32) (i32.shr_u (get_local $x) (i32.const 0)))
  (func (export "shr_u452") (param $y i32) (result i32) (i32.shr_u (i32.const 1) (get_local $y)))
  (func (export "shr_u453") (result i32) (i32.shr_u (i32.const -1) (i32.const 1)))
  (func (export "shr_u454") (param $x i32) (result i32) (i32.shr_u (get_local $x) (i32.const 1)))
  (func (export "shr_u455") (param $y i32) (result i32) (i32.shr_u (i32.const -1) (get_local $y)))
  (func (export "shr_u456") (result i32) (i32.shr_u (i32.const 0x7fffffff) (i32.const 1)))
  (func (export "shr_u457") (param $x i32) (result i32) (i32.shr_u (get_local $x) (i32.const 1)))
  (func (export "shr_u458") (param $y i32) (result i32) (i32.shr_u (i32.const 0x7fffffff) (get_local $y)))
  (func (export "shr_u459") (result i32) (i32.shr_u (i32.const 0x80000000) (i32.const 1)))
  (func (export "shr_u460") (param $x i32) (result i32) (i32.shr_u (get_local $x) (i32.const 1)))
  (func (export "shr_u461") (param $y i32) (result i32) (i32.shr_u (i32.const 0x80000000) (get_local $y)))
  (func (export "shr_u462") (result i32) (i32.shr_u (i32.const 0x40000000) (i32.const 1)))
  (func (export "shr_u463") (param $x i32) (result i32) (i32.shr_u (get_local $x) (i32.const 1)))
  (func (export "shr_u464") (param $y i32) (result i32) (i32.shr_u (i32.const 0x40000000) (get_local $y)))
  (func (export "shr_u465") (result i32) (i32.shr_u (i32.const 1) (i32.const 32)))
  (func (export "shr_u466") (param $x i32) (result i32) (i32.shr_u (get_local $x) (i32.const 32)))
  (func (export "shr_u467") (param $y i32) (result i32) (i32.shr_u (i32.const 1) (get_local $y)))
  (func (export "shr_u468") (result i32) (i32.shr_u (i32.const 1) (i32.const 33)))
  (func (export "shr_u469") (param $x i32) (result i32) (i32.shr_u (get_local $x) (i32.const 33)))
  (func (export "shr_u470") (param $y i32) (result i32) (i32.shr_u (i32.const 1) (get_local $y)))
  (func (export "shr_u471") (result i32) (i32.shr_u (i32.const 1) (i32.const -1)))
  (func (export "shr_u472") (param $x i32) (result i32) (i32.shr_u (get_local $x) (i32.const -1)))
  (func (export "shr_u473") (param $y i32) (result i32) (i32.shr_u (i32.const 1) (get_local $y)))
  (func (export "shr_u474") (result i32) (i32.shr_u (i32.const 1) (i32.const 0x7fffffff)))
  (func (export "shr_u475") (param $x i32) (result i32) (i32.shr_u (get_local $x) (i32.const 0x7fffffff)))
  (func (export "shr_u476") (param $y i32) (result i32) (i32.shr_u (i32.const 1) (get_local $y)))
  (func (export "shr_u477") (result i32) (i32.shr_u (i32.const 1) (i32.const 0x80000000)))
  (func (export "shr_u478") (param $x i32) (result i32) (i32.shr_u (get_local $x) (i32.const 0x80000000)))
  (func (export "shr_u479") (param $y i32) (result i32) (i32.shr_u (i32.const 1) (get_local $y)))
  (func (export "shr_u480") (result i32) (i32.shr_u (i32.const 0x80000000) (i32.const 31)))
  (func (export "shr_u481") (param $x i32) (result i32) (i32.shr_u (get_local $x) (i32.const 31)))
  (func (export "shr_u482") (param $y i32) (result i32) (i32.shr_u (i32.const 0x80000000) (get_local $y)))
  (func (export "shr_u483") (result i32) (i32.shr_u (i32.const -1) (i32.const 32)))
  (func (export "shr_u484") (param $x i32) (result i32) (i32.shr_u (get_local $x) (i32.const 32)))
  (func (export "shr_u485") (param $y i32) (result i32) (i32.shr_u (i32.const -1) (get_local $y)))
  (func (export "shr_u486") (result i32) (i32.shr_u (i32.const -1) (i32.const 33)))
  (func (export "shr_u487") (param $x i32) (result i32) (i32.shr_u (get_local $x) (i32.const 33)))
  (func (export "shr_u488") (param $y i32) (result i32) (i32.shr_u (i32.const -1) (get_local $y)))
  (func (export "shr_u489") (result i32) (i32.shr_u (i32.const -1) (i32.const -1)))
  (func (export "shr_u490") (param $x i32) (result i32) (i32.shr_u (get_local $x) (i32.const -1)))
  (func (export "shr_u491") (param $y i32) (result i32) (i32.shr_u (i32.const -1) (get_local $y)))
  (func (export "shr_u492") (result i32) (i32.shr_u (i32.const -1) (i32.const 0x7fffffff)))
  (func (export "shr_u493") (param $x i32) (result i32) (i32.shr_u (get_local $x) (i32.const 0x7fffffff)))
  (func (export "shr_u494") (param $y i32) (result i32) (i32.shr_u (i32.const -1) (get_local $y)))
  (func (export "shr_u495") (result i32) (i32.shr_u (i32.const -1) (i32.const 0x80000000)))
  (func (export "shr_u496") (param $x i32) (result i32) (i32.shr_u (get_local $x) (i32.const 0x80000000)))
  (func (export "shr_u497") (param $y i32) (result i32) (i32.shr_u (i32.const -1) (get_local $y)))
  (func (export "rotl498") (result i32) (i32.rotl (i32.const 1) (i32.const 1)))
  (func (export "rotl499") (param $x i32) (result i32) (i32.rotl (get_local $x) (i32.const 1)))
  (func (export "rotl500") (param $y i32) (result i32) (i32.rotl (i32.const 1) (get_local $y)))
  (func (export "rotl501") (result i32) (i32.rotl (i32.const 1) (i32.const 0)))
  (func (export "rotl502") (param $x i32) (result i32) (i32.rotl (get_local $x) (i32.const 0)))
  (func (export "rotl503") (param $y i32) (result i32) (i32.rotl (i32.const 1) (get_local $y)))
  (func (export "rotl504") (result i32) (i32.rotl (i32.const -1) (i32.const 1)))
  (func (export "rotl505") (param $x i32) (result i32) (i32.rotl (get_local $x) (i32.const 1)))
  (func (export "rotl506") (param $y i32) (result i32) (i32.rotl (i32.const -1) (get_local $y)))
  (func (export "rotl507") (result i32) (i32.rotl (i32.const 1) (i32.const 32)))
  (func (export "rotl508") (param $x i32) (result i32) (i32.rotl (get_local $x) (i32.const 32)))
  (func (export "rotl509") (param $y i32) (result i32) (i32.rotl (i32.const 1) (get_local $y)))
  (func (export "rotl510") (result i32) (i32.rotl (i32.const 0xabcd9876) (i32.const 1)))
  (func (export "rotl511") (param $x i32) (result i32) (i32.rotl (get_local $x) (i32.const 1)))
  (func (export "rotl512") (param $y i32) (result i32) (i32.rotl (i32.const 0xabcd9876) (get_local $y)))
  (func (export "rotl513") (result i32) (i32.rotl (i32.const 0xfe00dc00) (i32.const 4)))
  (func (export "rotl514") (param $x i32) (result i32) (i32.rotl (get_local $x) (i32.const 4)))
  (func (export "rotl515") (param $y i32) (result i32) (i32.rotl (i32.const 0xfe00dc00) (get_local $y)))
  (func (export "rotl516") (result i32) (i32.rotl (i32.const 0xb0c1d2e3) (i32.const 5)))
  (func (export "rotl517") (param $x i32) (result i32) (i32.rotl (get_local $x) (i32.const 5)))
  (func (export "rotl518") (param $y i32) (result i32) (i32.rotl (i32.const 0xb0c1d2e3) (get_local $y)))
  (func (export "rotl519") (result i32) (i32.rotl (i32.const 0x00008000) (i32.const 37)))
  (func (export "rotl520") (param $x i32) (result i32) (i32.rotl (get_local $x) (i32.const 37)))
  (func (export "rotl521") (param $y i32) (result i32) (i32.rotl (i32.const 0x00008000) (get_local $y)))
  (func (export "rotl522") (result i32) (i32.rotl (i32.const 0xb0c1d2e3) (i32.const 0xff05)))
  (func (export "rotl523") (param $x i32) (result i32) (i32.rotl (get_local $x) (i32.const 0xff05)))
  (func (export "rotl524") (param $y i32) (result i32) (i32.rotl (i32.const 0xb0c1d2e3) (get_local $y)))
  (func (export "rotl525") (result i32) (i32.rotl (i32.const 0x769abcdf) (i32.const 0xffffffed)))
  (func (export "rotl526") (param $x i32) (result i32) (i32.rotl (get_local $x) (i32.const 0xffffffed)))
  (func (export "rotl527") (param $y i32) (result i32) (i32.rotl (i32.const 0x769abcdf) (get_local $y)))
  (func (export "rotl528") (result i32) (i32.rotl (i32.const 0x769abcdf) (i32.const 0x8000000d)))
  (func (export "rotl529") (param $x i32) (result i32) (i32.rotl (get_local $x) (i32.const 0x8000000d)))
  (func (export "rotl530") (param $y i32) (result i32) (i32.rotl (i32.const 0x769abcdf) (get_local $y)))
  (func (export "rotl531") (result i32) (i32.rotl (i32.const 1) (i32.const 31)))
  (func (export "rotl532") (param $x i32) (result i32) (i32.rotl (get_local $x) (i32.const 31)))
  (func (export "rotl533") (param $y i32) (result i32) (i32.rotl (i32.const 1) (get_local $y)))
  (func (export "rotl534") (result i32) (i32.rotl (i32.const 0x80000000) (i32.const 1)))
  (func (export "rotl535") (param $x i32) (result i32) (i32.rotl (get_local $x) (i32.const 1)))
  (func (export "rotl536") (param $y i32) (result i32) (i32.rotl (i32.const 0x80000000) (get_local $y)))
  (func (export "rotr537") (result i32) (i32.rotr (i32.const 1) (i32.const 1)))
  (func (export "rotr538") (param $x i32) (result i32) (i32.rotr (get_local $x) (i32.const 1)))
  (func (export "rotr539") (param $y i32) (result i32) (i32.rotr (i32.const 1) (get_local $y)))
  (func (export "rotr540") (result i32) (i32.rotr (i32.const 1) (i32.const 0)))
  (func (export "rotr541") (param $x i32) (result i32) (i32.rotr (get_local $x) (i32.const 0)))
  (func (export "rotr542") (param $y i32) (result i32) (i32.rotr (i32.const 1) (get_local $y)))
  (func (export "rotr543") (result i32) (i32.rotr (i32.const -1) (i32.const 1)))
  (func (export "rotr544") (param $x i32) (result i32) (i32.rotr (get_local $x) (i32.const 1)))
  (func (export "rotr545") (param $y i32) (result i32) (i32.rotr (i32.const -1) (get_local $y)))
  (func (export "rotr546") (result i32) (i32.rotr (i32.const 1) (i32.const 32)))
  (func (export "rotr547") (param $x i32) (result i32) (i32.rotr (get_local $x) (i32.const 32)))
  (func (export "rotr548") (param $y i32) (result i32) (i32.rotr (i32.const 1) (get_local $y)))
  (func (export "rotr549") (result i32) (i32.rotr (i32.const 0xff00cc00) (i32.const 1)))
  (func (export "rotr550") (param $x i32) (result i32) (i32.rotr (get_local $x) (i32.const 1)))
  (func (export "rotr551") (param $y i32) (result i32) (i32.rotr (i32.const 0xff00cc00) (get_local $y)))
  (func (export "rotr552") (result i32) (i32.rotr (i32.const 0x00080000) (i32.const 4)))
  (func (export "rotr553") (param $x i32) (result i32) (i32.rotr (get_local $x) (i32.const 4)))
  (func (export "rotr554") (param $y i32) (result i32) (i32.rotr (i32.const 0x00080000) (get_local $y)))
  (func (export "rotr555") (result i32) (i32.rotr (i32.const 0xb0c1d2e3) (i32.const 5)))
  (func (export "rotr556") (param $x i32) (result i32) (i32.rotr (get_local $x) (i32.const 5)))
  (func (export "rotr557") (param $y i32) (result i32) (i32.rotr (i32.const 0xb0c1d2e3) (get_local $y)))
  (func (export "rotr558") (result i32) (i32.rotr (i32.const 0x00008000) (i32.const 37)))
  (func (export "rotr559") (param $x i32) (result i32) (i32.rotr (get_local $x) (i32.const 37)))
  (func (export "rotr560") (param $y i32) (result i32) (i32.rotr (i32.const 0x00008000) (get_local $y)))
  (func (export "rotr561") (result i32) (i32.rotr (i32.const 0xb0c1d2e3) (i32.const 0xff05)))
  (func (export "rotr562") (param $x i32) (result i32) (i32.rotr (get_local $x) (i32.const 0xff05)))
  (func (export "rotr563") (param $y i32) (result i32) (i32.rotr (i32.const 0xb0c1d2e3) (get_local $y)))
  (func (export "rotr564") (result i32) (i32.rotr (i32.const 0x769abcdf) (i32.const 0xffffffed)))
  (func (export "rotr565") (param $x i32) (result i32) (i32.rotr (get_local $x) (i32.const 0xffffffed)))
  (func (export "rotr566") (param $y i32) (result i32) (i32.rotr (i32.const 0x769abcdf) (get_local $y)))
  (func (export "rotr567") (result i32) (i32.rotr (i32.const 0x769abcdf) (i32.const 0x8000000d)))
  (func (export "rotr568") (param $x i32) (result i32) (i32.rotr (get_local $x) (i32.const 0x8000000d)))
  (func (export "rotr569") (param $y i32) (result i32) (i32.rotr (i32.const 0x769abcdf) (get_local $y)))
  (func (export "rotr570") (result i32) (i32.rotr (i32.const 1) (i32.const 31)))
  (func (export "rotr571") (param $x i32) (result i32) (i32.rotr (get_local $x) (i32.const 31)))
  (func (export "rotr572") (param $y i32) (result i32) (i32.rotr (i32.const 1) (get_local $y)))
  (func (export "rotr573") (result i32) (i32.rotr (i32.const 0x80000000) (i32.const 31)))
  (func (export "rotr574") (param $x i32) (result i32) (i32.rotr (get_local $x) (i32.const 31)))
  (func (export "rotr575") (param $y i32) (result i32) (i32.rotr (i32.const 0x80000000) (get_local $y)))
  (func (export "clz576") (result i32) (i32.clz (i32.const 0xffffffff)))
  (func (export "clz577") (result i32) (i32.clz (i32.const 0)))
  (func (export "clz578") (result i32) (i32.clz (i32.const 0x00008000)))
  (func (export "clz579") (result i32) (i32.clz (i32.const 0xff)))
  (func (export "clz580") (result i32) (i32.clz (i32.const 0x80000000)))
  (func (export "clz581") (result i32) (i32.clz (i32.const 1)))
  (func (export "clz582") (result i32) (i32.clz (i32.const 2)))
  (func (export "clz583") (result i32) (i32.clz (i32.const 0x7fffffff)))
  (func (export "ctz584") (result i32) (i32.ctz (i32.const -1)))
  (func (export "ctz585") (result i32) (i32.ctz (i32.const 0)))
  (func (export "ctz586") (result i32) (i32.ctz (i32.const 0x00008000)))
  (func (export "ctz587") (result i32) (i32.ctz (i32.const 0x00010000)))
  (func (export "ctz588") (result i32) (i32.ctz (i32.const 0x80000000)))
  (func (export "ctz589") (result i32) (i32.ctz (i32.const 0x7fffffff)))
  (func (export "popcnt590") (result i32) (i32.popcnt (i32.const -1)))
  (func (export "popcnt591") (result i32) (i32.popcnt (i32.const 0)))
  (func (export "popcnt592") (result i32) (i32.popcnt (i32.const 0x00008000)))
  (func (export "popcnt593") (result i32) (i32.popcnt (i32.const 0x80008000)))
  (func (export "popcnt594") (result i32) (i32.popcnt (i32.const 0x7fffffff)))
  (func (export "popcnt595") (result i32) (i32.popcnt (i32.const 0xAAAAAAAA)))
  (func (export "popcnt596") (result i32) (i32.popcnt (i32.const 0x55555555)))
  (func (export "popcnt597") (result i32) (i32.popcnt (i32.const 0xDEADBEEF)))
  (func (export "eqz598") (result i32) (i32.eqz (i32.const 0)))
  (func (export "eqz599") (result i32) (i32.eqz (i32.const 1)))
  (func (export "eqz600") (result i32) (i32.eqz (i32.const 0x80000000)))
  (func (export "eqz601") (result i32) (i32.eqz (i32.const 0x7fffffff)))
  (func (export "eqz602") (result i32) (i32.eqz (i32.const 0xffffffff)))
  (func (export "eq603") (result i32) (i32.eq (i32.const 0) (i32.const 0)))
  (func (export "eq604") (param $x i32) (result i32) (i32.eq (get_local $x) (i32.const 0)))
  (func (export "eq605") (param $y i32) (result i32) (i32.eq (i32.const 0) (get_local $y)))
  (func (export "eq606") (result i32) (i32.eq (i32.const 1) (i32.const 1)))
  (func (export "eq607") (param $x i32) (result i32) (i32.eq (get_local $x) (i32.const 1)))
  (func (export "eq608") (param $y i32) (result i32) (i32.eq (i32.const 1) (get_local $y)))
  (func (export "eq609") (result i32) (i32.eq (i32.const -1) (i32.const 1)))
  (func (export "eq610") (param $x i32) (result i32) (i32.eq (get_local $x) (i32.const 1)))
  (func (export "eq611") (param $y i32) (result i32) (i32.eq (i32.const -1) (get_local $y)))
  (func (export "eq612") (result i32) (i32.eq (i32.const 0x80000000) (i32.const 0x80000000)))
  (func (export "eq613") (param $x i32) (result i32) (i32.eq (get_local $x) (i32.const 0x80000000)))
  (func (export "eq614") (param $y i32) (result i32) (i32.eq (i32.const 0x80000000) (get_local $y)))
  (func (export "eq615") (result i32) (i32.eq (i32.const 0x7fffffff) (i32.const 0x7fffffff)))
  (func (export "eq616") (param $x i32) (result i32) (i32.eq (get_local $x) (i32.const 0x7fffffff)))
  (func (export "eq617") (param $y i32) (result i32) (i32.eq (i32.const 0x7fffffff) (get_local $y)))
  (func (export "eq618") (result i32) (i32.eq (i32.const -1) (i32.const -1)))
  (func (export "eq619") (param $x i32) (result i32) (i32.eq (get_local $x) (i32.const -1)))
  (func (export "eq620") (param $y i32) (result i32) (i32.eq (i32.const -1) (get_local $y)))
  (func (export "eq621") (result i32) (i32.eq (i32.const 1) (i32.const 0)))
  (func (export "eq622") (param $x i32) (result i32) (i32.eq (get_local $x) (i32.const 0)))
  (func (export "eq623") (param $y i32) (result i32) (i32.eq (i32.const 1) (get_local $y)))
  (func (export "eq624") (result i32) (i32.eq (i32.const 0) (i32.const 1)))
  (func (export "eq625") (param $x i32) (result i32) (i32.eq (get_local $x) (i32.const 1)))
  (func (export "eq626") (param $y i32) (result i32) (i32.eq (i32.const 0) (get_local $y)))
  (func (export "eq627") (result i32) (i32.eq (i32.const 0x80000000) (i32.const 0)))
  (func (export "eq628") (param $x i32) (result i32) (i32.eq (get_local $x) (i32.const 0)))
  (func (export "eq629") (param $y i32) (result i32) (i32.eq (i32.const 0x80000000) (get_local $y)))
  (func (export "eq630") (result i32) (i32.eq (i32.const 0) (i32.const 0x80000000)))
  (func (export "eq631") (param $x i32) (result i32) (i32.eq (get_local $x) (i32.const 0x80000000)))
  (func (export "eq632") (param $y i32) (result i32) (i32.eq (i32.const 0) (get_local $y)))
  (func (export "eq633") (result i32) (i32.eq (i32.const 0x80000000) (i32.const -1)))
  (func (export "eq634") (param $x i32) (result i32) (i32.eq (get_local $x) (i32.const -1)))
  (func (export "eq635") (param $y i32) (result i32) (i32.eq (i32.const 0x80000000) (get_local $y)))
  (func (export "eq636") (result i32) (i32.eq (i32.const -1) (i32.const 0x80000000)))
  (func (export "eq637") (param $x i32) (result i32) (i32.eq (get_local $x) (i32.const 0x80000000)))
  (func (export "eq638") (param $y i32) (result i32) (i32.eq (i32.const -1) (get_local $y)))
  (func (export "eq639") (result i32) (i32.eq (i32.const 0x80000000) (i32.const 0x7fffffff)))
  (func (export "eq640") (param $x i32) (result i32) (i32.eq (get_local $x) (i32.const 0x7fffffff)))
  (func (export "eq641") (param $y i32) (result i32) (i32.eq (i32.const 0x80000000) (get_local $y)))
  (func (export "eq642") (result i32) (i32.eq (i32.const 0x7fffffff) (i32.const 0x80000000)))
  (func (export "eq643") (param $x i32) (result i32) (i32.eq (get_local $x) (i32.const 0x80000000)))
  (func (export "eq644") (param $y i32) (result i32) (i32.eq (i32.const 0x7fffffff) (get_local $y)))
  (func (export "ne645") (result i32) (i32.ne (i32.const 0) (i32.const 0)))
  (func (export "ne646") (param $x i32) (result i32) (i32.ne (get_local $x) (i32.const 0)))
  (func (export "ne647") (param $y i32) (result i32) (i32.ne (i32.const 0) (get_local $y)))
  (func (export "ne648") (result i32) (i32.ne (i32.const 1) (i32.const 1)))
  (func (export "ne649") (param $x i32) (result i32) (i32.ne (get_local $x) (i32.const 1)))
  (func (export "ne650") (param $y i32) (result i32) (i32.ne (i32.const 1) (get_local $y)))
  (func (export "ne651") (result i32) (i32.ne (i32.const -1) (i32.const 1)))
  (func (export "ne652") (param $x i32) (result i32) (i32.ne (get_local $x) (i32.const 1)))
  (func (export "ne653") (param $y i32) (result i32) (i32.ne (i32.const -1) (get_local $y)))
  (func (export "ne654") (result i32) (i32.ne (i32.const 0x80000000) (i32.const 0x80000000)))
  (func (export "ne655") (param $x i32) (result i32) (i32.ne (get_local $x) (i32.const 0x80000000)))
  (func (export "ne656") (param $y i32) (result i32) (i32.ne (i32.const 0x80000000) (get_local $y)))
  (func (export "ne657") (result i32) (i32.ne (i32.const 0x7fffffff) (i32.const 0x7fffffff)))
  (func (export "ne658") (param $x i32) (result i32) (i32.ne (get_local $x) (i32.const 0x7fffffff)))
  (func (export "ne659") (param $y i32) (result i32) (i32.ne (i32.const 0x7fffffff) (get_local $y)))
  (func (export "ne660") (result i32) (i32.ne (i32.const -1) (i32.const -1)))
  (func (export "ne661") (param $x i32) (result i32) (i32.ne (get_local $x) (i32.const -1)))
  (func (export "ne662") (param $y i32) (result i32) (i32.ne (i32.const -1) (get_local $y)))
  (func (export "ne663") (result i32) (i32.ne (i32.const 1) (i32.const 0)))
  (func (export "ne664") (param $x i32) (result i32) (i32.ne (get_local $x) (i32.const 0)))
  (func (export "ne665") (param $y i32) (result i32) (i32.ne (i32.const 1) (get_local $y)))
  (func (export "ne666") (result i32) (i32.ne (i32.const 0) (i32.const 1)))
  (func (export "ne667") (param $x i32) (result i32) (i32.ne (get_local $x) (i32.const 1)))
  (func (export "ne668") (param $y i32) (result i32) (i32.ne (i32.const 0) (get_local $y)))
  (func (export "ne669") (result i32) (i32.ne (i32.const 0x80000000) (i32.const 0)))
  (func (export "ne670") (param $x i32) (result i32) (i32.ne (get_local $x) (i32.const 0)))
  (func (export "ne671") (param $y i32) (result i32) (i32.ne (i32.const 0x80000000) (get_local $y)))
  (func (export "ne672") (result i32) (i32.ne (i32.const 0) (i32.const 0x80000000)))
  (func (export "ne673") (param $x i32) (result i32) (i32.ne (get_local $x) (i32.const 0x80000000)))
  (func (export "ne674") (param $y i32) (result i32) (i32.ne (i32.const 0) (get_local $y)))
  (func (export "ne675") (result i32) (i32.ne (i32.const 0x80000000) (i32.const -1)))
  (func (export "ne676") (param $x i32) (result i32) (i32.ne (get_local $x) (i32.const -1)))
  (func (export "ne677") (param $y i32) (result i32) (i32.ne (i32.const 0x80000000) (get_local $y)))
  (func (export "ne678") (result i32) (i32.ne (i32.const -1) (i32.const 0x80000000)))
  (func (export "ne679") (param $x i32) (result i32) (i32.ne (get_local $x) (i32.const 0x80000000)))
  (func (export "ne680") (param $y i32) (result i32) (i32.ne (i32.const -1) (get_local $y)))
  (func (export "ne681") (result i32) (i32.ne (i32.const 0x80000000) (i32.const 0x7fffffff)))
  (func (export "ne682") (param $x i32) (result i32) (i32.ne (get_local $x) (i32.const 0x7fffffff)))
  (func (export "ne683") (param $y i32) (result i32) (i32.ne (i32.const 0x80000000) (get_local $y)))
  (func (export "ne684") (result i32) (i32.ne (i32.const 0x7fffffff) (i32.const 0x80000000)))
  (func (export "ne685") (param $x i32) (result i32) (i32.ne (get_local $x) (i32.const 0x80000000)))
  (func (export "ne686") (param $y i32) (result i32) (i32.ne (i32.const 0x7fffffff) (get_local $y)))
  (func (export "lt_s687") (result i32) (i32.lt_s (i32.const 0) (i32.const 0)))
  (func (export "lt_s688") (param $x i32) (result i32) (i32.lt_s (get_local $x) (i32.const 0)))
  (func (export "lt_s689") (param $y i32) (result i32) (i32.lt_s (i32.const 0) (get_local $y)))
  (func (export "lt_s690") (result i32) (i32.lt_s (i32.const 1) (i32.const 1)))
  (func (export "lt_s691") (param $x i32) (result i32) (i32.lt_s (get_local $x) (i32.const 1)))
  (func (export "lt_s692") (param $y i32) (result i32) (i32.lt_s (i32.const 1) (get_local $y)))
  (func (export "lt_s693") (result i32) (i32.lt_s (i32.const -1) (i32.const 1)))
  (func (export "lt_s694") (param $x i32) (result i32) (i32.lt_s (get_local $x) (i32.const 1)))
  (func (export "lt_s695") (param $y i32) (result i32) (i32.lt_s (i32.const -1) (get_local $y)))
  (func (export "lt_s696") (result i32) (i32.lt_s (i32.const 0x80000000) (i32.const 0x80000000)))
  (func (export "lt_s697") (param $x i32) (result i32) (i32.lt_s (get_local $x) (i32.const 0x80000000)))
  (func (export "lt_s698") (param $y i32) (result i32) (i32.lt_s (i32.const 0x80000000) (get_local $y)))
  (func (export "lt_s699") (result i32) (i32.lt_s (i32.const 0x7fffffff) (i32.const 0x7fffffff)))
  (func (export "lt_s700") (param $x i32) (result i32) (i32.lt_s (get_local $x) (i32.const 0x7fffffff)))
  (func (export "lt_s701") (param $y i32) (result i32) (i32.lt_s (i32.const 0x7fffffff) (get_local $y)))
  (func (export "lt_s702") (result i32) (i32.lt_s (i32.const -1) (i32.const -1)))
  (func (export "lt_s703") (param $x i32) (result i32) (i32.lt_s (get_local $x) (i32.const -1)))
  (func (export "lt_s704") (param $y i32) (result i32) (i32.lt_s (i32.const -1) (get_local $y)))
  (func (export "lt_s705") (result i32) (i32.lt_s (i32.const 1) (i32.const 0)))
  (func (export "lt_s706") (param $x i32) (result i32) (i32.lt_s (get_local $x) (i32.const 0)))
  (func (export "lt_s707") (param $y i32) (result i32) (i32.lt_s (i32.const 1) (get_local $y)))
  (func (export "lt_s708") (result i32) (i32.lt_s (i32.const 0) (i32.const 1)))
  (func (export "lt_s709") (param $x i32) (result i32) (i32.lt_s (get_local $x) (i32.const 1)))
  (func (export "lt_s710") (param $y i32) (result i32) (i32.lt_s (i32.const 0) (get_local $y)))
  (func (export "lt_s711") (result i32) (i32.lt_s (i32.const 0x80000000) (i32.const 0)))
  (func (export "lt_s712") (param $x i32) (result i32) (i32.lt_s (get_local $x) (i32.const 0)))
  (func (export "lt_s713") (param $y i32) (result i32) (i32.lt_s (i32.const 0x80000000) (get_local $y)))
  (func (export "lt_s714") (result i32) (i32.lt_s (i32.const 0) (i32.const 0x80000000)))
  (func (export "lt_s715") (param $x i32) (result i32) (i32.lt_s (get_local $x) (i32.const 0x80000000)))
  (func (export "lt_s716") (param $y i32) (result i32) (i32.lt_s (i32.const 0) (get_local $y)))
  (func (export "lt_s717") (result i32) (i32.lt_s (i32.const 0x80000000) (i32.const -1)))
  (func (export "lt_s718") (param $x i32) (result i32) (i32.lt_s (get_local $x) (i32.const -1)))
  (func (export "lt_s719") (param $y i32) (result i32) (i32.lt_s (i32.const 0x80000000) (get_local $y)))
  (func (export "lt_s720") (result i32) (i32.lt_s (i32.const -1) (i32.const 0x80000000)))
  (func (export "lt_s721") (param $x i32) (result i32) (i32.lt_s (get_local $x) (i32.const 0x80000000)))
  (func (export "lt_s722") (param $y i32) (result i32) (i32.lt_s (i32.const -1) (get_local $y)))
  (func (export "lt_s723") (result i32) (i32.lt_s (i32.const 0x80000000) (i32.const 0x7fffffff)))
  (func (export "lt_s724") (param $x i32) (result i32) (i32.lt_s (get_local $x) (i32.const 0x7fffffff)))
  (func (export "lt_s725") (param $y i32) (result i32) (i32.lt_s (i32.const 0x80000000) (get_local $y)))
  (func (export "lt_s726") (result i32) (i32.lt_s (i32.const 0x7fffffff) (i32.const 0x80000000)))
  (func (export "lt_s727") (param $x i32) (result i32) (i32.lt_s (get_local $x) (i32.const 0x80000000)))
  (func (export "lt_s728") (param $y i32) (result i32) (i32.lt_s (i32.const 0x7fffffff) (get_local $y)))
  (func (export "lt_u729") (result i32) (i32.lt_u (i32.const 0) (i32.const 0)))
  (func (export "lt_u730") (param $x i32) (result i32) (i32.lt_u (get_local $x) (i32.const 0)))
  (func (export "lt_u731") (param $y i32) (result i32) (i32.lt_u (i32.const 0) (get_local $y)))
  (func (export "lt_u732") (result i32) (i32.lt_u (i32.const 1) (i32.const 1)))
  (func (export "lt_u733") (param $x i32) (result i32) (i32.lt_u (get_local $x) (i32.const 1)))
  (func (export "lt_u734") (param $y i32) (result i32) (i32.lt_u (i32.const 1) (get_local $y)))
  (func (export "lt_u735") (result i32) (i32.lt_u (i32.const -1) (i32.const 1)))
  (func (export "lt_u736") (param $x i32) (result i32) (i32.lt_u (get_local $x) (i32.const 1)))
  (func (export "lt_u737") (param $y i32) (result i32) (i32.lt_u (i32.const -1) (get_local $y)))
  (func (export "lt_u738") (result i32) (i32.lt_u (i32.const 0x80000000) (i32.const 0x80000000)))
  (func (export "lt_u739") (param $x i32) (result i32) (i32.lt_u (get_local $x) (i32.const 0x80000000)))
  (func (export "lt_u740") (param $y i32) (result i32) (i32.lt_u (i32.const 0x80000000) (get_local $y)))
  (func (export "lt_u741") (result i32) (i32.lt_u (i32.const 0x7fffffff) (i32.const 0x7fffffff)))
  (func (export "lt_u742") (param $x i32) (result i32) (i32.lt_u (get_local $x) (i32.const 0x7fffffff)))
  (func (export "lt_u743") (param $y i32) (result i32) (i32.lt_u (i32.const 0x7fffffff) (get_local $y)))
  (func (export "lt_u744") (result i32) (i32.lt_u (i32.const -1) (i32.const -1)))
  (func (export "lt_u745") (param $x i32) (result i32) (i32.lt_u (get_local $x) (i32.const -1)))
  (func (export "lt_u746") (param $y i32) (result i32) (i32.lt_u (i32.const -1) (get_local $y)))
  (func (export "lt_u747") (result i32) (i32.lt_u (i32.const 1) (i32.const 0)))
  (func (export "lt_u748") (param $x i32) (result i32) (i32.lt_u (get_local $x) (i32.const 0)))
  (func (export "lt_u749") (param $y i32) (result i32) (i32.lt_u (i32.const 1) (get_local $y)))
  (func (export "lt_u750") (result i32) (i32.lt_u (i32.const 0) (i32.const 1)))
  (func (export "lt_u751") (param $x i32) (result i32) (i32.lt_u (get_local $x) (i32.const 1)))
  (func (export "lt_u752") (param $y i32) (result i32) (i32.lt_u (i32.const 0) (get_local $y)))
  (func (export "lt_u753") (result i32) (i32.lt_u (i32.const 0x80000000) (i32.const 0)))
  (func (export "lt_u754") (param $x i32) (result i32) (i32.lt_u (get_local $x) (i32.const 0)))
  (func (export "lt_u755") (param $y i32) (result i32) (i32.lt_u (i32.const 0x80000000) (get_local $y)))
  (func (export "lt_u756") (result i32) (i32.lt_u (i32.const 0) (i32.const 0x80000000)))
  (func (export "lt_u757") (param $x i32) (result i32) (i32.lt_u (get_local $x) (i32.const 0x80000000)))
  (func (export "lt_u758") (param $y i32) (result i32) (i32.lt_u (i32.const 0) (get_local $y)))
  (func (export "lt_u759") (result i32) (i32.lt_u (i32.const 0x80000000) (i32.const -1)))
  (func (export "lt_u760") (param $x i32) (result i32) (i32.lt_u (get_local $x) (i32.const -1)))
  (func (export "lt_u761") (param $y i32) (result i32) (i32.lt_u (i32.const 0x80000000) (get_local $y)))
  (func (export "lt_u762") (result i32) (i32.lt_u (i32.const -1) (i32.const 0x80000000)))
  (func (export "lt_u763") (param $x i32) (result i32) (i32.lt_u (get_local $x) (i32.const 0x80000000)))
  (func (export "lt_u764") (param $y i32) (result i32) (i32.lt_u (i32.const -1) (get_local $y)))
  (func (export "lt_u765") (result i32) (i32.lt_u (i32.const 0x80000000) (i32.const 0x7fffffff)))
  (func (export "lt_u766") (param $x i32) (result i32) (i32.lt_u (get_local $x) (i32.const 0x7fffffff)))
  (func (export "lt_u767") (param $y i32) (result i32) (i32.lt_u (i32.const 0x80000000) (get_local $y)))
  (func (export "lt_u768") (result i32) (i32.lt_u (i32.const 0x7fffffff) (i32.const 0x80000000)))
  (func (export "lt_u769") (param $x i32) (result i32) (i32.lt_u (get_local $x) (i32.const 0x80000000)))
  (func (export "lt_u770") (param $y i32) (result i32) (i32.lt_u (i32.const 0x7fffffff) (get_local $y)))
  (func (export "le_s771") (result i32) (i32.le_s (i32.const 0) (i32.const 0)))
  (func (export "le_s772") (param $x i32) (result i32) (i32.le_s (get_local $x) (i32.const 0)))
  (func (export "le_s773") (param $y i32) (result i32) (i32.le_s (i32.const 0) (get_local $y)))
  (func (export "le_s774") (result i32) (i32.le_s (i32.const 1) (i32.const 1)))
  (func (export "le_s775") (param $x i32) (result i32) (i32.le_s (get_local $x) (i32.const 1)))
  (func (export "le_s776") (param $y i32) (result i32) (i32.le_s (i32.const 1) (get_local $y)))
  (func (export "le_s777") (result i32) (i32.le_s (i32.const -1) (i32.const 1)))
  (func (export "le_s778") (param $x i32) (result i32) (i32.le_s (get_local $x) (i32.const 1)))
  (func (export "le_s779") (param $y i32) (result i32) (i32.le_s (i32.const -1) (get_local $y)))
  (func (export "le_s780") (result i32) (i32.le_s (i32.const 0x80000000) (i32.const 0x80000000)))
  (func (export "le_s781") (param $x i32) (result i32) (i32.le_s (get_local $x) (i32.const 0x80000000)))
  (func (export "le_s782") (param $y i32) (result i32) (i32.le_s (i32.const 0x80000000) (get_local $y)))
  (func (export "le_s783") (result i32) (i32.le_s (i32.const 0x7fffffff) (i32.const 0x7fffffff)))
  (func (export "le_s784") (param $x i32) (result i32) (i32.le_s (get_local $x) (i32.const 0x7fffffff)))
  (func (export "le_s785") (param $y i32) (result i32) (i32.le_s (i32.const 0x7fffffff) (get_local $y)))
  (func (export "le_s786") (result i32) (i32.le_s (i32.const -1) (i32.const -1)))
  (func (export "le_s787") (param $x i32) (result i32) (i32.le_s (get_local $x) (i32.const -1)))
  (func (export "le_s788") (param $y i32) (result i32) (i32.le_s (i32.const -1) (get_local $y)))
  (func (export "le_s789") (result i32) (i32.le_s (i32.const 1) (i32.const 0)))
  (func (export "le_s790") (param $x i32) (result i32) (i32.le_s (get_local $x) (i32.const 0)))
  (func (export "le_s791") (param $y i32) (result i32) (i32.le_s (i32.const 1) (get_local $y)))
  (func (export "le_s792") (result i32) (i32.le_s (i32.const 0) (i32.const 1)))
  (func (export "le_s793") (param $x i32) (result i32) (i32.le_s (get_local $x) (i32.const 1)))
  (func (export "le_s794") (param $y i32) (result i32) (i32.le_s (i32.const 0) (get_local $y)))
  (func (export "le_s795") (result i32) (i32.le_s (i32.const 0x80000000) (i32.const 0)))
  (func (export "le_s796") (param $x i32) (result i32) (i32.le_s (get_local $x) (i32.const 0)))
  (func (export "le_s797") (param $y i32) (result i32) (i32.le_s (i32.const 0x80000000) (get_local $y)))
  (func (export "le_s798") (result i32) (i32.le_s (i32.const 0) (i32.const 0x80000000)))
  (func (export "le_s799") (param $x i32) (result i32) (i32.le_s (get_local $x) (i32.const 0x80000000)))
  (func (export "le_s800") (param $y i32) (result i32) (i32.le_s (i32.const 0) (get_local $y)))
  (func (export "le_s801") (result i32) (i32.le_s (i32.const 0x80000000) (i32.const -1)))
  (func (export "le_s802") (param $x i32) (result i32) (i32.le_s (get_local $x) (i32.const -1)))
  (func (export "le_s803") (param $y i32) (result i32) (i32.le_s (i32.const 0x80000000) (get_local $y)))
  (func (export "le_s804") (result i32) (i32.le_s (i32.const -1) (i32.const 0x80000000)))
  (func (export "le_s805") (param $x i32) (result i32) (i32.le_s (get_local $x) (i32.const 0x80000000)))
  (func (export "le_s806") (param $y i32) (result i32) (i32.le_s (i32.const -1) (get_local $y)))
  (func (export "le_s807") (result i32) (i32.le_s (i32.const 0x80000000) (i32.const 0x7fffffff)))
  (func (export "le_s808") (param $x i32) (result i32) (i32.le_s (get_local $x) (i32.const 0x7fffffff)))
  (func (export "le_s809") (param $y i32) (result i32) (i32.le_s (i32.const 0x80000000) (get_local $y)))
  (func (export "le_s810") (result i32) (i32.le_s (i32.const 0x7fffffff) (i32.const 0x80000000)))
  (func (export "le_s811") (param $x i32) (result i32) (i32.le_s (get_local $x) (i32.const 0x80000000)))
  (func (export "le_s812") (param $y i32) (result i32) (i32.le_s (i32.const 0x7fffffff) (get_local $y)))
  (func (export "le_u813") (result i32) (i32.le_u (i32.const 0) (i32.const 0)))
  (func (export "le_u814") (param $x i32) (result i32) (i32.le_u (get_local $x) (i32.const 0)))
  (func (export "le_u815") (param $y i32) (result i32) (i32.le_u (i32.const 0) (get_local $y)))
  (func (export "le_u816") (result i32) (i32.le_u (i32.const 1) (i32.const 1)))
  (func (export "le_u817") (param $x i32) (result i32) (i32.le_u (get_local $x) (i32.const 1)))
  (func (export "le_u818") (param $y i32) (result i32) (i32.le_u (i32.const 1) (get_local $y)))
  (func (export "le_u819") (result i32) (i32.le_u (i32.const -1) (i32.const 1)))
  (func (export "le_u820") (param $x i32) (result i32) (i32.le_u (get_local $x) (i32.const 1)))
  (func (export "le_u821") (param $y i32) (result i32) (i32.le_u (i32.const -1) (get_local $y)))
  (func (export "le_u822") (result i32) (i32.le_u (i32.const 0x80000000) (i32.const 0x80000000)))
  (func (export "le_u823") (param $x i32) (result i32) (i32.le_u (get_local $x) (i32.const 0x80000000)))
  (func (export "le_u824") (param $y i32) (result i32) (i32.le_u (i32.const 0x80000000) (get_local $y)))
  (func (export "le_u825") (result i32) (i32.le_u (i32.const 0x7fffffff) (i32.const 0x7fffffff)))
  (func (export "le_u826") (param $x i32) (result i32) (i32.le_u (get_local $x) (i32.const 0x7fffffff)))
  (func (export "le_u827") (param $y i32) (result i32) (i32.le_u (i32.const 0x7fffffff) (get_local $y)))
  (func (export "le_u828") (result i32) (i32.le_u (i32.const -1) (i32.const -1)))
  (func (export "le_u829") (param $x i32) (result i32) (i32.le_u (get_local $x) (i32.const -1)))
  (func (export "le_u830") (param $y i32) (result i32) (i32.le_u (i32.const -1) (get_local $y)))
  (func (export "le_u831") (result i32) (i32.le_u (i32.const 1) (i32.const 0)))
  (func (export "le_u832") (param $x i32) (result i32) (i32.le_u (get_local $x) (i32.const 0)))
  (func (export "le_u833") (param $y i32) (result i32) (i32.le_u (i32.const 1) (get_local $y)))
  (func (export "le_u834") (result i32) (i32.le_u (i32.const 0) (i32.const 1)))
  (func (export "le_u835") (param $x i32) (result i32) (i32.le_u (get_local $x) (i32.const 1)))
  (func (export "le_u836") (param $y i32) (result i32) (i32.le_u (i32.const 0) (get_local $y)))
  (func (export "le_u837") (result i32) (i32.le_u (i32.const 0x80000000) (i32.const 0)))
  (func (export "le_u838") (param $x i32) (result i32) (i32.le_u (get_local $x) (i32.const 0)))
  (func (export "le_u839") (param $y i32) (result i32) (i32.le_u (i32.const 0x80000000) (get_local $y)))
  (func (export "le_u840") (result i32) (i32.le_u (i32.const 0) (i32.const 0x80000000)))
  (func (export "le_u841") (param $x i32) (result i32) (i32.le_u (get_local $x) (i32.const 0x80000000)))
  (func (export "le_u842") (param $y i32) (result i32) (i32.le_u (i32.const 0) (get_local $y)))
  (func (export "le_u843") (result i32) (i32.le_u (i32.const 0x80000000) (i32.const -1)))
  (func (export "le_u844") (param $x i32) (result i32) (i32.le_u (get_local $x) (i32.const -1)))
  (func (export "le_u845") (param $y i32) (result i32) (i32.le_u (i32.const 0x80000000) (get_local $y)))
  (func (export "le_u846") (result i32) (i32.le_u (i32.const -1) (i32.const 0x80000000)))
  (func (export "le_u847") (param $x i32) (result i32) (i32.le_u (get_local $x) (i32.const 0x80000000)))
  (func (export "le_u848") (param $y i32) (result i32) (i32.le_u (i32.const -1) (get_local $y)))
  (func (export "le_u849") (result i32) (i32.le_u (i32.const 0x80000000) (i32.const 0x7fffffff)))
  (func (export "le_u850") (param $x i32) (result i32) (i32.le_u (get_local $x) (i32.const 0x7fffffff)))
  (func (export "le_u851") (param $y i32) (result i32) (i32.le_u (i32.const 0x80000000) (get_local $y)))
  (func (export "le_u852") (result i32) (i32.le_u (i32.const 0x7fffffff) (i32.const 0x80000000)))
  (func (export "le_u853") (param $x i32) (result i32) (i32.le_u (get_local $x) (i32.const 0x80000000)))
  (func (export "le_u854") (param $y i32) (result i32) (i32.le_u (i32.const 0x7fffffff) (get_local $y)))
  (func (export "gt_s855") (result i32) (i32.gt_s (i32.const 0) (i32.const 0)))
  (func (export "gt_s856") (param $x i32) (result i32) (i32.gt_s (get_local $x) (i32.const 0)))
  (func (export "gt_s857") (param $y i32) (result i32) (i32.gt_s (i32.const 0) (get_local $y)))
  (func (export "gt_s858") (result i32) (i32.gt_s (i32.const 1) (i32.const 1)))
  (func (export "gt_s859") (param $x i32) (result i32) (i32.gt_s (get_local $x) (i32.const 1)))
  (func (export "gt_s860") (param $y i32) (result i32) (i32.gt_s (i32.const 1) (get_local $y)))
  (func (export "gt_s861") (result i32) (i32.gt_s (i32.const -1) (i32.const 1)))
  (func (export "gt_s862") (param $x i32) (result i32) (i32.gt_s (get_local $x) (i32.const 1)))
  (func (export "gt_s863") (param $y i32) (result i32) (i32.gt_s (i32.const -1) (get_local $y)))
  (func (export "gt_s864") (result i32) (i32.gt_s (i32.const 0x80000000) (i32.const 0x80000000)))
  (func (export "gt_s865") (param $x i32) (result i32) (i32.gt_s (get_local $x) (i32.const 0x80000000)))
  (func (export "gt_s866") (param $y i32) (result i32) (i32.gt_s (i32.const 0x80000000) (get_local $y)))
  (func (export "gt_s867") (result i32) (i32.gt_s (i32.const 0x7fffffff) (i32.const 0x7fffffff)))
  (func (export "gt_s868") (param $x i32) (result i32) (i32.gt_s (get_local $x) (i32.const 0x7fffffff)))
  (func (export "gt_s869") (param $y i32) (result i32) (i32.gt_s (i32.const 0x7fffffff) (get_local $y)))
  (func (export "gt_s870") (result i32) (i32.gt_s (i32.const -1) (i32.const -1)))
  (func (export "gt_s871") (param $x i32) (result i32) (i32.gt_s (get_local $x) (i32.const -1)))
  (func (export "gt_s872") (param $y i32) (result i32) (i32.gt_s (i32.const -1) (get_local $y)))
  (func (export "gt_s873") (result i32) (i32.gt_s (i32.const 1) (i32.const 0)))
  (func (export "gt_s874") (param $x i32) (result i32) (i32.gt_s (get_local $x) (i32.const 0)))
  (func (export "gt_s875") (param $y i32) (result i32) (i32.gt_s (i32.const 1) (get_local $y)))
  (func (export "gt_s876") (result i32) (i32.gt_s (i32.const 0) (i32.const 1)))
  (func (export "gt_s877") (param $x i32) (result i32) (i32.gt_s (get_local $x) (i32.const 1)))
  (func (export "gt_s878") (param $y i32) (result i32) (i32.gt_s (i32.const 0) (get_local $y)))
  (func (export "gt_s879") (result i32) (i32.gt_s (i32.const 0x80000000) (i32.const 0)))
  (func (export "gt_s880") (param $x i32) (result i32) (i32.gt_s (get_local $x) (i32.const 0)))
  (func (export "gt_s881") (param $y i32) (result i32) (i32.gt_s (i32.const 0x80000000) (get_local $y)))
  (func (export "gt_s882") (result i32) (i32.gt_s (i32.const 0) (i32.const 0x80000000)))
  (func (export "gt_s883") (param $x i32) (result i32) (i32.gt_s (get_local $x) (i32.const 0x80000000)))
  (func (export "gt_s884") (param $y i32) (result i32) (i32.gt_s (i32.const 0) (get_local $y)))
  (func (export "gt_s885") (result i32) (i32.gt_s (i32.const 0x80000000) (i32.const -1)))
  (func (export "gt_s886") (param $x i32) (result i32) (i32.gt_s (get_local $x) (i32.const -1)))
  (func (export "gt_s887") (param $y i32) (result i32) (i32.gt_s (i32.const 0x80000000) (get_local $y)))
  (func (export "gt_s888") (result i32) (i32.gt_s (i32.const -1) (i32.const 0x80000000)))
  (func (export "gt_s889") (param $x i32) (result i32) (i32.gt_s (get_local $x) (i32.const 0x80000000)))
  (func (export "gt_s890") (param $y i32) (result i32) (i32.gt_s (i32.const -1) (get_local $y)))
  (func (export "gt_s891") (result i32) (i32.gt_s (i32.const 0x80000000) (i32.const 0x7fffffff)))
  (func (export "gt_s892") (param $x i32) (result i32) (i32.gt_s (get_local $x) (i32.const 0x7fffffff)))
  (func (export "gt_s893") (param $y i32) (result i32) (i32.gt_s (i32.const 0x80000000) (get_local $y)))
  (func (export "gt_s894") (result i32) (i32.gt_s (i32.const 0x7fffffff) (i32.const 0x80000000)))
  (func (export "gt_s895") (param $x i32) (result i32) (i32.gt_s (get_local $x) (i32.const 0x80000000)))
  (func (export "gt_s896") (param $y i32) (result i32) (i32.gt_s (i32.const 0x7fffffff) (get_local $y)))
  (func (export "gt_u897") (result i32) (i32.gt_u (i32.const 0) (i32.const 0)))
  (func (export "gt_u898") (param $x i32) (result i32) (i32.gt_u (get_local $x) (i32.const 0)))
  (func (export "gt_u899") (param $y i32) (result i32) (i32.gt_u (i32.const 0) (get_local $y)))
  (func (export "gt_u900") (result i32) (i32.gt_u (i32.const 1) (i32.const 1)))
  (func (export "gt_u901") (param $x i32) (result i32) (i32.gt_u (get_local $x) (i32.const 1)))
  (func (export "gt_u902") (param $y i32) (result i32) (i32.gt_u (i32.const 1) (get_local $y)))
  (func (export "gt_u903") (result i32) (i32.gt_u (i32.const -1) (i32.const 1)))
  (func (export "gt_u904") (param $x i32) (result i32) (i32.gt_u (get_local $x) (i32.const 1)))
  (func (export "gt_u905") (param $y i32) (result i32) (i32.gt_u (i32.const -1) (get_local $y)))
  (func (export "gt_u906") (result i32) (i32.gt_u (i32.const 0x80000000) (i32.const 0x80000000)))
  (func (export "gt_u907") (param $x i32) (result i32) (i32.gt_u (get_local $x) (i32.const 0x80000000)))
  (func (export "gt_u908") (param $y i32) (result i32) (i32.gt_u (i32.const 0x80000000) (get_local $y)))
  (func (export "gt_u909") (result i32) (i32.gt_u (i32.const 0x7fffffff) (i32.const 0x7fffffff)))
  (func (export "gt_u910") (param $x i32) (result i32) (i32.gt_u (get_local $x) (i32.const 0x7fffffff)))
  (func (export "gt_u911") (param $y i32) (result i32) (i32.gt_u (i32.const 0x7fffffff) (get_local $y)))
  (func (export "gt_u912") (result i32) (i32.gt_u (i32.const -1) (i32.const -1)))
  (func (export "gt_u913") (param $x i32) (result i32) (i32.gt_u (get_local $x) (i32.const -1)))
  (func (export "gt_u914") (param $y i32) (result i32) (i32.gt_u (i32.const -1) (get_local $y)))
  (func (export "gt_u915") (result i32) (i32.gt_u (i32.const 1) (i32.const 0)))
  (func (export "gt_u916") (param $x i32) (result i32) (i32.gt_u (get_local $x) (i32.const 0)))
  (func (export "gt_u917") (param $y i32) (result i32) (i32.gt_u (i32.const 1) (get_local $y)))
  (func (export "gt_u918") (result i32) (i32.gt_u (i32.const 0) (i32.const 1)))
  (func (export "gt_u919") (param $x i32) (result i32) (i32.gt_u (get_local $x) (i32.const 1)))
  (func (export "gt_u920") (param $y i32) (result i32) (i32.gt_u (i32.const 0) (get_local $y)))
  (func (export "gt_u921") (result i32) (i32.gt_u (i32.const 0x80000000) (i32.const 0)))
  (func (export "gt_u922") (param $x i32) (result i32) (i32.gt_u (get_local $x) (i32.const 0)))
  (func (export "gt_u923") (param $y i32) (result i32) (i32.gt_u (i32.const 0x80000000) (get_local $y)))
  (func (export "gt_u924") (result i32) (i32.gt_u (i32.const 0) (i32.const 0x80000000)))
  (func (export "gt_u925") (param $x i32) (result i32) (i32.gt_u (get_local $x) (i32.const 0x80000000)))
  (func (export "gt_u926") (param $y i32) (result i32) (i32.gt_u (i32.const 0) (get_local $y)))
  (func (export "gt_u927") (result i32) (i32.gt_u (i32.const 0x80000000) (i32.const -1)))
  (func (export "gt_u928") (param $x i32) (result i32) (i32.gt_u (get_local $x) (i32.const -1)))
  (func (export "gt_u929") (param $y i32) (result i32) (i32.gt_u (i32.const 0x80000000) (get_local $y)))
  (func (export "gt_u930") (result i32) (i32.gt_u (i32.const -1) (i32.const 0x80000000)))
  (func (export "gt_u931") (param $x i32) (result i32) (i32.gt_u (get_local $x) (i32.const 0x80000000)))
  (func (export "gt_u932") (param $y i32) (result i32) (i32.gt_u (i32.const -1) (get_local $y)))
  (func (export "gt_u933") (result i32) (i32.gt_u (i32.const 0x80000000) (i32.const 0x7fffffff)))
  (func (export "gt_u934") (param $x i32) (result i32) (i32.gt_u (get_local $x) (i32.const 0x7fffffff)))
  (func (export "gt_u935") (param $y i32) (result i32) (i32.gt_u (i32.const 0x80000000) (get_local $y)))
  (func (export "gt_u936") (result i32) (i32.gt_u (i32.const 0x7fffffff) (i32.const 0x80000000)))
  (func (export "gt_u937") (param $x i32) (result i32) (i32.gt_u (get_local $x) (i32.const 0x80000000)))
  (func (export "gt_u938") (param $y i32) (result i32) (i32.gt_u (i32.const 0x7fffffff) (get_local $y)))
  (func (export "ge_s939") (result i32) (i32.ge_s (i32.const 0) (i32.const 0)))
  (func (export "ge_s940") (param $x i32) (result i32) (i32.ge_s (get_local $x) (i32.const 0)))
  (func (export "ge_s941") (param $y i32) (result i32) (i32.ge_s (i32.const 0) (get_local $y)))
  (func (export "ge_s942") (result i32) (i32.ge_s (i32.const 1) (i32.const 1)))
  (func (export "ge_s943") (param $x i32) (result i32) (i32.ge_s (get_local $x) (i32.const 1)))
  (func (export "ge_s944") (param $y i32) (result i32) (i32.ge_s (i32.const 1) (get_local $y)))
  (func (export "ge_s945") (result i32) (i32.ge_s (i32.const -1) (i32.const 1)))
  (func (export "ge_s946") (param $x i32) (result i32) (i32.ge_s (get_local $x) (i32.const 1)))
  (func (export "ge_s947") (param $y i32) (result i32) (i32.ge_s (i32.const -1) (get_local $y)))
  (func (export "ge_s948") (result i32) (i32.ge_s (i32.const 0x80000000) (i32.const 0x80000000)))
  (func (export "ge_s949") (param $x i32) (result i32) (i32.ge_s (get_local $x) (i32.const 0x80000000)))
  (func (export "ge_s950") (param $y i32) (result i32) (i32.ge_s (i32.const 0x80000000) (get_local $y)))
  (func (export "ge_s951") (result i32) (i32.ge_s (i32.const 0x7fffffff) (i32.const 0x7fffffff)))
  (func (export "ge_s952") (param $x i32) (result i32) (i32.ge_s (get_local $x) (i32.const 0x7fffffff)))
  (func (export "ge_s953") (param $y i32) (result i32) (i32.ge_s (i32.const 0x7fffffff) (get_local $y)))
  (func (export "ge_s954") (result i32) (i32.ge_s (i32.const -1) (i32.const -1)))
  (func (export "ge_s955") (param $x i32) (result i32) (i32.ge_s (get_local $x) (i32.const -1)))
  (func (export "ge_s956") (param $y i32) (result i32) (i32.ge_s (i32.const -1) (get_local $y)))
  (func (export "ge_s957") (result i32) (i32.ge_s (i32.const 1) (i32.const 0)))
  (func (export "ge_s958") (param $x i32) (result i32) (i32.ge_s (get_local $x) (i32.const 0)))
  (func (export "ge_s959") (param $y i32) (result i32) (i32.ge_s (i32.const 1) (get_local $y)))
  (func (export "ge_s960") (result i32) (i32.ge_s (i32.const 0) (i32.const 1)))
  (func (export "ge_s961") (param $x i32) (result i32) (i32.ge_s (get_local $x) (i32.const 1)))
  (func (export "ge_s962") (param $y i32) (result i32) (i32.ge_s (i32.const 0) (get_local $y)))
  (func (export "ge_s963") (result i32) (i32.ge_s (i32.const 0x80000000) (i32.const 0)))
  (func (export "ge_s964") (param $x i32) (result i32) (i32.ge_s (get_local $x) (i32.const 0)))
  (func (export "ge_s965") (param $y i32) (result i32) (i32.ge_s (i32.const 0x80000000) (get_local $y)))
  (func (export "ge_s966") (result i32) (i32.ge_s (i32.const 0) (i32.const 0x80000000)))
  (func (export "ge_s967") (param $x i32) (result i32) (i32.ge_s (get_local $x) (i32.const 0x80000000)))
  (func (export "ge_s968") (param $y i32) (result i32) (i32.ge_s (i32.const 0) (get_local $y)))
  (func (export "ge_s969") (result i32) (i32.ge_s (i32.const 0x80000000) (i32.const -1)))
  (func (export "ge_s970") (param $x i32) (result i32) (i32.ge_s (get_local $x) (i32.const -1)))
  (func (export "ge_s971") (param $y i32) (result i32) (i32.ge_s (i32.const 0x80000000) (get_local $y)))
  (func (export "ge_s972") (result i32) (i32.ge_s (i32.const -1) (i32.const 0x80000000)))
  (func (export "ge_s973") (param $x i32) (result i32) (i32.ge_s (get_local $x) (i32.const 0x80000000)))
  (func (export "ge_s974") (param $y i32) (result i32) (i32.ge_s (i32.const -1) (get_local $y)))
  (func (export "ge_s975") (result i32) (i32.ge_s (i32.const 0x80000000) (i32.const 0x7fffffff)))
  (func (export "ge_s976") (param $x i32) (result i32) (i32.ge_s (get_local $x) (i32.const 0x7fffffff)))
  (func (export "ge_s977") (param $y i32) (result i32) (i32.ge_s (i32.const 0x80000000) (get_local $y)))
  (func (export "ge_s978") (result i32) (i32.ge_s (i32.const 0x7fffffff) (i32.const 0x80000000)))
  (func (export "ge_s979") (param $x i32) (result i32) (i32.ge_s (get_local $x) (i32.const 0x80000000)))
  (func (export "ge_s980") (param $y i32) (result i32) (i32.ge_s (i32.const 0x7fffffff) (get_local $y)))
  (func (export "ge_u981") (result i32) (i32.ge_u (i32.const 0) (i32.const 0)))
  (func (export "ge_u982") (param $x i32) (result i32) (i32.ge_u (get_local $x) (i32.const 0)))
  (func (export "ge_u983") (param $y i32) (result i32) (i32.ge_u (i32.const 0) (get_local $y)))
  (func (export "ge_u984") (result i32) (i32.ge_u (i32.const 1) (i32.const 1)))
  (func (export "ge_u985") (param $x i32) (result i32) (i32.ge_u (get_local $x) (i32.const 1)))
  (func (export "ge_u986") (param $y i32) (result i32) (i32.ge_u (i32.const 1) (get_local $y)))
  (func (export "ge_u987") (result i32) (i32.ge_u (i32.const -1) (i32.const 1)))
  (func (export "ge_u988") (param $x i32) (result i32) (i32.ge_u (get_local $x) (i32.const 1)))
  (func (export "ge_u989") (param $y i32) (result i32) (i32.ge_u (i32.const -1) (get_local $y)))
  (func (export "ge_u990") (result i32) (i32.ge_u (i32.const 0x80000000) (i32.const 0x80000000)))
  (func (export "ge_u991") (param $x i32) (result i32) (i32.ge_u (get_local $x) (i32.const 0x80000000)))
  (func (export "ge_u992") (param $y i32) (result i32) (i32.ge_u (i32.const 0x80000000) (get_local $y)))
  (func (export "ge_u993") (result i32) (i32.ge_u (i32.const 0x7fffffff) (i32.const 0x7fffffff)))
  (func (export "ge_u994") (param $x i32) (result i32) (i32.ge_u (get_local $x) (i32.const 0x7fffffff)))
  (func (export "ge_u995") (param $y i32) (result i32) (i32.ge_u (i32.const 0x7fffffff) (get_local $y)))
  (func (export "ge_u996") (result i32) (i32.ge_u (i32.const -1) (i32.const -1)))
  (func (export "ge_u997") (param $x i32) (result i32) (i32.ge_u (get_local $x) (i32.const -1)))
  (func (export "ge_u998") (param $y i32) (result i32) (i32.ge_u (i32.const -1) (get_local $y)))
  (func (export "ge_u999") (result i32) (i32.ge_u (i32.const 1) (i32.const 0)))
  (func (export "ge_u1000") (param $x i32) (result i32) (i32.ge_u (get_local $x) (i32.const 0)))
  (func (export "ge_u1001") (param $y i32) (result i32) (i32.ge_u (i32.const 1) (get_local $y)))
  (func (export "ge_u1002") (result i32) (i32.ge_u (i32.const 0) (i32.const 1)))
  (func (export "ge_u1003") (param $x i32) (result i32) (i32.ge_u (get_local $x) (i32.const 1)))
  (func (export "ge_u1004") (param $y i32) (result i32) (i32.ge_u (i32.const 0) (get_local $y)))
  (func (export "ge_u1005") (result i32) (i32.ge_u (i32.const 0x80000000) (i32.const 0)))
  (func (export "ge_u1006") (param $x i32) (result i32) (i32.ge_u (get_local $x) (i32.const 0)))
  (func (export "ge_u1007") (param $y i32) (result i32) (i32.ge_u (i32.const 0x80000000) (get_local $y)))
  (func (export "ge_u1008") (result i32) (i32.ge_u (i32.const 0) (i32.const 0x80000000)))
  (func (export "ge_u1009") (param $x i32) (result i32) (i32.ge_u (get_local $x) (i32.const 0x80000000)))
  (func (export "ge_u1010") (param $y i32) (result i32) (i32.ge_u (i32.const 0) (get_local $y)))
  (func (export "ge_u1011") (result i32) (i32.ge_u (i32.const 0x80000000) (i32.const -1)))
  (func (export "ge_u1012") (param $x i32) (result i32) (i32.ge_u (get_local $x) (i32.const -1)))
  (func (export "ge_u1013") (param $y i32) (result i32) (i32.ge_u (i32.const 0x80000000) (get_local $y)))
  (func (export "ge_u1014") (result i32) (i32.ge_u (i32.const -1) (i32.const 0x80000000)))
  (func (export "ge_u1015") (param $x i32) (result i32) (i32.ge_u (get_local $x) (i32.const 0x80000000)))
  (func (export "ge_u1016") (param $y i32) (result i32) (i32.ge_u (i32.const -1) (get_local $y)))
  (func (export "ge_u1017") (result i32) (i32.ge_u (i32.const 0x80000000) (i32.const 0x7fffffff)))
  (func (export "ge_u1018") (param $x i32) (result i32) (i32.ge_u (get_local $x) (i32.const 0x7fffffff)))
  (func (export "ge_u1019") (param $y i32) (result i32) (i32.ge_u (i32.const 0x80000000) (get_local $y)))
  (func (export "ge_u1020") (result i32) (i32.ge_u (i32.const 0x7fffffff) (i32.const 0x80000000)))
  (func (export "ge_u1021") (param $x i32) (result i32) (i32.ge_u (get_local $x) (i32.const 0x80000000)))
  (func (export "ge_u1022") (param $y i32) (result i32) (i32.ge_u (i32.const 0x7fffffff) (get_local $y)))
)

(assert_return (invoke "add0") (i32.const 2))
(assert_return (invoke "add1" (i32.const 1)) (i32.const 2))
(assert_return (invoke "add2" (i32.const 1)) (i32.const 2))
(assert_return (invoke "add3") (i32.const 1))
(assert_return (invoke "add4" (i32.const 1)) (i32.const 1))
(assert_return (invoke "add5" (i32.const 0)) (i32.const 1))
(assert_return (invoke "add6") (i32.const -2))
(assert_return (invoke "add7" (i32.const -1)) (i32.const -2))
(assert_return (invoke "add8" (i32.const -1)) (i32.const -2))
(assert_return (invoke "add9") (i32.const 0))
(assert_return (invoke "add10" (i32.const -1)) (i32.const 0))
(assert_return (invoke "add11" (i32.const 1)) (i32.const 0))
(assert_return (invoke "add12") (i32.const 0x80000000))
(assert_return (invoke "add13" (i32.const 0x7fffffff)) (i32.const 0x80000000))
(assert_return (invoke "add14" (i32.const 1)) (i32.const 0x80000000))
(assert_return (invoke "add15") (i32.const 0x7fffffff))
(assert_return (invoke "add16" (i32.const 0x80000000)) (i32.const 0x7fffffff))
(assert_return (invoke "add17" (i32.const -1)) (i32.const 0x7fffffff))
(assert_return (invoke "add18") (i32.const 0))
(assert_return (invoke "add19" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "add20" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "add21") (i32.const 0x40000000))
(assert_return (invoke "add22" (i32.const 0x3fffffff)) (i32.const 0x40000000))
(assert_return (invoke "add23" (i32.const 1)) (i32.const 0x40000000))
(assert_return (invoke "sub24") (i32.const 0))
(assert_return (invoke "sub25" (i32.const 1)) (i32.const 0))
(assert_return (invoke "sub26" (i32.const 1)) (i32.const 0))
(assert_return (invoke "sub27") (i32.const 1))
(assert_return (invoke "sub28" (i32.const 1)) (i32.const 1))
(assert_return (invoke "sub29" (i32.const 0)) (i32.const 1))
(assert_return (invoke "sub30") (i32.const 0))
(assert_return (invoke "sub31" (i32.const -1)) (i32.const 0))
(assert_return (invoke "sub32" (i32.const -1)) (i32.const 0))
(assert_return (invoke "sub33") (i32.const 0x80000000))
(assert_return (invoke "sub34" (i32.const 0x7fffffff)) (i32.const 0x80000000))
(assert_return (invoke "sub35" (i32.const -1)) (i32.const 0x80000000))
(assert_return (invoke "sub36") (i32.const 0x7fffffff))
(assert_return (invoke "sub37" (i32.const 0x80000000)) (i32.const 0x7fffffff))
(assert_return (invoke "sub38" (i32.const 1)) (i32.const 0x7fffffff))
(assert_return (invoke "sub39") (i32.const 0))
(assert_return (invoke "sub40" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "sub41" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "sub42") (i32.const 0x40000000))
(assert_return (invoke "sub43" (i32.const 0x3fffffff)) (i32.const 0x40000000))
(assert_return (invoke "sub44" (i32.const -1)) (i32.const 0x40000000))
(assert_return (invoke "mul45") (i32.const 1))
(assert_return (invoke "mul46" (i32.const 1)) (i32.const 1))
(assert_return (invoke "mul47" (i32.const 1)) (i32.const 1))
(assert_return (invoke "mul48") (i32.const 0))
(assert_return (invoke "mul49" (i32.const 1)) (i32.const 0))
(assert_return (invoke "mul50" (i32.const 0)) (i32.const 0))
(assert_return (invoke "mul51") (i32.const 1))
(assert_return (invoke "mul52" (i32.const -1)) (i32.const 1))
(assert_return (invoke "mul53" (i32.const -1)) (i32.const 1))
(assert_return (invoke "mul54") (i32.const 0))
(assert_return (invoke "mul55" (i32.const 0x10000000)) (i32.const 0))
(assert_return (invoke "mul56" (i32.const 4096)) (i32.const 0))
(assert_return (invoke "mul57") (i32.const 0))
(assert_return (invoke "mul58" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "mul59" (i32.const 0)) (i32.const 0))
(assert_return (invoke "mul60") (i32.const 0x80000000))
(assert_return (invoke "mul61" (i32.const 0x80000000)) (i32.const 0x80000000))
(assert_return (invoke "mul62" (i32.const -1)) (i32.const 0x80000000))
(assert_return (invoke "mul63") (i32.const 0x80000001))
(assert_return (invoke "mul64" (i32.const 0x7fffffff)) (i32.const 0x80000001))
(assert_return (invoke "mul65" (i32.const -1)) (i32.const 0x80000001))
(assert_return (invoke "mul66") (i32.const 0x358e7470))
(assert_return (invoke "mul67" (i32.const 0x01234567)) (i32.const 0x358e7470))
(assert_return (invoke "mul68" (i32.const 0x76543210)) (i32.const 0x358e7470))
(assert_return (invoke "mul69") (i32.const 1))
(assert_return (invoke "mul70" (i32.const 0x7fffffff)) (i32.const 1))
(assert_return (invoke "mul71" (i32.const 0x7fffffff)) (i32.const 1))
(assert_trap (invoke "div_s72") "integer divide by zero")
(assert_trap (invoke "div_s73" (i32.const 1)) "integer divide by zero")
(assert_trap (invoke "div_s74" (i32.const 0)) "integer divide by zero")
(assert_trap (invoke "div_s75") "integer divide by zero")
(assert_trap (invoke "div_s76" (i32.const 0)) "integer divide by zero")
(assert_trap (invoke "div_s77" (i32.const 0)) "integer divide by zero")
(assert_trap (invoke "div_s78") "integer overflow")
(assert_trap (invoke "div_s79" (i32.const 0x80000000)) "integer overflow")
(assert_trap (invoke "div_s80" (i32.const -1)) "integer overflow")
(assert_return (invoke "div_s81") (i32.const 1))
(assert_return (invoke "div_s82" (i32.const 1)) (i32.const 1))
(assert_return (invoke "div_s83" (i32.const 1)) (i32.const 1))
(assert_return (invoke "div_s84") (i32.const 0))
(assert_return (invoke "div_s85" (i32.const 0)) (i32.const 0))
(assert_return (invoke "div_s86" (i32.const 1)) (i32.const 0))
(assert_return (invoke "div_s87") (i32.const 0))
(assert_return (invoke "div_s88" (i32.const 0)) (i32.const 0))
(assert_return (invoke "div_s89" (i32.const -1)) (i32.const 0))
(assert_return (invoke "div_s90") (i32.const 1))
(assert_return (invoke "div_s91" (i32.const -1)) (i32.const 1))
(assert_return (invoke "div_s92" (i32.const -1)) (i32.const 1))
(assert_return (invoke "div_s93") (i32.const 0xc0000000))
(assert_return (invoke "div_s94" (i32.const 0x80000000)) (i32.const 0xc0000000))
(assert_return (invoke "div_s95" (i32.const 2)) (i32.const 0xc0000000))
(assert_return (invoke "div_s96") (i32.const 0xffdf3b65))
(assert_return (invoke "div_s97" (i32.const 0x80000001)) (i32.const 0xffdf3b65))
(assert_return (invoke "div_s98" (i32.const 1000)) (i32.const 0xffdf3b65))
(assert_return (invoke "div_s99") (i32.const 2))
(assert_return (invoke "div_s100" (i32.const 5)) (i32.const 2))
(assert_return (invoke "div_s101" (i32.const 2)) (i32.const 2))
(assert_return (invoke "div_s102") (i32.const -2))
(assert_return (invoke "div_s103" (i32.const -5)) (i32.const -2))
(assert_return (invoke "div_s104" (i32.const 2)) (i32.const -2))
(assert_return (invoke "div_s105") (i32.const -2))
(assert_return (invoke "div_s106" (i32.const 5)) (i32.const -2))
(assert_return (invoke "div_s107" (i32.const -2)) (i32.const -2))
(assert_return (invoke "div_s108") (i32.const 2))
(assert_return (invoke "div_s109" (i32.const -5)) (i32.const 2))
(assert_return (invoke "div_s110" (i32.const -2)) (i32.const 2))
(assert_return (invoke "div_s111") (i32.const 2))
(assert_return (invoke "div_s112" (i32.const 7)) (i32.const 2))
(assert_return (invoke "div_s113" (i32.const 3)) (i32.const 2))
(assert_return (invoke "div_s114") (i32.const -2))
(assert_return (invoke "div_s115" (i32.const -7)) (i32.const -2))
(assert_return (invoke "div_s116" (i32.const 3)) (i32.const -2))
(assert_return (invoke "div_s117") (i32.const -2))
(assert_return (invoke "div_s118" (i32.const 7)) (i32.const -2))
(assert_return (invoke "div_s119" (i32.const -3)) (i32.const -2))
(assert_return (invoke "div_s120") (i32.const 2))
(assert_return (invoke "div_s121" (i32.const -7)) (i32.const 2))
(assert_return (invoke "div_s122" (i32.const -3)) (i32.const 2))
(assert_return (invoke "div_s123") (i32.const 2))
(assert_return (invoke "div_s124" (i32.const 11)) (i32.const 2))
(assert_return (invoke "div_s125" (i32.const 5)) (i32.const 2))
(assert_return (invoke "div_s126") (i32.const 2))
(assert_return (invoke "div_s127" (i32.const 17)) (i32.const 2))
(assert_return (invoke "div_s128" (i32.const 7)) (i32.const 2))
(assert_trap (invoke "div_u129") "integer divide by zero")
(assert_trap (invoke "div_u130" (i32.const 1)) "integer divide by zero")
(assert_trap (invoke "div_u131" (i32.const 0)) "integer divide by zero")
(assert_trap (invoke "div_u132") "integer divide by zero")
(assert_trap (invoke "div_u133" (i32.const 0)) "integer divide by zero")
(assert_trap (invoke "div_u134" (i32.const 0)) "integer divide by zero")
(assert_return (invoke "div_u135") (i32.const 1))
(assert_return (invoke "div_u136" (i32.const 1)) (i32.const 1))
(assert_return (invoke "div_u137" (i32.const 1)) (i32.const 1))
(assert_return (invoke "div_u138") (i32.const 0))
(assert_return (invoke "div_u139" (i32.const 0)) (i32.const 0))
(assert_return (invoke "div_u140" (i32.const 1)) (i32.const 0))
(assert_return (invoke "div_u141") (i32.const 1))
(assert_return (invoke "div_u142" (i32.const -1)) (i32.const 1))
(assert_return (invoke "div_u143" (i32.const -1)) (i32.const 1))
(assert_return (invoke "div_u144") (i32.const 0))
(assert_return (invoke "div_u145" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "div_u146" (i32.const -1)) (i32.const 0))
(assert_return (invoke "div_u147") (i32.const 0x40000000))
(assert_return (invoke "div_u148" (i32.const 0x80000000)) (i32.const 0x40000000))
(assert_return (invoke "div_u149" (i32.const 2)) (i32.const 0x40000000))
(assert_return (invoke "div_u150") (i32.const 0x8fef))
(assert_return (invoke "div_u151" (i32.const 0x8ff00ff0)) (i32.const 0x8fef))
(assert_return (invoke "div_u152" (i32.const 0x10001)) (i32.const 0x8fef))
(assert_return (invoke "div_u153") (i32.const 0x20c49b))
(assert_return (invoke "div_u154" (i32.const 0x80000001)) (i32.const 0x20c49b))
(assert_return (invoke "div_u155" (i32.const 1000)) (i32.const 0x20c49b))
(assert_return (invoke "div_u156") (i32.const 2))
(assert_return (invoke "div_u157" (i32.const 5)) (i32.const 2))
(assert_return (invoke "div_u158" (i32.const 2)) (i32.const 2))
(assert_return (invoke "div_u159") (i32.const 0x7ffffffd))
(assert_return (invoke "div_u160" (i32.const -5)) (i32.const 0x7ffffffd))
(assert_return (invoke "div_u161" (i32.const 2)) (i32.const 0x7ffffffd))
(assert_return (invoke "div_u162") (i32.const 0))
(assert_return (invoke "div_u163" (i32.const 5)) (i32.const 0))
(assert_return (invoke "div_u164" (i32.const -2)) (i32.const 0))
(assert_return (invoke "div_u165") (i32.const 0))
(assert_return (invoke "div_u166" (i32.const -5)) (i32.const 0))
(assert_return (invoke "div_u167" (i32.const -2)) (i32.const 0))
(assert_return (invoke "div_u168") (i32.const 2))
(assert_return (invoke "div_u169" (i32.const 7)) (i32.const 2))
(assert_return (invoke "div_u170" (i32.const 3)) (i32.const 2))
(assert_return (invoke "div_u171") (i32.const 2))
(assert_return (invoke "div_u172" (i32.const 11)) (i32.const 2))
(assert_return (invoke "div_u173" (i32.const 5)) (i32.const 2))
(assert_return (invoke "div_u174") (i32.const 2))
(assert_return (invoke "div_u175" (i32.const 17)) (i32.const 2))
(assert_return (invoke "div_u176" (i32.const 7)) (i32.const 2))
(assert_trap (invoke "rem_s177") "integer divide by zero")
(assert_trap (invoke "rem_s178" (i32.const 1)) "integer divide by zero")
(assert_trap (invoke "rem_s179" (i32.const 0)) "integer divide by zero")
(assert_trap (invoke "rem_s180") "integer divide by zero")
(assert_trap (invoke "rem_s181" (i32.const 0)) "integer divide by zero")
(assert_trap (invoke "rem_s182" (i32.const 0)) "integer divide by zero")
(assert_return (invoke "rem_s183") (i32.const 0))
(assert_return (invoke "rem_s184" (i32.const 0x7fffffff)) (i32.const 0))
(assert_return (invoke "rem_s185" (i32.const -1)) (i32.const 0))
(assert_return (invoke "rem_s186") (i32.const 0))
(assert_return (invoke "rem_s187" (i32.const 1)) (i32.const 0))
(assert_return (invoke "rem_s188" (i32.const 1)) (i32.const 0))
(assert_return (invoke "rem_s189") (i32.const 0))
(assert_return (invoke "rem_s190" (i32.const 0)) (i32.const 0))
(assert_return (invoke "rem_s191" (i32.const 1)) (i32.const 0))
(assert_return (invoke "rem_s192") (i32.const 0))
(assert_return (invoke "rem_s193" (i32.const 0)) (i32.const 0))
(assert_return (invoke "rem_s194" (i32.const -1)) (i32.const 0))
(assert_return (invoke "rem_s195") (i32.const 0))
(assert_return (invoke "rem_s196" (i32.const -1)) (i32.const 0))
(assert_return (invoke "rem_s197" (i32.const -1)) (i32.const 0))
(assert_return (invoke "rem_s198") (i32.const 0))
(assert_return (invoke "rem_s199" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "rem_s200" (i32.const -1)) (i32.const 0))
(assert_return (invoke "rem_s201") (i32.const 0))
(assert_return (invoke "rem_s202" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "rem_s203" (i32.const 2)) (i32.const 0))
(assert_return (invoke "rem_s204") (i32.const -647))
(assert_return (invoke "rem_s205" (i32.const 0x80000001)) (i32.const -647))
(assert_return (invoke "rem_s206" (i32.const 1000)) (i32.const -647))
(assert_return (invoke "rem_s207") (i32.const 1))
(assert_return (invoke "rem_s208" (i32.const 5)) (i32.const 1))
(assert_return (invoke "rem_s209" (i32.const 2)) (i32.const 1))
(assert_return (invoke "rem_s210") (i32.const -1))
(assert_return (invoke "rem_s211" (i32.const -5)) (i32.const -1))
(assert_return (invoke "rem_s212" (i32.const 2)) (i32.const -1))
(assert_return (invoke "rem_s213") (i32.const 1))
(assert_return (invoke "rem_s214" (i32.const 5)) (i32.const 1))
(assert_return (invoke "rem_s215" (i32.const -2)) (i32.const 1))
(assert_return (invoke "rem_s216") (i32.const -1))
(assert_return (invoke "rem_s217" (i32.const -5)) (i32.const -1))
(assert_return (invoke "rem_s218" (i32.const -2)) (i32.const -1))
(assert_return (invoke "rem_s219") (i32.const 1))
(assert_return (invoke "rem_s220" (i32.const 7)) (i32.const 1))
(assert_return (invoke "rem_s221" (i32.const 3)) (i32.const 1))
(assert_return (invoke "rem_s222") (i32.const -1))
(assert_return (invoke "rem_s223" (i32.const -7)) (i32.const -1))
(assert_return (invoke "rem_s224" (i32.const 3)) (i32.const -1))
(assert_return (invoke "rem_s225") (i32.const 1))
(assert_return (invoke "rem_s226" (i32.const 7)) (i32.const 1))
(assert_return (invoke "rem_s227" (i32.const -3)) (i32.const 1))
(assert_return (invoke "rem_s228") (i32.const -1))
(assert_return (invoke "rem_s229" (i32.const -7)) (i32.const -1))
(assert_return (invoke "rem_s230" (i32.const -3)) (i32.const -1))
(assert_return (invoke "rem_s231") (i32.const 1))
(assert_return (invoke "rem_s232" (i32.const 11)) (i32.const 1))
(assert_return (invoke "rem_s233" (i32.const 5)) (i32.const 1))
(assert_return (invoke "rem_s234") (i32.const 3))
(assert_return (invoke "rem_s235" (i32.const 17)) (i32.const 3))
(assert_return (invoke "rem_s236" (i32.const 7)) (i32.const 3))
(assert_trap (invoke "rem_u237") "integer divide by zero")
(assert_trap (invoke "rem_u238" (i32.const 1)) "integer divide by zero")
(assert_trap (invoke "rem_u239" (i32.const 0)) "integer divide by zero")
(assert_trap (invoke "rem_u240") "integer divide by zero")
(assert_trap (invoke "rem_u241" (i32.const 0)) "integer divide by zero")
(assert_trap (invoke "rem_u242" (i32.const 0)) "integer divide by zero")
(assert_return (invoke "rem_u243") (i32.const 0))
(assert_return (invoke "rem_u244" (i32.const 1)) (i32.const 0))
(assert_return (invoke "rem_u245" (i32.const 1)) (i32.const 0))
(assert_return (invoke "rem_u246") (i32.const 0))
(assert_return (invoke "rem_u247" (i32.const 0)) (i32.const 0))
(assert_return (invoke "rem_u248" (i32.const 1)) (i32.const 0))
(assert_return (invoke "rem_u249") (i32.const 0))
(assert_return (invoke "rem_u250" (i32.const -1)) (i32.const 0))
(assert_return (invoke "rem_u251" (i32.const -1)) (i32.const 0))
(assert_return (invoke "rem_u252") (i32.const 0x80000000))
(assert_return (invoke "rem_u253" (i32.const 0x80000000)) (i32.const 0x80000000))
(assert_return (invoke "rem_u254" (i32.const -1)) (i32.const 0x80000000))
(assert_return (invoke "rem_u255") (i32.const 0))
(assert_return (invoke "rem_u256" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "rem_u257" (i32.const 2)) (i32.const 0))
(assert_return (invoke "rem_u258") (i32.const 0x8001))
(assert_return (invoke "rem_u259" (i32.const 0x8ff00ff0)) (i32.const 0x8001))
(assert_return (invoke "rem_u260" (i32.const 0x10001)) (i32.const 0x8001))
(assert_return (invoke "rem_u261") (i32.const 649))
(assert_return (invoke "rem_u262" (i32.const 0x80000001)) (i32.const 649))
(assert_return (invoke "rem_u263" (i32.const 1000)) (i32.const 649))
(assert_return (invoke "rem_u264") (i32.const 1))
(assert_return (invoke "rem_u265" (i32.const 5)) (i32.const 1))
(assert_return (invoke "rem_u266" (i32.const 2)) (i32.const 1))
(assert_return (invoke "rem_u267") (i32.const 1))
(assert_return (invoke "rem_u268" (i32.const -5)) (i32.const 1))
(assert_return (invoke "rem_u269" (i32.const 2)) (i32.const 1))
(assert_return (invoke "rem_u270") (i32.const 5))
(assert_return (invoke "rem_u271" (i32.const 5)) (i32.const 5))
(assert_return (invoke "rem_u272" (i32.const -2)) (i32.const 5))
(assert_return (invoke "rem_u273") (i32.const -5))
(assert_return (invoke "rem_u274" (i32.const -5)) (i32.const -5))
(assert_return (invoke "rem_u275" (i32.const -2)) (i32.const -5))
(assert_return (invoke "rem_u276") (i32.const 1))
(assert_return (invoke "rem_u277" (i32.const 7)) (i32.const 1))
(assert_return (invoke "rem_u278" (i32.const 3)) (i32.const 1))
(assert_return (invoke "rem_u279") (i32.const 1))
(assert_return (invoke "rem_u280" (i32.const 11)) (i32.const 1))
(assert_return (invoke "rem_u281" (i32.const 5)) (i32.const 1))
(assert_return (invoke "rem_u282") (i32.const 3))
(assert_return (invoke "rem_u283" (i32.const 17)) (i32.const 3))
(assert_return (invoke "rem_u284" (i32.const 7)) (i32.const 3))
(assert_return (invoke "and285") (i32.const 0))
(assert_return (invoke "and286" (i32.const 1)) (i32.const 0))
(assert_return (invoke "and287" (i32.const 0)) (i32.const 0))
(assert_return (invoke "and288") (i32.const 0))
(assert_return (invoke "and289" (i32.const 0)) (i32.const 0))
(assert_return (invoke "and290" (i32.const 1)) (i32.const 0))
(assert_return (invoke "and291") (i32.const 1))
(assert_return (invoke "and292" (i32.const 1)) (i32.const 1))
(assert_return (invoke "and293" (i32.const 1)) (i32.const 1))
(assert_return (invoke "and294") (i32.const 0))
(assert_return (invoke "and295" (i32.const 0)) (i32.const 0))
(assert_return (invoke "and296" (i32.const 0)) (i32.const 0))
(assert_return (invoke "and297") (i32.const 0))
(assert_return (invoke "and298" (i32.const 0x7fffffff)) (i32.const 0))
(assert_return (invoke "and299" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "and300") (i32.const 0x7fffffff))
(assert_return (invoke "and301" (i32.const 0x7fffffff)) (i32.const 0x7fffffff))
(assert_return (invoke "and302" (i32.const -1)) (i32.const 0x7fffffff))
(assert_return (invoke "and303") (i32.const 0xf0f0f0f0))
(assert_return (invoke "and304" (i32.const 0xf0f0ffff)) (i32.const 0xf0f0f0f0))
(assert_return (invoke "and305" (i32.const 0xfffff0f0)) (i32.const 0xf0f0f0f0))
(assert_return (invoke "and306") (i32.const 0xffffffff))
(assert_return (invoke "and307" (i32.const 0xffffffff)) (i32.const 0xffffffff))
(assert_return (invoke "and308" (i32.const 0xffffffff)) (i32.const 0xffffffff))
(assert_return (invoke "or309") (i32.const 1))
(assert_return (invoke "or310" (i32.const 1)) (i32.const 1))
(assert_return (invoke "or311" (i32.const 0)) (i32.const 1))
(assert_return (invoke "or312") (i32.const 1))
(assert_return (invoke "or313" (i32.const 0)) (i32.const 1))
(assert_return (invoke "or314" (i32.const 1)) (i32.const 1))
(assert_return (invoke "or315") (i32.const 1))
(assert_return (invoke "or316" (i32.const 1)) (i32.const 1))
(assert_return (invoke "or317" (i32.const 1)) (i32.const 1))
(assert_return (invoke "or318") (i32.const 0))
(assert_return (invoke "or319" (i32.const 0)) (i32.const 0))
(assert_return (invoke "or320" (i32.const 0)) (i32.const 0))
(assert_return (invoke "or321") (i32.const -1))
(assert_return (invoke "or322" (i32.const 0x7fffffff)) (i32.const -1))
(assert_return (invoke "or323" (i32.const 0x80000000)) (i32.const -1))
(assert_return (invoke "or324") (i32.const 0x80000000))
(assert_return (invoke "or325" (i32.const 0x80000000)) (i32.const 0x80000000))
(assert_return (invoke "or326" (i32.const 0)) (i32.const 0x80000000))
(assert_return (invoke "or327") (i32.const 0xffffffff))
(assert_return (invoke "or328" (i32.const 0xf0f0ffff)) (i32.const 0xffffffff))
(assert_return (invoke "or329" (i32.const 0xfffff0f0)) (i32.const 0xffffffff))
(assert_return (invoke "or330") (i32.const 0xffffffff))
(assert_return (invoke "or331" (i32.const 0xffffffff)) (i32.const 0xffffffff))
(assert_return (invoke "or332" (i32.const 0xffffffff)) (i32.const 0xffffffff))
(assert_return (invoke "xor333") (i32.const 1))
(assert_return (invoke "xor334" (i32.const 1)) (i32.const 1))
(assert_return (invoke "xor335" (i32.const 0)) (i32.const 1))
(assert_return (invoke "xor336") (i32.const 1))
(assert_return (invoke "xor337" (i32.const 0)) (i32.const 1))
(assert_return (invoke "xor338" (i32.const 1)) (i32.const 1))
(assert_return (invoke "xor339") (i32.const 0))
(assert_return (invoke "xor340" (i32.const 1)) (i32.const 0))
(assert_return (invoke "xor341" (i32.const 1)) (i32.const 0))
(assert_return (invoke "xor342") (i32.const 0))
(assert_return (invoke "xor343" (i32.const 0)) (i32.const 0))
(assert_return (invoke "xor344" (i32.const 0)) (i32.const 0))
(assert_return (invoke "xor345") (i32.const -1))
(assert_return (invoke "xor346" (i32.const 0x7fffffff)) (i32.const -1))
(assert_return (invoke "xor347" (i32.const 0x80000000)) (i32.const -1))
(assert_return (invoke "xor348") (i32.const 0x80000000))
(assert_return (invoke "xor349" (i32.const 0x80000000)) (i32.const 0x80000000))
(assert_return (invoke "xor350" (i32.const 0)) (i32.const 0x80000000))
(assert_return (invoke "xor351") (i32.const 0x7fffffff))
(assert_return (invoke "xor352" (i32.const -1)) (i32.const 0x7fffffff))
(assert_return (invoke "xor353" (i32.const 0x80000000)) (i32.const 0x7fffffff))
(assert_return (invoke "xor354") (i32.const 0x80000000))
(assert_return (invoke "xor355" (i32.const -1)) (i32.const 0x80000000))
(assert_return (invoke "xor356" (i32.const 0x7fffffff)) (i32.const 0x80000000))
(assert_return (invoke "xor357") (i32.const 0x0f0f0f0f))
(assert_return (invoke "xor358" (i32.const 0xf0f0ffff)) (i32.const 0x0f0f0f0f))
(assert_return (invoke "xor359" (i32.const 0xfffff0f0)) (i32.const 0x0f0f0f0f))
(assert_return (invoke "xor360") (i32.const 0))
(assert_return (invoke "xor361" (i32.const 0xffffffff)) (i32.const 0))
(assert_return (invoke "xor362" (i32.const 0xffffffff)) (i32.const 0))
(assert_return (invoke "shl363") (i32.const 2))
(assert_return (invoke "shl364" (i32.const 1)) (i32.const 2))
(assert_return (invoke "shl365" (i32.const 1)) (i32.const 2))
(assert_return (invoke "shl366") (i32.const 1))
(assert_return (invoke "shl367" (i32.const 1)) (i32.const 1))
(assert_return (invoke "shl368" (i32.const 0)) (i32.const 1))
(assert_return (invoke "shl369") (i32.const 0xfffffffe))
(assert_return (invoke "shl370" (i32.const 0x7fffffff)) (i32.const 0xfffffffe))
(assert_return (invoke "shl371" (i32.const 1)) (i32.const 0xfffffffe))
(assert_return (invoke "shl372") (i32.const 0xfffffffe))
(assert_return (invoke "shl373" (i32.const 0xffffffff)) (i32.const 0xfffffffe))
(assert_return (invoke "shl374" (i32.const 1)) (i32.const 0xfffffffe))
(assert_return (invoke "shl375") (i32.const 0))
(assert_return (invoke "shl376" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "shl377" (i32.const 1)) (i32.const 0))
(assert_return (invoke "shl378") (i32.const 0x80000000))
(assert_return (invoke "shl379" (i32.const 0x40000000)) (i32.const 0x80000000))
(assert_return (invoke "shl380" (i32.const 1)) (i32.const 0x80000000))
(assert_return (invoke "shl381") (i32.const 0x80000000))
(assert_return (invoke "shl382" (i32.const 1)) (i32.const 0x80000000))
(assert_return (invoke "shl383" (i32.const 31)) (i32.const 0x80000000))
(assert_return (invoke "shl384") (i32.const 1))
(assert_return (invoke "shl385" (i32.const 1)) (i32.const 1))
(assert_return (invoke "shl386" (i32.const 32)) (i32.const 1))
(assert_return (invoke "shl387") (i32.const 2))
(assert_return (invoke "shl388" (i32.const 1)) (i32.const 2))
(assert_return (invoke "shl389" (i32.const 33)) (i32.const 2))
(assert_return (invoke "shl390") (i32.const 0x80000000))
(assert_return (invoke "shl391" (i32.const 1)) (i32.const 0x80000000))
(assert_return (invoke "shl392" (i32.const -1)) (i32.const 0x80000000))
(assert_return (invoke "shl393") (i32.const 0x80000000))
(assert_return (invoke "shl394" (i32.const 1)) (i32.const 0x80000000))
(assert_return (invoke "shl395" (i32.const 0x7fffffff)) (i32.const 0x80000000))
(assert_return (invoke "shr_s396") (i32.const 0))
(assert_return (invoke "shr_s397" (i32.const 1)) (i32.const 0))
(assert_return (invoke "shr_s398" (i32.const 1)) (i32.const 0))
(assert_return (invoke "shr_s399") (i32.const 1))
(assert_return (invoke "shr_s400" (i32.const 1)) (i32.const 1))
(assert_return (invoke "shr_s401" (i32.const 0)) (i32.const 1))
(assert_return (invoke "shr_s402") (i32.const -1))
(assert_return (invoke "shr_s403" (i32.const -1)) (i32.const -1))
(assert_return (invoke "shr_s404" (i32.const 1)) (i32.const -1))
(assert_return (invoke "shr_s405") (i32.const 0x3fffffff))
(assert_return (invoke "shr_s406" (i32.const 0x7fffffff)) (i32.const 0x3fffffff))
(assert_return (invoke "shr_s407" (i32.const 1)) (i32.const 0x3fffffff))
(assert_return (invoke "shr_s408") (i32.const 0xc0000000))
(assert_return (invoke "shr_s409" (i32.const 0x80000000)) (i32.const 0xc0000000))
(assert_return (invoke "shr_s410" (i32.const 1)) (i32.const 0xc0000000))
(assert_return (invoke "shr_s411") (i32.const 0x20000000))
(assert_return (invoke "shr_s412" (i32.const 0x40000000)) (i32.const 0x20000000))
(assert_return (invoke "shr_s413" (i32.const 1)) (i32.const 0x20000000))
(assert_return (invoke "shr_s414") (i32.const 1))
(assert_return (invoke "shr_s415" (i32.const 1)) (i32.const 1))
(assert_return (invoke "shr_s416" (i32.const 32)) (i32.const 1))
(assert_return (invoke "shr_s417") (i32.const 0))
(assert_return (invoke "shr_s418" (i32.const 1)) (i32.const 0))
(assert_return (invoke "shr_s419" (i32.const 33)) (i32.const 0))
(assert_return (invoke "shr_s420") (i32.const 0))
(assert_return (invoke "shr_s421" (i32.const 1)) (i32.const 0))
(assert_return (invoke "shr_s422" (i32.const -1)) (i32.const 0))
(assert_return (invoke "shr_s423") (i32.const 0))
(assert_return (invoke "shr_s424" (i32.const 1)) (i32.const 0))
(assert_return (invoke "shr_s425" (i32.const 0x7fffffff)) (i32.const 0))
(assert_return (invoke "shr_s426") (i32.const 1))
(assert_return (invoke "shr_s427" (i32.const 1)) (i32.const 1))
(assert_return (invoke "shr_s428" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "shr_s429") (i32.const -1))
(assert_return (invoke "shr_s430" (i32.const 0x80000000)) (i32.const -1))
(assert_return (invoke "shr_s431" (i32.const 31)) (i32.const -1))
(assert_return (invoke "shr_s432") (i32.const -1))
(assert_return (invoke "shr_s433" (i32.const -1)) (i32.const -1))
(assert_return (invoke "shr_s434" (i32.const 32)) (i32.const -1))
(assert_return (invoke "shr_s435") (i32.const -1))
(assert_return (invoke "shr_s436" (i32.const -1)) (i32.const -1))
(assert_return (invoke "shr_s437" (i32.const 33)) (i32.const -1))
(assert_return (invoke "shr_s438") (i32.const -1))
(assert_return (invoke "shr_s439" (i32.const -1)) (i32.const -1))
(assert_return (invoke "shr_s440" (i32.const -1)) (i32.const -1))
(assert_return (invoke "shr_s441") (i32.const -1))
(assert_return (invoke "shr_s442" (i32.const -1)) (i32.const -1))
(assert_return (invoke "shr_s443" (i32.const 0x7fffffff)) (i32.const -1))
(assert_return (invoke "shr_s444") (i32.const -1))
(assert_return (invoke "shr_s445" (i32.const -1)) (i32.const -1))
(assert_return (invoke "shr_s446" (i32.const 0x80000000)) (i32.const -1))
(assert_return (invoke "shr_u447") (i32.const 0))
(assert_return (invoke "shr_u448" (i32.const 1)) (i32.const 0))
(assert_return (invoke "shr_u449" (i32.const 1)) (i32.const 0))
(assert_return (invoke "shr_u450") (i32.const 1))
(assert_return (invoke "shr_u451" (i32.const 1)) (i32.const 1))
(assert_return (invoke "shr_u452" (i32.const 0)) (i32.const 1))
(assert_return (invoke "shr_u453") (i32.const 0x7fffffff))
(assert_return (invoke "shr_u454" (i32.const -1)) (i32.const 0x7fffffff))
(assert_return (invoke "shr_u455" (i32.const 1)) (i32.const 0x7fffffff))
(assert_return (invoke "shr_u456") (i32.const 0x3fffffff))
(assert_return (invoke "shr_u457" (i32.const 0x7fffffff)) (i32.const 0x3fffffff))
(assert_return (invoke "shr_u458" (i32.const 1)) (i32.const 0x3fffffff))
(assert_return (invoke "shr_u459") (i32.const 0x40000000))
(assert_return (invoke "shr_u460" (i32.const 0x80000000)) (i32.const 0x40000000))
(assert_return (invoke "shr_u461" (i32.const 1)) (i32.const 0x40000000))
(assert_return (invoke "shr_u462") (i32.const 0x20000000))
(assert_return (invoke "shr_u463" (i32.const 0x40000000)) (i32.const 0x20000000))
(assert_return (invoke "shr_u464" (i32.const 1)) (i32.const 0x20000000))
(assert_return (invoke "shr_u465") (i32.const 1))
(assert_return (invoke "shr_u466" (i32.const 1)) (i32.const 1))
(assert_return (invoke "shr_u467" (i32.const 32)) (i32.const 1))
(assert_return (invoke "shr_u468") (i32.const 0))
(assert_return (invoke "shr_u469" (i32.const 1)) (i32.const 0))
(assert_return (invoke "shr_u470" (i32.const 33)) (i32.const 0))
(assert_return (invoke "shr_u471") (i32.const 0))
(assert_return (invoke "shr_u472" (i32.const 1)) (i32.const 0))
(assert_return (invoke "shr_u473" (i32.const -1)) (i32.const 0))
(assert_return (invoke "shr_u474") (i32.const 0))
(assert_return (invoke "shr_u475" (i32.const 1)) (i32.const 0))
(assert_return (invoke "shr_u476" (i32.const 0x7fffffff)) (i32.const 0))
(assert_return (invoke "shr_u477") (i32.const 1))
(assert_return (invoke "shr_u478" (i32.const 1)) (i32.const 1))
(assert_return (invoke "shr_u479" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "shr_u480") (i32.const 1))
(assert_return (invoke "shr_u481" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "shr_u482" (i32.const 31)) (i32.const 1))
(assert_return (invoke "shr_u483") (i32.const -1))
(assert_return (invoke "shr_u484" (i32.const -1)) (i32.const -1))
(assert_return (invoke "shr_u485" (i32.const 32)) (i32.const -1))
(assert_return (invoke "shr_u486") (i32.const 0x7fffffff))
(assert_return (invoke "shr_u487" (i32.const -1)) (i32.const 0x7fffffff))
(assert_return (invoke "shr_u488" (i32.const 33)) (i32.const 0x7fffffff))
(assert_return (invoke "shr_u489") (i32.const 1))
(assert_return (invoke "shr_u490" (i32.const -1)) (i32.const 1))
(assert_return (invoke "shr_u491" (i32.const -1)) (i32.const 1))
(assert_return (invoke "shr_u492") (i32.const 1))
(assert_return (invoke "shr_u493" (i32.const -1)) (i32.const 1))
(assert_return (invoke "shr_u494" (i32.const 0x7fffffff)) (i32.const 1))
(assert_return (invoke "shr_u495") (i32.const -1))
(assert_return (invoke "shr_u496" (i32.const -1)) (i32.const -1))
(assert_return (invoke "shr_u497" (i32.const 0x80000000)) (i32.const -1))
(assert_return (invoke "rotl498") (i32.const 2))
(assert_return (invoke "rotl499" (i32.const 1)) (i32.const 2))
(assert_return (invoke "rotl500" (i32.const 1)) (i32.const 2))
(assert_return (invoke "rotl501") (i32.const 1))
(assert_return (invoke "rotl502" (i32.const 1)) (i32.const 1))
(assert_return (invoke "rotl503" (i32.const 0)) (i32.const 1))
(assert_return (invoke "rotl504") (i32.const -1))
(assert_return (invoke "rotl505" (i32.const -1)) (i32.const -1))
(assert_return (invoke "rotl506" (i32.const 1)) (i32.const -1))
(assert_return (invoke "rotl507") (i32.const 1))
(assert_return (invoke "rotl508" (i32.const 1)) (i32.const 1))
(assert_return (invoke "rotl509" (i32.const 32)) (i32.const 1))
(assert_return (invoke "rotl510") (i32.const 0x579b30ed))
(assert_return (invoke "rotl511" (i32.const 0xabcd9876)) (i32.const 0x579b30ed))
(assert_return (invoke "rotl512" (i32.const 1)) (i32.const 0x579b30ed))
(assert_return (invoke "rotl513") (i32.const 0xe00dc00f))
(assert_return (invoke "rotl514" (i32.const 0xfe00dc00)) (i32.const 0xe00dc00f))
(assert_return (invoke "rotl515" (i32.const 4)) (i32.const 0xe00dc00f))
(assert_return (invoke "rotl516") (i32.const 0x183a5c76))
(assert_return (invoke "rotl517" (i32.const 0xb0c1d2e3)) (i32.const 0x183a5c76))
(assert_return (invoke "rotl518" (i32.const 5)) (i32.const 0x183a5c76))
(assert_return (invoke "rotl519") (i32.const 0x00100000))
(assert_return (invoke "rotl520" (i32.const 0x00008000)) (i32.const 0x00100000))
(assert_return (invoke "rotl521" (i32.const 37)) (i32.const 0x00100000))
(assert_return (invoke "rotl522") (i32.const 0x183a5c76))
(assert_return (invoke "rotl523" (i32.const 0xb0c1d2e3)) (i32.const 0x183a5c76))
(assert_return (invoke "rotl524" (i32.const 0xff05)) (i32.const 0x183a5c76))
(assert_return (invoke "rotl525") (i32.const 0x579beed3))
(assert_return (invoke "rotl526" (i32.const 0x769abcdf)) (i32.const 0x579beed3))
(assert_return (invoke "rotl527" (i32.const 0xffffffed)) (i32.const 0x579beed3))
(assert_return (invoke "rotl528") (i32.const 0x579beed3))
(assert_return (invoke "rotl529" (i32.const 0x769abcdf)) (i32.const 0x579beed3))
(assert_return (invoke "rotl530" (i32.const 0x8000000d)) (i32.const 0x579beed3))
(assert_return (invoke "rotl531") (i32.const 0x80000000))
(assert_return (invoke "rotl532" (i32.const 1)) (i32.const 0x80000000))
(assert_return (invoke "rotl533" (i32.const 31)) (i32.const 0x80000000))
(assert_return (invoke "rotl534") (i32.const 1))
(assert_return (invoke "rotl535" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "rotl536" (i32.const 1)) (i32.const 1))
(assert_return (invoke "rotr537") (i32.const 0x80000000))
(assert_return (invoke "rotr538" (i32.const 1)) (i32.const 0x80000000))
(assert_return (invoke "rotr539" (i32.const 1)) (i32.const 0x80000000))
(assert_return (invoke "rotr540") (i32.const 1))
(assert_return (invoke "rotr541" (i32.const 1)) (i32.const 1))
(assert_return (invoke "rotr542" (i32.const 0)) (i32.const 1))
(assert_return (invoke "rotr543") (i32.const -1))
(assert_return (invoke "rotr544" (i32.const -1)) (i32.const -1))
(assert_return (invoke "rotr545" (i32.const 1)) (i32.const -1))
(assert_return (invoke "rotr546") (i32.const 1))
(assert_return (invoke "rotr547" (i32.const 1)) (i32.const 1))
(assert_return (invoke "rotr548" (i32.const 32)) (i32.const 1))
(assert_return (invoke "rotr549") (i32.const 0x7f806600))
(assert_return (invoke "rotr550" (i32.const 0xff00cc00)) (i32.const 0x7f806600))
(assert_return (invoke "rotr551" (i32.const 1)) (i32.const 0x7f806600))
(assert_return (invoke "rotr552") (i32.const 0x00008000))
(assert_return (invoke "rotr553" (i32.const 0x00080000)) (i32.const 0x00008000))
(assert_return (invoke "rotr554" (i32.const 4)) (i32.const 0x00008000))
(assert_return (invoke "rotr555") (i32.const 0x1d860e97))
(assert_return (invoke "rotr556" (i32.const 0xb0c1d2e3)) (i32.const 0x1d860e97))
(assert_return (invoke "rotr557" (i32.const 5)) (i32.const 0x1d860e97))
(assert_return (invoke "rotr558") (i32.const 0x00000400))
(assert_return (invoke "rotr559" (i32.const 0x00008000)) (i32.const 0x00000400))
(assert_return (invoke "rotr560" (i32.const 37)) (i32.const 0x00000400))
(assert_return (invoke "rotr561") (i32.const 0x1d860e97))
(assert_return (invoke "rotr562" (i32.const 0xb0c1d2e3)) (i32.const 0x1d860e97))
(assert_return (invoke "rotr563" (i32.const 0xff05)) (i32.const 0x1d860e97))
(assert_return (invoke "rotr564") (i32.const 0xe6fbb4d5))
(assert_return (invoke "rotr565" (i32.const 0x769abcdf)) (i32.const 0xe6fbb4d5))
(assert_return (invoke "rotr566" (i32.const 0xffffffed)) (i32.const 0xe6fbb4d5))
(assert_return (invoke "rotr567") (i32.const 0xe6fbb4d5))
(assert_return (invoke "rotr568" (i32.const 0x769abcdf)) (i32.const 0xe6fbb4d5))
(assert_return (invoke "rotr569" (i32.const 0x8000000d)) (i32.const 0xe6fbb4d5))
(assert_return (invoke "rotr570") (i32.const 2))
(assert_return (invoke "rotr571" (i32.const 1)) (i32.const 2))
(assert_return (invoke "rotr572" (i32.const 31)) (i32.const 2))
(assert_return (invoke "rotr573") (i32.const 1))
(assert_return (invoke "rotr574" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "rotr575" (i32.const 31)) (i32.const 1))
(assert_return (invoke "clz576") (i32.const 0))
(assert_return (invoke "clz577") (i32.const 32))
(assert_return (invoke "clz578") (i32.const 16))
(assert_return (invoke "clz579") (i32.const 24))
(assert_return (invoke "clz580") (i32.const 0))
(assert_return (invoke "clz581") (i32.const 31))
(assert_return (invoke "clz582") (i32.const 30))
(assert_return (invoke "clz583") (i32.const 1))
(assert_return (invoke "ctz584") (i32.const 0))
(assert_return (invoke "ctz585") (i32.const 32))
(assert_return (invoke "ctz586") (i32.const 15))
(assert_return (invoke "ctz587") (i32.const 16))
(assert_return (invoke "ctz588") (i32.const 31))
(assert_return (invoke "ctz589") (i32.const 0))
(assert_return (invoke "popcnt590") (i32.const 32))
(assert_return (invoke "popcnt591") (i32.const 0))
(assert_return (invoke "popcnt592") (i32.const 1))
(assert_return (invoke "popcnt593") (i32.const 2))
(assert_return (invoke "popcnt594") (i32.const 31))
(assert_return (invoke "popcnt595") (i32.const 16))
(assert_return (invoke "popcnt596") (i32.const 16))
(assert_return (invoke "popcnt597") (i32.const 24))
(assert_return (invoke "eqz598") (i32.const 1))
(assert_return (invoke "eqz599") (i32.const 0))
(assert_return (invoke "eqz600") (i32.const 0))
(assert_return (invoke "eqz601") (i32.const 0))
(assert_return (invoke "eqz602") (i32.const 0))
(assert_return (invoke "eq603") (i32.const 1))
(assert_return (invoke "eq604" (i32.const 0)) (i32.const 1))
(assert_return (invoke "eq605" (i32.const 0)) (i32.const 1))
(assert_return (invoke "eq606") (i32.const 1))
(assert_return (invoke "eq607" (i32.const 1)) (i32.const 1))
(assert_return (invoke "eq608" (i32.const 1)) (i32.const 1))
(assert_return (invoke "eq609") (i32.const 0))
(assert_return (invoke "eq610" (i32.const -1)) (i32.const 0))
(assert_return (invoke "eq611" (i32.const 1)) (i32.const 0))
(assert_return (invoke "eq612") (i32.const 1))
(assert_return (invoke "eq613" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "eq614" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "eq615") (i32.const 1))
(assert_return (invoke "eq616" (i32.const 0x7fffffff)) (i32.const 1))
(assert_return (invoke "eq617" (i32.const 0x7fffffff)) (i32.const 1))
(assert_return (invoke "eq618") (i32.const 1))
(assert_return (invoke "eq619" (i32.const -1)) (i32.const 1))
(assert_return (invoke "eq620" (i32.const -1)) (i32.const 1))
(assert_return (invoke "eq621") (i32.const 0))
(assert_return (invoke "eq622" (i32.const 1)) (i32.const 0))
(assert_return (invoke "eq623" (i32.const 0)) (i32.const 0))
(assert_return (invoke "eq624") (i32.const 0))
(assert_return (invoke "eq625" (i32.const 0)) (i32.const 0))
(assert_return (invoke "eq626" (i32.const 1)) (i32.const 0))
(assert_return (invoke "eq627") (i32.const 0))
(assert_return (invoke "eq628" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "eq629" (i32.const 0)) (i32.const 0))
(assert_return (invoke "eq630") (i32.const 0))
(assert_return (invoke "eq631" (i32.const 0)) (i32.const 0))
(assert_return (invoke "eq632" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "eq633") (i32.const 0))
(assert_return (invoke "eq634" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "eq635" (i32.const -1)) (i32.const 0))
(assert_return (invoke "eq636") (i32.const 0))
(assert_return (invoke "eq637" (i32.const -1)) (i32.const 0))
(assert_return (invoke "eq638" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "eq639") (i32.const 0))
(assert_return (invoke "eq640" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "eq641" (i32.const 0x7fffffff)) (i32.const 0))
(assert_return (invoke "eq642") (i32.const 0))
(assert_return (invoke "eq643" (i32.const 0x7fffffff)) (i32.const 0))
(assert_return (invoke "eq644" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "ne645") (i32.const 0))
(assert_return (invoke "ne646" (i32.const 0)) (i32.const 0))
(assert_return (invoke "ne647" (i32.const 0)) (i32.const 0))
(assert_return (invoke "ne648") (i32.const 0))
(assert_return (invoke "ne649" (i32.const 1)) (i32.const 0))
(assert_return (invoke "ne650" (i32.const 1)) (i32.const 0))
(assert_return (invoke "ne651") (i32.const 1))
(assert_return (invoke "ne652" (i32.const -1)) (i32.const 1))
(assert_return (invoke "ne653" (i32.const 1)) (i32.const 1))
(assert_return (invoke "ne654") (i32.const 0))
(assert_return (invoke "ne655" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "ne656" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "ne657") (i32.const 0))
(assert_return (invoke "ne658" (i32.const 0x7fffffff)) (i32.const 0))
(assert_return (invoke "ne659" (i32.const 0x7fffffff)) (i32.const 0))
(assert_return (invoke "ne660") (i32.const 0))
(assert_return (invoke "ne661" (i32.const -1)) (i32.const 0))
(assert_return (invoke "ne662" (i32.const -1)) (i32.const 0))
(assert_return (invoke "ne663") (i32.const 1))
(assert_return (invoke "ne664" (i32.const 1)) (i32.const 1))
(assert_return (invoke "ne665" (i32.const 0)) (i32.const 1))
(assert_return (invoke "ne666") (i32.const 1))
(assert_return (invoke "ne667" (i32.const 0)) (i32.const 1))
(assert_return (invoke "ne668" (i32.const 1)) (i32.const 1))
(assert_return (invoke "ne669") (i32.const 1))
(assert_return (invoke "ne670" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "ne671" (i32.const 0)) (i32.const 1))
(assert_return (invoke "ne672") (i32.const 1))
(assert_return (invoke "ne673" (i32.const 0)) (i32.const 1))
(assert_return (invoke "ne674" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "ne675") (i32.const 1))
(assert_return (invoke "ne676" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "ne677" (i32.const -1)) (i32.const 1))
(assert_return (invoke "ne678") (i32.const 1))
(assert_return (invoke "ne679" (i32.const -1)) (i32.const 1))
(assert_return (invoke "ne680" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "ne681") (i32.const 1))
(assert_return (invoke "ne682" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "ne683" (i32.const 0x7fffffff)) (i32.const 1))
(assert_return (invoke "ne684") (i32.const 1))
(assert_return (invoke "ne685" (i32.const 0x7fffffff)) (i32.const 1))
(assert_return (invoke "ne686" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "lt_s687") (i32.const 0))
(assert_return (invoke "lt_s688" (i32.const 0)) (i32.const 0))
(assert_return (invoke "lt_s689" (i32.const 0)) (i32.const 0))
(assert_return (invoke "lt_s690") (i32.const 0))
(assert_return (invoke "lt_s691" (i32.const 1)) (i32.const 0))
(assert_return (invoke "lt_s692" (i32.const 1)) (i32.const 0))
(assert_return (invoke "lt_s693") (i32.const 1))
(assert_return (invoke "lt_s694" (i32.const -1)) (i32.const 1))
(assert_return (invoke "lt_s695" (i32.const 1)) (i32.const 1))
(assert_return (invoke "lt_s696") (i32.const 0))
(assert_return (invoke "lt_s697" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "lt_s698" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "lt_s699") (i32.const 0))
(assert_return (invoke "lt_s700" (i32.const 0x7fffffff)) (i32.const 0))
(assert_return (invoke "lt_s701" (i32.const 0x7fffffff)) (i32.const 0))
(assert_return (invoke "lt_s702") (i32.const 0))
(assert_return (invoke "lt_s703" (i32.const -1)) (i32.const 0))
(assert_return (invoke "lt_s704" (i32.const -1)) (i32.const 0))
(assert_return (invoke "lt_s705") (i32.const 0))
(assert_return (invoke "lt_s706" (i32.const 1)) (i32.const 0))
(assert_return (invoke "lt_s707" (i32.const 0)) (i32.const 0))
(assert_return (invoke "lt_s708") (i32.const 1))
(assert_return (invoke "lt_s709" (i32.const 0)) (i32.const 1))
(assert_return (invoke "lt_s710" (i32.const 1)) (i32.const 1))
(assert_return (invoke "lt_s711") (i32.const 1))
(assert_return (invoke "lt_s712" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "lt_s713" (i32.const 0)) (i32.const 1))
(assert_return (invoke "lt_s714") (i32.const 0))
(assert_return (invoke "lt_s715" (i32.const 0)) (i32.const 0))
(assert_return (invoke "lt_s716" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "lt_s717") (i32.const 1))
(assert_return (invoke "lt_s718" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "lt_s719" (i32.const -1)) (i32.const 1))
(assert_return (invoke "lt_s720") (i32.const 0))
(assert_return (invoke "lt_s721" (i32.const -1)) (i32.const 0))
(assert_return (invoke "lt_s722" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "lt_s723") (i32.const 1))
(assert_return (invoke "lt_s724" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "lt_s725" (i32.const 0x7fffffff)) (i32.const 1))
(assert_return (invoke "lt_s726") (i32.const 0))
(assert_return (invoke "lt_s727" (i32.const 0x7fffffff)) (i32.const 0))
(assert_return (invoke "lt_s728" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "lt_u729") (i32.const 0))
(assert_return (invoke "lt_u730" (i32.const 0)) (i32.const 0))
(assert_return (invoke "lt_u731" (i32.const 0)) (i32.const 0))
(assert_return (invoke "lt_u732") (i32.const 0))
(assert_return (invoke "lt_u733" (i32.const 1)) (i32.const 0))
(assert_return (invoke "lt_u734" (i32.const 1)) (i32.const 0))
(assert_return (invoke "lt_u735") (i32.const 0))
(assert_return (invoke "lt_u736" (i32.const -1)) (i32.const 0))
(assert_return (invoke "lt_u737" (i32.const 1)) (i32.const 0))
(assert_return (invoke "lt_u738") (i32.const 0))
(assert_return (invoke "lt_u739" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "lt_u740" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "lt_u741") (i32.const 0))
(assert_return (invoke "lt_u742" (i32.const 0x7fffffff)) (i32.const 0))
(assert_return (invoke "lt_u743" (i32.const 0x7fffffff)) (i32.const 0))
(assert_return (invoke "lt_u744") (i32.const 0))
(assert_return (invoke "lt_u745" (i32.const -1)) (i32.const 0))
(assert_return (invoke "lt_u746" (i32.const -1)) (i32.const 0))
(assert_return (invoke "lt_u747") (i32.const 0))
(assert_return (invoke "lt_u748" (i32.const 1)) (i32.const 0))
(assert_return (invoke "lt_u749" (i32.const 0)) (i32.const 0))
(assert_return (invoke "lt_u750") (i32.const 1))
(assert_return (invoke "lt_u751" (i32.const 0)) (i32.const 1))
(assert_return (invoke "lt_u752" (i32.const 1)) (i32.const 1))
(assert_return (invoke "lt_u753") (i32.const 0))
(assert_return (invoke "lt_u754" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "lt_u755" (i32.const 0)) (i32.const 0))
(assert_return (invoke "lt_u756") (i32.const 1))
(assert_return (invoke "lt_u757" (i32.const 0)) (i32.const 1))
(assert_return (invoke "lt_u758" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "lt_u759") (i32.const 1))
(assert_return (invoke "lt_u760" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "lt_u761" (i32.const -1)) (i32.const 1))
(assert_return (invoke "lt_u762") (i32.const 0))
(assert_return (invoke "lt_u763" (i32.const -1)) (i32.const 0))
(assert_return (invoke "lt_u764" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "lt_u765") (i32.const 0))
(assert_return (invoke "lt_u766" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "lt_u767" (i32.const 0x7fffffff)) (i32.const 0))
(assert_return (invoke "lt_u768") (i32.const 1))
(assert_return (invoke "lt_u769" (i32.const 0x7fffffff)) (i32.const 1))
(assert_return (invoke "lt_u770" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "le_s771") (i32.const 1))
(assert_return (invoke "le_s772" (i32.const 0)) (i32.const 1))
(assert_return (invoke "le_s773" (i32.const 0)) (i32.const 1))
(assert_return (invoke "le_s774") (i32.const 1))
(assert_return (invoke "le_s775" (i32.const 1)) (i32.const 1))
(assert_return (invoke "le_s776" (i32.const 1)) (i32.const 1))
(assert_return (invoke "le_s777") (i32.const 1))
(assert_return (invoke "le_s778" (i32.const -1)) (i32.const 1))
(assert_return (invoke "le_s779" (i32.const 1)) (i32.const 1))
(assert_return (invoke "le_s780") (i32.const 1))
(assert_return (invoke "le_s781" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "le_s782" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "le_s783") (i32.const 1))
(assert_return (invoke "le_s784" (i32.const 0x7fffffff)) (i32.const 1))
(assert_return (invoke "le_s785" (i32.const 0x7fffffff)) (i32.const 1))
(assert_return (invoke "le_s786") (i32.const 1))
(assert_return (invoke "le_s787" (i32.const -1)) (i32.const 1))
(assert_return (invoke "le_s788" (i32.const -1)) (i32.const 1))
(assert_return (invoke "le_s789") (i32.const 0))
(assert_return (invoke "le_s790" (i32.const 1)) (i32.const 0))
(assert_return (invoke "le_s791" (i32.const 0)) (i32.const 0))
(assert_return (invoke "le_s792") (i32.const 1))
(assert_return (invoke "le_s793" (i32.const 0)) (i32.const 1))
(assert_return (invoke "le_s794" (i32.const 1)) (i32.const 1))
(assert_return (invoke "le_s795") (i32.const 1))
(assert_return (invoke "le_s796" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "le_s797" (i32.const 0)) (i32.const 1))
(assert_return (invoke "le_s798") (i32.const 0))
(assert_return (invoke "le_s799" (i32.const 0)) (i32.const 0))
(assert_return (invoke "le_s800" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "le_s801") (i32.const 1))
(assert_return (invoke "le_s802" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "le_s803" (i32.const -1)) (i32.const 1))
(assert_return (invoke "le_s804") (i32.const 0))
(assert_return (invoke "le_s805" (i32.const -1)) (i32.const 0))
(assert_return (invoke "le_s806" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "le_s807") (i32.const 1))
(assert_return (invoke "le_s808" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "le_s809" (i32.const 0x7fffffff)) (i32.const 1))
(assert_return (invoke "le_s810") (i32.const 0))
(assert_return (invoke "le_s811" (i32.const 0x7fffffff)) (i32.const 0))
(assert_return (invoke "le_s812" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "le_u813") (i32.const 1))
(assert_return (invoke "le_u814" (i32.const 0)) (i32.const 1))
(assert_return (invoke "le_u815" (i32.const 0)) (i32.const 1))
(assert_return (invoke "le_u816") (i32.const 1))
(assert_return (invoke "le_u817" (i32.const 1)) (i32.const 1))
(assert_return (invoke "le_u818" (i32.const 1)) (i32.const 1))
(assert_return (invoke "le_u819") (i32.const 0))
(assert_return (invoke "le_u820" (i32.const -1)) (i32.const 0))
(assert_return (invoke "le_u821" (i32.const 1)) (i32.const 0))
(assert_return (invoke "le_u822") (i32.const 1))
(assert_return (invoke "le_u823" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "le_u824" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "le_u825") (i32.const 1))
(assert_return (invoke "le_u826" (i32.const 0x7fffffff)) (i32.const 1))
(assert_return (invoke "le_u827" (i32.const 0x7fffffff)) (i32.const 1))
(assert_return (invoke "le_u828") (i32.const 1))
(assert_return (invoke "le_u829" (i32.const -1)) (i32.const 1))
(assert_return (invoke "le_u830" (i32.const -1)) (i32.const 1))
(assert_return (invoke "le_u831") (i32.const 0))
(assert_return (invoke "le_u832" (i32.const 1)) (i32.const 0))
(assert_return (invoke "le_u833" (i32.const 0)) (i32.const 0))
(assert_return (invoke "le_u834") (i32.const 1))
(assert_return (invoke "le_u835" (i32.const 0)) (i32.const 1))
(assert_return (invoke "le_u836" (i32.const 1)) (i32.const 1))
(assert_return (invoke "le_u837") (i32.const 0))
(assert_return (invoke "le_u838" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "le_u839" (i32.const 0)) (i32.const 0))
(assert_return (invoke "le_u840") (i32.const 1))
(assert_return (invoke "le_u841" (i32.const 0)) (i32.const 1))
(assert_return (invoke "le_u842" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "le_u843") (i32.const 1))
(assert_return (invoke "le_u844" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "le_u845" (i32.const -1)) (i32.const 1))
(assert_return (invoke "le_u846") (i32.const 0))
(assert_return (invoke "le_u847" (i32.const -1)) (i32.const 0))
(assert_return (invoke "le_u848" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "le_u849") (i32.const 0))
(assert_return (invoke "le_u850" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "le_u851" (i32.const 0x7fffffff)) (i32.const 0))
(assert_return (invoke "le_u852") (i32.const 1))
(assert_return (invoke "le_u853" (i32.const 0x7fffffff)) (i32.const 1))
(assert_return (invoke "le_u854" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "gt_s855") (i32.const 0))
(assert_return (invoke "gt_s856" (i32.const 0)) (i32.const 0))
(assert_return (invoke "gt_s857" (i32.const 0)) (i32.const 0))
(assert_return (invoke "gt_s858") (i32.const 0))
(assert_return (invoke "gt_s859" (i32.const 1)) (i32.const 0))
(assert_return (invoke "gt_s860" (i32.const 1)) (i32.const 0))
(assert_return (invoke "gt_s861") (i32.const 0))
(assert_return (invoke "gt_s862" (i32.const -1)) (i32.const 0))
(assert_return (invoke "gt_s863" (i32.const 1)) (i32.const 0))
(assert_return (invoke "gt_s864") (i32.const 0))
(assert_return (invoke "gt_s865" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "gt_s866" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "gt_s867") (i32.const 0))
(assert_return (invoke "gt_s868" (i32.const 0x7fffffff)) (i32.const 0))
(assert_return (invoke "gt_s869" (i32.const 0x7fffffff)) (i32.const 0))
(assert_return (invoke "gt_s870") (i32.const 0))
(assert_return (invoke "gt_s871" (i32.const -1)) (i32.const 0))
(assert_return (invoke "gt_s872" (i32.const -1)) (i32.const 0))
(assert_return (invoke "gt_s873") (i32.const 1))
(assert_return (invoke "gt_s874" (i32.const 1)) (i32.const 1))
(assert_return (invoke "gt_s875" (i32.const 0)) (i32.const 1))
(assert_return (invoke "gt_s876") (i32.const 0))
(assert_return (invoke "gt_s877" (i32.const 0)) (i32.const 0))
(assert_return (invoke "gt_s878" (i32.const 1)) (i32.const 0))
(assert_return (invoke "gt_s879") (i32.const 0))
(assert_return (invoke "gt_s880" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "gt_s881" (i32.const 0)) (i32.const 0))
(assert_return (invoke "gt_s882") (i32.const 1))
(assert_return (invoke "gt_s883" (i32.const 0)) (i32.const 1))
(assert_return (invoke "gt_s884" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "gt_s885") (i32.const 0))
(assert_return (invoke "gt_s886" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "gt_s887" (i32.const -1)) (i32.const 0))
(assert_return (invoke "gt_s888") (i32.const 1))
(assert_return (invoke "gt_s889" (i32.const -1)) (i32.const 1))
(assert_return (invoke "gt_s890" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "gt_s891") (i32.const 0))
(assert_return (invoke "gt_s892" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "gt_s893" (i32.const 0x7fffffff)) (i32.const 0))
(assert_return (invoke "gt_s894") (i32.const 1))
(assert_return (invoke "gt_s895" (i32.const 0x7fffffff)) (i32.const 1))
(assert_return (invoke "gt_s896" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "gt_u897") (i32.const 0))
(assert_return (invoke "gt_u898" (i32.const 0)) (i32.const 0))
(assert_return (invoke "gt_u899" (i32.const 0)) (i32.const 0))
(assert_return (invoke "gt_u900") (i32.const 0))
(assert_return (invoke "gt_u901" (i32.const 1)) (i32.const 0))
(assert_return (invoke "gt_u902" (i32.const 1)) (i32.const 0))
(assert_return (invoke "gt_u903") (i32.const 1))
(assert_return (invoke "gt_u904" (i32.const -1)) (i32.const 1))
(assert_return (invoke "gt_u905" (i32.const 1)) (i32.const 1))
(assert_return (invoke "gt_u906") (i32.const 0))
(assert_return (invoke "gt_u907" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "gt_u908" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "gt_u909") (i32.const 0))
(assert_return (invoke "gt_u910" (i32.const 0x7fffffff)) (i32.const 0))
(assert_return (invoke "gt_u911" (i32.const 0x7fffffff)) (i32.const 0))
(assert_return (invoke "gt_u912") (i32.const 0))
(assert_return (invoke "gt_u913" (i32.const -1)) (i32.const 0))
(assert_return (invoke "gt_u914" (i32.const -1)) (i32.const 0))
(assert_return (invoke "gt_u915") (i32.const 1))
(assert_return (invoke "gt_u916" (i32.const 1)) (i32.const 1))
(assert_return (invoke "gt_u917" (i32.const 0)) (i32.const 1))
(assert_return (invoke "gt_u918") (i32.const 0))
(assert_return (invoke "gt_u919" (i32.const 0)) (i32.const 0))
(assert_return (invoke "gt_u920" (i32.const 1)) (i32.const 0))
(assert_return (invoke "gt_u921") (i32.const 1))
(assert_return (invoke "gt_u922" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "gt_u923" (i32.const 0)) (i32.const 1))
(assert_return (invoke "gt_u924") (i32.const 0))
(assert_return (invoke "gt_u925" (i32.const 0)) (i32.const 0))
(assert_return (invoke "gt_u926" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "gt_u927") (i32.const 0))
(assert_return (invoke "gt_u928" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "gt_u929" (i32.const -1)) (i32.const 0))
(assert_return (invoke "gt_u930") (i32.const 1))
(assert_return (invoke "gt_u931" (i32.const -1)) (i32.const 1))
(assert_return (invoke "gt_u932" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "gt_u933") (i32.const 1))
(assert_return (invoke "gt_u934" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "gt_u935" (i32.const 0x7fffffff)) (i32.const 1))
(assert_return (invoke "gt_u936") (i32.const 0))
(assert_return (invoke "gt_u937" (i32.const 0x7fffffff)) (i32.const 0))
(assert_return (invoke "gt_u938" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "ge_s939") (i32.const 1))
(assert_return (invoke "ge_s940" (i32.const 0)) (i32.const 1))
(assert_return (invoke "ge_s941" (i32.const 0)) (i32.const 1))
(assert_return (invoke "ge_s942") (i32.const 1))
(assert_return (invoke "ge_s943" (i32.const 1)) (i32.const 1))
(assert_return (invoke "ge_s944" (i32.const 1)) (i32.const 1))
(assert_return (invoke "ge_s945") (i32.const 0))
(assert_return (invoke "ge_s946" (i32.const -1)) (i32.const 0))
(assert_return (invoke "ge_s947" (i32.const 1)) (i32.const 0))
(assert_return (invoke "ge_s948") (i32.const 1))
(assert_return (invoke "ge_s949" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "ge_s950" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "ge_s951") (i32.const 1))
(assert_return (invoke "ge_s952" (i32.const 0x7fffffff)) (i32.const 1))
(assert_return (invoke "ge_s953" (i32.const 0x7fffffff)) (i32.const 1))
(assert_return (invoke "ge_s954") (i32.const 1))
(assert_return (invoke "ge_s955" (i32.const -1)) (i32.const 1))
(assert_return (invoke "ge_s956" (i32.const -1)) (i32.const 1))
(assert_return (invoke "ge_s957") (i32.const 1))
(assert_return (invoke "ge_s958" (i32.const 1)) (i32.const 1))
(assert_return (invoke "ge_s959" (i32.const 0)) (i32.const 1))
(assert_return (invoke "ge_s960") (i32.const 0))
(assert_return (invoke "ge_s961" (i32.const 0)) (i32.const 0))
(assert_return (invoke "ge_s962" (i32.const 1)) (i32.const 0))
(assert_return (invoke "ge_s963") (i32.const 0))
(assert_return (invoke "ge_s964" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "ge_s965" (i32.const 0)) (i32.const 0))
(assert_return (invoke "ge_s966") (i32.const 1))
(assert_return (invoke "ge_s967" (i32.const 0)) (i32.const 1))
(assert_return (invoke "ge_s968" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "ge_s969") (i32.const 0))
(assert_return (invoke "ge_s970" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "ge_s971" (i32.const -1)) (i32.const 0))
(assert_return (invoke "ge_s972") (i32.const 1))
(assert_return (invoke "ge_s973" (i32.const -1)) (i32.const 1))
(assert_return (invoke "ge_s974" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "ge_s975") (i32.const 0))
(assert_return (invoke "ge_s976" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "ge_s977" (i32.const 0x7fffffff)) (i32.const 0))
(assert_return (invoke "ge_s978") (i32.const 1))
(assert_return (invoke "ge_s979" (i32.const 0x7fffffff)) (i32.const 1))
(assert_return (invoke "ge_s980" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "ge_u981") (i32.const 1))
(assert_return (invoke "ge_u982" (i32.const 0)) (i32.const 1))
(assert_return (invoke "ge_u983" (i32.const 0)) (i32.const 1))
(assert_return (invoke "ge_u984") (i32.const 1))
(assert_return (invoke "ge_u985" (i32.const 1)) (i32.const 1))
(assert_return (invoke "ge_u986" (i32.const 1)) (i32.const 1))
(assert_return (invoke "ge_u987") (i32.const 1))
(assert_return (invoke "ge_u988" (i32.const -1)) (i32.const 1))
(assert_return (invoke "ge_u989" (i32.const 1)) (i32.const 1))
(assert_return (invoke "ge_u990") (i32.const 1))
(assert_return (invoke "ge_u991" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "ge_u992" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "ge_u993") (i32.const 1))
(assert_return (invoke "ge_u994" (i32.const 0x7fffffff)) (i32.const 1))
(assert_return (invoke "ge_u995" (i32.const 0x7fffffff)) (i32.const 1))
(assert_return (invoke "ge_u996") (i32.const 1))
(assert_return (invoke "ge_u997" (i32.const -1)) (i32.const 1))
(assert_return (invoke "ge_u998" (i32.const -1)) (i32.const 1))
(assert_return (invoke "ge_u999") (i32.const 1))
(assert_return (invoke "ge_u1000" (i32.const 1)) (i32.const 1))
(assert_return (invoke "ge_u1001" (i32.const 0)) (i32.const 1))
(assert_return (invoke "ge_u1002") (i32.const 0))
(assert_return (invoke "ge_u1003" (i32.const 0)) (i32.const 0))
(assert_return (invoke "ge_u1004" (i32.const 1)) (i32.const 0))
(assert_return (invoke "ge_u1005") (i32.const 1))
(assert_return (invoke "ge_u1006" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "ge_u1007" (i32.const 0)) (i32.const 1))
(assert_return (invoke "ge_u1008") (i32.const 0))
(assert_return (invoke "ge_u1009" (i32.const 0)) (i32.const 0))
(assert_return (invoke "ge_u1010" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "ge_u1011") (i32.const 0))
(assert_return (invoke "ge_u1012" (i32.const 0x80000000)) (i32.const 0))
(assert_return (invoke "ge_u1013" (i32.const -1)) (i32.const 0))
(assert_return (invoke "ge_u1014") (i32.const 1))
(assert_return (invoke "ge_u1015" (i32.const -1)) (i32.const 1))
(assert_return (invoke "ge_u1016" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "ge_u1017") (i32.const 1))
(assert_return (invoke "ge_u1018" (i32.const 0x80000000)) (i32.const 1))
(assert_return (invoke "ge_u1019" (i32.const 0x7fffffff)) (i32.const 1))
(assert_return (invoke "ge_u1020") (i32.const 0))
(assert_return (invoke "ge_u1021" (i32.const 0x7fffffff)) (i32.const 0))
(assert_return (invoke "ge_u1022" (i32.const 0x80000000)) (i32.const 0))