; RUN: opt -S -wasm-add-missing-prototypes %s | FileCheck %s

target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
target triple = "wasm32-unknown-unknown"

@foo_addr = global i64 (i32)* bitcast (i64 (...)* @foo to i64 (i32)*), align 8

define void @bar(i32 %a) {
entry:
  %call = call i64 bitcast (i64 (...)* @foo to i64 (i32)*)(i32 42)
  ret void
}

declare i64 @foo(...) #1

attributes #1 = { "no-prototype" }

; CHECK: %call = call i64 @foo(i32 42)
; CHECK: declare i64 @foo(i32)
; CHECK-NOT: attributes {{.*}} = { {{.*}}"no-prototype"{{.*}} }