// Copyright 2016 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: --expose-wasm

load("test/mjsunit/wasm/wasm-module-builder.js");

(function() {
var builder = new WasmModuleBuilder();
builder.addFunction("regression_644682", kSig_i_v)
  .addBody([
            kExprBlock,   // @1
            kExprI32Const, 0x3b,
            kExprI32LoadMem, 0x00, 0x00,
            kExprI32Const, 0x10,
            kExprBrIf, 0x01, 0x00,   // arity=1 depth0
            kExprI32Const, 0x45,
            kExprI32Const, 0x3b,
            kExprI64LoadMem16S, 0x00, 0x3b,
            kExprBrIf, 0x01, 0x00   // arity=1 depth0
            ])
            .exportFunc();
assertThrows(function() { builder.instantiate(); });
})();