One Level Up Top Level

src/lj_ircall.h - luajit-2.0-src

Global variables defined

Data types defined

Macros defined

Source code

  1. /*
  2. ** IR CALL* instruction definitions.
  3. ** Copyright (C) 2005-2015 Mike Pall. See Copyright Notice in luajit.h
  4. */

  6. #ifndef _LJ_IRCALL_H
  7. ‌#define _LJ_IRCALL_H

  9. #include "lj_obj.h"
  10. #include "lj_ir.h"
  11. #include "lj_jit.h"

  13. /* C call info for CALL* instructions. */
  14. ‌typedef struct CCallInfo {
  15.   ASMFunction func;                /* Function pointer. */
  16.   uint32_t flags;                /* Number of arguments and flags. */
  17. ‌} CCallInfo;

  19. ‌#define CCI_NARGS(ci)                ((ci)->flags & 0xff)        /* # of args. */
  20. ‌#define CCI_NARGS_MAX                32                        /* Max. # of args. */

  22. ‌#define CCI_OTSHIFT                16
  23. ‌#define CCI_OPTYPE(ci)                ((ci)->flags >> CCI_OTSHIFT)  /* Get op/type. */
  24. ‌#define CCI_OPSHIFT                24
  25. ‌#define CCI_OP(ci)                ((ci)->flags >> CCI_OPSHIFT)  /* Get op. */

  27. ‌#define CCI_CALL_N                (IR_CALLN << CCI_OPSHIFT)
  28. ‌#define CCI_CALL_A                (IR_CALLA << CCI_OPSHIFT)
  29. ‌#define CCI_CALL_L                (IR_CALLL << CCI_OPSHIFT)
  30. ‌#define CCI_CALL_S                (IR_CALLS << CCI_OPSHIFT)
  31. ‌#define CCI_CALL_FN                (CCI_CALL_N|CCI_CC_FASTCALL)
  32. ‌#define CCI_CALL_FL                (CCI_CALL_L|CCI_CC_FASTCALL)
  33. ‌#define CCI_CALL_FS                (CCI_CALL_S|CCI_CC_FASTCALL)

  35. /* C call info flags. */
  36. ‌#define CCI_L                        0x0100        /* Implicit L arg. */
  37. ‌#define CCI_CASTU64                0x0200        /* Cast u64 result to number. */
  38. ‌#define CCI_NOFPRCLOBBER        0x0400        /* Does not clobber any FPRs. */
  39. ‌#define CCI_VARARG                0x0800        /* Vararg function. */

  41. ‌#define CCI_CC_MASK                0x3000        /* Calling convention mask. */
  42. ‌#define CCI_CC_SHIFT                12
  43. /* ORDER CC */
  44. ‌#define CCI_CC_CDECL                0x0000        /* Default cdecl calling convention. */
  45. ‌#define CCI_CC_THISCALL                0x1000        /* Thiscall calling convention. */
  46. ‌#define CCI_CC_FASTCALL                0x2000        /* Fastcall calling convention. */
  47. ‌#define CCI_CC_STDCALL                0x3000        /* Stdcall calling convention. */

  49. /* Extra args for SOFTFP, SPLIT 64 bit. */
  50. ‌#define CCI_XARGS_SHIFT                14
  51. ‌#define CCI_XARGS(ci)                (((ci)->flags >> CCI_XARGS_SHIFT) & 3)
  52. ‌#define CCI_XA                        (1u << CCI_XARGS_SHIFT)

  54. #if LJ_SOFTFP || (LJ_32 && LJ_HASFFI)
  55. ‌#define CCI_XNARGS(ci)                (CCI_NARGS((ci)) + CCI_XARGS((ci)))
  56. #else
  57. ‌#define CCI_XNARGS(ci)                CCI_NARGS((ci))
  58. #endif

  60. /* Helpers for conditional function definitions. */
  61. ‌#define IRCALLCOND_ANY(x)                x

  63. #if LJ_TARGET_X86ORX64
  64. ‌#define IRCALLCOND_FPMATH(x)                NULL
  65. #else
  66. ‌#define IRCALLCOND_FPMATH(x)                x
  67. #endif

  69. #if LJ_SOFTFP
  70. ‌#define IRCALLCOND_SOFTFP(x)                x
  71. #if LJ_HASFFI
  72. ‌#define IRCALLCOND_SOFTFP_FFI(x)        x
  73. #else
  74. ‌#define IRCALLCOND_SOFTFP_FFI(x)        NULL
  75. #endif
  76. #else
  77. ‌#define IRCALLCOND_SOFTFP(x)                NULL
  78. ‌#define IRCALLCOND_SOFTFP_FFI(x)        NULL
  79. #endif

  81. ‌#define LJ_NEED_FP64        (LJ_TARGET_ARM || LJ_TARGET_PPC || LJ_TARGET_MIPS)

  83. #if LJ_HASFFI && (LJ_SOFTFP || LJ_NEED_FP64)
  84. ‌#define IRCALLCOND_FP64_FFI(x)                x
  85. #else
  86. ‌#define IRCALLCOND_FP64_FFI(x)                NULL
  87. #endif

  89. #if LJ_HASFFI
  90. ‌#define IRCALLCOND_FFI(x)                x
  91. #if LJ_32
  92. ‌#define IRCALLCOND_FFI32(x)                x
  93. #else
  94. ‌#define IRCALLCOND_FFI32(x)                NULL
  95. #endif
  96. #else
  97. ‌#define IRCALLCOND_FFI(x)                NULL
  98. ‌#define IRCALLCOND_FFI32(x)                NULL
  99. #endif

  101. #if LJ_TARGET_X86
  102. ‌#define CCI_RANDFPR        0        /* Clang on OSX/x86 is overzealous. */
  103. #else
  104. ‌#define CCI_RANDFPR        CCI_NOFPRCLOBBER
  105. #endif

  107. #if LJ_SOFTFP
  108. ‌#define XA_FP                CCI_XA
  109. ‌#define XA2_FP                (CCI_XA+CCI_XA)
  110. #else
  111. ‌#define XA_FP                0
  112. ‌#define XA2_FP                0
  113. #endif

  115. #if LJ_32
  116. ‌#define XA_64                CCI_XA
  117. ‌#define XA2_64                (CCI_XA+CCI_XA)
  118. #else
  119. ‌#define XA_64                0
  120. ‌#define XA2_64                0
  121. #endif

  123. /* Function definitions for CALL* instructions. */
  124. ‌#define IRCALLDEF(_) \
  125.   _(ANY,        lj_str_cmp,                2,  FN, INT, CCI_NOFPRCLOBBER) \
  126.   _(ANY,        lj_str_find,                4,   N, P32, 0) \
  127.   _(ANY,        lj_str_new,                3,   S, STR, CCI_L) \
  128.   _(ANY,        lj_strscan_num,                2,  FN, INT, 0) \
  129.   _(ANY,        lj_strfmt_int,                2,  FN, STR, CCI_L) \
  130.   _(ANY,        lj_strfmt_num,                2,  FN, STR, CCI_L) \
  131.   _(ANY,        lj_strfmt_char,                2,  FN, STR, CCI_L) \
  132.   _(ANY,        lj_strfmt_putint,        2,  FL, P32, 0) \
  133.   _(ANY,        lj_strfmt_putnum,        2,  FL, P32, 0) \
  134.   _(ANY,        lj_strfmt_putquoted,        2,  FL, P32, 0) \
  135.   _(ANY,        lj_strfmt_putfxint,        3,   L, P32, XA_64) \
  136.   _(ANY,        lj_strfmt_putfnum_int,        3,   L, P32, XA_FP) \
  137.   _(ANY,        lj_strfmt_putfnum_uint,        3,   L, P32, XA_FP) \
  138.   _(ANY,        lj_strfmt_putfnum,        3,   L, P32, XA_FP) \
  139.   _(ANY,        lj_strfmt_putfstr,        3,   L, P32, 0) \
  140.   _(ANY,        lj_strfmt_putfchar,        3,   L, P32, 0) \
  141.   _(ANY,        lj_buf_putmem,                3,   S, P32, 0) \
  142.   _(ANY,        lj_buf_putstr,                2,  FL, P32, 0) \
  143.   _(ANY,        lj_buf_putchar,                2,  FL, P32, 0) \
  144.   _(ANY,        lj_buf_putstr_reverse,        2,  FL, P32, 0) \
  145.   _(ANY,        lj_buf_putstr_lower,        2,  FL, P32, 0) \
  146.   _(ANY,        lj_buf_putstr_upper,        2,  FL, P32, 0) \
  147.   _(ANY,        lj_buf_putstr_rep,        3,   L, P32, 0) \
  148.   _(ANY,        lj_buf_puttab,                5,   L, P32, 0) \
  149.   _(ANY,        lj_buf_tostr,                1,  FL, STR, 0) \
  150.   _(ANY,        lj_tab_new_ah,                3,   A, TAB, CCI_L) \
  151.   _(ANY,        lj_tab_new1,                2,  FS, TAB, CCI_L) \
  152.   _(ANY,        lj_tab_dup,                2,  FS, TAB, CCI_L) \
  153.   _(ANY,        lj_tab_clear,                1,  FS, NIL, 0) \
  154.   _(ANY,        lj_tab_newkey,                3,   S, P32, CCI_L) \
  155.   _(ANY,        lj_tab_len,                1,  FL, INT, 0) \
  156.   _(ANY,        lj_gc_step_jit,                2,  FS, NIL, CCI_L) \
  157.   _(ANY,        lj_gc_barrieruv,        2,  FS, NIL, 0) \
  158.   _(ANY,        lj_mem_newgco,                2,  FS, P32, CCI_L) \
  159.   _(ANY,        lj_math_random_step, 1, FS, NUM, CCI_CASTU64|CCI_RANDFPR)\
  160.   _(ANY,        lj_vm_modi,                2,  FN, INT, 0) \
  161.   _(ANY,        sinh,                        1,   N, NUM, XA_FP) \
  162.   _(ANY,        cosh,                        1,   N, NUM, XA_FP) \
  163.   _(ANY,        tanh,                        1,   N, NUM, XA_FP) \
  164.   _(ANY,        fputc,                        2,   S, INT, 0) \
  165.   _(ANY,        fwrite,                        4,   S, INT, 0) \
  166.   _(ANY,        fflush,                        1,   S, INT, 0) \
  167.   /* ORDER FPM */ \
  168.   _(FPMATH,        lj_vm_floor,                1,   N, NUM, XA_FP) \
  169.   _(FPMATH,        lj_vm_ceil,                1,   N, NUM, XA_FP) \
  170.   _(FPMATH,        lj_vm_trunc,                1,   N, NUM, XA_FP) \
  171.   _(FPMATH,        sqrt,                        1,   N, NUM, XA_FP) \
  172.   _(ANY,        exp,                        1,   N, NUM, XA_FP) \
  173.   _(ANY,        lj_vm_exp2,                1,   N, NUM, XA_FP) \
  174.   _(ANY,        log,                        1,   N, NUM, XA_FP) \
  175.   _(ANY,        lj_vm_log2,                1,   N, NUM, XA_FP) \
  176.   _(ANY,        log10,                        1,   N, NUM, XA_FP) \
  177.   _(ANY,        sin,                        1,   N, NUM, XA_FP) \
  178.   _(ANY,        cos,                        1,   N, NUM, XA_FP) \
  179.   _(ANY,        tan,                        1,   N, NUM, XA_FP) \
  180.   _(ANY,        lj_vm_powi,                2,   N, NUM, XA_FP) \
  181.   _(ANY,        pow,                        2,   N, NUM, XA2_FP) \
  182.   _(ANY,        atan2,                        2,   N, NUM, XA2_FP) \
  183.   _(ANY,        ldexp,                        2,   N, NUM, XA_FP) \
  184.   _(SOFTFP,        lj_vm_tobit,                2,   N, INT, 0) \
  185.   _(SOFTFP,        softfp_add,                4,   N, NUM, 0) \
  186.   _(SOFTFP,        softfp_sub,                4,   N, NUM, 0) \
  187.   _(SOFTFP,        softfp_mul,                4,   N, NUM, 0) \
  188.   _(SOFTFP,        softfp_div,                4,   N, NUM, 0) \
  189.   _(SOFTFP,        softfp_cmp,                4,   N, NIL, 0) \
  190.   _(SOFTFP,        softfp_i2d,                1,   N, NUM, 0) \
  191.   _(SOFTFP,        softfp_d2i,                2,   N, INT, 0) \
  192.   _(SOFTFP_FFI,        softfp_ui2d,                1,   N, NUM, 0) \
  193.   _(SOFTFP_FFI,        softfp_f2d,                1,   N, NUM, 0) \
  194.   _(SOFTFP_FFI,        softfp_d2ui,                2,   N, INT, 0) \
  195.   _(SOFTFP_FFI,        softfp_d2f,                2,   N, FLOAT, 0) \
  196.   _(SOFTFP_FFI,        softfp_i2f,                1,   N, FLOAT, 0) \
  197.   _(SOFTFP_FFI,        softfp_ui2f,                1,   N, FLOAT, 0) \
  198.   _(SOFTFP_FFI,        softfp_f2i,                1,   N, INT, 0) \
  199.   _(SOFTFP_FFI,        softfp_f2ui,                1,   N, INT, 0) \
  200.   _(FP64_FFI,        fp64_l2d,                1,   N, NUM, XA_64) \
  201.   _(FP64_FFI,        fp64_ul2d,                1,   N, NUM, XA_64) \
  202.   _(FP64_FFI,        fp64_l2f,                1,   N, FLOAT, XA_64) \
  203.   _(FP64_FFI,        fp64_ul2f,                1,   N, FLOAT, XA_64) \
  204.   _(FP64_FFI,        fp64_d2l,                1,   N, I64, XA_FP) \
  205.   _(FP64_FFI,        fp64_d2ul,                1,   N, U64, XA_FP) \
  206.   _(FP64_FFI,        fp64_f2l,                1,   N, I64, 0) \
  207.   _(FP64_FFI,        fp64_f2ul,                1,   N, U64, 0) \
  208.   _(FFI,        lj_carith_divi64,        2,   N, I64, XA2_64|CCI_NOFPRCLOBBER) \
  209.   _(FFI,        lj_carith_divu64,        2,   N, U64, XA2_64|CCI_NOFPRCLOBBER) \
  210.   _(FFI,        lj_carith_modi64,        2,   N, I64, XA2_64|CCI_NOFPRCLOBBER) \
  211.   _(FFI,        lj_carith_modu64,        2,   N, U64, XA2_64|CCI_NOFPRCLOBBER) \
  212.   _(FFI,        lj_carith_powi64,        2,   N, I64, XA2_64|CCI_NOFPRCLOBBER) \
  213.   _(FFI,        lj_carith_powu64,        2,   N, U64, XA2_64|CCI_NOFPRCLOBBER) \
  214.   _(FFI,        lj_cdata_newv,                4,   S, CDATA, CCI_L) \
  215.   _(FFI,        lj_cdata_setfin,        4,   S, NIL, CCI_L) \
  216.   _(FFI,        strlen,                        1,   L, INTP, 0) \
  217.   _(FFI,        memcpy,                        3,   S, PTR, 0) \
  218.   _(FFI,        memset,                        3,   S, PTR, 0) \
  219.   _(FFI,        lj_vm_errno,                0,   S, INT, CCI_NOFPRCLOBBER) \
  220.   _(FFI32,        lj_carith_mul64,        2,   N, I64, XA2_64|CCI_NOFPRCLOBBER) \
  221.   _(FFI32,        lj_carith_shl64,        2,   N, U64, XA_64|CCI_NOFPRCLOBBER) \
  222.   _(FFI32,        lj_carith_shr64,        2,   N, U64, XA_64|CCI_NOFPRCLOBBER) \
  223.   _(FFI32,        lj_carith_sar64,        2,   N, U64, XA_64|CCI_NOFPRCLOBBER) \
  224.   _(FFI32,        lj_carith_rol64,        2,   N, U64, XA_64|CCI_NOFPRCLOBBER) \
  225.   _(FFI32,        lj_carith_ror64,        2,   N, U64, XA_64|CCI_NOFPRCLOBBER) \
  226.   \
  227.   /* End of list. */

  229. typedef enum {
  230. ‌#define IRCALLENUM(cond, name, nargs, kind, type, flags)        IRCALL_##name,
  231. IRCALLDEF(IRCALLENUM)
  232. ‌#undef IRCALLENUM
  233.   IRCALL__MAX
  234. ‌} IRCallID;

  236. LJ_FUNC TRef lj_ir_call(jit_State *J, IRCallID id, ...);

  238. ‌LJ_DATA const CCallInfo lj_ir_callinfo[IRCALL__MAX+1];

  240. /* Soft-float declarations. */
  241. #if LJ_SOFTFP
  242. #if LJ_TARGET_ARM
  243. ‌#define softfp_add __aeabi_dadd
  244. ‌#define softfp_sub __aeabi_dsub
  245. ‌#define softfp_mul __aeabi_dmul
  246. ‌#define softfp_div __aeabi_ddiv
  247. ‌#define softfp_cmp __aeabi_cdcmple
  248. ‌#define softfp_i2d __aeabi_i2d
  249. ‌#define softfp_d2i __aeabi_d2iz
  250. ‌#define softfp_ui2d __aeabi_ui2d
  251. ‌#define softfp_f2d __aeabi_f2d
  252. ‌#define softfp_d2ui __aeabi_d2uiz
  253. ‌#define softfp_d2f __aeabi_d2f
  254. ‌#define softfp_i2f __aeabi_i2f
  255. ‌#define softfp_ui2f __aeabi_ui2f
  256. ‌#define softfp_f2i __aeabi_f2iz
  257. ‌#define softfp_f2ui __aeabi_f2uiz
  258. ‌#define fp64_l2d __aeabi_l2d
  259. ‌#define fp64_ul2d __aeabi_ul2d
  260. ‌#define fp64_l2f __aeabi_l2f
  261. ‌#define fp64_ul2f __aeabi_ul2f
  262. #if LJ_TARGET_IOS
  263. ‌#define fp64_d2l __fixdfdi
  264. ‌#define fp64_d2ul __fixunsdfdi
  265. ‌#define fp64_f2l __fixsfdi
  266. ‌#define fp64_f2ul __fixunssfdi
  267. #else
  268. ‌#define fp64_d2l __aeabi_d2lz
  269. ‌#define fp64_d2ul __aeabi_d2ulz
  270. ‌#define fp64_f2l __aeabi_f2lz
  271. ‌#define fp64_f2ul __aeabi_f2ulz
  272. #endif
  273. #else
  274. #error "Missing soft-float definitions for target architecture"
  275. #endif
  276. extern double softfp_add(double a, double b);
  277. extern double softfp_sub(double a, double b);
  278. extern double softfp_mul(double a, double b);
  279. extern double softfp_div(double a, double b);
  280. extern void softfp_cmp(double a, double b);
  281. extern double softfp_i2d(int32_t a);
  282. extern int32_t softfp_d2i(double a);
  283. #if LJ_HASFFI
  284. extern double softfp_ui2d(uint32_t a);
  285. extern double softfp_f2d(float a);
  286. extern uint32_t softfp_d2ui(double a);
  287. extern float softfp_d2f(double a);
  288. extern float softfp_i2f(int32_t a);
  289. extern float softfp_ui2f(uint32_t a);
  290. extern int32_t softfp_f2i(float a);
  291. extern uint32_t softfp_f2ui(float a);
  292. #endif
  293. #endif

  295. #if LJ_HASFFI && LJ_NEED_FP64 && !(LJ_TARGET_ARM && LJ_SOFTFP)
  296. #ifdef __GNUC__
  297. ‌#define fp64_l2d __floatdidf
  298. ‌#define fp64_ul2d __floatundidf
  299. ‌#define fp64_l2f __floatdisf
  300. ‌#define fp64_ul2f __floatundisf
  301. ‌#define fp64_d2l __fixdfdi
  302. ‌#define fp64_d2ul __fixunsdfdi
  303. ‌#define fp64_f2l __fixsfdi
  304. ‌#define fp64_f2ul __fixunssfdi
  305. #else
  306. #error "Missing fp64 helper definitions for this compiler"
  307. #endif
  308. #endif

  310. #if LJ_HASFFI && (LJ_SOFTFP || LJ_NEED_FP64)
  311. extern double fp64_l2d(int64_t a);
  312. extern double fp64_ul2d(uint64_t a);
  313. extern float fp64_l2f(int64_t a);
  314. extern float fp64_ul2f(uint64_t a);
  315. extern int64_t fp64_d2l(double a);
  316. extern uint64_t fp64_d2ul(double a);
  317. extern int64_t fp64_f2l(float a);
  318. extern uint64_t fp64_f2ul(float a);
  319. #endif

  321. #endif

One Level Up Top Level