carbon-lang/toolchain/sem_ir/builtin_function_kind.def

// Part of the Carbon Language project, under the Apache License v2.0 with LLVM
// Exceptions. See /LICENSE for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
// This is an X-macro header. It does not use `#include` guards, and instead is
// designed to be `#include`ed after the x-macro is defined in order for its
// inclusion to expand to the desired output. Macro definitions are cleaned up
// at the end of this file.
//
// Supported x-macro is:
// - CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(Name)
//   Defines a builtin function type.

#if !defined(CARBON_SEM_IR_BUILTIN_FUNCTION_KIND)
#error \
    "Must define CARBON_SEM_IR_BUILTIN_FUNCTION_KIND x-macro to use this file."
#endif

CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(None)

// Temporary builtins for primitive IO.
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(PrintChar)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(PrintInt)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(ReadChar)

// Type factories.
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(IntLiteralMakeType)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(IntMakeTypeSigned)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(IntMakeTypeUnsigned)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(FloatMakeType)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(BoolMakeType)

// Integer conversion.
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(IntConvert)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(IntConvertChecked)

// Integer arithmetic.
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(IntSNegate)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(IntSAdd)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(IntSSub)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(IntSMul)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(IntSDiv)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(IntSMod)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(IntUNegate)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(IntUAdd)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(IntUSub)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(IntUMul)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(IntUDiv)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(IntUMod)

// Integer bitwise.
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(IntComplement)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(IntAnd)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(IntOr)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(IntXor)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(IntLeftShift)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(IntRightShift)

// Integer comparison.
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(IntEq)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(IntNeq)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(IntLess)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(IntLessEq)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(IntGreater)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(IntGreaterEq)

// Float arithmetic.
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(FloatNegate)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(FloatAdd)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(FloatSub)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(FloatMul)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(FloatDiv)

// Float comparison.
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(FloatEq)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(FloatNeq)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(FloatLess)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(FloatLessEq)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(FloatGreater)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(FloatGreaterEq)

// Bool comparison.
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(BoolEq)
CARBON_SEM_IR_BUILTIN_FUNCTION_KIND(BoolNeq)

#undef CARBON_SEM_IR_BUILTIN_FUNCTION_KIND