// RUN: %empty-directory(%t)
// RUN: split-file %s %t --leading-lines

/// Generate cdecl.h
// RUN: %target-swift-frontend(mock-sdk: %clang-importer-sdk) \
// RUN:   %t/Lib.swift -emit-module -verify -o %t -emit-module-doc \
// RUN:   -emit-clang-header-path %t/cdecl.h

/// Check cdecl.h directly
// RUN: %FileCheck %s --input-file %t/cdecl.h
// RUN: %check-in-clang-c %t/cdecl.h -Wnullable-to-nonnull-conversion

/// Build a client against cdecl.h
// RUN: %clang-no-modules -c %t/Client.c -I %t \
// RUN:   -F %S/../Inputs/clang-importer-sdk-path/frameworks \
// RUN:   -I %clang-include-dir -Werror \
// RUN:   -isysroot %S/../Inputs/clang-importer-sdk

//--- Lib.swift

// CHECK-NOT: assume_nonnull

// CHECK: #if defined(__cplusplus)
// CHECK: extern "C" {
// CHECK: #endif

// CHECK: /// Enums
// CHECK: typedef SWIFT_ENUM(int, CEnum, closed) {
// CHECK:   CEnumA = 0,
// CHECK:   CEnumB = 1,
// CHECK: };

// CHECK: typedef SWIFT_ENUM_NAMED(long, CEnumRenamed_CName, "CEnumRenamed", closed) {
// CHECK:   CEnumRenamed_CNameA = 0,
// CHECK:   CEnumRenamed_CNameB = 1,
// CHECK: };

// CHECK: typedef SWIFT_ENUM_NAMED(char, zCEnumDefinedLate, "zCEnumDefinedLate", closed) {
// CHECK:   CEnumDefinedLateA = 0,
// CHECK:   CEnumDefinedLateB = 1,
// CHECK: };

/// My documentation
@c(simple)
func a0_simple(x: Int, bar y: Int) -> Int { return x }
// CHECK-LABEL: // My documentation
// CHECK-LABEL: SWIFT_EXTERN ptrdiff_t simple(ptrdiff_t x, ptrdiff_t y) SWIFT_NOEXCEPT SWIFT_WARN_UNUSED_RESULT;

@c
func a1_defaultName(x: Int) -> Int { return x }
// CHECK-LABEL: SWIFT_EXTERN ptrdiff_t a1_defaultName(ptrdiff_t x) SWIFT_NOEXCEPT SWIFT_WARN_UNUSED_RESULT;

@c(primitiveTypes)
public func b_primitiveTypes(i: Int, ci: CInt, l: CLong, c: CChar, f: Float, d: Double, b: Bool) {}
// CHECK-LABEL: SWIFT_EXTERN void primitiveTypes(ptrdiff_t i, int ci, long l, char c, float f, double d, bool b) SWIFT_NOEXCEPT;

@c(has_keyword_arg_names)
func c_keywordArgNames(auto: Int, union: Int) {}
// CHECK-LABEL: SWIFT_EXTERN void has_keyword_arg_names(ptrdiff_t auto_, ptrdiff_t union_) SWIFT_NOEXCEPT;

@c(return_never)
func d_returnNever() -> Never { fatalError() }
// CHECK-LABEL: SWIFT_EXTERN void return_never(void) SWIFT_NOEXCEPT SWIFT_NORETURN;

/// Pointer types
// CHECK: /// Pointer types

@c(pointers)
func f_pointers(_ x: UnsafeMutablePointer<Int>,
                  y: UnsafePointer<Int>,
                  z: UnsafeMutableRawPointer,
                  w: UnsafeRawPointer,
                  u: OpaquePointer) {}
// CHECK: SWIFT_EXTERN void pointers(ptrdiff_t * _Nonnull x, ptrdiff_t const * _Nonnull y, void * _Nonnull z, void const * _Nonnull w, void * _Nonnull u) SWIFT_NOEXCEPT;

@c(nullable_pointers)
func g_nullablePointers(_ x: UnsafeMutableRawPointer,
                          y: UnsafeMutableRawPointer?,
                          z: UnsafeMutableRawPointer!) {}
// CHECK: SWIFT_EXTERN void nullable_pointers(void * _Nonnull x, void * _Nullable y, void * _Null_unspecified z) SWIFT_NOEXCEPT;

/// Enums

@c
enum CEnum: CInt { case A, B }

@c(CEnumRenamed_CName)
enum CEnumRenamed: CLong { case A, B }

@c(use_enum)
func h_useCEnum(e: CEnum) -> CEnum { return e }
// CHECK: SWIFT_EXTERN SWIFT_ENUM_TAG CEnum use_enum(SWIFT_ENUM_TAG CEnum e) SWIFT_NOEXCEPT SWIFT_WARN_UNUSED_RESULT;

@c(use_enum_renamed)
func i_useCEnumLong(e: CEnumRenamed) -> CEnumRenamed { return e }
// CHECK: SWIFT_EXTERN SWIFT_ENUM_TAG CEnumRenamed_CName use_enum_renamed(SWIFT_ENUM_TAG CEnumRenamed_CName e) SWIFT_NOEXCEPT SWIFT_WARN_UNUSED_RESULT;

@c(use_enum_late)
func j_useCEnumChar(e: zCEnumDefinedLate) -> zCEnumDefinedLate { return e }
// CHECK: SWIFT_EXTERN SWIFT_ENUM_TAG zCEnumDefinedLate use_enum_late(SWIFT_ENUM_TAG zCEnumDefinedLate e) SWIFT_NOEXCEPT SWIFT_WARN_UNUSED_RESULT;

/// Declare this enum late in the source file and in alphabetical order.
@c(zCEnumDefinedLate)
enum zCEnumDefinedLate: CChar { case A, B }

// CHECK:      #if defined(__cplusplus)
// CHECK-NEXT: }
// CHECK-NEXT: #endif

//--- Client.c

#include "cdecl.h"

int main() {
    ptrdiff_t x = simple(42, 43);
    primitiveTypes(1, 2, 3, 'a', 1.0f, 2.0, true);
    has_keyword_arg_names(1, 2);

    (void)use_enum(CEnumA);
    (void)use_enum_renamed(CEnumRenamed_CNameB);
    (void)use_enum_late(zCEnumDefinedLateA);

    return_never();
}