// REQUIRES: webassembly-registered-target
// RUN: %clang_cc1 -triple wasm32 -emit-llvm %s -o - | FileCheck %s

int foo();

int bar(int a) {
  return foo();
}

int baz() {
  return foo();
}

// CHECK: define i32 @bar(i32 noundef %a) [[BAR_ATTR:#[0-9]+]] {
// CHECK: declare i32 @foo(...) [[FOO_ATTR:#[0-9]+]]
// CHECK: define i32 @baz() [[BAZ_ATTR:#[0-9]+]] {

// CHECK: attributes [[FOO_ATTR]] = {  {{.*}}"no-prototype"{{.*}} }
// CHECK-NOT: attributes [[BAR_ATTR]] = {  {{.*}}"no-prototype"{{.*}} }
// CHECK-NOT: attributes [[BAZ_ATTR]] = {  {{.*}}"no-prototype"{{.*}} }