runtime.h File Reference

#include <stdio.h>
#include <stdbool.h>
#include <unistd.h>
#include <stdint.h>
#include <stdlib.h>
#include <string.h>
#include <gc/gc.h>
#include <setjmp.h>
#include <inttypes.h>
#include <assert.h>

Go to the source code of this file.

Data Structures

struct  bitc_exception_t
 Common "base class" for all exception objects. More...
struct  bitc_string_t
 C representation of the BitC string type. More...

Defines

#define INLINE   static inline
#define BITC_UNIT   '\000'
#define MAYBE_UNUSED   __attribute__((unused))
#define bitc_throw(fileName, line, x)
#define BITC_THROW(x)   bitc_throw(__FILE__, __LINE__, x)
#define TY_VECTOR_OF_STRINGS   K_6string
#define GC_ALLOC(x)   bitc_malloc(__FILE__, __LINE__, x)
#define GC_ALLOC_ATOMIC(x)   bitc_malloc_atomic(__FILE__, __LINE__, x)
#define LAMNM(NM)   NM
#define DEFUN(NM,)   LAMNM(NM)(__VA_ARGS__)
#define DEFCLOSURE(NM)
#define DEFCLOSURE_INLINE(NM)
#define DEFEQL(TY, MTY)
#define DEFNEQ(TY, MTY)
#define DEFLESS(TY, MTY)
#define DEFGREATER(TY, MTY)
#define DEFLESSOREQUAL(TY, MTY)
#define DEFGREATEROREQUAL(TY, MTY)
#define DEFADD(TY, MTY)
#define DEFSUBTRACT(TY, MTY)
#define DEFMULTIPLY(TY, MTY)
#define DEFDIVIDE(TY, MTY)
#define DEFNEGATE(TY, MTY)
#define DEFMODULO(TY, MTY)
#define DEFBAND(TY, MTY)
#define DEFBOR(TY, MTY)
#define DEFBNOT(TY, MTY)
#define DEFBXOR(TY, MTY)
#define DEFBLS(TY, MTY)
#define DEFBRS(TY, MTY)
#define DEFORD(TY, MTY)
#define DEFARITH(TY, MTY)
#define DEFFLOATARITH(TY, MTY)
#define DEFBITARITH(TY, MTY)
#define DEFSIGNEX(TY1, MTY1, TY2, MTY2)
#define DEFZEROEX(TY1, MTY1, TY2, MTY2)
#define DEFTRUNCATE(TY1, MTY1, TY2, MTY2)
#define DEFSIGNED(TY1, MTY1, TY2, MTY2)
#define DEFUNSIGNED(TY1, MTY1, TY2, MTY2)
#define DEFCAST(TY1, MTY1, TY2, MTY2)
#define DEFSIGNEDOPS(TY1, MTY1, TY2, MTY2)
#define DEFUNSIGNEDOPS(TY1, MTY1, TY2, MTY2)
#define DEFRESIGN(TY1, MTY1, TY2, MTY2)

Typedefs

typedef char bitc_unit_t
typedef uint32_t bitc_char_t
typedef bool bitc_bool_t
typedef uintptr_t bitc_word_t
typedef bitc_word_t bitc_tvar_t
typedef int8_t bitc_int8_t
typedef int16_t bitc_int16_t
typedef int32_t bitc_int32_t
typedef int64_t bitc_int64_t
typedef uint8_t bitc_uns8_t
typedef uint16_t bitc_uns16_t
typedef uint32_t bitc_uns32_t
typedef uint64_t bitc_uns64_t
typedef float bitc_float_t
typedef double bitc_double_t
typedef long double bitc_quad_t

Functions

static void * bitc_malloc (const char *fileName, int line, size_t sz)
 Trivial wrapper for allocating storage that may contain pointers.
static void * bitc_malloc_atomic (const char *fileName, int line, size_t sz)
 Trivial wrapper for allocating storage that may not contain pointers.
static bitc_string_tmkStringLiteral (const char *s)
 Constructor for string literals when they are emitted by the compiler.
static bitc_bool_t bitc_index_lt (__VA_ARGS__) bitc_word_t a
 Less-than operator for type Word.
static bitc_int64_t _16bitc_DTprelude_CN___PL_SHFN2_5int64_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1
static bitc_int64_t _16bitc_DTprelude_CN___HY_SHFN2_5int64_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1
static bitc_int64_t _16bitc_DTprelude_CN___ST_SHFN2_5int64_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1
static bitc_int64_t _16bitc_DTprelude_CN___FS_SHFN2_5int64_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1
static bitc_int64_t _16bitc_DTprelude_CN___PC_SHFN2_5int64_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1
static bitc_int64_t _21bitc_DTprelude_CN__negate_SHFN1_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_bool_t _17bitc_DTprelude_CN___EQ_EQ_SHFN2_5int64_5int64_4bool (__VA_ARGS__) bitc_int64_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___EX_EQ_SHFN2_5int64_5int64_4bool (__VA_ARGS__) bitc_int64_t arg1
static bitc_bool_t _16bitc_DTprelude_CN___LT_SHFN2_5int64_5int64_4bool (__VA_ARGS__) bitc_int64_t arg1
static bitc_bool_t _16bitc_DTprelude_CN___GT_SHFN2_5int64_5int64_4bool (__VA_ARGS__) bitc_int64_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___LT_EQ_SHFN2_5int64_5int64_4bool (__VA_ARGS__) bitc_int64_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___GT_EQ_SHFN2_5int64_5int64_4bool (__VA_ARGS__) bitc_int64_t arg1
static bitc_int32_t _16bitc_DTprelude_CN___PL_SHFN2_5int32_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1
static bitc_int32_t _16bitc_DTprelude_CN___HY_SHFN2_5int32_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1
static bitc_int32_t _16bitc_DTprelude_CN___ST_SHFN2_5int32_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1
static bitc_int32_t _16bitc_DTprelude_CN___FS_SHFN2_5int32_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1
static bitc_int32_t _16bitc_DTprelude_CN___PC_SHFN2_5int32_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1
static bitc_int32_t _21bitc_DTprelude_CN__negate_SHFN1_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_bool_t _17bitc_DTprelude_CN___EQ_EQ_SHFN2_5int32_5int32_4bool (__VA_ARGS__) bitc_int32_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___EX_EQ_SHFN2_5int32_5int32_4bool (__VA_ARGS__) bitc_int32_t arg1
static bitc_bool_t _16bitc_DTprelude_CN___LT_SHFN2_5int32_5int32_4bool (__VA_ARGS__) bitc_int32_t arg1
static bitc_bool_t _16bitc_DTprelude_CN___GT_SHFN2_5int32_5int32_4bool (__VA_ARGS__) bitc_int32_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___LT_EQ_SHFN2_5int32_5int32_4bool (__VA_ARGS__) bitc_int32_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___GT_EQ_SHFN2_5int32_5int32_4bool (__VA_ARGS__) bitc_int32_t arg1
static bitc_int16_t _16bitc_DTprelude_CN___PL_SHFN2_5int16_5int16_5int16 (__VA_ARGS__) bitc_int16_t arg1
static bitc_int16_t _16bitc_DTprelude_CN___HY_SHFN2_5int16_5int16_5int16 (__VA_ARGS__) bitc_int16_t arg1
static bitc_int16_t _16bitc_DTprelude_CN___ST_SHFN2_5int16_5int16_5int16 (__VA_ARGS__) bitc_int16_t arg1
static bitc_int16_t _16bitc_DTprelude_CN___FS_SHFN2_5int16_5int16_5int16 (__VA_ARGS__) bitc_int16_t arg1
static bitc_int16_t _16bitc_DTprelude_CN___PC_SHFN2_5int16_5int16_5int16 (__VA_ARGS__) bitc_int16_t arg1
static bitc_int16_t _21bitc_DTprelude_CN__negate_SHFN1_5int16_5int16 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_bool_t _17bitc_DTprelude_CN___EQ_EQ_SHFN2_5int16_5int16_4bool (__VA_ARGS__) bitc_int16_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___EX_EQ_SHFN2_5int16_5int16_4bool (__VA_ARGS__) bitc_int16_t arg1
static bitc_bool_t _16bitc_DTprelude_CN___LT_SHFN2_5int16_5int16_4bool (__VA_ARGS__) bitc_int16_t arg1
static bitc_bool_t _16bitc_DTprelude_CN___GT_SHFN2_5int16_5int16_4bool (__VA_ARGS__) bitc_int16_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___LT_EQ_SHFN2_5int16_5int16_4bool (__VA_ARGS__) bitc_int16_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___GT_EQ_SHFN2_5int16_5int16_4bool (__VA_ARGS__) bitc_int16_t arg1
static bitc_int8_t _16bitc_DTprelude_CN___PL_SHFN2_4int8_4int8_4int8 (__VA_ARGS__) bitc_int8_t arg1
static bitc_int8_t _16bitc_DTprelude_CN___HY_SHFN2_4int8_4int8_4int8 (__VA_ARGS__) bitc_int8_t arg1
static bitc_int8_t _16bitc_DTprelude_CN___ST_SHFN2_4int8_4int8_4int8 (__VA_ARGS__) bitc_int8_t arg1
static bitc_int8_t _16bitc_DTprelude_CN___FS_SHFN2_4int8_4int8_4int8 (__VA_ARGS__) bitc_int8_t arg1
static bitc_int8_t _16bitc_DTprelude_CN___PC_SHFN2_4int8_4int8_4int8 (__VA_ARGS__) bitc_int8_t arg1
static bitc_int8_t _21bitc_DTprelude_CN__negate_SHFN1_4int8_4int8 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_bool_t _17bitc_DTprelude_CN___EQ_EQ_SHFN2_4int8_4int8_4bool (__VA_ARGS__) bitc_int8_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___EX_EQ_SHFN2_4int8_4int8_4bool (__VA_ARGS__) bitc_int8_t arg1
static bitc_bool_t _16bitc_DTprelude_CN___LT_SHFN2_4int8_4int8_4bool (__VA_ARGS__) bitc_int8_t arg1
static bitc_bool_t _16bitc_DTprelude_CN___GT_SHFN2_4int8_4int8_4bool (__VA_ARGS__) bitc_int8_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___LT_EQ_SHFN2_4int8_4int8_4bool (__VA_ARGS__) bitc_int8_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___GT_EQ_SHFN2_4int8_4int8_4bool (__VA_ARGS__) bitc_int8_t arg1
static bitc_uns64_t _16bitc_DTprelude_CN___PL_SHFN2_6uint64_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1
static bitc_uns64_t _16bitc_DTprelude_CN___HY_SHFN2_6uint64_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1
static bitc_uns64_t _16bitc_DTprelude_CN___ST_SHFN2_6uint64_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1
static bitc_uns64_t _16bitc_DTprelude_CN___FS_SHFN2_6uint64_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1
static bitc_uns64_t _16bitc_DTprelude_CN___PC_SHFN2_6uint64_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1
static bitc_uns64_t _21bitc_DTprelude_CN__negate_SHFN1_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_bool_t _17bitc_DTprelude_CN___EQ_EQ_SHFN2_6uint64_6uint64_4bool (__VA_ARGS__) bitc_uns64_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___EX_EQ_SHFN2_6uint64_6uint64_4bool (__VA_ARGS__) bitc_uns64_t arg1
static bitc_bool_t _16bitc_DTprelude_CN___LT_SHFN2_6uint64_6uint64_4bool (__VA_ARGS__) bitc_uns64_t arg1
static bitc_bool_t _16bitc_DTprelude_CN___GT_SHFN2_6uint64_6uint64_4bool (__VA_ARGS__) bitc_uns64_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___LT_EQ_SHFN2_6uint64_6uint64_4bool (__VA_ARGS__) bitc_uns64_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___GT_EQ_SHFN2_6uint64_6uint64_4bool (__VA_ARGS__) bitc_uns64_t arg1
static bitc_uns32_t _16bitc_DTprelude_CN___PL_SHFN2_6uint32_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1
static bitc_uns32_t _16bitc_DTprelude_CN___HY_SHFN2_6uint32_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1
static bitc_uns32_t _16bitc_DTprelude_CN___ST_SHFN2_6uint32_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1
static bitc_uns32_t _16bitc_DTprelude_CN___FS_SHFN2_6uint32_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1
static bitc_uns32_t _16bitc_DTprelude_CN___PC_SHFN2_6uint32_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1
static bitc_uns32_t _21bitc_DTprelude_CN__negate_SHFN1_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_bool_t _17bitc_DTprelude_CN___EQ_EQ_SHFN2_6uint32_6uint32_4bool (__VA_ARGS__) bitc_uns32_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___EX_EQ_SHFN2_6uint32_6uint32_4bool (__VA_ARGS__) bitc_uns32_t arg1
static bitc_bool_t _16bitc_DTprelude_CN___LT_SHFN2_6uint32_6uint32_4bool (__VA_ARGS__) bitc_uns32_t arg1
static bitc_bool_t _16bitc_DTprelude_CN___GT_SHFN2_6uint32_6uint32_4bool (__VA_ARGS__) bitc_uns32_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___LT_EQ_SHFN2_6uint32_6uint32_4bool (__VA_ARGS__) bitc_uns32_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___GT_EQ_SHFN2_6uint32_6uint32_4bool (__VA_ARGS__) bitc_uns32_t arg1
static bitc_uns16_t _16bitc_DTprelude_CN___PL_SHFN2_6uint16_6uint16_6uint16 (__VA_ARGS__) bitc_uns16_t arg1
static bitc_uns16_t _16bitc_DTprelude_CN___HY_SHFN2_6uint16_6uint16_6uint16 (__VA_ARGS__) bitc_uns16_t arg1
static bitc_uns16_t _16bitc_DTprelude_CN___ST_SHFN2_6uint16_6uint16_6uint16 (__VA_ARGS__) bitc_uns16_t arg1
static bitc_uns16_t _16bitc_DTprelude_CN___FS_SHFN2_6uint16_6uint16_6uint16 (__VA_ARGS__) bitc_uns16_t arg1
static bitc_uns16_t _16bitc_DTprelude_CN___PC_SHFN2_6uint16_6uint16_6uint16 (__VA_ARGS__) bitc_uns16_t arg1
static bitc_uns16_t _21bitc_DTprelude_CN__negate_SHFN1_6uint16_6uint16 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_bool_t _17bitc_DTprelude_CN___EQ_EQ_SHFN2_6uint16_6uint16_4bool (__VA_ARGS__) bitc_uns16_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___EX_EQ_SHFN2_6uint16_6uint16_4bool (__VA_ARGS__) bitc_uns16_t arg1
static bitc_bool_t _16bitc_DTprelude_CN___LT_SHFN2_6uint16_6uint16_4bool (__VA_ARGS__) bitc_uns16_t arg1
static bitc_bool_t _16bitc_DTprelude_CN___GT_SHFN2_6uint16_6uint16_4bool (__VA_ARGS__) bitc_uns16_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___LT_EQ_SHFN2_6uint16_6uint16_4bool (__VA_ARGS__) bitc_uns16_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___GT_EQ_SHFN2_6uint16_6uint16_4bool (__VA_ARGS__) bitc_uns16_t arg1
static bitc_uns8_t _16bitc_DTprelude_CN___PL_SHFN2_5uint8_5uint8_5uint8 (__VA_ARGS__) bitc_uns8_t arg1
static bitc_uns8_t _16bitc_DTprelude_CN___HY_SHFN2_5uint8_5uint8_5uint8 (__VA_ARGS__) bitc_uns8_t arg1
static bitc_uns8_t _16bitc_DTprelude_CN___ST_SHFN2_5uint8_5uint8_5uint8 (__VA_ARGS__) bitc_uns8_t arg1
static bitc_uns8_t _16bitc_DTprelude_CN___FS_SHFN2_5uint8_5uint8_5uint8 (__VA_ARGS__) bitc_uns8_t arg1
static bitc_uns8_t _16bitc_DTprelude_CN___PC_SHFN2_5uint8_5uint8_5uint8 (__VA_ARGS__) bitc_uns8_t arg1
static bitc_uns8_t _21bitc_DTprelude_CN__negate_SHFN1_5uint8_5uint8 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_bool_t _17bitc_DTprelude_CN___EQ_EQ_SHFN2_5uint8_5uint8_4bool (__VA_ARGS__) bitc_uns8_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___EX_EQ_SHFN2_5uint8_5uint8_4bool (__VA_ARGS__) bitc_uns8_t arg1
static bitc_bool_t _16bitc_DTprelude_CN___LT_SHFN2_5uint8_5uint8_4bool (__VA_ARGS__) bitc_uns8_t arg1
static bitc_bool_t _16bitc_DTprelude_CN___GT_SHFN2_5uint8_5uint8_4bool (__VA_ARGS__) bitc_uns8_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___LT_EQ_SHFN2_5uint8_5uint8_4bool (__VA_ARGS__) bitc_uns8_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___GT_EQ_SHFN2_5uint8_5uint8_4bool (__VA_ARGS__) bitc_uns8_t arg1
static bitc_word_t _16bitc_DTprelude_CN___PL_SHFN2_4word_4word_4word (__VA_ARGS__) bitc_word_t arg1
static bitc_word_t _16bitc_DTprelude_CN___HY_SHFN2_4word_4word_4word (__VA_ARGS__) bitc_word_t arg1
static bitc_word_t _16bitc_DTprelude_CN___ST_SHFN2_4word_4word_4word (__VA_ARGS__) bitc_word_t arg1
static bitc_word_t _16bitc_DTprelude_CN___FS_SHFN2_4word_4word_4word (__VA_ARGS__) bitc_word_t arg1
static bitc_word_t _16bitc_DTprelude_CN___PC_SHFN2_4word_4word_4word (__VA_ARGS__) bitc_word_t arg1
static bitc_word_t _21bitc_DTprelude_CN__negate_SHFN1_4word_4word (__VA_ARGS__) bitc_word_t arg1)
static bitc_bool_t _17bitc_DTprelude_CN___EQ_EQ_SHFN2_4word_4word_4bool (__VA_ARGS__) bitc_word_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___EX_EQ_SHFN2_4word_4word_4bool (__VA_ARGS__) bitc_word_t arg1
static bitc_bool_t _16bitc_DTprelude_CN___LT_SHFN2_4word_4word_4bool (__VA_ARGS__) bitc_word_t arg1
static bitc_bool_t _16bitc_DTprelude_CN___GT_SHFN2_4word_4word_4bool (__VA_ARGS__) bitc_word_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___LT_EQ_SHFN2_4word_4word_4bool (__VA_ARGS__) bitc_word_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___GT_EQ_SHFN2_4word_4word_4bool (__VA_ARGS__) bitc_word_t arg1
static bitc_float_t _16bitc_DTprelude_CN___PL_SHFN2_5float_5float_5float (__VA_ARGS__) bitc_float_t arg1
static bitc_float_t _16bitc_DTprelude_CN___HY_SHFN2_5float_5float_5float (__VA_ARGS__) bitc_float_t arg1
static bitc_float_t _16bitc_DTprelude_CN___ST_SHFN2_5float_5float_5float (__VA_ARGS__) bitc_float_t arg1
static bitc_float_t _16bitc_DTprelude_CN___FS_SHFN2_5float_5float_5float (__VA_ARGS__) bitc_float_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___EQ_EQ_SHFN2_5float_5float_4bool (__VA_ARGS__) bitc_float_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___EX_EQ_SHFN2_5float_5float_4bool (__VA_ARGS__) bitc_float_t arg1
static bitc_bool_t _16bitc_DTprelude_CN___LT_SHFN2_5float_5float_4bool (__VA_ARGS__) bitc_float_t arg1
static bitc_bool_t _16bitc_DTprelude_CN___GT_SHFN2_5float_5float_4bool (__VA_ARGS__) bitc_float_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___LT_EQ_SHFN2_5float_5float_4bool (__VA_ARGS__) bitc_float_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___GT_EQ_SHFN2_5float_5float_4bool (__VA_ARGS__) bitc_float_t arg1
static bitc_double_t _16bitc_DTprelude_CN___PL_SHFN2_6double_6double_6double (__VA_ARGS__) bitc_double_t arg1
static bitc_double_t _16bitc_DTprelude_CN___HY_SHFN2_6double_6double_6double (__VA_ARGS__) bitc_double_t arg1
static bitc_double_t _16bitc_DTprelude_CN___ST_SHFN2_6double_6double_6double (__VA_ARGS__) bitc_double_t arg1
static bitc_double_t _16bitc_DTprelude_CN___FS_SHFN2_6double_6double_6double (__VA_ARGS__) bitc_double_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___EQ_EQ_SHFN2_6double_6double_4bool (__VA_ARGS__) bitc_double_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___EX_EQ_SHFN2_6double_6double_4bool (__VA_ARGS__) bitc_double_t arg1
static bitc_bool_t _16bitc_DTprelude_CN___LT_SHFN2_6double_6double_4bool (__VA_ARGS__) bitc_double_t arg1
static bitc_bool_t _16bitc_DTprelude_CN___GT_SHFN2_6double_6double_4bool (__VA_ARGS__) bitc_double_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___LT_EQ_SHFN2_6double_6double_4bool (__VA_ARGS__) bitc_double_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___GT_EQ_SHFN2_6double_6double_4bool (__VA_ARGS__) bitc_double_t arg1
static bitc_uns8_t _20bitc_DTprelude_CN__b_and_SHFN2_5uint8_5uint8_5uint8 (__VA_ARGS__) bitc_uns8_t arg1
static bitc_uns8_t _19bitc_DTprelude_CN__b_or_SHFN2_5uint8_5uint8_5uint8 (__VA_ARGS__) bitc_uns8_t arg1
static bitc_uns8_t _20bitc_DTprelude_CN__b_not_SHFN1_5uint8_5uint8 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _20bitc_DTprelude_CN__b_xor_SHFN2_5uint8_5uint8_5uint8 (__VA_ARGS__) bitc_uns8_t arg1
static bitc_uns8_t _17bitc_DTprelude_CN___LT_LT_SHFN2_5uint8_4word_5uint8 (__VA_ARGS__) bitc_uns8_t arg1
static bitc_uns8_t _17bitc_DTprelude_CN___GT_GT_SHFN2_5uint8_4word_5uint8 (__VA_ARGS__) bitc_uns8_t arg1
static bitc_uns16_t _20bitc_DTprelude_CN__b_and_SHFN2_6uint16_6uint16_6uint16 (__VA_ARGS__) bitc_uns16_t arg1
static bitc_uns16_t _19bitc_DTprelude_CN__b_or_SHFN2_6uint16_6uint16_6uint16 (__VA_ARGS__) bitc_uns16_t arg1
static bitc_uns16_t _20bitc_DTprelude_CN__b_not_SHFN1_6uint16_6uint16 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _20bitc_DTprelude_CN__b_xor_SHFN2_6uint16_6uint16_6uint16 (__VA_ARGS__) bitc_uns16_t arg1
static bitc_uns16_t _17bitc_DTprelude_CN___LT_LT_SHFN2_6uint16_4word_6uint16 (__VA_ARGS__) bitc_uns16_t arg1
static bitc_uns16_t _17bitc_DTprelude_CN___GT_GT_SHFN2_6uint16_4word_6uint16 (__VA_ARGS__) bitc_uns16_t arg1
static bitc_uns32_t _20bitc_DTprelude_CN__b_and_SHFN2_6uint32_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1
static bitc_uns32_t _19bitc_DTprelude_CN__b_or_SHFN2_6uint32_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1
static bitc_uns32_t _20bitc_DTprelude_CN__b_not_SHFN1_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _20bitc_DTprelude_CN__b_xor_SHFN2_6uint32_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1
static bitc_uns32_t _17bitc_DTprelude_CN___LT_LT_SHFN2_6uint32_4word_6uint32 (__VA_ARGS__) bitc_uns32_t arg1
static bitc_uns32_t _17bitc_DTprelude_CN___GT_GT_SHFN2_6uint32_4word_6uint32 (__VA_ARGS__) bitc_uns32_t arg1
static bitc_uns64_t _20bitc_DTprelude_CN__b_and_SHFN2_6uint64_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1
static bitc_uns64_t _19bitc_DTprelude_CN__b_or_SHFN2_6uint64_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1
static bitc_uns64_t _20bitc_DTprelude_CN__b_not_SHFN1_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _20bitc_DTprelude_CN__b_xor_SHFN2_6uint64_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1
static bitc_uns64_t _17bitc_DTprelude_CN___LT_LT_SHFN2_6uint64_4word_6uint64 (__VA_ARGS__) bitc_uns64_t arg1
static bitc_uns64_t _17bitc_DTprelude_CN___GT_GT_SHFN2_6uint64_4word_6uint64 (__VA_ARGS__) bitc_uns64_t arg1
static bitc_word_t _20bitc_DTprelude_CN__b_and_SHFN2_4word_4word_4word (__VA_ARGS__) bitc_word_t arg1
static bitc_word_t _19bitc_DTprelude_CN__b_or_SHFN2_4word_4word_4word (__VA_ARGS__) bitc_word_t arg1
static bitc_word_t _20bitc_DTprelude_CN__b_not_SHFN1_4word_4word (__VA_ARGS__) bitc_word_t arg1)
static bitc_word_t _20bitc_DTprelude_CN__b_xor_SHFN2_4word_4word_4word (__VA_ARGS__) bitc_word_t arg1
static bitc_word_t _17bitc_DTprelude_CN___LT_LT_SHFN2_4word_4word_4word (__VA_ARGS__) bitc_word_t arg1
static bitc_word_t _17bitc_DTprelude_CN___GT_GT_SHFN2_4word_4word_4word (__VA_ARGS__) bitc_word_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___EQ_EQ_SHFN2_4char_4char_4bool (__VA_ARGS__) bitc_char_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___EX_EQ_SHFN2_4char_4char_4bool (__VA_ARGS__) bitc_char_t arg1
static bitc_bool_t _16bitc_DTprelude_CN___LT_SHFN2_4char_4char_4bool (__VA_ARGS__) bitc_char_t arg1
static bitc_bool_t _16bitc_DTprelude_CN___GT_SHFN2_4char_4char_4bool (__VA_ARGS__) bitc_char_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___LT_EQ_SHFN2_4char_4char_4bool (__VA_ARGS__) bitc_char_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___GT_EQ_SHFN2_4char_4char_4bool (__VA_ARGS__) bitc_char_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___EQ_EQ_SHFN2_4bool_4bool_4bool (__VA_ARGS__) bitc_bool_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___EX_EQ_SHFN2_4bool_4bool_4bool (__VA_ARGS__) bitc_bool_t arg1
static bitc_bool_t _16bitc_DTprelude_CN___LT_SHFN2_4bool_4bool_4bool (__VA_ARGS__) bitc_bool_t arg1
static bitc_bool_t _16bitc_DTprelude_CN___GT_SHFN2_4bool_4bool_4bool (__VA_ARGS__) bitc_bool_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___LT_EQ_SHFN2_4bool_4bool_4bool (__VA_ARGS__) bitc_bool_t arg1
static bitc_bool_t _17bitc_DTprelude_CN___GT_EQ_SHFN2_4bool_4bool_4bool (__VA_ARGS__) bitc_bool_t arg1
static bitc_bool_t _16bitc_DTprelude_CNnot_SHFN1_4bool_4bool (__VA_ARGS__) bitc_bool_t arg)
static bitc_bool_t _17bitc_DTprelude_CN___EQ_EQ_SHFN2_6string_6string_4bool (__VA_ARGS__) bitc_string_t *arg1
static bitc_bool_t _16bitc_DTprelude_CN___LT_SHFN2_6string_6string_4bool (__VA_ARGS__) bitc_string_t *arg1
static bitc_bool_t _16bitc_DTprelude_CN___GT_SHFN2_6string_6string_4bool (__VA_ARGS__) bitc_string_t *arg1
static bitc_bool_t _17bitc_DTprelude_CN___LT_EQ_SHFN2_6string_6string_4bool (__VA_ARGS__) bitc_string_t *arg1
static bitc_bool_t _17bitc_DTprelude_CN___GT_EQ_SHFN2_6string_6string_4bool (__VA_ARGS__) bitc_string_t *arg1
static bitc_uns8_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF1_5uint8_5uint8 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _21bitc_DTprelude_CNTruncate_SHFN1_5uint8BF1_5uint8 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF2_5uint8_5uint8 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _21bitc_DTprelude_CNTruncate_SHFN1_5uint8BF2_5uint8 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF3_5uint8_5uint8 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _21bitc_DTprelude_CNTruncate_SHFN1_5uint8BF3_5uint8 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF4_5uint8_5uint8 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _21bitc_DTprelude_CNTruncate_SHFN1_5uint8BF4_5uint8 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF5_5uint8_5uint8 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _21bitc_DTprelude_CNTruncate_SHFN1_5uint8BF5_5uint8 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF6_5uint8_5uint8 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _21bitc_DTprelude_CNTruncate_SHFN1_5uint8BF6_5uint8 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF7_5uint8_5uint8 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _21bitc_DTprelude_CNTruncate_SHFN1_5uint8BF7_5uint8 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns16_t _23bitc_DTprelude_CNZeroExtend_SHFN1_5uint8_6uint16 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint16_5uint8 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF1_5uint8_6uint16 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint16BF1_5uint8 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF2_5uint8_6uint16 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint16BF2_5uint8 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF3_5uint8_6uint16 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint16BF3_5uint8 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF4_5uint8_6uint16 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint16BF4_5uint8 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF5_5uint8_6uint16 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint16BF5_5uint8 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF6_5uint8_6uint16 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint16BF6_5uint8 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF7_5uint8_6uint16 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint16BF7_5uint8 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1_5uint8_6uint32 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32_5uint8 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF1_5uint8_6uint32 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF1_5uint8 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF2_5uint8_6uint32 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF2_5uint8 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF3_5uint8_6uint32 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF3_5uint8 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF4_5uint8_6uint32 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF4_5uint8 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF5_5uint8_6uint32 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF5_5uint8 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF6_5uint8_6uint32 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF6_5uint8 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF7_5uint8_6uint32 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF7_5uint8 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1_5uint8_6uint64 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64_5uint8 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF1_5uint8_6uint64 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF1_5uint8 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF2_5uint8_6uint64 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF2_5uint8 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF3_5uint8_6uint64 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF3_5uint8 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF4_5uint8_6uint64 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF4_5uint8 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF5_5uint8_6uint64 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF5_5uint8 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF6_5uint8_6uint64 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF6_5uint8 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF7_5uint8_6uint64 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF7_5uint8 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns16_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF1_6uint16_6uint16 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint16BF1_6uint16 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF2_6uint16_6uint16 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint16BF2_6uint16 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF3_6uint16_6uint16 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint16BF3_6uint16 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF4_6uint16_6uint16 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint16BF4_6uint16 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF5_6uint16_6uint16 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint16BF5_6uint16 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF6_6uint16_6uint16 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint16BF6_6uint16 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF7_6uint16_6uint16 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint16BF7_6uint16 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF8_6uint16_6uint16 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint16BF8_6uint16 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF9_6uint16_6uint16 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint16BF9_6uint16 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF10_6uint16_6uint16 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint16BF10_6uint16 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF11_6uint16_6uint16 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint16BF11_6uint16 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF12_6uint16_6uint16 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint16BF12_6uint16 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF13_6uint16_6uint16 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint16BF13_6uint16 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF14_6uint16_6uint16 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint16BF14_6uint16 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF15_6uint16_6uint16 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint16BF15_6uint16 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1_6uint16_6uint32 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32_6uint16 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF1_6uint16_6uint32 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF1_6uint16 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF2_6uint16_6uint32 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF2_6uint16 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF3_6uint16_6uint32 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF3_6uint16 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF4_6uint16_6uint32 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF4_6uint16 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF5_6uint16_6uint32 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF5_6uint16 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF6_6uint16_6uint32 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF6_6uint16 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF7_6uint16_6uint32 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF7_6uint16 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF8_6uint16_6uint32 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF8_6uint16 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF9_6uint16_6uint32 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF9_6uint16 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF10_6uint16_6uint32 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF10_6uint16 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF11_6uint16_6uint32 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF11_6uint16 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF12_6uint16_6uint32 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF12_6uint16 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF13_6uint16_6uint32 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF13_6uint16 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF14_6uint16_6uint32 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF14_6uint16 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF15_6uint16_6uint32 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF15_6uint16 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1_6uint16_6uint64 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64_6uint16 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF1_6uint16_6uint64 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF1_6uint16 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF2_6uint16_6uint64 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF2_6uint16 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF3_6uint16_6uint64 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF3_6uint16 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF4_6uint16_6uint64 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF4_6uint16 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF5_6uint16_6uint64 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF5_6uint16 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF6_6uint16_6uint64 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF6_6uint16 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF7_6uint16_6uint64 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF7_6uint16 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF8_6uint16_6uint64 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF8_6uint16 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF9_6uint16_6uint64 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF9_6uint16 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF10_6uint16_6uint64 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF10_6uint16 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF11_6uint16_6uint64 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF11_6uint16 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF12_6uint16_6uint64 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF12_6uint16 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF13_6uint16_6uint64 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF13_6uint16 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF14_6uint16_6uint64 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF14_6uint16 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF15_6uint16_6uint64 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF15_6uint16 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF1_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF1_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF2_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF2_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF3_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF3_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF4_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF4_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF5_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF5_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF6_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF6_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF7_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF7_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF8_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF8_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF9_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF9_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF10_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF10_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF11_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF11_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF12_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF12_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF13_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF13_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF14_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF14_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF15_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF15_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF16_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF16_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF17_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF17_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF18_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF18_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF19_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF19_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF20_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF20_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF21_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF21_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF22_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF22_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF23_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF23_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF24_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF24_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF25_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF25_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF26_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF26_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF27_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF27_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF28_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF28_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF29_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF29_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF30_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF30_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF31_6uint32_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint32BF31_6uint32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1_6uint32_6uint64 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64_6uint32 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF1_6uint32_6uint64 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF1_6uint32 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF2_6uint32_6uint64 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF2_6uint32 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF3_6uint32_6uint64 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF3_6uint32 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF4_6uint32_6uint64 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF4_6uint32 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF5_6uint32_6uint64 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF5_6uint32 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF6_6uint32_6uint64 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF6_6uint32 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF7_6uint32_6uint64 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF7_6uint32 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF8_6uint32_6uint64 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF8_6uint32 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF9_6uint32_6uint64 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF9_6uint32 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF10_6uint32_6uint64 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF10_6uint32 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF11_6uint32_6uint64 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF11_6uint32 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF12_6uint32_6uint64 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF12_6uint32 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF13_6uint32_6uint64 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF13_6uint32 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF14_6uint32_6uint64 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF14_6uint32 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF15_6uint32_6uint64 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF15_6uint32 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF16_6uint32_6uint64 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF16_6uint32 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF17_6uint32_6uint64 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF17_6uint32 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF18_6uint32_6uint64 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF18_6uint32 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF19_6uint32_6uint64 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF19_6uint32 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF20_6uint32_6uint64 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF20_6uint32 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF21_6uint32_6uint64 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF21_6uint32 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF22_6uint32_6uint64 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF22_6uint32 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF23_6uint32_6uint64 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF23_6uint32 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF24_6uint32_6uint64 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF24_6uint32 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF25_6uint32_6uint64 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF25_6uint32 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF26_6uint32_6uint64 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF26_6uint32 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF27_6uint32_6uint64 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF27_6uint32 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF28_6uint32_6uint64 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF28_6uint32 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF29_6uint32_6uint64 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF29_6uint32 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF30_6uint32_6uint64 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF30_6uint32 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF31_6uint32_6uint64 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF31_6uint32 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF1_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF1_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF2_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF2_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF3_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF3_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF4_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF4_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF5_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF5_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF6_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF6_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF7_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF7_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF8_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF8_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF9_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF9_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF10_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF10_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF11_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF11_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF12_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF12_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF13_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF13_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF14_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF14_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF15_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF15_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF16_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF16_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF17_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF17_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF18_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF18_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF19_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF19_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF20_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF20_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF21_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF21_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF22_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF22_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF23_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF23_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF24_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF24_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF25_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF25_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF26_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF26_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF27_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF27_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF28_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF28_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF29_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF29_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF30_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF30_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF31_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF31_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF32_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF32_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF33_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF33_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF34_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF34_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF35_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF35_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF36_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF36_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF37_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF37_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF38_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF38_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF39_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF39_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF40_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF40_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF41_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF41_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF42_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF42_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF43_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF43_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF44_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF44_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF45_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF45_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF46_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF46_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF47_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF47_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF48_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF48_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF49_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF49_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF50_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF50_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF51_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF51_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF52_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF52_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF53_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF53_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF54_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF54_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF55_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF55_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF56_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF56_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF57_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF57_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF58_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF58_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF59_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF59_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF60_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF60_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF61_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF61_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF62_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF62_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _23bitc_DTprelude_CNZeroExtend_SHFN1BF63_6uint64_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNTruncate_SHFN1_6uint64BF63_6uint64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_int8_t _23bitc_DTprelude_CNSignExtend_SHFN1BF1_4int8_4int8 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _21bitc_DTprelude_CNTruncate_SHFN1_4int8BF1_4int8 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _23bitc_DTprelude_CNSignExtend_SHFN1BF2_4int8_4int8 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _21bitc_DTprelude_CNTruncate_SHFN1_4int8BF2_4int8 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _23bitc_DTprelude_CNSignExtend_SHFN1BF3_4int8_4int8 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _21bitc_DTprelude_CNTruncate_SHFN1_4int8BF3_4int8 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _23bitc_DTprelude_CNSignExtend_SHFN1BF4_4int8_4int8 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _21bitc_DTprelude_CNTruncate_SHFN1_4int8BF4_4int8 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _23bitc_DTprelude_CNSignExtend_SHFN1BF5_4int8_4int8 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _21bitc_DTprelude_CNTruncate_SHFN1_4int8BF5_4int8 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _23bitc_DTprelude_CNSignExtend_SHFN1BF6_4int8_4int8 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _21bitc_DTprelude_CNTruncate_SHFN1_4int8BF6_4int8 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _23bitc_DTprelude_CNSignExtend_SHFN1BF7_4int8_4int8 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _21bitc_DTprelude_CNTruncate_SHFN1_4int8BF7_4int8 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int16_t _23bitc_DTprelude_CNSignExtend_SHFN1_4int8_5int16 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _21bitc_DTprelude_CNTruncate_SHFN1_5int16_4int8 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _23bitc_DTprelude_CNSignExtend_SHFN1BF1_4int8_5int16 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _21bitc_DTprelude_CNTruncate_SHFN1_5int16BF1_4int8 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _23bitc_DTprelude_CNSignExtend_SHFN1BF2_4int8_5int16 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _21bitc_DTprelude_CNTruncate_SHFN1_5int16BF2_4int8 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _23bitc_DTprelude_CNSignExtend_SHFN1BF3_4int8_5int16 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _21bitc_DTprelude_CNTruncate_SHFN1_5int16BF3_4int8 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _23bitc_DTprelude_CNSignExtend_SHFN1BF4_4int8_5int16 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _21bitc_DTprelude_CNTruncate_SHFN1_5int16BF4_4int8 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _23bitc_DTprelude_CNSignExtend_SHFN1BF5_4int8_5int16 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _21bitc_DTprelude_CNTruncate_SHFN1_5int16BF5_4int8 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _23bitc_DTprelude_CNSignExtend_SHFN1BF6_4int8_5int16 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _21bitc_DTprelude_CNTruncate_SHFN1_5int16BF6_4int8 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _23bitc_DTprelude_CNSignExtend_SHFN1BF7_4int8_5int16 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _21bitc_DTprelude_CNTruncate_SHFN1_5int16BF7_4int8 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1_4int8_5int32 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32_4int8 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF1_4int8_5int32 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF1_4int8 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF2_4int8_5int32 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF2_4int8 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF3_4int8_5int32 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF3_4int8 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF4_4int8_5int32 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF4_4int8 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF5_4int8_5int32 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF5_4int8 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF6_4int8_5int32 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF6_4int8 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF7_4int8_5int32 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF7_4int8 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1_4int8_5int64 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64_4int8 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF1_4int8_5int64 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF1_4int8 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF2_4int8_5int64 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF2_4int8 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF3_4int8_5int64 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF3_4int8 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF4_4int8_5int64 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF4_4int8 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF5_4int8_5int64 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF5_4int8 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF6_4int8_5int64 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF6_4int8 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF7_4int8_5int64 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int8_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF7_4int8 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int16_t _23bitc_DTprelude_CNSignExtend_SHFN1BF1_5int16_5int16 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int16BF1_5int16 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _23bitc_DTprelude_CNSignExtend_SHFN1BF2_5int16_5int16 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int16BF2_5int16 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _23bitc_DTprelude_CNSignExtend_SHFN1BF3_5int16_5int16 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int16BF3_5int16 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _23bitc_DTprelude_CNSignExtend_SHFN1BF4_5int16_5int16 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int16BF4_5int16 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _23bitc_DTprelude_CNSignExtend_SHFN1BF5_5int16_5int16 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int16BF5_5int16 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _23bitc_DTprelude_CNSignExtend_SHFN1BF6_5int16_5int16 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int16BF6_5int16 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _23bitc_DTprelude_CNSignExtend_SHFN1BF7_5int16_5int16 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int16BF7_5int16 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _23bitc_DTprelude_CNSignExtend_SHFN1BF8_5int16_5int16 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int16BF8_5int16 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _23bitc_DTprelude_CNSignExtend_SHFN1BF9_5int16_5int16 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int16BF9_5int16 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _23bitc_DTprelude_CNSignExtend_SHFN1BF10_5int16_5int16 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int16BF10_5int16 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _23bitc_DTprelude_CNSignExtend_SHFN1BF11_5int16_5int16 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int16BF11_5int16 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _23bitc_DTprelude_CNSignExtend_SHFN1BF12_5int16_5int16 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int16BF12_5int16 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _23bitc_DTprelude_CNSignExtend_SHFN1BF13_5int16_5int16 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int16BF13_5int16 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _23bitc_DTprelude_CNSignExtend_SHFN1BF14_5int16_5int16 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int16BF14_5int16 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _23bitc_DTprelude_CNSignExtend_SHFN1BF15_5int16_5int16 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int16BF15_5int16 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1_5int16_5int32 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32_5int16 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF1_5int16_5int32 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF1_5int16 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF2_5int16_5int32 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF2_5int16 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF3_5int16_5int32 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF3_5int16 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF4_5int16_5int32 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF4_5int16 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF5_5int16_5int32 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF5_5int16 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF6_5int16_5int32 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF6_5int16 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF7_5int16_5int32 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF7_5int16 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF8_5int16_5int32 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF8_5int16 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF9_5int16_5int32 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF9_5int16 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF10_5int16_5int32 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF10_5int16 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF11_5int16_5int32 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF11_5int16 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF12_5int16_5int32 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF12_5int16 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF13_5int16_5int32 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF13_5int16 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF14_5int16_5int32 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF14_5int16 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF15_5int16_5int32 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF15_5int16 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1_5int16_5int64 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64_5int16 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF1_5int16_5int64 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF1_5int16 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF2_5int16_5int64 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF2_5int16 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF3_5int16_5int64 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF3_5int16 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF4_5int16_5int64 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF4_5int16 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF5_5int16_5int64 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF5_5int16 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF6_5int16_5int64 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF6_5int16 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF7_5int16_5int64 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF7_5int16 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF8_5int16_5int64 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF8_5int16 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF9_5int16_5int64 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF9_5int16 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF10_5int16_5int64 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF10_5int16 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF11_5int16_5int64 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF11_5int16 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF12_5int16_5int64 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF12_5int16 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF13_5int16_5int64 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF13_5int16 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF14_5int16_5int64 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF14_5int16 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF15_5int16_5int64 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int16_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF15_5int16 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF1_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF1_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF2_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF2_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF3_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF3_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF4_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF4_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF5_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF5_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF6_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF6_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF7_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF7_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF8_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF8_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF9_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF9_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF10_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF10_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF11_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF11_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF12_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF12_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF13_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF13_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF14_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF14_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF15_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF15_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF16_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF16_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF17_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF17_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF18_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF18_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF19_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF19_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF20_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF20_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF21_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF21_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF22_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF22_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF23_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF23_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF24_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF24_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF25_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF25_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF26_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF26_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF27_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF27_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF28_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF28_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF29_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF29_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF30_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF30_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _23bitc_DTprelude_CNSignExtend_SHFN1BF31_5int32_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int32BF31_5int32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1_5int32_5int64 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64_5int32 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF1_5int32_5int64 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF1_5int32 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF2_5int32_5int64 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF2_5int32 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF3_5int32_5int64 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF3_5int32 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF4_5int32_5int64 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF4_5int32 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF5_5int32_5int64 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF5_5int32 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF6_5int32_5int64 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF6_5int32 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF7_5int32_5int64 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF7_5int32 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF8_5int32_5int64 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF8_5int32 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF9_5int32_5int64 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF9_5int32 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF10_5int32_5int64 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF10_5int32 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF11_5int32_5int64 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF11_5int32 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF12_5int32_5int64 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF12_5int32 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF13_5int32_5int64 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF13_5int32 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF14_5int32_5int64 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF14_5int32 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF15_5int32_5int64 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF15_5int32 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF16_5int32_5int64 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF16_5int32 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF17_5int32_5int64 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF17_5int32 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF18_5int32_5int64 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF18_5int32 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF19_5int32_5int64 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF19_5int32 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF20_5int32_5int64 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF20_5int32 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF21_5int32_5int64 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF21_5int32 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF22_5int32_5int64 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF22_5int32 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF23_5int32_5int64 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF23_5int32 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF24_5int32_5int64 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF24_5int32 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF25_5int32_5int64 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF25_5int32 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF26_5int32_5int64 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF26_5int32 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF27_5int32_5int64 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF27_5int32 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF28_5int32_5int64 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF28_5int32 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF29_5int32_5int64 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF29_5int32 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF30_5int32_5int64 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF30_5int32 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF31_5int32_5int64 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int32_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF31_5int32 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF1_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF1_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF2_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF2_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF3_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF3_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF4_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF4_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF5_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF5_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF6_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF6_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF7_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF7_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF8_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF8_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF9_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF9_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF10_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF10_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF11_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF11_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF12_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF12_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF13_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF13_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF14_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF14_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF15_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF15_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF16_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF16_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF17_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF17_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF18_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF18_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF19_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF19_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF20_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF20_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF21_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF21_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF22_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF22_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF23_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF23_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF24_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF24_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF25_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF25_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF26_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF26_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF27_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF27_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF28_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF28_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF29_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF29_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF30_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF30_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF31_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF31_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF32_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF32_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF33_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF33_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF34_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF34_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF35_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF35_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF36_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF36_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF37_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF37_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF38_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF38_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF39_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF39_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF40_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF40_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF41_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF41_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF42_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF42_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF43_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF43_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF44_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF44_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF45_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF45_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF46_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF46_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF47_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF47_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF48_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF48_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF49_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF49_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF50_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF50_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF51_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF51_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF52_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF52_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF53_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF53_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF54_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF54_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF55_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF55_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF56_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF56_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF57_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF57_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF58_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF58_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF59_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF59_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF60_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF60_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF61_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF61_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF62_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF62_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _23bitc_DTprelude_CNSignExtend_SHFN1BF63_5int64_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int64_t _21bitc_DTprelude_CNTruncate_SHFN1_5int64BF63_5int64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_int8_t _19bitc_DTprelude_CNsigned_SHFN1_5uint8_4int8 (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_uns8_t _21bitc_DTprelude_CNunsigned_SHFN1_4int8_5uint8 (__VA_ARGS__) bitc_int8_t arg1)
static bitc_int16_t _19bitc_DTprelude_CNsigned_SHFN1_6uint16_5int16 (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_uns16_t _21bitc_DTprelude_CNunsigned_SHFN1_5int16_6uint16 (__VA_ARGS__) bitc_int16_t arg1)
static bitc_int32_t _19bitc_DTprelude_CNsigned_SHFN1_6uint32_5int32 (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_uns32_t _21bitc_DTprelude_CNunsigned_SHFN1_5int32_6uint32 (__VA_ARGS__) bitc_int32_t arg1)
static bitc_int64_t _19bitc_DTprelude_CNsigned_SHFN1_6uint64_5int64 (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_uns64_t _21bitc_DTprelude_CNunsigned_SHFN1_5int64_6uint64 (__VA_ARGS__) bitc_int64_t arg1)
static bitc_word_t _20bitc_DTprelude_CNconvert_SHFN1_5uint8_4word (__VA_ARGS__) bitc_uns8_t arg1)
static bitc_word_t _20bitc_DTprelude_CNconvert_SHFN1_4int8_4word (__VA_ARGS__) bitc_int8_t arg1)
static bitc_uns8_t _20bitc_DTprelude_CNconvert_SHFN1_4word_5uint8 (__VA_ARGS__) bitc_word_t arg1)
static bitc_int8_t _20bitc_DTprelude_CNconvert_SHFN1_4word_4int8 (__VA_ARGS__) bitc_word_t arg1)
static bitc_word_t _20bitc_DTprelude_CNconvert_SHFN1_6uint16_4word (__VA_ARGS__) bitc_uns16_t arg1)
static bitc_word_t _20bitc_DTprelude_CNconvert_SHFN1_5int16_4word (__VA_ARGS__) bitc_int16_t arg1)
static bitc_uns16_t _20bitc_DTprelude_CNconvert_SHFN1_4word_6uint16 (__VA_ARGS__) bitc_word_t arg1)
static bitc_int16_t _20bitc_DTprelude_CNconvert_SHFN1_4word_5int16 (__VA_ARGS__) bitc_word_t arg1)
static bitc_word_t _20bitc_DTprelude_CNconvert_SHFN1_6uint32_4word (__VA_ARGS__) bitc_uns32_t arg1)
static bitc_word_t _20bitc_DTprelude_CNconvert_SHFN1_5int32_4word (__VA_ARGS__) bitc_int32_t arg1)
static bitc_uns32_t _20bitc_DTprelude_CNconvert_SHFN1_4word_6uint32 (__VA_ARGS__) bitc_word_t arg1)
static bitc_int32_t _20bitc_DTprelude_CNconvert_SHFN1_4word_5int32 (__VA_ARGS__) bitc_word_t arg1)
static bitc_word_t _20bitc_DTprelude_CNconvert_SHFN1_6uint64_4word (__VA_ARGS__) bitc_uns64_t arg1)
static bitc_word_t _20bitc_DTprelude_CNconvert_SHFN1_5int64_4word (__VA_ARGS__) bitc_int64_t arg1)
static bitc_uns64_t _20bitc_DTprelude_CNconvert_SHFN1_4word_6uint64 (__VA_ARGS__) bitc_word_t arg1)
static bitc_int64_t _20bitc_DTprelude_CNconvert_SHFN1_4word_5int64 (__VA_ARGS__) bitc_word_t arg1)
static bitc_word_t _20bitc_DTprelude_CNconvert_SHFN1_4word_4word (__VA_ARGS__) bitc_word_t arg1)
static bitc_word_t _20bitc_DTprelude_CNconvert_SHFN1_5float_4word (__VA_ARGS__) bitc_float_t arg1)
static bitc_word_t _20bitc_DTprelude_CNconvert_SHFN1_6double_4word (__VA_ARGS__) bitc_double_t arg1)
static bitc_float_t _20bitc_DTprelude_CNconvert_SHFN1_4word_5float (__VA_ARGS__) bitc_word_t arg1)
static bitc_double_t _20bitc_DTprelude_CNconvert_SHFN1_4word_6double (__VA_ARGS__) bitc_word_t arg1)
void * bitc_emit_procedure_object (void *stubP, void *envP) __attribute__((unused))
 Architecture-specific run time function that allocates and initialized procedure objects.

Variables

jmp_buf firstJB
jmp_buf * curCatchBlock
bitc_exception_tcurException
bitc_exception_t val_ExOutOfMemory
 Raised when an attempt to allocate heap memory fails.
bitc_exception_t val_ExIndexBoundsError
 Raised when an attempt to access an offset in a vector, array, or string position exceeds the length of the vector, array, or string.


Define Documentation

#define BITC_THROW (  )     bitc_throw(__FILE__, __LINE__, x)

Definition at line 136 of file runtime.h.

Referenced by DEFUN().

#define bitc_throw ( fileName,
line,
 ) 

Value:

do {                                                \
    curException = (bitc_exception_t *) x;            \
    curException->__fileName = fileName;              \
    curException->__line = line;                      \
    longjmp(*curCatchBlock, 1);                       \
  } while(0)

Definition at line 128 of file runtime.h.

Referenced by bitc_malloc(), and bitc_malloc_atomic().

#define BITC_UNIT   '\000'

Definition at line 90 of file runtime.h.

#define DEFADD ( TY,
MTY   ) 

Value:

INLINE TY                                                       \
  DEFUN(_16bitc_DTprelude_CN___PL_SHFN2##MTY##MTY##MTY, TY arg1, TY arg2) \
  {                                                             \
    return (arg1 + arg2);                                       \
  }                                                             \
  DEFCLOSURE_INLINE(_16bitc_DTprelude_CN___PL_SHFN2##MTY##MTY##MTY)

Definition at line 282 of file runtime.h.

#define DEFARITH ( TY,
MTY   ) 

Value:

DEFADD(TY,MTY);                         \
  DEFSUBTRACT(TY, MTY);                         \
  DEFMULTIPLY(TY, MTY);                         \
  DEFDIVIDE(TY, MTY);                           \
  DEFMODULO(TY, MTY);                           \
  DEFNEGATE(TY, MTY);                           \
  DEFORD(TY, MTY)

Definition at line 387 of file runtime.h.

#define DEFBAND ( TY,
MTY   ) 

Value:

INLINE TY                                                       \
  DEFUN(_20bitc_DTprelude_CN__b_and_SHFN2##MTY##MTY##MTY, TY arg1, TY arg2) \
  {                                                             \
    return (arg1 & arg2);                                       \
  }                                                             \
  DEFCLOSURE_INLINE(_20bitc_DTprelude_CN__b_and_SHFN2##MTY##MTY##MTY)

Definition at line 330 of file runtime.h.

#define DEFBITARITH ( TY,
MTY   ) 

Value:

DEFBAND(TY, MTY);            \
  DEFBOR(TY, MTY);           \
  DEFBNOT(TY, MTY);          \
  DEFBXOR(TY, MTY);          \
  DEFBLS(TY, MTY);           \
  DEFBRS(TY, MTY);

Definition at line 403 of file runtime.h.

#define DEFBLS ( TY,
MTY   ) 

Value:

INLINE TY                                                       \
  DEFUN(_17bitc_DTprelude_CN___LT_LT_SHFN2##MTY##_4word##MTY, TY arg1, bitc_word_t arg2) \
  {                                                             \
    return (arg1 << arg2);                                      \
  }                                                             \
  DEFCLOSURE_INLINE(_17bitc_DTprelude_CN___LT_LT_SHFN2##MTY##_4word##MTY)

Definition at line 362 of file runtime.h.

#define DEFBNOT ( TY,
MTY   ) 

Value:

INLINE TY                                                       \
  DEFUN(_20bitc_DTprelude_CN__b_not_SHFN1##MTY##MTY, TY arg1)   \
  {                                                             \
    return (~arg1);                                             \
  }                                                             \
  DEFCLOSURE_INLINE(_20bitc_DTprelude_CN__b_not_SHFN1##MTY##MTY)

Definition at line 346 of file runtime.h.

#define DEFBOR ( TY,
MTY   ) 

Value:

INLINE TY                                                       \
  DEFUN(_19bitc_DTprelude_CN__b_or_SHFN2##MTY##MTY##MTY, TY arg1, TY arg2) \
  {                                                             \
    return (arg1 | arg2);                                       \
  }                                                             \
  DEFCLOSURE_INLINE(_19bitc_DTprelude_CN__b_or_SHFN2##MTY##MTY##MTY)

Definition at line 338 of file runtime.h.

#define DEFBRS ( TY,
MTY   ) 

Value:

INLINE TY                                                       \
  DEFUN(_17bitc_DTprelude_CN___GT_GT_SHFN2##MTY##_4word##MTY, TY arg1, bitc_word_t arg2) \
  {                                                             \
    return (arg1 >> arg2);                                      \
  }                                                             \
  DEFCLOSURE_INLINE(_17bitc_DTprelude_CN___GT_GT_SHFN2##MTY##_4word##MTY)

Definition at line 370 of file runtime.h.

#define DEFBXOR ( TY,
MTY   ) 

Value:

INLINE TY                                                       \
  DEFUN(_20bitc_DTprelude_CN__b_xor_SHFN2##MTY##MTY##MTY, TY arg1, TY arg2) \
  {                                                             \
    return (arg1 ^ arg2);                                       \
  }                                                             \
  DEFCLOSURE_INLINE(_20bitc_DTprelude_CN__b_xor_SHFN2##MTY##MTY##MTY)

Definition at line 354 of file runtime.h.

#define DEFCAST ( TY1,
MTY1,
TY2,
MTY2   ) 

Value:

INLINE TY2                                                              \
  DEFUN(_20bitc_DTprelude_CNconvert_SHFN1##MTY1##MTY2, TY1 arg1)        \
  {                                                                     \
    return (TY2) arg1;                                                  \
  }                                                                     \
  DEFCLOSURE_INLINE(_20bitc_DTprelude_CNconvert_SHFN1##MTY1##MTY2)

Definition at line 520 of file runtime.h.

#define DEFCLOSURE ( NM   ) 

Definition at line 219 of file runtime.h.

#define DEFCLOSURE_INLINE ( NM   ) 

Definition at line 220 of file runtime.h.

#define DEFDIVIDE ( TY,
MTY   ) 

Value:

INLINE TY                                                       \
  DEFUN(_16bitc_DTprelude_CN___FS_SHFN2##MTY##MTY##MTY, TY arg1, TY arg2) \
  {                                                             \
    return (arg1 / arg2);                                       \
  }                                                             \
  DEFCLOSURE_INLINE(_16bitc_DTprelude_CN___FS_SHFN2##MTY##MTY##MTY)

Definition at line 306 of file runtime.h.

#define DEFEQL ( TY,
MTY   ) 

Value:

INLINE bitc_bool_t                                                      \
  DEFUN(_17bitc_DTprelude_CN___EQ_EQ_SHFN2##MTY##MTY##_4bool, TY arg1, TY arg2) \
  {                                                                     \
    return (arg1 == arg2);                                              \
  }                                                                     \
  DEFCLOSURE_INLINE(_17bitc_DTprelude_CN___EQ_EQ_SHFN2##MTY##MTY##_4bool)

Definition at line 234 of file runtime.h.

#define DEFFLOATARITH ( TY,
MTY   ) 

Value:

DEFADD(TY,MTY);                         \
  DEFSUBTRACT(TY, MTY);                         \
  DEFMULTIPLY(TY, MTY);                         \
  DEFDIVIDE(TY, MTY);                           \
  DEFORD(TY, MTY)

Definition at line 396 of file runtime.h.

#define DEFGREATER ( TY,
MTY   ) 

Value:

INLINE bitc_bool_t                                                      \
  DEFUN(_16bitc_DTprelude_CN___GT_SHFN2##MTY##MTY##_4bool, TY arg1, TY arg2) \
  {                                                                     \
    return (arg1 > arg2);                                               \
  }                                                                     \
  DEFCLOSURE_INLINE(_16bitc_DTprelude_CN___GT_SHFN2##MTY##MTY##_4bool)

Definition at line 258 of file runtime.h.

#define DEFGREATEROREQUAL ( TY,
MTY   ) 

Value:

INLINE bitc_bool_t                                                      \
  DEFUN(_17bitc_DTprelude_CN___GT_EQ_SHFN2##MTY##MTY##_4bool, TY arg1, TY arg2) \
  {                                                                     \
    return (arg1 >= arg2);                                              \
  }                                                                     \
  DEFCLOSURE_INLINE(_17bitc_DTprelude_CN___GT_EQ_SHFN2##MTY##MTY##_4bool)

Definition at line 274 of file runtime.h.

#define DEFLESS ( TY,
MTY   ) 

Value:

INLINE bitc_bool_t                                                      \
  DEFUN(_16bitc_DTprelude_CN___LT_SHFN2##MTY##MTY##_4bool, TY arg1, TY arg2) \
  {                                                                     \
    return (arg1 < arg2);                                               \
  }                                                                     \
  DEFCLOSURE_INLINE(_16bitc_DTprelude_CN___LT_SHFN2##MTY##MTY##_4bool)

Definition at line 250 of file runtime.h.

#define DEFLESSOREQUAL ( TY,
MTY   ) 

Value:

INLINE bitc_bool_t                                                      \
  DEFUN(_17bitc_DTprelude_CN___LT_EQ_SHFN2##MTY##MTY##_4bool, TY arg1, TY arg2) \
  {                                                                     \
    return (arg1 <= arg2);                                              \
  }                                                                     \
  DEFCLOSURE_INLINE(_17bitc_DTprelude_CN___LT_EQ_SHFN2##MTY##MTY##_4bool)

Definition at line 266 of file runtime.h.

#define DEFMODULO ( TY,
MTY   ) 

Value:

INLINE TY                                                       \
  DEFUN(_16bitc_DTprelude_CN___PC_SHFN2##MTY##MTY##MTY, TY arg1, TY arg2) \
  {                                                             \
    return (arg1 % arg2);                                       \
  }                                                             \
  DEFCLOSURE_INLINE(_16bitc_DTprelude_CN___PC_SHFN2##MTY##MTY##MTY)

Definition at line 322 of file runtime.h.

#define DEFMULTIPLY ( TY,
MTY   ) 

Value:

INLINE TY                                                       \
  DEFUN(_16bitc_DTprelude_CN___ST_SHFN2##MTY##MTY##MTY, TY arg1, TY arg2) \
  {                                                             \
    return (arg1 * arg2);                                       \
  }                                                             \
  DEFCLOSURE_INLINE(_16bitc_DTprelude_CN___ST_SHFN2##MTY##MTY##MTY)

Definition at line 298 of file runtime.h.

#define DEFNEGATE ( TY,
MTY   ) 

Value:

INLINE TY                                                       \
  DEFUN(_21bitc_DTprelude_CN__negate_SHFN1##MTY##MTY, TY arg1)  \
  {                                                             \
    return (-arg1);                                             \
  }                                                             \
  DEFCLOSURE_INLINE(_21bitc_DTprelude_CN__negate_SHFN1##MTY##MTY)

Definition at line 314 of file runtime.h.

#define DEFNEQ ( TY,
MTY   ) 

Value:

INLINE bitc_bool_t                                                      \
  DEFUN(_17bitc_DTprelude_CN___EX_EQ_SHFN2##MTY##MTY##_4bool, TY arg1, TY arg2) \
  {                                                                     \
    return (arg1 != arg2);                                              \
  }                                                                     \
  DEFCLOSURE_INLINE(_17bitc_DTprelude_CN___EX_EQ_SHFN2##MTY##MTY##_4bool)

Definition at line 242 of file runtime.h.

#define DEFORD ( TY,
MTY   ) 

Value:

DEFEQL(TY,MTY);      \
  DEFNEQ(TY,MTY);      \
  DEFLESS(TY, MTY);    \
  DEFGREATER(TY, MTY);    \
  DEFLESSOREQUAL(TY, MTY);                      \
  DEFGREATEROREQUAL(TY, MTY)

Definition at line 379 of file runtime.h.

#define DEFRESIGN ( TY1,
MTY1,
TY2,