// Copyright 2017 the V8 project authors. All rights reserved.// Use of this source code is governed by a BSD-style license that can be// found in the LICENSE file.// Flags: --noexpose-wasm --validate-asmassertThrows(()=>{letx=WebAssembly.Module;});functionModule(stdlib,foreign,heap){"use asm";functionf1(i){i=i|0;return(i|0)/3|0;}functionf2(i){i=i|0;return(i|0)/13|0;}functionf3(i){i=i|0;return(i|0)/1024|0;}functionf4(i){i=i|0;return(i|0)/3733331|0;}return{f1:f1,f2:f2,f3:f3,f4:f4};}varm=Module(this,{},newArrayBuffer(1024));for(vari=-2147483648;i<2147483648;i+=3999777){assertEquals(i/3|0,m.f1(i));assertEquals(i/13|0,m.f2(i));assertEquals(i/1024|0,m.f3(i));assertEquals(i/3733331|0,m.f4(i));}