Menu ▾ ▴

Src (SVN)-old Commit Log


Commit Date  
[r9265] by dwarren

Found more uses of reg_term instead of ctop_arg.
(Several builtins not tested in the testsuite :(

2018-04-24 21:04:42 Tree
[r9264] by dwarren

Added bi_instr to call a builtin with arguments in specified registers.
Compiler generates this new instruction for most builtins (with 1-4 arguments.)
Also added new instruction, unikavars(K), to do a sequence of consecutive
uniavar's in one instruction.

asm_inst.P (unikavars(K) and bi_instr)
builtin.H ((is_)builtin_instr) +
builtin.P (many diffs, def of builtin_instr/3)
inprog.H (import is_builtin_instr)
inprog.P (cvt goal to inlinegoal for bi_instrs)
peephole.P (gen unikavars)
tpinline.H (import builtin_instr)
tpinline.P (generate bi_instr instructions)
tprog.H (import warning)
tprog.P (warning and some tbody)

2018-04-24 13:13:11 Tree
[r9263] by dwarren

Changes to support new bi_instr instruction to allow some builtins to take
arguments from specified registers (instead of always from 1-n).

machine.H (internhash test)
machine.P (perf on term_new_mod and internhash test)
standard.P (functor/4 performance)
std_xsb.P (cleanup: removed dupls)
tables.H (export get_delay_lists/2)
xsb_read.H (export read_tokens/5)

2018-04-24 13:08:27 Tree
[r9262] by dwarren

Changes to support addition of bi_instr instruction to allow (some) builtins
to take their arguments from specified registers (instead of always from
reg 1-n).

builtin.c (all ctop/ptoc reg_term for bi_instr)
context.h (for biargs on multithread)
dis.c (for bi_instr disassembly)
emudef.h (decl of biarg and bioldarg[])
emuloop.c (unikavars and bi_instr, and no deref)
gc_mark.h (added case for RRRR)
inst_xsb.h (added bi_instr and unikavars, and RRRR)
loader_xsb.c (sep fix for cygwin toupper)
ptoc_tag_xsb_i.h (builtin arg access)
std_pred_xsb_i.h (minor fix to avoid arity var confusion)
system_xsb.c (added windows get_tmp_filename def)
xsb_inst_list.h (2 new instrs)

2018-04-24 13:03:57 Tree
[r9261] by tswift

Updated so that the diffs work for the mt test.

2018-04-23 22:40:58 Tree
[r9260] by tswift

A number of changes to make the MT engine compile cleanly.

2018-04-23 22:37:31 Tree
[r9259] by tswift

Closing file descriptors and backed out the change for Linux.

2018-04-20 20:21:59 Tree
[r9258] by tswift

Applied one of Edward Schwartz's patches so incremental tabling will properly work when XSB is called via C.

2018-04-20 18:14:27 Tree
[r9257] by tswift

Changed use of tempnam with mksfile, since tempnam has a security hole.

2018-04-20 17:55:43 Tree
[r9256] by dwarren

Improved documentation slightly.

2018-04-17 15:00:51 Tree
Older >