Revision fae354ea0a8977654906987502e3b3e8843d6873 authored by Tony Kelman on 21 October 2014, 16:32:35 UTC, committed by Tony Kelman on 23 November 2014, 21:43:25 UTC
1 parent c7e70e3
julia.h
#ifndef JULIA_H
#define JULIA_H
#ifdef __cplusplus
extern "C" {
#endif
#include "options.h"
#include "libsupport.h"
#include <stdint.h>
#include "htable.h"
#include "arraylist.h"
#include <setjmp.h>
#ifndef _OS_WINDOWS_
# define jl_jmp_buf sigjmp_buf
# if defined(__arm__)
# define MAX_ALIGN 8
# else
# define MAX_ALIGN sizeof(void*)
# endif
#else
# define jl_jmp_buf jmp_buf
# include <malloc.h> //for _resetstkoflw
# define MAX_ALIGN 8
#endif
#ifdef _P64
#define NWORDS(sz) (((sz)+7)>>3)
#else
#define NWORDS(sz) (((sz)+3)>>2)
#endif
#if __GNUC__
#define NORETURN __attribute__ ((noreturn))
#else
#define NORETURN
#endif
#ifdef _MSC_VER
#if _WIN64
#define JL_ATTRIBUTE_ALIGN_PTRSIZE(x) __declspec(align(8)) x
#else
#define JL_ATTRIBUTE_ALIGN_PTRSIZE(x) __declspec(align(4)) x
#endif
#elif __GNUC__
#define JL_ATTRIBUTE_ALIGN_PTRSIZE(x) x __attribute__ ((aligned (sizeof(void*))))
#else
#define JL_ATTRIBUTE_ALIGN_PTRSIZE(x)
#endif
// core data types ------------------------------------------------------------
#ifdef OVERLAP_TUPLE_LEN
#define JL_DATA_TYPE \
size_t type : 52; \
size_t _resvd : 12;
#else
#define JL_DATA_TYPE \
struct _jl_value_t *type;
#endif
typedef struct _jl_value_t {
JL_DATA_TYPE
} jl_value_t;
typedef struct _jl_sym_t {
JL_DATA_TYPE
struct _jl_sym_t *left;
struct _jl_sym_t *right;
uptrint_t hash; // precomputed hash value
JL_ATTRIBUTE_ALIGN_PTRSIZE(char name[]);
} jl_sym_t;
typedef struct {
#ifdef OVERLAP_TUPLE_LEN
size_t type : 52;
size_t length : 12;
#else
JL_DATA_TYPE
size_t length;
#endif
jl_value_t *data[];
} jl_tuple_t;
typedef struct {
JL_DATA_TYPE
void *data;
#ifdef STORE_ARRAY_LEN
size_t length;
#endif
unsigned short ndims:11;
unsigned short ptrarray:1; // representation is pointer array
/*
how - allocation style
0 = data is inlined, or a foreign pointer we don't manage
1 = julia-allocated buffer that needs to be marked
2 = malloc-allocated pointer this array object manages
3 = has a pointer to the Array that owns the data
*/
unsigned short how:2;
unsigned short isshared:1; // data is shared by multiple Arrays
unsigned short isaligned:1; // data allocated with memalign
uint16_t elsize;
uint32_t offset; // for 1-d only. does not need to get big.
size_t nrows;
union {
// 1d
size_t maxsize;
// Nd
size_t ncols;
};
// other dim sizes go here for ndims > 2
// followed by alignment padding and inline data, or owner pointer
} jl_array_t;
// compute # of extra words needed to store dimensions
STATIC_INLINE int jl_array_ndimwords(uint32_t ndims)
{
return (ndims < 3 ? 0 : ndims-2);
}
typedef jl_value_t *(*jl_fptr_t)(jl_value_t*, jl_value_t**, uint32_t);
typedef struct _jl_lambda_info_t {
JL_DATA_TYPE
// this holds the static data for a function:
// a syntax tree, static parameters, and (if it has been compiled)
// a function pointer.
// this is the stuff that's shared among different instantiations
// (different environments) of a closure.
jl_value_t *ast;
// sparams is a tuple (symbol, value, symbol, value, ...)
jl_tuple_t *sparams;
jl_value_t *tfunc;
jl_sym_t *name; // for error reporting
jl_array_t *roots; // pointers in generated code
jl_tuple_t *specTypes; // argument types this is specialized for
// a slower-but-works version of this function as a fallback
struct _jl_function_t *unspecialized;
// array of all lambda infos with code generated from this one
jl_array_t *specializations;
struct _jl_module_t *module;
struct _jl_lambda_info_t *def; // original this is specialized from
jl_value_t *capt; // captured var info
jl_sym_t *file;
int32_t line;
int8_t inferred;
// hidden fields:
// flag telling if inference is running on this function
// used to avoid infinite recursion
int8_t inInference : 1;
int8_t inCompile : 1;
jl_fptr_t fptr; // jlcall entry point
void *functionObject; // jlcall llvm Function
void *cFunctionObject; // c callable llvm Function
int32_t functionID; // index that this function will have in the codegen table
int32_t cFunctionID; // index that this cFunction will have in the codegen table
} jl_lambda_info_t;
#define LAMBDA_INFO_NW (NWORDS(sizeof(jl_lambda_info_t))-1)
typedef struct _jl_function_t {
JL_DATA_TYPE
jl_fptr_t fptr;
jl_value_t *env;
jl_lambda_info_t *linfo;
} jl_function_t;
typedef struct {
JL_DATA_TYPE
jl_tuple_t *parameters;
jl_value_t *body;
} jl_typector_t;
typedef struct {
JL_DATA_TYPE
jl_sym_t *name;
struct _jl_module_t *module;
// if this is the name of a parametric type, this field points to the
// original type.
// a type alias, for example, might make a type constructor that is
// not the original.
jl_value_t *primary;
jl_value_t *cache;
} jl_typename_t;
typedef struct {
JL_DATA_TYPE
jl_tuple_t *types;
} jl_uniontype_t;
typedef struct {
uint16_t offset; // offset relative to data start, excluding type tag
uint16_t size:15;
uint16_t isptr:1;
} jl_fielddesc_t;
typedef struct _jl_datatype_t {
JL_DATA_TYPE
jl_typename_t *name;
struct _jl_datatype_t *super;
jl_tuple_t *parameters;
jl_tuple_t *names;
jl_tuple_t *types;
jl_value_t *instance; // for singletons
int32_t size;
uint8_t abstract;
uint8_t mutabl;
uint8_t pointerfree;
// hidden fields:
int32_t ninitialized;
uint32_t alignment; // strictest alignment over all fields
uint32_t uid;
void *struct_decl; //llvm::Value*
jl_fielddesc_t fields[];
} jl_datatype_t;
typedef struct {
JL_DATA_TYPE
jl_sym_t *name;
jl_value_t *lb; // lower bound
jl_value_t *ub; // upper bound
uint8_t bound; // part of a constraint environment
} jl_tvar_t;
typedef struct {
JL_DATA_TYPE
jl_value_t *value;
} jl_weakref_t;
typedef struct {
// not first-class
jl_sym_t *name;
jl_value_t *value;
jl_value_t *type;
struct _jl_module_t *owner; // for individual imported bindings
unsigned constp:1;
unsigned exportp:1;
unsigned imported:1;
} jl_binding_t;
typedef struct _jl_module_t {
JL_DATA_TYPE
jl_sym_t *name;
struct _jl_module_t *parent;
htable_t bindings;
arraylist_t usings; // modules with all bindings potentially imported
jl_array_t *constant_table;
jl_function_t *call_func; // cached lookup of `call` within this module
} jl_module_t;
typedef struct _jl_methlist_t {
JL_DATA_TYPE
jl_tuple_t *sig;
int8_t va;
int8_t isstaged;
jl_tuple_t *tvars;
jl_function_t *func;
// cache of specializations of this method for invoke(), i.e.
// cases where this method was called even though it was not necessarily
// the most specific for the argument types.
struct _jl_methtable_t *invokes;
// TODO: pointer from specialized to original method
//jl_function_t *orig_method;
struct _jl_methlist_t *next;
} jl_methlist_t;
typedef struct _jl_methtable_t {
JL_DATA_TYPE
jl_sym_t *name;
jl_methlist_t *defs;
jl_methlist_t *cache;
jl_array_t *cache_arg1;
jl_array_t *cache_targ;
ptrint_t max_args; // max # of non-vararg arguments in a signature
jl_function_t *kwsorter; // keyword argument sorter function
#ifdef JL_GF_PROFILE
int ncalls;
#endif
} jl_methtable_t;
typedef struct {
JL_DATA_TYPE
jl_sym_t *head;
jl_array_t *args;
jl_value_t *etype;
} jl_expr_t;
// constants and type objects -------------------------------------------------
extern DLLEXPORT jl_datatype_t *jl_any_type;
extern DLLEXPORT jl_datatype_t *jl_type_type;
extern DLLEXPORT jl_tvar_t *jl_typetype_tvar;
extern DLLEXPORT jl_datatype_t *jl_typetype_type;
extern DLLEXPORT jl_value_t *jl_ANY_flag;
extern DLLEXPORT jl_datatype_t *jl_undef_type;
extern DLLEXPORT jl_datatype_t *jl_typename_type;
extern DLLEXPORT jl_datatype_t *jl_typector_type;
extern DLLEXPORT jl_datatype_t *jl_sym_type;
extern DLLEXPORT jl_datatype_t *jl_symbol_type;
extern DLLEXPORT jl_tuple_t *jl_tuple_type;
extern DLLEXPORT jl_value_t *jl_tupletype_type;
extern DLLEXPORT jl_datatype_t *jl_ntuple_type;
extern DLLEXPORT jl_typename_t *jl_ntuple_typename;
extern DLLEXPORT jl_datatype_t *jl_tvar_type;
extern DLLEXPORT jl_datatype_t *jl_task_type;
extern DLLEXPORT jl_datatype_t *jl_uniontype_type;
extern DLLEXPORT jl_datatype_t *jl_datatype_type;
extern DLLEXPORT jl_value_t *jl_bottom_type;
extern DLLEXPORT jl_value_t *jl_top_type;
extern DLLEXPORT jl_datatype_t *jl_lambda_info_type;
extern DLLEXPORT jl_datatype_t *jl_module_type;
extern DLLEXPORT jl_datatype_t *jl_vararg_type;
extern DLLEXPORT jl_datatype_t *jl_function_type;
extern DLLEXPORT jl_datatype_t *jl_abstractarray_type;
extern DLLEXPORT jl_datatype_t *jl_densearray_type;
extern DLLEXPORT jl_datatype_t *jl_array_type;
extern DLLEXPORT jl_typename_t *jl_array_typename;
extern DLLEXPORT jl_datatype_t *jl_weakref_type;
extern DLLEXPORT jl_datatype_t *jl_ascii_string_type;
extern DLLEXPORT jl_datatype_t *jl_utf8_string_type;
extern DLLEXPORT jl_datatype_t *jl_errorexception_type;
extern DLLEXPORT jl_datatype_t *jl_loaderror_type;
extern DLLEXPORT jl_datatype_t *jl_typeerror_type;
extern DLLEXPORT jl_datatype_t *jl_methoderror_type;
extern DLLEXPORT jl_datatype_t *jl_undefvarerror_type;
extern DLLEXPORT jl_value_t *jl_stackovf_exception;
extern DLLEXPORT jl_value_t *jl_memory_exception;
extern DLLEXPORT jl_value_t *jl_diverror_exception;
extern DLLEXPORT jl_value_t *jl_domain_exception;
extern DLLEXPORT jl_value_t *jl_overflow_exception;
extern DLLEXPORT jl_value_t *jl_inexact_exception;
extern DLLEXPORT jl_value_t *jl_undefref_exception;
extern DLLEXPORT jl_value_t *jl_interrupt_exception;
extern DLLEXPORT jl_value_t *jl_bounds_exception;
extern DLLEXPORT jl_value_t *jl_an_empty_cell;
extern DLLEXPORT jl_datatype_t *jl_bool_type;
extern DLLEXPORT jl_datatype_t *jl_char_type;
extern DLLEXPORT jl_datatype_t *jl_int8_type;
extern DLLEXPORT jl_datatype_t *jl_uint8_type;
extern DLLEXPORT jl_datatype_t *jl_int16_type;
extern DLLEXPORT jl_datatype_t *jl_uint16_type;
extern DLLEXPORT jl_datatype_t *jl_int32_type;
extern DLLEXPORT jl_datatype_t *jl_uint32_type;
extern DLLEXPORT jl_datatype_t *jl_int64_type;
extern DLLEXPORT jl_datatype_t *jl_uint64_type;
extern DLLEXPORT jl_datatype_t *jl_float32_type;
extern DLLEXPORT jl_datatype_t *jl_float64_type;
extern DLLEXPORT jl_datatype_t *jl_floatingpoint_type;
extern DLLEXPORT jl_datatype_t *jl_number_type;
extern DLLEXPORT jl_datatype_t *jl_void_type;
extern DLLEXPORT jl_datatype_t *jl_voidpointer_type;
extern DLLEXPORT jl_datatype_t *jl_pointer_type;
extern DLLEXPORT jl_value_t *jl_array_uint8_type;
extern DLLEXPORT jl_value_t *jl_array_any_type;
extern DLLEXPORT jl_value_t *jl_array_symbol_type;
extern DLLEXPORT jl_datatype_t *jl_expr_type;
extern DLLEXPORT jl_datatype_t *jl_symbolnode_type;
extern DLLEXPORT jl_datatype_t *jl_getfieldnode_type;
extern DLLEXPORT jl_datatype_t *jl_linenumbernode_type;
extern DLLEXPORT jl_datatype_t *jl_labelnode_type;
extern DLLEXPORT jl_datatype_t *jl_gotonode_type;
extern DLLEXPORT jl_datatype_t *jl_quotenode_type;
extern DLLEXPORT jl_datatype_t *jl_newvarnode_type;
extern DLLEXPORT jl_datatype_t *jl_topnode_type;
extern DLLEXPORT jl_datatype_t *jl_intrinsic_type;
extern DLLEXPORT jl_datatype_t *jl_methtable_type;
extern DLLEXPORT jl_datatype_t *jl_method_type;
extern DLLEXPORT jl_datatype_t *jl_task_type;
extern DLLEXPORT jl_tuple_t *jl_null;
#define JL_NULL ((void*)jl_null)
DLLEXPORT extern jl_value_t *jl_true;
DLLEXPORT extern jl_value_t *jl_false;
DLLEXPORT extern jl_value_t *jl_nothing;
// some important symbols
extern jl_sym_t *call_sym;
extern jl_sym_t *call1_sym;
extern jl_sym_t *dots_sym;
extern jl_sym_t *quote_sym; extern jl_sym_t *newvar_sym;
extern jl_sym_t *top_sym; extern jl_sym_t *dot_sym;
extern jl_sym_t *line_sym; extern jl_sym_t *toplevel_sym;
extern DLLEXPORT jl_sym_t *jl_incomplete_sym;
extern jl_sym_t *error_sym; extern jl_sym_t *amp_sym;
extern jl_sym_t *module_sym; extern jl_sym_t *colons_sym;
extern jl_sym_t *export_sym; extern jl_sym_t *import_sym;
extern jl_sym_t *importall_sym; extern jl_sym_t *using_sym;
extern jl_sym_t *goto_sym; extern jl_sym_t *goto_ifnot_sym;
extern jl_sym_t *label_sym; extern jl_sym_t *return_sym;
extern jl_sym_t *lambda_sym; extern jl_sym_t *assign_sym;
extern jl_sym_t *null_sym; extern jl_sym_t *body_sym;
extern jl_sym_t *macro_sym; extern jl_sym_t *method_sym;
extern jl_sym_t *enter_sym; extern jl_sym_t *leave_sym;
extern jl_sym_t *exc_sym; extern jl_sym_t *new_sym;
extern jl_sym_t *static_typeof_sym; extern jl_sym_t *kw_sym;
extern jl_sym_t *const_sym; extern jl_sym_t *thunk_sym;
extern jl_sym_t *anonymous_sym; extern jl_sym_t *underscore_sym;
extern jl_sym_t *abstracttype_sym; extern jl_sym_t *bitstype_sym;
extern jl_sym_t *compositetype_sym; extern jl_sym_t *type_goto_sym;
extern jl_sym_t *global_sym; extern jl_sym_t *tuple_sym;
extern jl_sym_t *boundscheck_sym; extern jl_sym_t *copyast_sym;
extern jl_sym_t *simdloop_sym; extern jl_sym_t *meta_sym;
extern jl_sym_t *arrow_sym; extern jl_sym_t *ldots_sym;
// object accessors -----------------------------------------------------------
#ifdef OVERLAP_TUPLE_LEN
#define jl_typeof(v) ((jl_value_t*)((uptrint_t)((jl_value_t*)(v))->type & 0x000ffffffffffffeULL))
#else
#define jl_typeof(v) (((jl_value_t*)(v))->type)
#endif
#define jl_typeis(v,t) (jl_typeof(v)==(jl_value_t*)(t))
#ifdef OVERLAP_TUPLE_LEN
#define jl_tupleref(t,i) (((jl_value_t**)(t))[1+(i)])
#define jl_tupleset(t,i,x) ((((jl_value_t**)(t))[1+(i)])=(jl_value_t*)(x))
#else
#define jl_tupleref(t,i) (((jl_value_t**)(t))[2+(i)])
#define jl_tupleset(t,i,x) ((((jl_value_t**)(t))[2+(i)])=(jl_value_t*)(x))
#endif
#define jl_t0(t) jl_tupleref(t,0)
#define jl_t1(t) jl_tupleref(t,1)
#define jl_tuple_len(t) (((jl_tuple_t*)(t))->length)
#define jl_tuple_set_len_unsafe(t,n) (((jl_tuple_t*)(t))->length=(n))
#define jl_cellref(a,i) (((jl_value_t**)((jl_array_t*)a)->data)[(i)])
#define jl_cellset(a,i,x) ((((jl_value_t**)((jl_array_t*)a)->data)[(i)])=((jl_value_t*)(x)))
#define jl_exprarg(e,n) jl_cellref(((jl_expr_t*)(e))->args,n)
#define jl_fieldref(s,i) jl_get_nth_field(((jl_value_t*)s),i)
#define jl_symbolnode_sym(s) ((jl_sym_t*)jl_fieldref(s,0))
#define jl_symbolnode_type(s) (jl_fieldref(s,1))
#define jl_linenode_line(x) (((ptrint_t*)x)[1])
#define jl_labelnode_label(x) (((ptrint_t*)x)[1])
#define jl_gotonode_label(x) (((ptrint_t*)x)[1])
#define jl_getfieldnode_val(s) (jl_fieldref(s,0))
#define jl_getfieldnode_name(s) ((jl_sym_t*)jl_fieldref(s,1))
#define jl_getfieldnode_type(s) (jl_fieldref(s,2))
#define jl_tparam0(t) jl_tupleref(((jl_datatype_t*)(t))->parameters, 0)
#define jl_tparam1(t) jl_tupleref(((jl_datatype_t*)(t))->parameters, 1)
#define jl_cell_data(a) ((jl_value_t**)((jl_array_t*)a)->data)
#define jl_string_data(s) ((char*)((jl_array_t*)((jl_value_t**)(s))[1])->data)
#define jl_iostr_data(s) ((char*)((jl_array_t*)((jl_value_t**)(s))[1])->data)
#define jl_gf_mtable(f) ((jl_methtable_t*)((jl_function_t*)(f))->env)
#define jl_gf_name(f) (jl_gf_mtable(f)->name)
// get a pointer to the data in a datatype
#define jl_data_ptr(v) (&((void**)(v))[1])
// struct type info
#define jl_field_offset(st,i) (((jl_datatype_t*)st)->fields[i].offset)
#define jl_field_size(st,i) (((jl_datatype_t*)st)->fields[i].size)
#define jl_datatype_size(t) (((jl_datatype_t*)t)->size)
// basic predicates -----------------------------------------------------------
#define jl_is_null(v) (((jl_value_t*)(v)) == ((jl_value_t*)jl_null))
#define jl_is_nothing(v) (((jl_value_t*)(v)) == ((jl_value_t*)jl_nothing))
#define jl_is_tuple(v) jl_typeis(v,jl_tuple_type)
#define jl_is_datatype(v) jl_typeis(v,jl_datatype_type)
#define jl_is_pointerfree(t) (((jl_datatype_t*)t)->pointerfree)
#define jl_is_mutable(t) (((jl_datatype_t*)t)->mutabl)
#define jl_is_mutable_datatype(t) (jl_is_datatype(t) && (((jl_datatype_t*)t)->mutabl))
#define jl_is_immutable(t) (!((jl_datatype_t*)t)->mutabl)
#define jl_is_immutable_datatype(t) (jl_is_datatype(t) && (!((jl_datatype_t*)t)->mutabl))
#define jl_is_uniontype(v) jl_typeis(v,jl_uniontype_type)
#define jl_is_typevar(v) jl_typeis(v,jl_tvar_type)
#define jl_is_typector(v) jl_typeis(v,jl_typector_type)
#define jl_is_TypeConstructor(v) jl_typeis(v,jl_typector_type)
#define jl_is_typename(v) jl_typeis(v,jl_typename_type)
#define jl_is_int8(v) jl_typeis(v,jl_int8_type)
#define jl_is_int16(v) jl_typeis(v,jl_int16_type)
#define jl_is_int32(v) jl_typeis(v,jl_int32_type)
#define jl_is_int64(v) jl_typeis(v,jl_int64_type)
#define jl_is_uint8(v) jl_typeis(v,jl_uint8_type)
#define jl_is_uint16(v) jl_typeis(v,jl_uint16_type)
#define jl_is_uint32(v) jl_typeis(v,jl_uint32_type)
#define jl_is_uint64(v) jl_typeis(v,jl_uint64_type)
#define jl_is_float(v) jl_subtype(v,(jl_value_t*)jl_floatingpoint_type,1)
#define jl_is_floattype(v) jl_subtype(v,(jl_value_t*)jl_floatingpoint_type,0)
#define jl_is_float32(v) jl_typeis(v,jl_float32_type)
#define jl_is_float64(v) jl_typeis(v,jl_float64_type)
#define jl_is_bool(v) jl_typeis(v,jl_bool_type)
#define jl_is_symbol(v) jl_typeis(v,jl_sym_type)
#define jl_is_expr(v) jl_typeis(v,jl_expr_type)
#define jl_is_symbolnode(v) jl_typeis(v,jl_symbolnode_type)
#define jl_is_getfieldnode(v) jl_typeis(v,jl_getfieldnode_type)
#define jl_is_labelnode(v) jl_typeis(v,jl_labelnode_type)
#define jl_is_gotonode(v) jl_typeis(v,jl_gotonode_type)
#define jl_is_quotenode(v) jl_typeis(v,jl_quotenode_type)
#define jl_is_newvarnode(v) jl_typeis(v,jl_newvarnode_type)
#define jl_is_topnode(v) jl_typeis(v,jl_topnode_type)
#define jl_is_linenode(v) jl_typeis(v,jl_linenumbernode_type)
#define jl_is_lambda_info(v) jl_typeis(v,jl_lambda_info_type)
#define jl_is_module(v) jl_typeis(v,jl_module_type)
#define jl_is_mtable(v) jl_typeis(v,jl_methtable_type)
#define jl_is_task(v) jl_typeis(v,jl_task_type)
#define jl_is_func(v) jl_typeis(v,jl_function_type)
#define jl_is_function(v) jl_is_func(v)
#define jl_is_ascii_string(v) jl_typeis(v,jl_ascii_string_type)
#define jl_is_utf8_string(v) jl_typeis(v,jl_utf8_string_type)
#define jl_is_byte_string(v) (jl_is_ascii_string(v) || jl_is_utf8_string(v))
#define jl_is_cpointer(v) jl_is_cpointer_type(jl_typeof(v))
#define jl_is_pointer(v) jl_is_cpointer_type(jl_typeof(v))
#define jl_is_gf(f) (((jl_function_t*)(f))->fptr==jl_apply_generic)
STATIC_INLINE int jl_is_bitstype(void *v)
{
return (jl_is_datatype(v) && jl_is_immutable(v) &&
jl_tuple_len(((jl_datatype_t*)(v))->names)==0 &&
!((jl_datatype_t*)(v))->abstract &&
((jl_datatype_t*)(v))->size > 0);
}
STATIC_INLINE int jl_is_structtype(void *v)
{
return (jl_is_datatype(v) &&
(jl_tuple_len(((jl_datatype_t*)(v))->names) > 0 ||
((jl_datatype_t*)(v))->size == 0) &&
!((jl_datatype_t*)(v))->abstract);
}
STATIC_INLINE int jl_isbits(void *t) // corresponding to isbits() in julia
{
return (jl_is_datatype(t) && !((jl_datatype_t*)t)->mutabl &&
((jl_datatype_t*)t)->pointerfree && !((jl_datatype_t*)t)->abstract);
}
STATIC_INLINE int jl_is_datatype_singleton(jl_datatype_t *d)
{
return (!d->abstract && d->size == 0 && (d->names==jl_null || !d->mutabl));
}
STATIC_INLINE int jl_is_abstracttype(void *v)
{
return (jl_is_datatype(v) && ((jl_datatype_t*)(v))->abstract);
}
STATIC_INLINE int jl_is_array_type(void *t)
{
return (jl_is_datatype(t) &&
((jl_datatype_t*)(t))->name == jl_array_typename);
}
STATIC_INLINE int jl_is_array(void *v)
{
jl_value_t *t = jl_typeof(v);
return jl_is_array_type(t);
}
STATIC_INLINE int jl_is_cpointer_type(void *t)
{
return (jl_is_datatype(t) &&
((jl_datatype_t*)(t))->name == jl_pointer_type->name);
}
STATIC_INLINE int jl_is_vararg_type(jl_value_t *v)
{
return (jl_is_datatype(v) &&
((jl_datatype_t*)(v))->name == jl_vararg_type->name);
}
STATIC_INLINE int jl_is_ntuple_type(jl_value_t *v)
{
return (jl_is_datatype(v) &&
((jl_datatype_t*)v)->name == jl_ntuple_typename);
}
STATIC_INLINE int jl_is_nontuple_type(jl_value_t *v)
{
return (jl_typeis(v, jl_uniontype_type) ||
jl_typeis(v, jl_datatype_type) ||
jl_typeis(v, jl_typector_type));
}
STATIC_INLINE int jl_is_type_type(jl_value_t *v)
{
return (jl_is_datatype(v) &&
((jl_datatype_t*)(v))->name == jl_type_type->name);
}
// object identity
DLLEXPORT int jl_egal(jl_value_t *a, jl_value_t *b);
DLLEXPORT uptrint_t jl_object_id(jl_value_t *v);
// type predicates and basic operations
jl_value_t *jl_full_type(jl_value_t *v);
int jl_is_type(jl_value_t *v);
DLLEXPORT int jl_is_leaf_type(jl_value_t *v);
int jl_has_typevars(jl_value_t *v);
DLLEXPORT int jl_subtype(jl_value_t *a, jl_value_t *b, int ta);
int jl_type_morespecific(jl_value_t *a, jl_value_t *b);
DLLEXPORT int jl_types_equal(jl_value_t *a, jl_value_t *b);
jl_value_t *jl_type_union(jl_tuple_t *types);
jl_value_t *jl_type_intersection_matching(jl_value_t *a, jl_value_t *b,
jl_tuple_t **penv, jl_tuple_t *tvars);
DLLEXPORT jl_value_t *jl_type_intersection(jl_value_t *a, jl_value_t *b);
DLLEXPORT int jl_args_morespecific(jl_value_t *a, jl_value_t *b);
DLLEXPORT const char *jl_typename_str(jl_value_t *v);
DLLEXPORT const char *jl_typeof_str(jl_value_t *v);
// type constructors
DLLEXPORT jl_typename_t *jl_new_typename(jl_sym_t *name);
DLLEXPORT jl_tvar_t *jl_new_typevar(jl_sym_t *name,jl_value_t *lb,jl_value_t *ub);
jl_typector_t *jl_new_type_ctor(jl_tuple_t *params, jl_value_t *body);
DLLEXPORT jl_value_t *jl_apply_type(jl_value_t *tc, jl_tuple_t *params);
jl_value_t *jl_apply_type_(jl_value_t *tc, jl_value_t **params, size_t n);
jl_value_t *jl_instantiate_type_with(jl_value_t *t, jl_value_t **env, size_t n);
DLLEXPORT jl_uniontype_t *jl_new_uniontype(jl_tuple_t *types);
jl_datatype_t *jl_new_abstracttype(jl_value_t *name, jl_datatype_t *super,
jl_tuple_t *parameters);
DLLEXPORT jl_datatype_t *jl_new_uninitialized_datatype(size_t nfields);
DLLEXPORT jl_datatype_t *jl_new_datatype(jl_sym_t *name, jl_datatype_t *super,
jl_tuple_t *parameters,
jl_tuple_t *fnames, jl_tuple_t *ftypes,
int abstract, int mutabl, int ninitialized);
DLLEXPORT jl_datatype_t *jl_new_bitstype(jl_value_t *name, jl_datatype_t *super,
jl_tuple_t *parameters, size_t nbits);
jl_datatype_t *jl_wrap_Type(jl_value_t *t); // x -> Type{x}
jl_datatype_t *jl_wrap_vararg(jl_value_t *t); // x -> x...
// constructors
DLLEXPORT jl_value_t *jl_new_bits(jl_value_t *bt, void *data);
void jl_assign_bits(void *dest, jl_value_t *bits);
DLLEXPORT jl_value_t *jl_new_struct(jl_datatype_t *type, ...);
DLLEXPORT jl_value_t *jl_new_structv(jl_datatype_t *type, jl_value_t **args, uint32_t na);
DLLEXPORT jl_value_t *jl_new_struct_uninit(jl_datatype_t *type);
DLLEXPORT jl_function_t *jl_new_closure(jl_fptr_t proc, jl_value_t *env,
jl_lambda_info_t *li);
DLLEXPORT jl_lambda_info_t *jl_new_lambda_info(jl_value_t *ast, jl_tuple_t *sparams);
DLLEXPORT jl_tuple_t *jl_tuple(size_t n, ...);
DLLEXPORT jl_tuple_t *jl_tuple1(void *a);
DLLEXPORT jl_tuple_t *jl_tuple2(void *a, void *b);
DLLEXPORT jl_tuple_t *jl_alloc_tuple(size_t n);
DLLEXPORT jl_tuple_t *jl_alloc_tuple_uninit(size_t n);
DLLEXPORT jl_tuple_t *jl_tuple_append(jl_tuple_t *a, jl_tuple_t *b);
DLLEXPORT jl_tuple_t *jl_tuple_fill(size_t n, jl_value_t *v);
DLLEXPORT jl_sym_t *jl_symbol(const char *str);
DLLEXPORT jl_sym_t *jl_symbol_lookup(const char *str);
DLLEXPORT jl_sym_t *jl_symbol_n(const char *str, int32_t len);
DLLEXPORT jl_sym_t *jl_gensym(void);
DLLEXPORT jl_sym_t *jl_tagged_gensym(const char *str, int32_t len);
DLLEXPORT jl_sym_t *jl_get_root_symbol(void);
jl_expr_t *jl_exprn(jl_sym_t *head, size_t n);
jl_function_t *jl_new_generic_function(jl_sym_t *name);
void jl_add_method(jl_function_t *gf, jl_tuple_t *types, jl_function_t *meth,
jl_tuple_t *tvars, int8_t isstaged);
DLLEXPORT jl_value_t *jl_method_def(jl_sym_t *name, jl_value_t **bp, jl_binding_t *bnd,
jl_tuple_t *argtypes, jl_function_t *f, jl_value_t *isstaged,
jl_value_t *call_func, int iskw);
DLLEXPORT jl_value_t *jl_box_bool(int8_t x);
DLLEXPORT jl_value_t *jl_box_int8(int32_t x);
DLLEXPORT jl_value_t *jl_box_uint8(uint32_t x);
DLLEXPORT jl_value_t *jl_box_int16(int16_t x);
DLLEXPORT jl_value_t *jl_box_uint16(uint16_t x);
DLLEXPORT jl_value_t *jl_box_int32(int32_t x);
DLLEXPORT jl_value_t *jl_box_uint32(uint32_t x);
DLLEXPORT jl_value_t *jl_box_char(uint32_t x);
DLLEXPORT jl_value_t *jl_box_int64(int64_t x);
DLLEXPORT jl_value_t *jl_box_uint64(uint64_t x);
DLLEXPORT jl_value_t *jl_box_float32(float x);
DLLEXPORT jl_value_t *jl_box_float64(double x);
DLLEXPORT jl_value_t *jl_box_voidpointer(void *x);
DLLEXPORT jl_value_t *jl_box8 (jl_datatype_t *t, int8_t x);
DLLEXPORT jl_value_t *jl_box16(jl_datatype_t *t, int16_t x);
DLLEXPORT jl_value_t *jl_box32(jl_datatype_t *t, int32_t x);
DLLEXPORT jl_value_t *jl_box64(jl_datatype_t *t, int64_t x);
DLLEXPORT int8_t jl_unbox_bool(jl_value_t *v);
DLLEXPORT int8_t jl_unbox_int8(jl_value_t *v);
DLLEXPORT uint8_t jl_unbox_uint8(jl_value_t *v);
DLLEXPORT int16_t jl_unbox_int16(jl_value_t *v);
DLLEXPORT uint16_t jl_unbox_uint16(jl_value_t *v);
DLLEXPORT int32_t jl_unbox_int32(jl_value_t *v);
DLLEXPORT uint32_t jl_unbox_uint32(jl_value_t *v);
DLLEXPORT int64_t jl_unbox_int64(jl_value_t *v);
DLLEXPORT uint64_t jl_unbox_uint64(jl_value_t *v);
DLLEXPORT float jl_unbox_float32(jl_value_t *v);
DLLEXPORT double jl_unbox_float64(jl_value_t *v);
DLLEXPORT void *jl_unbox_voidpointer(jl_value_t *v);
#ifdef _P64
#define jl_box_long(x) jl_box_int64(x)
#define jl_box_ulong(x) jl_box_uint64(x)
#define jl_unbox_long(x) jl_unbox_int64(x)
#define jl_is_long(x) jl_is_int64(x)
#define jl_long_type jl_int64_type
#else
#define jl_box_long(x) jl_box_int32(x)
#define jl_box_ulong(x) jl_box_uint32(x)
#define jl_unbox_long(x) jl_unbox_int32(x)
#define jl_is_long(x) jl_is_int32(x)
#define jl_long_type jl_int32_type
#endif
// structs
DLLEXPORT int jl_field_index(jl_datatype_t *t, jl_sym_t *fld, int err);
DLLEXPORT jl_value_t *jl_get_nth_field(jl_value_t *v, size_t i);
DLLEXPORT jl_value_t *jl_get_nth_field_checked(jl_value_t *v, size_t i);
DLLEXPORT void jl_set_nth_field(jl_value_t *v, size_t i, jl_value_t *rhs);
DLLEXPORT int jl_field_isdefined(jl_value_t *v, size_t i);
DLLEXPORT jl_value_t *jl_get_field(jl_value_t *o, char *fld);
DLLEXPORT void *jl_value_ptr(jl_value_t *a);
// arrays
#ifdef STORE_ARRAY_LEN
#define jl_array_len(a) (((jl_array_t*)(a))->length)
#else
DLLEXPORT size_t jl_array_len_(jl_array_t *a);
#define jl_array_len(a) jl_array_len_((jl_array_t*)(a))
#endif
#define jl_array_data(a) ((void*)((jl_array_t*)(a))->data)
#define jl_array_dim(a,i) ((&((jl_array_t*)(a))->nrows)[i])
#define jl_array_dim0(a) (((jl_array_t*)(a))->nrows)
#define jl_array_nrows(a) (((jl_array_t*)(a))->nrows)
#define jl_array_ndims(a) ((int32_t)(((jl_array_t*)a)->ndims))
#define jl_array_data_owner(a) (*((jl_value_t**)(&a->ncols+1+jl_array_ndimwords(jl_array_ndims(a)))))
DLLEXPORT jl_array_t *jl_new_array(jl_value_t *atype, jl_tuple_t *dims);
DLLEXPORT jl_array_t *jl_new_arrayv(jl_value_t *atype, ...);
DLLEXPORT jl_array_t *jl_reshape_array(jl_value_t *atype, jl_array_t *data,
jl_tuple_t *dims);
DLLEXPORT jl_array_t *jl_ptr_to_array_1d(jl_value_t *atype, void *data,
size_t nel, int own_buffer);
DLLEXPORT jl_array_t *jl_ptr_to_array(jl_value_t *atype, void *data,
jl_tuple_t *dims, int own_buffer);
int jl_array_store_unboxed(jl_value_t *el_type);
DLLEXPORT jl_array_t *jl_alloc_array_1d(jl_value_t *atype, size_t nr);
DLLEXPORT jl_array_t *jl_alloc_array_2d(jl_value_t *atype, size_t nr, size_t nc);
DLLEXPORT jl_array_t *jl_alloc_array_3d(jl_value_t *atype, size_t nr, size_t nc,
size_t z);
DLLEXPORT jl_array_t *jl_pchar_to_array(const char *str, size_t len);
DLLEXPORT jl_value_t *jl_pchar_to_string(const char *str, size_t len);
DLLEXPORT jl_value_t *jl_cstr_to_string(const char *str);
DLLEXPORT jl_value_t *jl_array_to_string(jl_array_t *a);
DLLEXPORT jl_array_t *jl_alloc_cell_1d(size_t n);
DLLEXPORT jl_value_t *jl_arrayref(jl_array_t *a, size_t i); // 0-indexed
DLLEXPORT void jl_arrayset(jl_array_t *a, jl_value_t *v, size_t i); // 0-indexed
DLLEXPORT void jl_arrayunset(jl_array_t *a, size_t i); // 0-indexed
int jl_array_isdefined(jl_value_t **args, int nargs);
DLLEXPORT void jl_array_grow_end(jl_array_t *a, size_t inc);
DLLEXPORT void jl_array_del_end(jl_array_t *a, size_t dec);
DLLEXPORT void jl_array_grow_beg(jl_array_t *a, size_t inc);
DLLEXPORT void jl_array_del_beg(jl_array_t *a, size_t dec);
DLLEXPORT void jl_array_sizehint(jl_array_t *a, size_t sz);
DLLEXPORT void jl_cell_1d_push(jl_array_t *a, jl_value_t *item);
DLLEXPORT jl_value_t *jl_apply_array_type(jl_datatype_t *type, size_t dim);
// property access
DLLEXPORT void *jl_array_ptr(jl_array_t *a);
DLLEXPORT void *jl_array_eltype(jl_value_t *a);
DLLEXPORT int jl_array_rank(jl_value_t *a);
DLLEXPORT size_t jl_array_size(jl_value_t *a, int d);
// strings
DLLEXPORT const char *jl_bytestring_ptr(jl_value_t *s);
// modules and global variables
extern DLLEXPORT jl_module_t *jl_main_module;
extern DLLEXPORT jl_module_t *jl_internal_main_module;
extern DLLEXPORT jl_module_t *jl_core_module;
extern DLLEXPORT jl_module_t *jl_base_module;
extern DLLEXPORT jl_module_t *jl_current_module;
DLLEXPORT jl_module_t *jl_new_module(jl_sym_t *name);
// get binding for reading
DLLEXPORT jl_binding_t *jl_get_binding(jl_module_t *m, jl_sym_t *var);
// get binding for assignment
jl_binding_t *jl_get_binding_wr(jl_module_t *m, jl_sym_t *var);
jl_binding_t *jl_get_binding_for_method_def(jl_module_t *m, jl_sym_t *var);
DLLEXPORT int jl_boundp(jl_module_t *m, jl_sym_t *var);
DLLEXPORT int jl_defines_or_exports_p(jl_module_t *m, jl_sym_t *var);
DLLEXPORT int jl_binding_resolved_p(jl_module_t *m, jl_sym_t *var);
DLLEXPORT int jl_is_const(jl_module_t *m, jl_sym_t *var);
DLLEXPORT jl_value_t *jl_get_global(jl_module_t *m, jl_sym_t *var);
DLLEXPORT void jl_set_global(jl_module_t *m, jl_sym_t *var, jl_value_t *val);
DLLEXPORT void jl_set_const(jl_module_t *m, jl_sym_t *var, jl_value_t *val);
DLLEXPORT void jl_checked_assignment(jl_binding_t *b, jl_value_t *rhs);
DLLEXPORT void jl_declare_constant(jl_binding_t *b);
DLLEXPORT void jl_module_using(jl_module_t *to, jl_module_t *from);
DLLEXPORT void jl_module_use(jl_module_t *to, jl_module_t *from, jl_sym_t *s);
DLLEXPORT void jl_module_import(jl_module_t *to, jl_module_t *from, jl_sym_t *s);
DLLEXPORT void jl_module_importall(jl_module_t *to, jl_module_t *from);
DLLEXPORT void jl_module_export(jl_module_t *from, jl_sym_t *s);
DLLEXPORT jl_module_t *jl_new_main_module(void);
DLLEXPORT void jl_add_standard_imports(jl_module_t *m);
STATIC_INLINE jl_function_t *jl_get_function(jl_module_t *m, const char *name)
{
return (jl_function_t*) jl_get_global(m, jl_symbol(name));
}
DLLEXPORT void jl_module_run_initializer(jl_module_t *m);
jl_function_t *jl_module_call_func(jl_module_t *m);
// eq hash tables
DLLEXPORT jl_array_t *jl_eqtable_put(jl_array_t *h, void *key, void *val);
DLLEXPORT jl_value_t *jl_eqtable_get(jl_array_t *h, void *key, jl_value_t *deflt);
// system information
DLLEXPORT int jl_errno(void);
DLLEXPORT void jl_set_errno(int e);
DLLEXPORT int32_t jl_stat(const char *path, char *statbuf);
DLLEXPORT void NORETURN jl_exit(int status);
DLLEXPORT int jl_cpu_cores(void);
DLLEXPORT long jl_getpagesize(void);
DLLEXPORT long jl_getallocationgranularity(void);
DLLEXPORT int jl_is_debugbuild(void);
// environment entries
DLLEXPORT jl_value_t *jl_environ(int i);
// throwing common exceptions
DLLEXPORT void NORETURN jl_error(const char *str);
DLLEXPORT void NORETURN jl_errorf(const char *fmt, ...);
DLLEXPORT void jl_too_few_args(const char *fname, int min);
DLLEXPORT void jl_too_many_args(const char *fname, int max);
DLLEXPORT void jl_type_error(const char *fname, jl_value_t *expected, jl_value_t *got);
DLLEXPORT void jl_type_error_rt(const char *fname, const char *context,
jl_value_t *ty, jl_value_t *got);
DLLEXPORT void jl_type_error_rt_line(const char *fname, const char *context,
jl_value_t *ty, jl_value_t *got, int line);
jl_value_t *jl_no_method_error(jl_function_t *f, jl_value_t **args, size_t na);
DLLEXPORT void jl_undefined_var_error(jl_sym_t *var);
void jl_check_type_tuple(jl_tuple_t *t, jl_sym_t *name, const char *ctx);
DLLEXPORT jl_value_t *jl_exception_occurred(void);
DLLEXPORT void jl_exception_clear(void);
#define JL_NARGS(fname, min, max) \
if (nargs < min) jl_too_few_args(#fname, min); \
else if (nargs > max) jl_too_many_args(#fname, max);
#define JL_NARGSV(fname, min) \
if (nargs < min) jl_too_few_args(#fname, min);
#define JL_TYPECHK(fname, type, v) \
if (!jl_is_##type(v)) { \
jl_type_error(#fname, (jl_value_t*)jl_##type##_type, (v)); \
}
#define JL_TYPECHKS(fname, type, v) \
if (!jl_is_##type(v)) { \
jl_type_error(fname, (jl_value_t*)jl_##type##_type, (v)); \
}
// initialization functions
DLLEXPORT void julia_init(char *imageFile);
DLLEXPORT int julia_trampoline(int argc, char *argv[], int (*pmain)(int ac,char *av[]));
DLLEXPORT void jl_init(char *julia_home_dir);
DLLEXPORT void jl_init_with_image(char *julia_home_dir, char *image_relative_path);
DLLEXPORT int jl_is_initialized(void);
DLLEXPORT extern char *julia_home;
DLLEXPORT void jl_save_system_image(char *fname);
DLLEXPORT void jl_restore_system_image(char *fname);
DLLEXPORT int jl_save_new_module(char *fname, jl_module_t *mod);
DLLEXPORT jl_module_t *jl_restore_new_module(char *fname);
void jl_init_restored_modules();
// front end interface
DLLEXPORT jl_value_t *jl_parse_input_line(const char *str);
DLLEXPORT jl_value_t *jl_parse_string(const char *str, int pos0, int greedy);
int jl_start_parsing_file(const char *fname);
void jl_stop_parsing(void);
jl_value_t *jl_parse_next(void);
DLLEXPORT jl_value_t *jl_load_file_string(const char *text, char *filename);
DLLEXPORT jl_value_t *jl_expand(jl_value_t *expr);
jl_lambda_info_t *jl_wrap_expr(jl_value_t *expr);
DLLEXPORT void *jl_eval_string(char *str);
// external libraries
enum JL_RTLD_CONSTANT {
JL_RTLD_LOCAL=0U, JL_RTLD_GLOBAL=1U, /* LOCAL=0 since it is the default */
JL_RTLD_LAZY=2U, JL_RTLD_NOW=4U,
/* Linux/glibc and MacOS X: */
JL_RTLD_NODELETE=8U, JL_RTLD_NOLOAD=16U,
/* Linux/glibc: */ JL_RTLD_DEEPBIND=32U,
/* MacOS X 10.5+: */ JL_RTLD_FIRST=64U
};
#define JL_RTLD_DEFAULT (JL_RTLD_LAZY | JL_RTLD_DEEPBIND)
typedef void *jl_uv_libhandle; // uv_lib_t* (avoid uv.h dependency)
DLLEXPORT jl_uv_libhandle jl_load_dynamic_library(char *fname, unsigned flags);
DLLEXPORT jl_uv_libhandle jl_load_dynamic_library_e(char *fname, unsigned flags);
DLLEXPORT void *jl_dlsym_e(jl_uv_libhandle handle, char *symbol);
DLLEXPORT void *jl_dlsym(jl_uv_libhandle handle, char *symbol);
DLLEXPORT int jl_uv_dlopen(const char *filename, jl_uv_libhandle lib, unsigned flags);
DLLEXPORT jl_uv_libhandle jl_wrap_raw_dl_handle(void *handle);
char *jl_dlfind_win32(char *name);
DLLEXPORT int add_library_mapping(char *lib, void *hnd);
#if defined(__linux__) || defined(__FreeBSD__)
DLLEXPORT const char *jl_lookup_soname(char *pfx, size_t n);
#endif
// compiler
void jl_compile(jl_function_t *f);
DLLEXPORT jl_value_t *jl_toplevel_eval(jl_value_t *v);
DLLEXPORT jl_value_t *jl_toplevel_eval_in(jl_module_t *m, jl_value_t *ex);
jl_value_t *jl_eval_global_var(jl_module_t *m, jl_sym_t *e);
DLLEXPORT jl_value_t *jl_load(const char *fname);
jl_value_t *jl_parse_eval_all(char *fname);
jl_value_t *jl_interpret_toplevel_thunk(jl_lambda_info_t *lam);
jl_value_t *jl_interpret_toplevel_thunk_with(jl_lambda_info_t *lam,
jl_value_t **loc, size_t nl);
jl_value_t *jl_interpret_toplevel_expr(jl_value_t *e);
jl_value_t *jl_interpret_toplevel_expr_with(jl_value_t *e,
jl_value_t **locals, size_t nl);
DLLEXPORT jl_value_t *jl_interpret_toplevel_expr_in(jl_module_t *m, jl_value_t *e,
jl_value_t **locals, size_t nl);
jl_value_t *jl_static_eval(jl_value_t *ex, void *ctx_, jl_module_t *mod,
jl_value_t *sp, jl_expr_t *ast, int sparams, int allow_alloc);
int jl_is_toplevel_only_expr(jl_value_t *e);
jl_module_t *jl_base_relative_to(jl_module_t *m);
void jl_type_infer(jl_lambda_info_t *li, jl_tuple_t *argtypes,
jl_lambda_info_t *def);
jl_function_t *jl_method_lookup_by_type(jl_methtable_t *mt, jl_tuple_t *types,
int cache, int inexact);
jl_function_t *jl_method_lookup(jl_methtable_t *mt, jl_value_t **args, size_t nargs, int cache);
jl_value_t *jl_gf_invoke(jl_function_t *gf, jl_tuple_t *types,
jl_value_t **args, size_t nargs);
// AST access
jl_array_t *jl_lam_args(jl_expr_t *l);
jl_array_t *jl_lam_locals(jl_expr_t *l);
jl_array_t *jl_lam_vinfo(jl_expr_t *l);
jl_array_t *jl_lam_capt(jl_expr_t *l);
jl_sym_t *jl_lam_argname(jl_lambda_info_t *li, int i);
int jl_lam_vars_captured(jl_expr_t *ast);
jl_expr_t *jl_lam_body(jl_expr_t *l);
DLLEXPORT jl_value_t *jl_ast_rettype(jl_lambda_info_t *li, jl_value_t *ast);
jl_sym_t *jl_decl_var(jl_value_t *ex);
DLLEXPORT int jl_is_rest_arg(jl_value_t *ex);
DLLEXPORT jl_value_t *jl_prepare_ast(jl_lambda_info_t *li, jl_tuple_t *sparams);
DLLEXPORT jl_value_t *jl_copy_ast(jl_value_t *expr);
DLLEXPORT jl_value_t *jl_compress_ast(jl_lambda_info_t *li, jl_value_t *ast);
DLLEXPORT jl_value_t *jl_uncompress_ast(jl_lambda_info_t *li, jl_value_t *data);
DLLEXPORT int jl_is_operator(char *sym);
DLLEXPORT int jl_operator_precedence(char *sym);
STATIC_INLINE int jl_vinfo_capt(jl_array_t *vi)
{
return (jl_unbox_long(jl_cellref(vi,2))&1)!=0;
}
STATIC_INLINE int jl_vinfo_assigned(jl_array_t *vi)
{
return (jl_unbox_long(jl_cellref(vi,2))&2)!=0;
}
STATIC_INLINE int jl_vinfo_assigned_inner(jl_array_t *vi)
{
return (jl_unbox_long(jl_cellref(vi,2))&4)!=0;
}
STATIC_INLINE int jl_vinfo_sa(jl_array_t *vi)
{
return (jl_unbox_long(jl_cellref(vi,2))&16)!=0;
}
// calling into julia ---------------------------------------------------------
STATIC_INLINE
jl_value_t *jl_apply(jl_function_t *f, jl_value_t **args, uint32_t nargs)
{
return f->fptr((jl_value_t*)f, args, nargs);
}
DLLEXPORT jl_value_t *jl_call(jl_function_t *f, jl_value_t **args, int32_t nargs);
DLLEXPORT jl_value_t *jl_call0(jl_function_t *f);
DLLEXPORT jl_value_t *jl_call1(jl_function_t *f, jl_value_t *a);
DLLEXPORT jl_value_t *jl_call2(jl_function_t *f, jl_value_t *a, jl_value_t *b);
DLLEXPORT jl_value_t *jl_call3(jl_function_t *f, jl_value_t *a, jl_value_t *b, jl_value_t *c);
// interfacing with Task runtime
DLLEXPORT void jl_yield();
DLLEXPORT void jl_handle_stack_start();
#ifdef COPY_STACKS
// initialize base context of root task
extern DLLEXPORT jl_jmp_buf jl_base_ctx;
#define JL_SET_STACK_BASE \
do { \
int __stk; \
jl_root_task->stackbase = (char*)&__stk; \
if (jl_setjmp(jl_base_ctx, 1)) { \
jl_handle_stack_start(); \
} \
} while (0)
#else
#define JL_SET_STACK_BASE
#endif
// gc -------------------------------------------------------------------------
#ifdef JL_GC_MARKSWEEP
typedef struct _jl_gcframe_t {
size_t nroots;
struct _jl_gcframe_t *prev;
// actual roots go here
} jl_gcframe_t;
// NOTE: it is the caller's responsibility to make sure arguments are
// rooted. foo(f(), g()) will not work, and foo can't do anything about it,
// so the caller must do
// jl_value_t *x=NULL, *y=NULL; JL_GC_PUSH(&x, &y);
// x = f(); y = g(); foo(x, y)
extern DLLEXPORT jl_gcframe_t *jl_pgcstack;
#define JL_GC_PUSH(...) \
void *__gc_stkf[] = {(void*)((VA_NARG(__VA_ARGS__)<<1)|1), jl_pgcstack, \
__VA_ARGS__}; \
jl_pgcstack = (jl_gcframe_t*)__gc_stkf;
#define JL_GC_PUSH1(arg1) \
void *__gc_stkf[] = {(void*)3, jl_pgcstack, arg1}; \
jl_pgcstack = (jl_gcframe_t*)__gc_stkf;
#define JL_GC_PUSH2(arg1, arg2) \
void *__gc_stkf[] = {(void*)5, jl_pgcstack, arg1, arg2}; \
jl_pgcstack = (jl_gcframe_t*)__gc_stkf;
#define JL_GC_PUSH3(arg1, arg2, arg3) \
void *__gc_stkf[] = {(void*)7, jl_pgcstack, arg1, arg2, arg3}; \
jl_pgcstack = (jl_gcframe_t*)__gc_stkf;
#define JL_GC_PUSH4(arg1, arg2, arg3, arg4) \
void *__gc_stkf[] = {(void*)9, jl_pgcstack, arg1, arg2, arg3, arg4}; \
jl_pgcstack = (jl_gcframe_t*)__gc_stkf;
#define JL_GC_PUSH5(arg1, arg2, arg3, arg4, arg5) \
void *__gc_stkf[] = {(void*)11, jl_pgcstack, arg1, arg2, arg3, arg4, arg5}; \
jl_pgcstack = (jl_gcframe_t*)__gc_stkf;
#define JL_GC_PUSHARGS(rts_var,n) \
rts_var = ((jl_value_t**)alloca(((n)+2)*sizeof(jl_value_t*)))+2; \
((void**)rts_var)[-2] = (void*)(((size_t)n)<<1); \
((void**)rts_var)[-1] = jl_pgcstack; \
jl_pgcstack = (jl_gcframe_t*)&(((void**)rts_var)[-2])
#define JL_GC_POP() (jl_pgcstack = jl_pgcstack->prev)
void jl_gc_init(void);
void jl_gc_setmark(jl_value_t *v);
DLLEXPORT void jl_gc_enable(void);
DLLEXPORT void jl_gc_disable(void);
DLLEXPORT int jl_gc_is_enabled(void);
DLLEXPORT int64_t jl_gc_total_bytes(void);
DLLEXPORT uint64_t jl_gc_total_hrtime(void);
int64_t diff_gc_total_bytes(void);
void sync_gc_total_bytes(void);
void jl_gc_ephemeral_on(void);
void jl_gc_ephemeral_off(void);
DLLEXPORT void jl_gc_collect(void);
void jl_gc_preserve(jl_value_t *v);
void jl_gc_unpreserve(void);
int jl_gc_n_preserved_values(void);
DLLEXPORT void jl_gc_add_finalizer(jl_value_t *v, jl_function_t *f);
DLLEXPORT jl_weakref_t *jl_gc_new_weakref(jl_value_t *value);
void *jl_gc_managed_malloc(size_t sz);
void *jl_gc_managed_realloc(void *d, size_t sz, size_t oldsz, int isaligned);
void jl_gc_free_array(jl_array_t *a);
void jl_gc_track_malloced_array(jl_array_t *a);
void jl_gc_run_all_finalizers(void);
DLLEXPORT void *alloc_2w(void);
DLLEXPORT void *alloc_3w(void);
DLLEXPORT void *alloc_4w(void);
void *allocb(size_t sz);
DLLEXPORT void *allocobj(size_t sz);
DLLEXPORT void jl_clear_malloc_data(void);
#else
#define JL_GC_PUSH(...) ;
#define JL_GC_PUSHARGS(rts,n) ;
#define JL_GC_POP()
#define jl_gc_preserve(v) ((void)(v))
#define jl_gc_unpreserve()
#define jl_gc_n_preserved_values() (0)
STATIC_INLINE void *alloc_2w() { return allocobj(2*sizeof(void*)); }
STATIC_INLINE void *alloc_3w() { return allocobj(3*sizeof(void*)); }
STATIC_INLINE void *alloc_4w() { return allocobj(4*sizeof(void*)); }
#define allocb(nb) malloc(nb)
#define allocobj(nb) malloc(nb)
#endif
// async signal handling ------------------------------------------------------
#include <signal.h>
DLLEXPORT extern volatile sig_atomic_t jl_signal_pending;
DLLEXPORT extern volatile sig_atomic_t jl_defer_signal;
#define JL_SIGATOMIC_BEGIN() (jl_defer_signal++)
#define JL_SIGATOMIC_END() \
do { \
jl_defer_signal--; \
if (jl_defer_signal == 0 && jl_signal_pending != 0) \
raise(jl_signal_pending); \
} while(0)
DLLEXPORT void restore_signals(void);
DLLEXPORT void jl_install_sigint_handler();
DLLEXPORT void jl_sigatomic_begin(void);
DLLEXPORT void jl_sigatomic_end(void);
// tasks and exceptions -------------------------------------------------------
// info describing an exception handler
typedef struct _jl_handler_t {
jl_jmp_buf eh_ctx;
#ifdef JL_GC_MARKSWEEP
jl_gcframe_t *gcstack;
#endif
struct _jl_handler_t *prev;
} jl_handler_t;
typedef struct _jl_task_t {
JL_DATA_TYPE
struct _jl_task_t *parent;
struct _jl_task_t *last;
jl_value_t *tls;
jl_sym_t *state;
jl_value_t *consumers;
jl_value_t *donenotify;
jl_value_t *result;
jl_value_t *exception;
jl_function_t *start;
jl_jmp_buf ctx;
union {
void *stackbase;
void *stack;
};
size_t bufsz;
void *stkbuf;
size_t ssize;
// current exception handler
jl_handler_t *eh;
// saved gc stack top for context switches
jl_gcframe_t *gcstack;
// current module, or NULL if this task has not set one
jl_module_t *current_module;
} jl_task_t;
extern DLLEXPORT jl_task_t * volatile jl_current_task;
extern DLLEXPORT jl_task_t *jl_root_task;
extern DLLEXPORT jl_value_t *jl_exception_in_transit;
DLLEXPORT jl_task_t *jl_new_task(jl_function_t *start, size_t ssize);
jl_value_t *jl_switchto(jl_task_t *t, jl_value_t *arg);
DLLEXPORT void NORETURN jl_throw(jl_value_t *e);
DLLEXPORT void NORETURN jl_throw_with_superfluous_argument(jl_value_t *e, int);
DLLEXPORT void NORETURN jl_rethrow(void);
DLLEXPORT void NORETURN jl_rethrow_other(jl_value_t *e);
STATIC_INLINE void jl_eh_restore_state(jl_handler_t *eh)
{
JL_SIGATOMIC_BEGIN();
jl_current_task->eh = eh->prev;
#ifdef JL_GC_MARKSWEEP
jl_pgcstack = eh->gcstack;
#endif
JL_SIGATOMIC_END();
}
DLLEXPORT void jl_enter_handler(jl_handler_t *eh);
DLLEXPORT void jl_pop_handler(int n);
#if defined(_OS_WINDOWS_)
#if defined(_COMPILER_MINGW_)
int __attribute__ ((__nothrow__,__returns_twice__)) jl_setjmp(jmp_buf _Buf);
__declspec(noreturn) __attribute__ ((__nothrow__)) void jl_longjmp(jmp_buf _Buf,int _Value);
#else
int jl_setjmp(jmp_buf _Buf);
void jl_longjmp(jmp_buf _Buf,int _Value);
#endif
#define jl_setjmp_f jl_setjmp
#define jl_setjmp_name "jl_setjmp"
#define jl_setjmp(a,b) jl_setjmp(a)
#define jl_longjmp(a,b) jl_longjmp(a,b)
#else
// determine actual entry point name
#if defined(sigsetjmp)
#define jl_setjmp_f __sigsetjmp
#define jl_setjmp_name "__sigsetjmp"
#else
#define jl_setjmp_f sigsetjmp
#define jl_setjmp_name "sigsetjmp"
#endif
#define jl_setjmp(a,b) sigsetjmp(a,b)
#define jl_longjmp(a,b) siglongjmp(a,b)
#endif
#define JL_TRY \
int i__tr, i__ca; jl_handler_t __eh; \
jl_enter_handler(&__eh); \
if (!jl_setjmp(__eh.eh_ctx,0)) \
for (i__tr=1; i__tr; i__tr=0, jl_eh_restore_state(&__eh))
#define JL_EH_POP() jl_eh_restore_state(&__eh)
#ifdef _OS_WINDOWS_
#define JL_CATCH \
else \
for (i__ca=1, jl_eh_restore_state(&__eh); i__ca; i__ca=0) \
if (((jl_exception_in_transit==jl_stackovf_exception) && _resetstkoflw()) || 1)
#else
#define JL_CATCH \
else \
for (i__ca=1, jl_eh_restore_state(&__eh); i__ca; i__ca=0)
#endif
// I/O system -----------------------------------------------------------------
#define JL_STREAM uv_stream_t
#define JL_STDOUT jl_uv_stdout
#define JL_STDERR jl_uv_stderr
#define JL_STDIN jl_uv_stdin
#define JL_PRINTF jl_printf
#define JL_PUTC jl_putc
#define JL_PUTS jl_puts
#define JL_WRITE jl_write
DLLEXPORT int jl_spawn(char *name, char **argv, uv_loop_t *loop,
uv_process_t *proc, jl_value_t *julia_struct,
uv_handle_type stdin_type,uv_pipe_t *stdin_pipe,
uv_handle_type stdout_type,uv_pipe_t *stdout_pipe,
uv_handle_type stderr_type,uv_pipe_t *stderr_pipe,
int detach, char **env, char *cwd);
DLLEXPORT void jl_run_event_loop(uv_loop_t *loop);
DLLEXPORT int jl_run_once(uv_loop_t *loop);
DLLEXPORT int jl_process_events(uv_loop_t *loop);
DLLEXPORT uv_loop_t *jl_global_event_loop(void);
DLLEXPORT uv_pipe_t *jl_make_pipe(int writable, int julia_only, jl_value_t *julia_struct);
DLLEXPORT void jl_close_uv(uv_handle_t *handle);
DLLEXPORT int32_t jl_start_reading(uv_stream_t *handle);
DLLEXPORT void jl_callback(void *callback);
DLLEXPORT uv_async_t *jl_make_async(uv_loop_t *loop, jl_value_t *julia_struct);
DLLEXPORT void jl_async_send(uv_async_t *handle);
DLLEXPORT uv_idle_t * jl_make_idle(uv_loop_t *loop, jl_value_t *julia_struct);
DLLEXPORT int jl_idle_start(uv_idle_t *idle);
DLLEXPORT int jl_idle_stop(uv_idle_t *idle);
DLLEXPORT int jl_putc(char c, uv_stream_t *stream);
DLLEXPORT int jl_puts(char *str, uv_stream_t *stream);
DLLEXPORT int jl_pututf8(uv_stream_t *s, uint32_t wchar);
DLLEXPORT uv_timer_t *jl_make_timer(uv_loop_t *loop, jl_value_t *julia_struct);
DLLEXPORT int jl_timer_stop(uv_timer_t *timer);
DLLEXPORT uv_tcp_t *jl_tcp_init(uv_loop_t *loop);
DLLEXPORT int jl_tcp_bind(uv_tcp_t *handle, uint16_t port, uint32_t host, unsigned int flags);
DLLEXPORT int jl_sizeof_ios_t(void);
#ifdef _OS_WINDOWS_
DLLEXPORT struct tm* localtime_r(const time_t *t, struct tm *tm);
#endif
DLLEXPORT jl_array_t *jl_takebuf_array(ios_t *s);
DLLEXPORT jl_value_t *jl_takebuf_string(ios_t *s);
DLLEXPORT void *jl_takebuf_raw(ios_t *s);
DLLEXPORT jl_value_t *jl_readuntil(ios_t *s, uint8_t delim);
DLLEXPORT void jl_free2(void *p, void *hint);
typedef struct {
void *data;
uv_loop_t *loop;
uv_handle_type type;
uv_file file;
} jl_uv_file_t;
DLLEXPORT size_t jl_write(uv_stream_t *stream, const char *str, size_t n);
DLLEXPORT int jl_printf(uv_stream_t *s, const char *format, ...);
DLLEXPORT int jl_vprintf(uv_stream_t *s, const char *format, va_list args);
extern DLLEXPORT uv_stream_t *jl_uv_stdin;
extern DLLEXPORT uv_stream_t *jl_uv_stdout;
extern DLLEXPORT uv_stream_t *jl_uv_stderr;
DLLEXPORT JL_STREAM *jl_stdout_stream(void);
DLLEXPORT JL_STREAM *jl_stdin_stream(void);
DLLEXPORT JL_STREAM *jl_stderr_stream(void);
// showing and std streams
DLLEXPORT void jl_show(jl_value_t *stream, jl_value_t *v);
DLLEXPORT void jl_flush_cstdio(void);
DLLEXPORT jl_value_t *jl_stdout_obj(void);
DLLEXPORT jl_value_t *jl_stderr_obj(void);
DLLEXPORT size_t jl_static_show(JL_STREAM *out, jl_value_t *v);
#if defined(GC_FINAL_STATS) && defined(JL_GC_MARKSWEEP)
void jl_print_gc_stats(JL_STREAM *s);
#endif
// debugging
void show_execution_point(char *filename, int lno);
// compiler options -----------------------------------------------------------
typedef struct {
char *build_path;
int8_t code_coverage;
int8_t malloc_log;
int8_t check_bounds;
int8_t dumpbitcode;
int int_literals;
int8_t compile_enabled;
} jl_compileropts_t;
extern DLLEXPORT jl_compileropts_t jl_compileropts;
// Settings for code_coverage and mallog_log
#define JL_LOG_NONE 0
#define JL_LOG_USER 1
#define JL_LOG_ALL 2
#define JL_COMPILEROPT_CHECK_BOUNDS_DEFAULT 0
#define JL_COMPILEROPT_CHECK_BOUNDS_ON 1
#define JL_COMPILEROPT_CHECK_BOUNDS_OFF 2
#define JL_COMPILEROPT_COMPILE_DEFAULT 1
#define JL_COMPILEROPT_COMPILE_OFF 0
#define JL_COMPILEROPT_COMPILE_ON 1
#define JL_COMPILEROPT_COMPILE_ALL 2
#define JL_COMPILEROPT_DUMPBITCODE_ON 1
#define JL_COMPILEROPT_DUMPBITCODE_OFF 2
#ifdef __cplusplus
}
#endif
#endif
Computing file changes ...
