├── Changelog ├── Makefile ├── README.md ├── TODO ├── VERSION ├── cutils.c ├── cutils.h ├── doc ├── jsbignum.texi └── quickjs.texi ├── esp32 └── QuickJS.h ├── examples ├── fib.c ├── fib_module.js ├── hello.js ├── hello_module.js ├── pi_bigdecimal.js ├── pi_bigfloat.js ├── pi_bigint.js ├── point.c ├── test_fib.js └── test_point.js ├── libbf.c ├── libbf.h ├── library.json ├── libregexp-opcode.h ├── libregexp.c ├── libregexp.h ├── libunicode-table.h ├── libunicode.c ├── libunicode.h ├── list.h ├── qjs.c ├── qjsc.c ├── qjscalc.js ├── quickjs-atom.h ├── quickjs-libc.c ├── quickjs-libc.h ├── quickjs-opcode.h ├── quickjs.c ├── quickjs.h ├── readme.txt ├── release.sh ├── repl.js ├── run-test262.c ├── test262.conf ├── test262_errors.txt ├── test262o.conf ├── test262o_errors.txt ├── tests ├── bjson.c ├── microbench.js ├── test262.patch ├── test_bignum.js ├── test_bjson.js ├── test_builtin.js ├── test_closure.js ├── test_language.js ├── test_loop.js ├── test_op_overloading.js ├── test_qjscalc.js ├── test_std.js ├── test_worker.js └── test_worker_module.js ├── unicode_download.sh ├── unicode_gen.c └── unicode_gen_def.h /Changelog: -------------------------------------------------------------------------------- 1 | 2020-11-08: 2 | 3 | - improved function parameter initializers 4 | - added std.setenv(), std.unsetenv() and std.getenviron() 5 | - added JS_EvalThis() 6 | - misc bug fixes 7 | 8 | 2020-09-06: 9 | 10 | - added logical assignment operators 11 | - added IsHTMLDDA support 12 | - faster for-of loops 13 | - os.Worker now takes a module filename as parameter 14 | - qjsc: added -D option to compile dynamically loaded modules or workers 15 | - misc bug fixes 16 | 17 | 2020-07-05: 18 | 19 | - modified JS_GetPrototype() to return a live value 20 | - REPL: support unicode characters larger than 16 bits 21 | - added os.Worker 22 | - improved object serialization 23 | - added std.parseExtJSON 24 | - misc bug fixes 25 | 26 | 2020-04-12: 27 | 28 | - added cross realm support 29 | - added AggregateError and Promise.any 30 | - added env, uid and gid options in os.exec() 31 | - misc bug fixes 32 | 33 | 2020-03-16: 34 | 35 | - reworked error handling in std and os libraries: suppressed I/O 36 | exceptions in std FILE functions and return a positive errno value 37 | when it is explicit 38 | - output exception messages to stderr 39 | - added std.loadFile(), std.strerror(), std.FILE.prototype.tello() 40 | - added JS_GetRuntimeOpaque(), JS_SetRuntimeOpaque(), JS_NewUint32() 41 | - updated to Unicode 13.0.0 42 | - misc bug fixes 43 | 44 | 2020-01-19: 45 | 46 | - keep CONFIG_BIGNUM in the makefile 47 | - added os.chdir() 48 | - qjs: added -I option 49 | - more memory checks in the bignum operations 50 | - modified operator overloading semantics to be closer to the TC39 51 | proposal 52 | - suppressed "use bigint" mode. Simplified "use math" mode 53 | - BigDecimal: changed suffix from 'd' to 'm' 54 | - misc bug fixes 55 | 56 | 2020-01-05: 57 | 58 | - always compile the bignum code. Added '--bignum' option to qjs. 59 | - added BigDecimal 60 | - added String.prototype.replaceAll 61 | - misc bug fixes 62 | 63 | 2019-12-21: 64 | 65 | - added nullish coalescing operator (ES2020) 66 | - added optional chaining (ES2020) 67 | - removed recursions in garbage collector 68 | - test stack overflow in the parser 69 | - improved backtrace logic 70 | - added JS_SetHostPromiseRejectionTracker() 71 | - allow exotic constructors 72 | - improved c++ compatibility 73 | - misc bug fixes 74 | 75 | 2019-10-27: 76 | 77 | - added example of C class in a module (examples/test_point.js) 78 | - added JS_GetTypedArrayBuffer() 79 | - misc bug fixes 80 | 81 | 2019-09-18: 82 | 83 | - added os.exec and other system calls 84 | - exported JS_ValueToAtom() 85 | - qjsc: added 'qjsc_' prefix to the generated C identifiers 86 | - added cross-compilation support 87 | - misc bug fixes 88 | 89 | 2019-09-01: 90 | 91 | - added globalThis 92 | - documented JS_EVAL_FLAG_COMPILE_ONLY 93 | - added import.meta.url and import.meta.main 94 | - added 'debugger' statement 95 | - misc bug fixes 96 | 97 | 2019-08-18: 98 | 99 | - added os.realpath, os.getcwd, os.mkdir, os.stat, os.lstat, 100 | os.readlink, os.readdir, os.utimes, std.popen 101 | - module autodetection 102 | - added import.meta 103 | - misc bug fixes 104 | 105 | 2019-08-10: 106 | 107 | - added public class fields and private class fields, methods and 108 | accessors (TC39 proposal) 109 | - changed JS_ToCStringLen() prototype 110 | - qjsc: handle '-' in module names and modules with the same filename 111 | - added std.urlGet 112 | - exported JS_GetOwnPropertyNames() and JS_GetOwnProperty() 113 | - exported some bigint C functions 114 | - added support for eshost in run-test262 115 | - misc bug fixes 116 | 117 | 2019-07-28: 118 | 119 | - added dynamic import 120 | - added Promise.allSettled 121 | - added String.prototype.matchAll 122 | - added Object.fromEntries 123 | - reduced number of ticks in await 124 | - added BigInt support in Atomics 125 | - exported JS_NewPromiseCapability() 126 | - misc async function and async generator fixes 127 | - enabled hashbang support by default 128 | 129 | 2019-07-21: 130 | 131 | - updated test262 tests 132 | - updated to Unicode version 12.1.0 133 | - fixed missing Date object in qjsc 134 | - fixed multi-context creation 135 | - misc ES2020 related fixes 136 | - simplified power and division operators in bignum extension 137 | - fixed several crash conditions 138 | 139 | 2019-07-09: 140 | 141 | - first public release 142 | -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- 1 | # 2 | # QuickJS Javascript Engine 3 | # 4 | # Copyright (c) 2017-2020 Fabrice Bellard 5 | # Copyright (c) 2017-2020 Charlie Gordon 6 | # 7 | # Permission is hereby granted, free of charge, to any person obtaining a copy 8 | # of this software and associated documentation files (the "Software"), to deal 9 | # in the Software without restriction, including without limitation the rights 10 | # to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 11 | # copies of the Software, and to permit persons to whom the Software is 12 | # furnished to do so, subject to the following conditions: 13 | # 14 | # The above copyright notice and this permission notice shall be included in 15 | # all copies or substantial portions of the Software. 16 | # 17 | # THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 18 | # IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 19 | # FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL 20 | # THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 21 | # LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 22 | # OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN 23 | # THE SOFTWARE. 24 | 25 | ifeq ($(shell uname -s),Darwin) 26 | CONFIG_DARWIN=y 27 | endif 28 | # Windows cross compilation from Linux 29 | #CONFIG_WIN32=y 30 | # use link time optimization (smaller and faster executables but slower build) 31 | CONFIG_LTO=y 32 | # consider warnings as errors (for development) 33 | #CONFIG_WERROR=y 34 | # force 32 bit build for some utilities 35 | #CONFIG_M32=y 36 | 37 | ifdef CONFIG_DARWIN 38 | # use clang instead of gcc 39 | CONFIG_CLANG=y 40 | CONFIG_DEFAULT_AR=y 41 | endif 42 | 43 | # installation directory 44 | prefix=/usr/local 45 | 46 | # use the gprof profiler 47 | #CONFIG_PROFILE=y 48 | # use address sanitizer 49 | #CONFIG_ASAN=y 50 | # include the code for BigInt/BigFloat/BigDecimal and math mode 51 | CONFIG_BIGNUM=y 52 | 53 | OBJDIR=.obj 54 | 55 | ifdef CONFIG_WIN32 56 | ifdef CONFIG_M32 57 | CROSS_PREFIX=i686-w64-mingw32- 58 | else 59 | CROSS_PREFIX=x86_64-w64-mingw32- 60 | endif 61 | EXE=.exe 62 | else 63 | CROSS_PREFIX= 64 | EXE= 65 | endif 66 | ifdef CONFIG_CLANG 67 | HOST_CC=clang 68 | CC=$(CROSS_PREFIX)clang 69 | CFLAGS=-g -Wall -MMD -MF $(OBJDIR)/$(@F).d 70 | CFLAGS += -Wextra 71 | CFLAGS += -Wno-sign-compare 72 | CFLAGS += -Wno-missing-field-initializers 73 | CFLAGS += -Wundef -Wuninitialized 74 | CFLAGS += -Wunused -Wno-unused-parameter 75 | CFLAGS += -Wwrite-strings 76 | CFLAGS += -Wchar-subscripts -funsigned-char 77 | CFLAGS += -MMD -MF $(OBJDIR)/$(@F).d 78 | ifdef CONFIG_DEFAULT_AR 79 | AR=$(CROSS_PREFIX)ar 80 | else 81 | ifdef CONFIG_LTO 82 | AR=$(CROSS_PREFIX)llvm-ar 83 | else 84 | AR=$(CROSS_PREFIX)ar 85 | endif 86 | endif 87 | else 88 | HOST_CC=gcc 89 | CC=$(CROSS_PREFIX)gcc 90 | CFLAGS=-g -Wall -MMD -MF $(OBJDIR)/$(@F).d 91 | CFLAGS += -Wno-array-bounds -Wno-format-truncation 92 | ifdef CONFIG_LTO 93 | AR=$(CROSS_PREFIX)gcc-ar 94 | else 95 | AR=$(CROSS_PREFIX)ar 96 | endif 97 | endif 98 | STRIP=$(CROSS_PREFIX)strip 99 | ifdef CONFIG_WERROR 100 | CFLAGS+=-Werror 101 | endif 102 | DEFINES:=-D_GNU_SOURCE -DCONFIG_VERSION=\"$(shell cat VERSION)\" 103 | ifdef CONFIG_BIGNUM 104 | DEFINES+=-DCONFIG_BIGNUM 105 | endif 106 | ifdef CONFIG_WIN32 107 | DEFINES+=-D__USE_MINGW_ANSI_STDIO # for standard snprintf behavior 108 | endif 109 | 110 | CFLAGS+=$(DEFINES) 111 | CFLAGS_DEBUG=$(CFLAGS) -O0 112 | CFLAGS_SMALL=$(CFLAGS) -Os 113 | CFLAGS_OPT=$(CFLAGS) -O2 114 | CFLAGS_NOLTO:=$(CFLAGS_OPT) 115 | LDFLAGS=-g 116 | ifdef CONFIG_LTO 117 | CFLAGS_SMALL+=-flto 118 | CFLAGS_OPT+=-flto 119 | LDFLAGS+=-flto 120 | endif 121 | ifdef CONFIG_PROFILE 122 | CFLAGS+=-p 123 | LDFLAGS+=-p 124 | endif 125 | ifdef CONFIG_ASAN 126 | CFLAGS+=-fsanitize=address -fno-omit-frame-pointer 127 | LDFLAGS+=-fsanitize=address -fno-omit-frame-pointer 128 | endif 129 | ifdef CONFIG_WIN32 130 | LDEXPORT= 131 | else 132 | LDEXPORT=-rdynamic 133 | endif 134 | 135 | PROGS=qjs$(EXE) qjsc$(EXE) run-test262 136 | ifneq ($(CROSS_PREFIX),) 137 | QJSC_CC=gcc 138 | QJSC=./host-qjsc 139 | PROGS+=$(QJSC) 140 | else 141 | QJSC_CC=$(CC) 142 | QJSC=./qjsc$(EXE) 143 | endif 144 | ifndef CONFIG_WIN32 145 | PROGS+=qjscalc 146 | endif 147 | ifdef CONFIG_M32 148 | PROGS+=qjs32 qjs32_s 149 | endif 150 | PROGS+=libquickjs.a 151 | ifdef CONFIG_LTO 152 | PROGS+=libquickjs.lto.a 153 | endif 154 | 155 | # examples 156 | ifeq ($(CROSS_PREFIX),) 157 | ifdef CONFIG_ASAN 158 | PROGS+= 159 | else 160 | PROGS+=examples/hello examples/hello_module examples/test_fib 161 | ifndef CONFIG_DARWIN 162 | PROGS+=examples/fib.so examples/point.so 163 | endif 164 | endif 165 | endif 166 | 167 | all: $(OBJDIR) $(OBJDIR)/quickjs.check.o $(OBJDIR)/qjs.check.o $(PROGS) 168 | 169 | QJS_LIB_OBJS=$(OBJDIR)/quickjs.o $(OBJDIR)/libregexp.o $(OBJDIR)/libunicode.o $(OBJDIR)/cutils.o $(OBJDIR)/quickjs-libc.o 170 | 171 | QJS_OBJS=$(OBJDIR)/qjs.o $(OBJDIR)/repl.o $(QJS_LIB_OBJS) 172 | ifdef CONFIG_BIGNUM 173 | QJS_LIB_OBJS+=$(OBJDIR)/libbf.o 174 | QJS_OBJS+=$(OBJDIR)/qjscalc.o 175 | endif 176 | 177 | HOST_LIBS=-lm -ldl -lpthread 178 | LIBS=-lm 179 | ifndef CONFIG_WIN32 180 | LIBS+=-ldl -lpthread 181 | endif 182 | 183 | $(OBJDIR): 184 | mkdir -p $(OBJDIR) $(OBJDIR)/examples $(OBJDIR)/tests 185 | 186 | qjs$(EXE): $(QJS_OBJS) 187 | $(CC) $(LDFLAGS) $(LDEXPORT) -o $@ $^ $(LIBS) 188 | 189 | qjs-debug$(EXE): $(patsubst %.o, %.debug.o, $(QJS_OBJS)) 190 | $(CC) $(LDFLAGS) -o $@ $^ $(LIBS) 191 | 192 | qjsc$(EXE): $(OBJDIR)/qjsc.o $(QJS_LIB_OBJS) 193 | $(CC) $(LDFLAGS) -o $@ $^ $(LIBS) 194 | 195 | ifneq ($(CROSS_PREFIX),) 196 | 197 | $(QJSC): $(OBJDIR)/qjsc.host.o \ 198 | $(patsubst %.o, %.host.o, $(QJS_LIB_OBJS)) 199 | $(HOST_CC) $(LDFLAGS) -o $@ $^ $(HOST_LIBS) 200 | 201 | endif #CROSS_PREFIX 202 | 203 | QJSC_DEFINES:=-DCONFIG_CC=\"$(QJSC_CC)\" -DCONFIG_PREFIX=\"$(prefix)\" 204 | ifdef CONFIG_LTO 205 | QJSC_DEFINES+=-DCONFIG_LTO 206 | endif 207 | QJSC_HOST_DEFINES:=-DCONFIG_CC=\"$(HOST_CC)\" -DCONFIG_PREFIX=\"$(prefix)\" 208 | 209 | $(OBJDIR)/qjsc.o: CFLAGS+=$(QJSC_DEFINES) 210 | $(OBJDIR)/qjsc.host.o: CFLAGS+=$(QJSC_HOST_DEFINES) 211 | 212 | qjs32: $(patsubst %.o, %.m32.o, $(QJS_OBJS)) 213 | $(CC) -m32 $(LDFLAGS) $(LDEXPORT) -o $@ $^ $(LIBS) 214 | 215 | qjs32_s: $(patsubst %.o, %.m32s.o, $(QJS_OBJS)) 216 | $(CC) -m32 $(LDFLAGS) -o $@ $^ $(LIBS) 217 | @size $@ 218 | 219 | qjscalc: qjs 220 | ln -sf $< $@ 221 | 222 | ifdef CONFIG_LTO 223 | LTOEXT=.lto 224 | else 225 | LTOEXT= 226 | endif 227 | 228 | libquickjs$(LTOEXT).a: $(QJS_LIB_OBJS) 229 | $(AR) rcs $@ $^ 230 | 231 | ifdef CONFIG_LTO 232 | libquickjs.a: $(patsubst %.o, %.nolto.o, $(QJS_LIB_OBJS)) 233 | $(AR) rcs $@ $^ 234 | endif # CONFIG_LTO 235 | 236 | repl.c: $(QJSC) repl.js 237 | $(QJSC) -c -o $@ -m repl.js 238 | 239 | qjscalc.c: $(QJSC) qjscalc.js 240 | $(QJSC) -fbignum -c -o $@ qjscalc.js 241 | 242 | ifneq ($(wildcard unicode/UnicodeData.txt),) 243 | $(OBJDIR)/libunicode.o $(OBJDIR)/libunicode.m32.o $(OBJDIR)/libunicode.m32s.o \ 244 | $(OBJDIR)/libunicode.nolto.o: libunicode-table.h 245 | 246 | libunicode-table.h: unicode_gen 247 | ./unicode_gen unicode $@ 248 | endif 249 | 250 | run-test262: $(OBJDIR)/run-test262.o $(QJS_LIB_OBJS) 251 | $(CC) $(LDFLAGS) -o $@ $^ $(LIBS) 252 | 253 | run-test262-debug: $(patsubst %.o, %.debug.o, $(OBJDIR)/run-test262.o $(QJS_LIB_OBJS)) 254 | $(CC) $(LDFLAGS) -o $@ $^ $(LIBS) 255 | 256 | run-test262-32: $(patsubst %.o, %.m32.o, $(OBJDIR)/run-test262.o $(QJS_LIB_OBJS)) 257 | $(CC) -m32 $(LDFLAGS) -o $@ $^ $(LIBS) 258 | 259 | # object suffix order: nolto, [m32|m32s] 260 | 261 | $(OBJDIR)/%.o: %.c | $(OBJDIR) 262 | $(CC) $(CFLAGS_OPT) -c -o $@ $< 263 | 264 | $(OBJDIR)/%.host.o: %.c | $(OBJDIR) 265 | $(HOST_CC) $(CFLAGS_OPT) -c -o $@ $< 266 | 267 | $(OBJDIR)/%.pic.o: %.c | $(OBJDIR) 268 | $(CC) $(CFLAGS_OPT) -fPIC -DJS_SHARED_LIBRARY -c -o $@ $< 269 | 270 | $(OBJDIR)/%.nolto.o: %.c | $(OBJDIR) 271 | $(CC) $(CFLAGS_NOLTO) -c -o $@ $< 272 | 273 | $(OBJDIR)/%.m32.o: %.c | $(OBJDIR) 274 | $(CC) -m32 $(CFLAGS_OPT) -c -o $@ $< 275 | 276 | $(OBJDIR)/%.m32s.o: %.c | $(OBJDIR) 277 | $(CC) -m32 $(CFLAGS_SMALL) -c -o $@ $< 278 | 279 | $(OBJDIR)/%.debug.o: %.c | $(OBJDIR) 280 | $(CC) $(CFLAGS_DEBUG) -c -o $@ $< 281 | 282 | $(OBJDIR)/%.check.o: %.c | $(OBJDIR) 283 | $(CC) $(CFLAGS) -DCONFIG_CHECK_JSVALUE -c -o $@ $< 284 | 285 | regexp_test: libregexp.c libunicode.c cutils.c 286 | $(CC) $(LDFLAGS) $(CFLAGS) -DTEST -o $@ libregexp.c libunicode.c cutils.c $(LIBS) 287 | 288 | unicode_gen: $(OBJDIR)/unicode_gen.host.o $(OBJDIR)/cutils.host.o libunicode.c unicode_gen_def.h 289 | $(HOST_CC) $(LDFLAGS) $(CFLAGS) -o $@ $(OBJDIR)/unicode_gen.host.o $(OBJDIR)/cutils.host.o 290 | 291 | clean: 292 | rm -f repl.c qjscalc.c out.c 293 | rm -f *.a *.o *.d *~ unicode_gen regexp_test $(PROGS) 294 | rm -f hello.c test_fib.c 295 | rm -f examples/*.so tests/*.so 296 | rm -rf $(OBJDIR)/ *.dSYM/ qjs-debug 297 | rm -rf run-test262-debug run-test262-32 298 | 299 | install: all 300 | mkdir -p "$(DESTDIR)$(prefix)/bin" 301 | $(STRIP) qjs qjsc 302 | install -m755 qjs qjsc "$(DESTDIR)$(prefix)/bin" 303 | ln -sf qjs "$(DESTDIR)$(prefix)/bin/qjscalc" 304 | mkdir -p "$(DESTDIR)$(prefix)/lib/quickjs" 305 | install -m644 libquickjs.a "$(DESTDIR)$(prefix)/lib/quickjs" 306 | ifdef CONFIG_LTO 307 | install -m644 libquickjs.lto.a "$(DESTDIR)$(prefix)/lib/quickjs" 308 | endif 309 | mkdir -p "$(DESTDIR)$(prefix)/include/quickjs" 310 | install -m644 quickjs.h quickjs-libc.h "$(DESTDIR)$(prefix)/include/quickjs" 311 | 312 | ############################################################################### 313 | # examples 314 | 315 | # example of static JS compilation 316 | HELLO_SRCS=examples/hello.js 317 | HELLO_OPTS=-fno-string-normalize -fno-map -fno-promise -fno-typedarray \ 318 | -fno-typedarray -fno-regexp -fno-json -fno-eval -fno-proxy \ 319 | -fno-date -fno-module-loader 320 | ifdef CONFIG_BIGNUM 321 | HELLO_OPTS+=-fno-bigint 322 | endif 323 | 324 | hello.c: $(QJSC) $(HELLO_SRCS) 325 | $(QJSC) -e $(HELLO_OPTS) -o $@ $(HELLO_SRCS) 326 | 327 | ifdef CONFIG_M32 328 | examples/hello: $(OBJDIR)/hello.m32s.o $(patsubst %.o, %.m32s.o, $(QJS_LIB_OBJS)) 329 | $(CC) -m32 $(LDFLAGS) -o $@ $^ $(LIBS) 330 | else 331 | examples/hello: $(OBJDIR)/hello.o $(QJS_LIB_OBJS) 332 | $(CC) $(LDFLAGS) -o $@ $^ $(LIBS) 333 | endif 334 | 335 | # example of static JS compilation with modules 336 | HELLO_MODULE_SRCS=examples/hello_module.js 337 | HELLO_MODULE_OPTS=-fno-string-normalize -fno-map -fno-promise -fno-typedarray \ 338 | -fno-typedarray -fno-regexp -fno-json -fno-eval -fno-proxy \ 339 | -fno-date -m 340 | examples/hello_module: $(QJSC) libquickjs$(LTOEXT).a $(HELLO_MODULE_SRCS) 341 | $(QJSC) $(HELLO_MODULE_OPTS) -o $@ $(HELLO_MODULE_SRCS) 342 | 343 | # use of an external C module (static compilation) 344 | 345 | test_fib.c: $(QJSC) examples/test_fib.js 346 | $(QJSC) -e -M examples/fib.so,fib -m -o $@ examples/test_fib.js 347 | 348 | examples/test_fib: $(OBJDIR)/test_fib.o $(OBJDIR)/examples/fib.o libquickjs$(LTOEXT).a 349 | $(CC) $(LDFLAGS) -o $@ $^ $(LIBS) 350 | 351 | examples/fib.so: $(OBJDIR)/examples/fib.pic.o 352 | $(CC) $(LDFLAGS) -shared -o $@ $^ 353 | 354 | examples/point.so: $(OBJDIR)/examples/point.pic.o 355 | $(CC) $(LDFLAGS) -shared -o $@ $^ 356 | 357 | ############################################################################### 358 | # documentation 359 | 360 | DOCS=doc/quickjs.pdf doc/quickjs.html doc/jsbignum.pdf doc/jsbignum.html 361 | 362 | build_doc: $(DOCS) 363 | 364 | clean_doc: 365 | rm -f $(DOCS) 366 | 367 | doc/%.pdf: doc/%.texi 368 | texi2pdf --clean -o $@ -q $< 369 | 370 | doc/%.html.pre: doc/%.texi 371 | makeinfo --html --no-headers --no-split --number-sections -o $@ $< 372 | 373 | doc/%.html: doc/%.html.pre 374 | sed -e 's||\n|' < $< > $@ 375 | 376 | ############################################################################### 377 | # tests 378 | 379 | ifndef CONFIG_DARWIN 380 | test: tests/bjson.so examples/point.so 381 | endif 382 | ifdef CONFIG_M32 383 | test: qjs32 384 | endif 385 | 386 | test: qjs 387 | ./qjs tests/test_closure.js 388 | ./qjs tests/test_language.js 389 | ./qjs tests/test_builtin.js 390 | ./qjs tests/test_loop.js 391 | ./qjs tests/test_std.js 392 | ./qjs tests/test_worker.js 393 | ifndef CONFIG_DARWIN 394 | ifdef CONFIG_BIGNUM 395 | ./qjs --bignum tests/test_bjson.js 396 | else 397 | ./qjs tests/test_bjson.js 398 | endif 399 | ./qjs examples/test_point.js 400 | endif 401 | ifdef CONFIG_BIGNUM 402 | ./qjs --bignum tests/test_op_overloading.js 403 | ./qjs --bignum tests/test_bignum.js 404 | ./qjs --qjscalc tests/test_qjscalc.js 405 | endif 406 | ifdef CONFIG_M32 407 | ./qjs32 tests/test_closure.js 408 | ./qjs32 tests/test_language.js 409 | ./qjs32 tests/test_builtin.js 410 | ./qjs32 tests/test_loop.js 411 | ./qjs32 tests/test_std.js 412 | ./qjs32 tests/test_worker.js 413 | ifdef CONFIG_BIGNUM 414 | ./qjs32 --bignum tests/test_op_overloading.js 415 | ./qjs32 --bignum tests/test_bignum.js 416 | ./qjs32 --qjscalc tests/test_qjscalc.js 417 | endif 418 | endif 419 | 420 | stats: qjs qjs32 421 | ./qjs -qd 422 | ./qjs32 -qd 423 | 424 | microbench: qjs 425 | ./qjs tests/microbench.js 426 | 427 | microbench-32: qjs32 428 | ./qjs32 tests/microbench.js 429 | 430 | # ES5 tests (obsolete) 431 | test2o: run-test262 432 | time ./run-test262 -m -c test262o.conf 433 | 434 | test2o-32: run-test262-32 435 | time ./run-test262-32 -m -c test262o.conf 436 | 437 | test2o-update: run-test262 438 | ./run-test262 -u -c test262o.conf 439 | 440 | # Test262 tests 441 | test2-default: run-test262 442 | time ./run-test262 -m -c test262.conf 443 | 444 | test2: run-test262 445 | time ./run-test262 -m -c test262.conf -a 446 | 447 | test2-32: run-test262-32 448 | time ./run-test262-32 -m -c test262.conf -a 449 | 450 | test2-update: run-test262 451 | ./run-test262 -u -c test262.conf -a 452 | 453 | test2-check: run-test262 454 | time ./run-test262 -m -c test262.conf -E -a 455 | 456 | testall: all test microbench test2o test2 457 | 458 | testall-32: all test-32 microbench-32 test2o-32 test2-32 459 | 460 | testall-complete: testall testall-32 461 | 462 | bench-v8: qjs 463 | make -C tests/bench-v8 464 | ./qjs -d tests/bench-v8/combined.js 465 | 466 | tests/bjson.so: $(OBJDIR)/tests/bjson.pic.o 467 | $(CC) $(LDFLAGS) -shared -o $@ $^ $(LIBS) 468 | 469 | -include $(wildcard $(OBJDIR)/*.d) 470 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | # QuickJS Javascript Engine 2 | 3 | - https://bellard.org/quickjs/ 4 | - https://github.com/bellard/quickjs 5 | 6 | The main documentation is in doc/quickjs.pdf or doc/quickjs.html. 7 | 8 | # Build with platform.io (ESP32) 9 | 10 | Exampes: https://github.com/binzume/esp32quickjs-examples 11 | 12 | ### platformio.ini 13 | 14 | add git url to `lib_deps`. 15 | 16 | ```ini 17 | lib_deps = 18 | https://github.com/binzume/esp32quickjs.git 19 | ``` 20 | 21 | ### main.cpp 22 | 23 | include `esp/QuickJS.h`. 24 | 25 | ```c++ 26 | #include 27 | #include "esp/QuickJS.h" 28 | 29 | static const char *jscode = R"CODE( 30 | console.log('Hello, JavaScript!'); 31 | )CODE"; 32 | 33 | M5QuickJS qjs; 34 | 35 | void setup() { 36 | Serial.begin(115200); 37 | qjs.begin(); 38 | qjs.exec(jscode); 39 | } 40 | ``` 41 | 42 | # JavaScript API 43 | 44 | - console.log(string) 45 | - setTimeout(callback, ms) : int 46 | - setInterval(callback, ms) : int 47 | - clearTimeout(id) 48 | 49 | `esp32` module 50 | 51 | - esp32.millis() : int 52 | - esp32.digitalRead(pin) : int 53 | - esp32.digitalWrite(pin, value) // value=0: LOW, 1: HIGH 54 | - esp32.pinMode(pin, mode) // mode=1: INPUT, 2: OUTPUT 55 | - esp32.setLoop(func) // func is called every arduino loop(). 56 | - esp32.deepSleep(us) // not returns 57 | 58 | if WiFi.h is included: 59 | 60 | - esp32.isWifiConnected() : bool 61 | - esp32.fetch(url, {method:string, body:string}): Promise<{body:string, status:int}> 62 | 63 | 64 | # License 65 | 66 | MIT License 67 | -------------------------------------------------------------------------------- /TODO: -------------------------------------------------------------------------------- 1 | Bugs: 2 | - modules: better error handling with cyclic module references 3 | 4 | Misc ideas: 5 | - use custom printf to avoid compatibility issues with floating point numbers 6 | - consistent naming for preprocessor defines 7 | - unify coding style and naming conventions 8 | - use names from the ECMA spec in library implementation 9 | - use byte code emitters with typed arguments (for clarity) 10 | - use 2 bytecode DynBufs in JSFunctionDef, one for reading, one for writing 11 | and use the same wrappers in all phases 12 | - use more generic method for line numbers in resolve_variables and resolve_labels 13 | - use custom timezone support to avoid C library compatibility issues 14 | 15 | Memory: 16 | - use memory pools for objects, etc? 17 | - test border cases for max number of atoms, object properties, string length 18 | - add emergency malloc mode for out of memory exceptions. 19 | - test all DynBuf memory errors 20 | - test all js_realloc memory errors 21 | - improve JS_ComputeMemoryUsage() with more info 22 | 23 | Built-in standard library: 24 | - BSD sockets 25 | - modules: use realpath in module name normalizer and put it in quickjs-libc 26 | - modules: if no ".", use a well known module loading path ? 27 | - get rid of __loadScript, use more common name 28 | 29 | REPL: 30 | - debugger 31 | - readline: support MS Windows terminal 32 | - readline: handle dynamic terminal resizing 33 | - readline: handle double width unicode characters 34 | - multiline editing 35 | - runtime object and function inspectors 36 | - interactive object browser 37 | - use more generic approach to display evaluation results 38 | - improve directive handling: dispatch, colorize, completion... 39 | - save history 40 | - close all predefined methods in repl.js and jscalc.js 41 | 42 | Optimization ideas: 43 | - 64-bit atoms in 64-bit mode ? 44 | - 64-bit small bigint in 64-bit mode ? 45 | - reuse stack slots for disjoint scopes, if strip 46 | - add heuristic to avoid some cycles in closures 47 | - small String (0-2 charcodes) with immediate storage 48 | - perform static string concatenation at compile time 49 | - optimize string concatenation with ropes or miniropes? 50 | - add implicit numeric strings for Uint32 numbers? 51 | - optimize `s += a + b`, `s += a.b` and similar simple expressions 52 | - ensure string canonical representation and optimise comparisons and hashes? 53 | - remove JSObject.first_weak_ref, use bit+context based hashed array for weak references 54 | - property access optimization on the global object, functions, 55 | prototypes and special non extensible objects. 56 | - create object literals with the correct length by backpatching length argument 57 | - remove redundant set_loc_uninitialized/check_uninitialized opcodes 58 | - peephole optim: push_atom_value, to_propkey -> push_atom_value 59 | - peephole optim: put_loc x, get_loc_check x -> set_loc x 60 | - convert slow array to fast array when all properties != length are numeric 61 | - optimize destructuring assignments for global and local variables 62 | - implement some form of tail-call-optimization 63 | - optimize OP_apply 64 | - optimize f(...b) 65 | 66 | Test262o: 0/11262 errors, 463 excluded 67 | Test262o commit: 7da91bceb9ce7613f87db47ddd1292a2dda58b42 (es5-tests branch) 68 | 69 | Result: 51/75119 errors, 899 excluded, 570 skipped 70 | Test262 commit: 1c33fdb0ca60fb9d7392403be769ed0d26209132 71 | -------------------------------------------------------------------------------- /VERSION: -------------------------------------------------------------------------------- 1 | 2020-11-08 2 | -------------------------------------------------------------------------------- /cutils.h: -------------------------------------------------------------------------------- 1 | /* 2 | * C utilities 3 | * 4 | * Copyright (c) 2017 Fabrice Bellard 5 | * Copyright (c) 2018 Charlie Gordon 6 | * 7 | * Permission is hereby granted, free of charge, to any person obtaining a copy 8 | * of this software and associated documentation files (the "Software"), to deal 9 | * in the Software without restriction, including without limitation the rights 10 | * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 11 | * copies of the Software, and to permit persons to whom the Software is 12 | * furnished to do so, subject to the following conditions: 13 | * 14 | * The above copyright notice and this permission notice shall be included in 15 | * all copies or substantial portions of the Software. 16 | * 17 | * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 18 | * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 19 | * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL 20 | * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 21 | * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 22 | * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN 23 | * THE SOFTWARE. 24 | */ 25 | #ifndef CUTILS_H 26 | #define CUTILS_H 27 | 28 | #include 29 | #include 30 | 31 | /* set if CPU is big endian */ 32 | #undef WORDS_BIGENDIAN 33 | 34 | #define likely(x) __builtin_expect(!!(x), 1) 35 | #define unlikely(x) __builtin_expect(!!(x), 0) 36 | #define force_inline inline __attribute__((always_inline)) 37 | #define no_inline __attribute__((noinline)) 38 | #define __maybe_unused __attribute__((unused)) 39 | 40 | #define xglue(x, y) x ## y 41 | #define glue(x, y) xglue(x, y) 42 | #define stringify(s) tostring(s) 43 | #define tostring(s) #s 44 | 45 | #ifndef offsetof 46 | #define offsetof(type, field) ((size_t) &((type *)0)->field) 47 | #endif 48 | #ifndef countof 49 | #define countof(x) (sizeof(x) / sizeof((x)[0])) 50 | #endif 51 | 52 | typedef int BOOL; 53 | 54 | #ifndef FALSE 55 | enum { 56 | FALSE = 0, 57 | TRUE = 1, 58 | }; 59 | #endif 60 | 61 | void pstrcpy(char *buf, int buf_size, const char *str); 62 | char *pstrcat(char *buf, int buf_size, const char *s); 63 | int strstart(const char *str, const char *val, const char **ptr); 64 | int has_suffix(const char *str, const char *suffix); 65 | 66 | static inline int max_int(int a, int b) 67 | { 68 | if (a > b) 69 | return a; 70 | else 71 | return b; 72 | } 73 | 74 | static inline int min_int(int a, int b) 75 | { 76 | if (a < b) 77 | return a; 78 | else 79 | return b; 80 | } 81 | 82 | static inline uint32_t max_uint32(uint32_t a, uint32_t b) 83 | { 84 | if (a > b) 85 | return a; 86 | else 87 | return b; 88 | } 89 | 90 | static inline uint32_t min_uint32(uint32_t a, uint32_t b) 91 | { 92 | if (a < b) 93 | return a; 94 | else 95 | return b; 96 | } 97 | 98 | static inline int64_t max_int64(int64_t a, int64_t b) 99 | { 100 | if (a > b) 101 | return a; 102 | else 103 | return b; 104 | } 105 | 106 | static inline int64_t min_int64(int64_t a, int64_t b) 107 | { 108 | if (a < b) 109 | return a; 110 | else 111 | return b; 112 | } 113 | 114 | /* WARNING: undefined if a = 0 */ 115 | static inline int clz32(unsigned int a) 116 | { 117 | return __builtin_clz(a); 118 | } 119 | 120 | /* WARNING: undefined if a = 0 */ 121 | static inline int clz64(uint64_t a) 122 | { 123 | return __builtin_clzll(a); 124 | } 125 | 126 | /* WARNING: undefined if a = 0 */ 127 | static inline int ctz32(unsigned int a) 128 | { 129 | return __builtin_ctz(a); 130 | } 131 | 132 | /* WARNING: undefined if a = 0 */ 133 | static inline int ctz64(uint64_t a) 134 | { 135 | return __builtin_ctzll(a); 136 | } 137 | 138 | struct __attribute__((packed)) packed_u64 { 139 | uint64_t v; 140 | }; 141 | 142 | struct __attribute__((packed)) packed_u32 { 143 | uint32_t v; 144 | }; 145 | 146 | struct __attribute__((packed)) packed_u16 { 147 | uint16_t v; 148 | }; 149 | 150 | static inline uint64_t get_u64(const uint8_t *tab) 151 | { 152 | return ((const struct packed_u64 *)tab)->v; 153 | } 154 | 155 | static inline int64_t get_i64(const uint8_t *tab) 156 | { 157 | return (int64_t)((const struct packed_u64 *)tab)->v; 158 | } 159 | 160 | static inline void put_u64(uint8_t *tab, uint64_t val) 161 | { 162 | ((struct packed_u64 *)tab)->v = val; 163 | } 164 | 165 | static inline uint32_t get_u32(const uint8_t *tab) 166 | { 167 | return ((const struct packed_u32 *)tab)->v; 168 | } 169 | 170 | static inline int32_t get_i32(const uint8_t *tab) 171 | { 172 | return (int32_t)((const struct packed_u32 *)tab)->v; 173 | } 174 | 175 | static inline void put_u32(uint8_t *tab, uint32_t val) 176 | { 177 | ((struct packed_u32 *)tab)->v = val; 178 | } 179 | 180 | static inline uint32_t get_u16(const uint8_t *tab) 181 | { 182 | return ((const struct packed_u16 *)tab)->v; 183 | } 184 | 185 | static inline int32_t get_i16(const uint8_t *tab) 186 | { 187 | return (int16_t)((const struct packed_u16 *)tab)->v; 188 | } 189 | 190 | static inline void put_u16(uint8_t *tab, uint16_t val) 191 | { 192 | ((struct packed_u16 *)tab)->v = val; 193 | } 194 | 195 | static inline uint32_t get_u8(const uint8_t *tab) 196 | { 197 | return *tab; 198 | } 199 | 200 | static inline int32_t get_i8(const uint8_t *tab) 201 | { 202 | return (int8_t)*tab; 203 | } 204 | 205 | static inline void put_u8(uint8_t *tab, uint8_t val) 206 | { 207 | *tab = val; 208 | } 209 | 210 | static inline uint16_t bswap16(uint16_t x) 211 | { 212 | return (x >> 8) | (x << 8); 213 | } 214 | 215 | static inline uint32_t bswap32(uint32_t v) 216 | { 217 | return ((v & 0xff000000) >> 24) | ((v & 0x00ff0000) >> 8) | 218 | ((v & 0x0000ff00) << 8) | ((v & 0x000000ff) << 24); 219 | } 220 | 221 | static inline uint64_t bswap64(uint64_t v) 222 | { 223 | return ((v & ((uint64_t)0xff << (7 * 8))) >> (7 * 8)) | 224 | ((v & ((uint64_t)0xff << (6 * 8))) >> (5 * 8)) | 225 | ((v & ((uint64_t)0xff << (5 * 8))) >> (3 * 8)) | 226 | ((v & ((uint64_t)0xff << (4 * 8))) >> (1 * 8)) | 227 | ((v & ((uint64_t)0xff << (3 * 8))) << (1 * 8)) | 228 | ((v & ((uint64_t)0xff << (2 * 8))) << (3 * 8)) | 229 | ((v & ((uint64_t)0xff << (1 * 8))) << (5 * 8)) | 230 | ((v & ((uint64_t)0xff << (0 * 8))) << (7 * 8)); 231 | } 232 | 233 | /* XXX: should take an extra argument to pass slack information to the caller */ 234 | typedef void *DynBufReallocFunc(void *opaque, void *ptr, size_t size); 235 | 236 | typedef struct DynBuf { 237 | uint8_t *buf; 238 | size_t size; 239 | size_t allocated_size; 240 | BOOL error; /* true if a memory allocation error occurred */ 241 | DynBufReallocFunc *realloc_func; 242 | void *opaque; /* for realloc_func */ 243 | } DynBuf; 244 | 245 | void dbuf_init(DynBuf *s); 246 | void dbuf_init2(DynBuf *s, void *opaque, DynBufReallocFunc *realloc_func); 247 | int dbuf_realloc(DynBuf *s, size_t new_size); 248 | int dbuf_write(DynBuf *s, size_t offset, const uint8_t *data, size_t len); 249 | int dbuf_put(DynBuf *s, const uint8_t *data, size_t len); 250 | int dbuf_put_self(DynBuf *s, size_t offset, size_t len); 251 | int dbuf_putc(DynBuf *s, uint8_t c); 252 | int dbuf_putstr(DynBuf *s, const char *str); 253 | static inline int dbuf_put_u16(DynBuf *s, uint16_t val) 254 | { 255 | return dbuf_put(s, (uint8_t *)&val, 2); 256 | } 257 | static inline int dbuf_put_u32(DynBuf *s, uint32_t val) 258 | { 259 | return dbuf_put(s, (uint8_t *)&val, 4); 260 | } 261 | static inline int dbuf_put_u64(DynBuf *s, uint64_t val) 262 | { 263 | return dbuf_put(s, (uint8_t *)&val, 8); 264 | } 265 | int __attribute__((format(printf, 2, 3))) dbuf_printf(DynBuf *s, 266 | const char *fmt, ...); 267 | void dbuf_free(DynBuf *s); 268 | static inline BOOL dbuf_error(DynBuf *s) { 269 | return s->error; 270 | } 271 | static inline void dbuf_set_error(DynBuf *s) 272 | { 273 | s->error = TRUE; 274 | } 275 | 276 | #define UTF8_CHAR_LEN_MAX 6 277 | 278 | int unicode_to_utf8(uint8_t *buf, unsigned int c); 279 | int unicode_from_utf8(const uint8_t *p, int max_len, const uint8_t **pp); 280 | 281 | static inline int from_hex(int c) 282 | { 283 | if (c >= '0' && c <= '9') 284 | return c - '0'; 285 | else if (c >= 'A' && c <= 'F') 286 | return c - 'A' + 10; 287 | else if (c >= 'a' && c <= 'f') 288 | return c - 'a' + 10; 289 | else 290 | return -1; 291 | } 292 | 293 | void rqsort(void *base, size_t nmemb, size_t size, 294 | int (*cmp)(const void *, const void *, void *), 295 | void *arg); 296 | 297 | #endif /* CUTILS_H */ 298 | -------------------------------------------------------------------------------- /esp32/QuickJS.h: -------------------------------------------------------------------------------- 1 | #pragma once 2 | 3 | #if defined(WiFi_h) && !defined(ENABLE_WIFI) 4 | #define ENABLE_WIFI 5 | #endif 6 | 7 | #include 8 | 9 | #include 10 | #include 11 | 12 | #ifdef ENABLE_WIFI 13 | #include 14 | #include 15 | #endif 16 | 17 | #include "../quickjs.h" 18 | 19 | static void qjs_dump_exception(JSContext *ctx, JSValue v) { 20 | if (!JS_IsUndefined(v)) { 21 | const char *str = JS_ToCString(ctx, v); 22 | if (str) { 23 | Serial.println(str); 24 | JS_FreeCString(ctx, str); 25 | } else { 26 | Serial.println("[Exception]"); 27 | } 28 | } 29 | JSValue e = JS_GetException(ctx); 30 | const char *str = JS_ToCString(ctx, e); 31 | if (str) { 32 | Serial.println(str); 33 | JS_FreeCString(ctx, str); 34 | } 35 | if (JS_IsError(ctx, e)) { 36 | JSValue s = JS_GetPropertyStr(ctx, e, "stack"); 37 | if (!JS_IsUndefined(s)) { 38 | const char *str = JS_ToCString(ctx, s); 39 | if (str) { 40 | Serial.println(str); 41 | JS_FreeCString(ctx, str); 42 | } 43 | } 44 | JS_FreeValue(ctx, s); 45 | } 46 | JS_FreeValue(ctx, e); 47 | } 48 | 49 | #ifdef ENABLE_WIFI 50 | class JSHttpFetcher { 51 | struct Entry { 52 | HTTPClient *client; 53 | JSValue resolving_funcs[2]; 54 | int status; 55 | void result(JSContext *ctx, uint32_t func, JSValue body) { 56 | delete client; // dispose connection before invoke; 57 | JSValue r = JS_NewObject(ctx); 58 | JS_SetPropertyStr(ctx, r, "body", JS_DupValue(ctx, body)); 59 | JS_SetPropertyStr(ctx, r, "status", JS_NewInt32(ctx, status)); 60 | JS_Call(ctx, resolving_funcs[func], JS_UNDEFINED, 1, &r); 61 | JS_FreeValue(ctx, r); 62 | JS_FreeValue(ctx, resolving_funcs[0]); 63 | JS_FreeValue(ctx, resolving_funcs[1]); 64 | } 65 | }; 66 | std::vector queue; 67 | 68 | public: 69 | JSValue fetch(JSContext *ctx, JSValueConst jsUrl, JSValueConst options) { 70 | if (WiFi.status() != WL_CONNECTED) { 71 | return JS_EXCEPTION; 72 | } 73 | const char *url = JS_ToCString(ctx, jsUrl); 74 | if (!url) { 75 | return JS_EXCEPTION; 76 | } 77 | const char *method = nullptr, *body = nullptr; 78 | if (JS_IsObject(options)) { 79 | JSValue m = JS_GetPropertyStr(ctx, options, "method"); 80 | if (JS_IsString(m)) { 81 | method = JS_ToCString(ctx, m); 82 | } 83 | JSValue b = JS_GetPropertyStr(ctx, options, "body"); 84 | if (JS_IsString(m)) { 85 | body = JS_ToCString(ctx, b); 86 | } 87 | } 88 | 89 | Entry *ent = new Entry(); 90 | ent->client = new HTTPClient(); 91 | ent->client->begin(url); 92 | JS_FreeCString(ctx, url); 93 | 94 | // TODO: remove blocking calls. 95 | if (method) { 96 | ent->status = ent->client->sendRequest(method, (uint8_t *)body, 97 | body ? strlen(body) : 0); 98 | } else { 99 | ent->status = ent->client->GET(); 100 | } 101 | queue.push_back(ent); 102 | 103 | JS_FreeCString(ctx, method); 104 | JS_FreeCString(ctx, body); 105 | return JS_NewPromiseCapability(ctx, ent->resolving_funcs); 106 | } 107 | 108 | void loop(JSContext *ctx) { 109 | int doneCount = 0; 110 | for (auto &pent : queue) { 111 | WiFiClient *stream = pent->client->getStreamPtr(); 112 | if (stream == nullptr || pent->status <= 0) { 113 | // reject. 114 | pent->result(ctx, 1, JS_UNDEFINED); 115 | delete pent; 116 | pent = nullptr; 117 | doneCount++; 118 | continue; 119 | } 120 | if (stream->available()) { 121 | String body = pent->client->getString(); 122 | JSValue bodyStr = JS_NewString(ctx, body.c_str()); 123 | body.clear(); 124 | pent->result(ctx, 0, bodyStr); 125 | JS_FreeValue(ctx, bodyStr); 126 | delete pent; 127 | pent = nullptr; 128 | doneCount++; 129 | } 130 | } 131 | 132 | if (doneCount > 0) { 133 | queue.erase(std::remove_if(queue.begin(), queue.end(), 134 | [](Entry *pent) { return pent == nullptr; }), 135 | queue.end()); 136 | } 137 | } 138 | }; 139 | #endif // ENABLE_WIFI 140 | 141 | class JSTimer { 142 | // 20 bytes / entry. 143 | struct TimerEntry { 144 | uint32_t id; 145 | int32_t timeout; 146 | int32_t interval; 147 | JSValue func; 148 | }; 149 | std::vector timers; 150 | uint32_t id_counter = 0; 151 | 152 | public: 153 | uint32_t RegisterTimer(JSValue f, int32_t time, int32_t interval = -1) { 154 | uint32_t id = ++id_counter; 155 | timers.push_back(TimerEntry{id, time, interval, f}); 156 | return id; 157 | } 158 | void RemoveTimer(uint32_t id) { 159 | timers.erase(std::remove_if(timers.begin(), timers.end(), 160 | [id](TimerEntry &t) { return t.id == id; }), 161 | timers.end()); 162 | } 163 | void RemoveAll(JSContext *ctx) { 164 | for (auto &ent : timers) { 165 | JS_FreeValue(ctx, ent.func); 166 | } 167 | timers.clear(); 168 | } 169 | int32_t GetNextTimeout(int32_t now) { 170 | if (timers.empty()) { 171 | return -1; 172 | } 173 | std::sort(timers.begin(), timers.end(), 174 | [now](TimerEntry &a, TimerEntry &b) -> bool { 175 | return (a.timeout - now) > 176 | (b.timeout - now); // 2^32 wraparound 177 | }); 178 | int next = timers.back().timeout - now; 179 | return max(next, 0); 180 | } 181 | bool ConsumeTimer(JSContext *ctx, int32_t now) { 182 | std::vector t; 183 | int32_t eps = 2; 184 | while (!timers.empty() && timers.back().timeout - now <= eps) { 185 | t.push_back(timers.back()); 186 | timers.pop_back(); 187 | } 188 | for (auto &ent : t) { 189 | // NOTE: may update timers in this JS_Call(). 190 | JSValue r = JS_Call(ctx, ent.func, ent.func, 0, nullptr); 191 | if (JS_IsException(r)) { 192 | qjs_dump_exception(ctx, r); 193 | } 194 | JS_FreeValue(ctx, r); 195 | 196 | if (ent.interval >= 0) { 197 | ent.timeout = now + ent.interval; 198 | timers.push_back(ent); 199 | } else { 200 | JS_FreeValue(ctx, ent.func); 201 | } 202 | } 203 | return !t.empty(); 204 | } 205 | }; 206 | 207 | class ESP32QuickJS { 208 | public: 209 | JSRuntime *rt; 210 | JSContext *ctx; 211 | JSTimer timer; 212 | JSValue loop_func = JS_UNDEFINED; 213 | #ifdef ENABLE_WIFI 214 | JSHttpFetcher httpFetcher; 215 | #endif 216 | 217 | void begin() { 218 | JSRuntime *rt = JS_NewRuntime(); 219 | begin(rt, JS_NewContext(rt)); 220 | } 221 | 222 | void begin(JSRuntime *rt, JSContext *ctx, int memoryLimit = 0) { 223 | this->rt = rt; 224 | this->ctx = ctx; 225 | if (memoryLimit == 0) { 226 | memoryLimit = ESP.getFreeHeap() >> 1; 227 | } 228 | JS_SetMemoryLimit(rt, memoryLimit); 229 | JS_SetGCThreshold(rt, memoryLimit >> 3); 230 | JSValue global = JS_GetGlobalObject(ctx); 231 | setup(ctx, global); 232 | JS_FreeValue(ctx, global); 233 | } 234 | 235 | void end() { 236 | timer.RemoveAll(ctx); 237 | JS_FreeContext(ctx); 238 | JS_FreeRuntime(rt); 239 | } 240 | 241 | void loop(bool callLoopFn = true) { 242 | // async 243 | JSContext *c; 244 | int ret = JS_ExecutePendingJob(JS_GetRuntime(ctx), &c); 245 | if (ret < 0) { 246 | qjs_dump_exception(ctx, JS_UNDEFINED); 247 | } 248 | 249 | // timer 250 | uint32_t now = millis(); 251 | if (timer.GetNextTimeout(now) >= 0) { 252 | timer.ConsumeTimer(ctx, now); 253 | } 254 | 255 | #ifdef ENABLE_WIFI 256 | httpFetcher.loop(ctx); 257 | #endif 258 | 259 | // loop() 260 | if (callLoopFn && JS_IsFunction(ctx, loop_func)) { 261 | JSValue ret = JS_Call(ctx, loop_func, loop_func, 0, nullptr); 262 | if (JS_IsException(ret)) { 263 | qjs_dump_exception(ctx, ret); 264 | } 265 | JS_FreeValue(ctx, ret); 266 | } 267 | } 268 | 269 | void runGC() { JS_RunGC(rt); } 270 | 271 | bool exec(const char *code) { 272 | JSValue result = eval(code); 273 | bool ret = JS_IsException(result); 274 | JS_FreeValue(ctx, result); 275 | return ret; 276 | } 277 | 278 | JSValue eval(const char *code) { 279 | JSValue ret = 280 | JS_Eval(ctx, code, strlen(code), "", JS_EVAL_TYPE_MODULE); 281 | if (JS_IsException(ret)) { 282 | qjs_dump_exception(ctx, ret); 283 | } 284 | return ret; 285 | } 286 | 287 | void setLoopFunc(const char *fname) { 288 | JSValue global = JS_GetGlobalObject(ctx); 289 | setLoopFunc(JS_GetPropertyStr(ctx, global, fname)); 290 | JS_FreeValue(ctx, global); 291 | } 292 | 293 | protected: 294 | void setLoopFunc(JSValue f) { 295 | JS_FreeValue(ctx, loop_func); 296 | loop_func = f; 297 | } 298 | 299 | virtual void setup(JSContext *ctx, JSValue global) { 300 | this->ctx = ctx; 301 | JS_SetContextOpaque(ctx, this); 302 | 303 | // setup console.log() 304 | JSValue console = JS_NewObject(ctx); 305 | JS_SetPropertyStr(ctx, global, "console", console); 306 | JS_SetPropertyStr(ctx, console, "log", 307 | JS_NewCFunction(ctx, console_log, "log", 1)); 308 | 309 | // timer 310 | JS_SetPropertyStr(ctx, global, "setTimeout", 311 | JS_NewCFunction(ctx, set_timeout, "setTimeout", 2)); 312 | JS_SetPropertyStr(ctx, global, "clearTimeout", 313 | JS_NewCFunction(ctx, clear_timeout, "clearTimeout", 1)); 314 | JS_SetPropertyStr(ctx, global, "setInterval", 315 | JS_NewCFunction(ctx, set_interval, "setInterval", 2)); 316 | JS_SetPropertyStr(ctx, global, "clearInterval", 317 | JS_NewCFunction(ctx, clear_timeout, "clearInterval", 1)); 318 | 319 | static const JSCFunctionListEntry esp32_funcs[] = { 320 | JSCFunctionListEntry{"millis", 0, JS_DEF_CFUNC, 0, { 321 | func : {0, JS_CFUNC_generic, esp32_millis} 322 | }}, 323 | JSCFunctionListEntry{"pinMode", 0, JS_DEF_CFUNC, 0, { 324 | func : {2, JS_CFUNC_generic, esp32_gpio_mode} 325 | }}, 326 | JSCFunctionListEntry{ 327 | "digitalRead", 0, JS_DEF_CFUNC, 0, { 328 | func : {1, JS_CFUNC_generic, esp32_gpio_digital_read} 329 | }}, 330 | JSCFunctionListEntry{ 331 | "digitalWrite", 0, JS_DEF_CFUNC, 0, { 332 | func : {2, JS_CFUNC_generic, esp32_gpio_digital_write} 333 | }}, 334 | JSCFunctionListEntry{"deepSleep", 0, JS_DEF_CFUNC, 0, { 335 | func : {1, JS_CFUNC_generic, esp32_deep_sleep} 336 | }}, 337 | JSCFunctionListEntry{"setLoop", 0, JS_DEF_CFUNC, 0, { 338 | func : {1, JS_CFUNC_generic, esp32_set_loop} 339 | }}, 340 | #ifdef ENABLE_WIFI 341 | JSCFunctionListEntry{"isWifiConnected", 0, JS_DEF_CFUNC, 0, { 342 | func : {0, JS_CFUNC_generic, wifi_is_connected} 343 | }}, 344 | JSCFunctionListEntry{"fetch", 0, JS_DEF_CFUNC, 0, { 345 | func : {2, JS_CFUNC_generic, http_fetch} 346 | }}, 347 | #endif 348 | }; 349 | 350 | #ifndef GLOBAL_ESP32 351 | JSModuleDef *m = 352 | JS_NewCModule(ctx, "esp32", [](JSContext *ctx, JSModuleDef *m) { 353 | return JS_SetModuleExportList( 354 | ctx, m, esp32_funcs, 355 | sizeof(esp32_funcs) / sizeof(JSCFunctionListEntry)); 356 | }); 357 | if (m) { 358 | JS_AddModuleExportList( 359 | ctx, m, esp32_funcs, 360 | sizeof(esp32_funcs) / sizeof(JSCFunctionListEntry)); 361 | } 362 | #else 363 | // import * as esp32 from "esp32"; 364 | JSValue esp32 = JS_NewObject(ctx); 365 | JS_SetPropertyStr(ctx, global, "esp32", esp32); 366 | JS_SetPropertyFunctionList( 367 | ctx, esp32, esp32_funcs, 368 | sizeof(esp32_funcs) / sizeof(JSCFunctionListEntry)); 369 | #endif 370 | } 371 | 372 | static JSValue console_log(JSContext *ctx, JSValueConst jsThis, int argc, 373 | JSValueConst *argv) { 374 | for (int i = 0; i < argc; i++) { 375 | const char *str = JS_ToCString(ctx, argv[i]); 376 | if (str) { 377 | Serial.println(str); 378 | JS_FreeCString(ctx, str); 379 | } 380 | } 381 | return JS_UNDEFINED; 382 | } 383 | 384 | static JSValue set_timeout(JSContext *ctx, JSValueConst jsThis, int argc, 385 | JSValueConst *argv) { 386 | ESP32QuickJS *qjs = (ESP32QuickJS *)JS_GetContextOpaque(ctx); 387 | uint32_t t; 388 | JS_ToUint32(ctx, &t, argv[1]); 389 | uint32_t id = 390 | qjs->timer.RegisterTimer(JS_DupValue(ctx, argv[0]), millis() + t); 391 | return JS_NewUint32(ctx, id); 392 | } 393 | 394 | static JSValue clear_timeout(JSContext *ctx, JSValueConst jsThis, int argc, 395 | JSValueConst *argv) { 396 | ESP32QuickJS *qjs = (ESP32QuickJS *)JS_GetContextOpaque(ctx); 397 | uint32_t tid; 398 | JS_ToUint32(ctx, &tid, argv[0]); 399 | qjs->timer.RemoveTimer(tid); 400 | return JS_UNDEFINED; 401 | } 402 | 403 | static JSValue set_interval(JSContext *ctx, JSValueConst jsThis, int argc, 404 | JSValueConst *argv) { 405 | ESP32QuickJS *qjs = (ESP32QuickJS *)JS_GetContextOpaque(ctx); 406 | uint32_t t; 407 | JS_ToUint32(ctx, &t, argv[1]); 408 | uint32_t id = 409 | qjs->timer.RegisterTimer(JS_DupValue(ctx, argv[0]), millis() + t, t); 410 | return JS_NewUint32(ctx, id); 411 | } 412 | 413 | static JSValue esp32_millis(JSContext *ctx, JSValueConst jsThis, int argc, 414 | JSValueConst *argv) { 415 | return JS_NewUint32(ctx, millis()); 416 | } 417 | 418 | static JSValue esp32_gpio_mode(JSContext *ctx, JSValueConst jsThis, int argc, 419 | JSValueConst *argv) { 420 | uint32_t pin, mode; 421 | JS_ToUint32(ctx, &pin, argv[0]); 422 | JS_ToUint32(ctx, &mode, argv[1]); 423 | pinMode(pin, mode); 424 | return JS_UNDEFINED; 425 | } 426 | 427 | static JSValue esp32_gpio_digital_read(JSContext *ctx, JSValueConst jsThis, 428 | int argc, JSValueConst *argv) { 429 | uint32_t pin; 430 | JS_ToUint32(ctx, &pin, argv[0]); 431 | return JS_NewUint32(ctx, digitalRead(pin)); 432 | } 433 | 434 | static JSValue esp32_gpio_digital_write(JSContext *ctx, JSValueConst jsThis, 435 | int argc, JSValueConst *argv) { 436 | uint32_t pin, value; 437 | JS_ToUint32(ctx, &pin, argv[0]); 438 | JS_ToUint32(ctx, &value, argv[1]); 439 | digitalWrite(pin, value); 440 | return JS_UNDEFINED; 441 | } 442 | 443 | static JSValue esp32_deep_sleep(JSContext *ctx, JSValueConst jsThis, int argc, 444 | JSValueConst *argv) { 445 | uint32_t t; 446 | JS_ToUint32(ctx, &t, argv[0]); 447 | ESP.deepSleep(t); // never return. 448 | return JS_UNDEFINED; 449 | } 450 | 451 | static JSValue esp32_set_loop(JSContext *ctx, JSValueConst jsThis, int argc, 452 | JSValueConst *argv) { 453 | ESP32QuickJS *qjs = (ESP32QuickJS *)JS_GetContextOpaque(ctx); 454 | qjs->setLoopFunc(JS_DupValue(ctx, argv[0])); 455 | return JS_UNDEFINED; 456 | } 457 | 458 | #ifdef ENABLE_WIFI 459 | static JSValue wifi_is_connected(JSContext *ctx, JSValueConst jsThis, 460 | int argc, JSValueConst *argv) { 461 | return JS_NewBool(ctx, WiFi.status() == WL_CONNECTED); 462 | } 463 | 464 | static JSValue http_fetch(JSContext *ctx, JSValueConst jsThis, int argc, 465 | JSValueConst *argv) { 466 | ESP32QuickJS *qjs = (ESP32QuickJS *)JS_GetContextOpaque(ctx); 467 | return qjs->httpFetcher.fetch(ctx, argv[0], argv[1]); 468 | } 469 | #endif 470 | }; 471 | -------------------------------------------------------------------------------- /examples/fib.c: -------------------------------------------------------------------------------- 1 | /* 2 | * QuickJS: Example of C module 3 | * 4 | * Copyright (c) 2017-2018 Fabrice Bellard 5 | * 6 | * Permission is hereby granted, free of charge, to any person obtaining a copy 7 | * of this software and associated documentation files (the "Software"), to deal 8 | * in the Software without restriction, including without limitation the rights 9 | * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 10 | * copies of the Software, and to permit persons to whom the Software is 11 | * furnished to do so, subject to the following conditions: 12 | * 13 | * The above copyright notice and this permission notice shall be included in 14 | * all copies or substantial portions of the Software. 15 | * 16 | * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 17 | * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 18 | * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL 19 | * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 20 | * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 21 | * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN 22 | * THE SOFTWARE. 23 | */ 24 | #include "../quickjs.h" 25 | 26 | #define countof(x) (sizeof(x) / sizeof((x)[0])) 27 | 28 | static int fib(int n) 29 | { 30 | if (n <= 0) 31 | return 0; 32 | else if (n == 1) 33 | return 1; 34 | else 35 | return fib(n - 1) + fib(n - 2); 36 | } 37 | 38 | static JSValue js_fib(JSContext *ctx, JSValueConst this_val, 39 | int argc, JSValueConst *argv) 40 | { 41 | int n, res; 42 | if (JS_ToInt32(ctx, &n, argv[0])) 43 | return JS_EXCEPTION; 44 | res = fib(n); 45 | return JS_NewInt32(ctx, res); 46 | } 47 | 48 | static const JSCFunctionListEntry js_fib_funcs[] = { 49 | JS_CFUNC_DEF("fib", 1, js_fib ), 50 | }; 51 | 52 | static int js_fib_init(JSContext *ctx, JSModuleDef *m) 53 | { 54 | return JS_SetModuleExportList(ctx, m, js_fib_funcs, 55 | countof(js_fib_funcs)); 56 | } 57 | 58 | #ifdef JS_SHARED_LIBRARY 59 | #define JS_INIT_MODULE js_init_module 60 | #else 61 | #define JS_INIT_MODULE js_init_module_fib 62 | #endif 63 | 64 | JSModuleDef *JS_INIT_MODULE(JSContext *ctx, const char *module_name) 65 | { 66 | JSModuleDef *m; 67 | m = JS_NewCModule(ctx, module_name, js_fib_init); 68 | if (!m) 69 | return NULL; 70 | JS_AddModuleExportList(ctx, m, js_fib_funcs, countof(js_fib_funcs)); 71 | return m; 72 | } 73 | -------------------------------------------------------------------------------- /examples/fib_module.js: -------------------------------------------------------------------------------- 1 | /* fib module */ 2 | export function fib(n) 3 | { 4 | if (n <= 0) 5 | return 0; 6 | else if (n == 1) 7 | return 1; 8 | else 9 | return fib(n - 1) + fib(n - 2); 10 | } 11 | -------------------------------------------------------------------------------- /examples/hello.js: -------------------------------------------------------------------------------- 1 | console.log("Hello World"); 2 | -------------------------------------------------------------------------------- /examples/hello_module.js: -------------------------------------------------------------------------------- 1 | /* example of JS module */ 2 | 3 | import { fib } from "./fib_module.js"; 4 | 5 | console.log("Hello World"); 6 | console.log("fib(10)=", fib(10)); 7 | -------------------------------------------------------------------------------- /examples/pi_bigdecimal.js: -------------------------------------------------------------------------------- 1 | /* 2 | * PI computation in Javascript using the QuickJS bigdecimal type 3 | * (decimal floating point) 4 | */ 5 | "use strict"; 6 | 7 | /* compute PI with a precision of 'prec' digits */ 8 | function calc_pi(prec) { 9 | const CHUD_A = 13591409m; 10 | const CHUD_B = 545140134m; 11 | const CHUD_C = 640320m; 12 | const CHUD_C3 = 10939058860032000m; /* C^3/24 */ 13 | const CHUD_DIGITS_PER_TERM = 14.18164746272548; /* log10(C/12)*3 */ 14 | 15 | /* return [P, Q, G] */ 16 | function chud_bs(a, b, need_G) { 17 | var c, P, Q, G, P1, Q1, G1, P2, Q2, G2, b1; 18 | if (a == (b - 1n)) { 19 | b1 = BigDecimal(b); 20 | G = (2m * b1 - 1m) * (6m * b1 - 1m) * (6m * b1 - 5m); 21 | P = G * (CHUD_B * b1 + CHUD_A); 22 | if (b & 1n) 23 | P = -P; 24 | G = G; 25 | Q = b1 * b1 * b1 * CHUD_C3; 26 | } else { 27 | c = (a + b) >> 1n; 28 | [P1, Q1, G1] = chud_bs(a, c, true); 29 | [P2, Q2, G2] = chud_bs(c, b, need_G); 30 | P = P1 * Q2 + P2 * G1; 31 | Q = Q1 * Q2; 32 | if (need_G) 33 | G = G1 * G2; 34 | else 35 | G = 0m; 36 | } 37 | return [P, Q, G]; 38 | } 39 | 40 | var n, P, Q, G; 41 | /* number of serie terms */ 42 | n = BigInt(Math.ceil(prec / CHUD_DIGITS_PER_TERM)) + 10n; 43 | [P, Q, G] = chud_bs(0n, n, false); 44 | Q = BigDecimal.div(Q, (P + Q * CHUD_A), 45 | { roundingMode: "half-even", 46 | maximumSignificantDigits: prec }); 47 | G = (CHUD_C / 12m) * BigDecimal.sqrt(CHUD_C, 48 | { roundingMode: "half-even", 49 | maximumSignificantDigits: prec }); 50 | return Q * G; 51 | } 52 | 53 | (function() { 54 | var r, n_digits, n_bits; 55 | if (typeof scriptArgs != "undefined") { 56 | if (scriptArgs.length < 2) { 57 | print("usage: pi n_digits"); 58 | return; 59 | } 60 | n_digits = scriptArgs[1] | 0; 61 | } else { 62 | n_digits = 1000; 63 | } 64 | /* we add more digits to reduce the probability of bad rounding for 65 | the last digits */ 66 | r = calc_pi(n_digits + 20); 67 | print(r.toFixed(n_digits, "down")); 68 | })(); 69 | -------------------------------------------------------------------------------- /examples/pi_bigfloat.js: -------------------------------------------------------------------------------- 1 | /* 2 | * PI computation in Javascript using the QuickJS bigfloat type 3 | * (binary floating point) 4 | */ 5 | "use strict"; 6 | 7 | /* compute PI with a precision of 'prec' bits */ 8 | function calc_pi() { 9 | const CHUD_A = 13591409n; 10 | const CHUD_B = 545140134n; 11 | const CHUD_C = 640320n; 12 | const CHUD_C3 = 10939058860032000n; /* C^3/24 */ 13 | const CHUD_BITS_PER_TERM = 47.11041313821584202247; /* log2(C/12)*3 */ 14 | 15 | /* return [P, Q, G] */ 16 | function chud_bs(a, b, need_G) { 17 | var c, P, Q, G, P1, Q1, G1, P2, Q2, G2; 18 | if (a == (b - 1n)) { 19 | G = (2n * b - 1n) * (6n * b - 1n) * (6n * b - 5n); 20 | P = BigFloat(G * (CHUD_B * b + CHUD_A)); 21 | if (b & 1n) 22 | P = -P; 23 | G = BigFloat(G); 24 | Q = BigFloat(b * b * b * CHUD_C3); 25 | } else { 26 | c = (a + b) >> 1n; 27 | [P1, Q1, G1] = chud_bs(a, c, true); 28 | [P2, Q2, G2] = chud_bs(c, b, need_G); 29 | P = P1 * Q2 + P2 * G1; 30 | Q = Q1 * Q2; 31 | if (need_G) 32 | G = G1 * G2; 33 | else 34 | G = 0l; 35 | } 36 | return [P, Q, G]; 37 | } 38 | 39 | var n, P, Q, G; 40 | /* number of serie terms */ 41 | n = BigInt(Math.ceil(BigFloatEnv.prec / CHUD_BITS_PER_TERM)) + 10n; 42 | [P, Q, G] = chud_bs(0n, n, false); 43 | Q = Q / (P + Q * BigFloat(CHUD_A)); 44 | G = BigFloat((CHUD_C / 12n)) * BigFloat.sqrt(BigFloat(CHUD_C)); 45 | return Q * G; 46 | } 47 | 48 | (function() { 49 | var r, n_digits, n_bits; 50 | if (typeof scriptArgs != "undefined") { 51 | if (scriptArgs.length < 2) { 52 | print("usage: pi n_digits"); 53 | return; 54 | } 55 | n_digits = scriptArgs[1]; 56 | } else { 57 | n_digits = 1000; 58 | } 59 | n_bits = Math.ceil(n_digits * Math.log2(10)); 60 | /* we add more bits to reduce the probability of bad rounding for 61 | the last digits */ 62 | BigFloatEnv.setPrec( () => { 63 | r = calc_pi(); 64 | print(r.toFixed(n_digits, BigFloatEnv.RNDZ)); 65 | }, n_bits + 32); 66 | })(); 67 | -------------------------------------------------------------------------------- /examples/pi_bigint.js: -------------------------------------------------------------------------------- 1 | /* 2 | * PI computation in Javascript using the BigInt type 3 | */ 4 | "use strict"; 5 | 6 | /* return floor(log2(a)) for a > 0 and 0 for a = 0 */ 7 | function floor_log2(a) 8 | { 9 | var k_max, a1, k, i; 10 | k_max = 0n; 11 | while ((a >> (2n ** k_max)) != 0n) { 12 | k_max++; 13 | } 14 | k = 0n; 15 | a1 = a; 16 | for(i = k_max - 1n; i >= 0n; i--) { 17 | a1 = a >> (2n ** i); 18 | if (a1 != 0n) { 19 | a = a1; 20 | k |= (1n << i); 21 | } 22 | } 23 | return k; 24 | } 25 | 26 | /* return ceil(log2(a)) for a > 0 */ 27 | function ceil_log2(a) 28 | { 29 | return floor_log2(a - 1n) + 1n; 30 | } 31 | 32 | /* return floor(sqrt(a)) (not efficient but simple) */ 33 | function int_sqrt(a) 34 | { 35 | var l, u, s; 36 | if (a == 0n) 37 | return a; 38 | l = ceil_log2(a); 39 | u = 1n << ((l + 1n) / 2n); 40 | /* u >= floor(sqrt(a)) */ 41 | for(;;) { 42 | s = u; 43 | u = ((a / s) + s) / 2n; 44 | if (u >= s) 45 | break; 46 | } 47 | return s; 48 | } 49 | 50 | /* return pi * 2**prec */ 51 | function calc_pi(prec) { 52 | const CHUD_A = 13591409n; 53 | const CHUD_B = 545140134n; 54 | const CHUD_C = 640320n; 55 | const CHUD_C3 = 10939058860032000n; /* C^3/24 */ 56 | const CHUD_BITS_PER_TERM = 47.11041313821584202247; /* log2(C/12)*3 */ 57 | 58 | /* return [P, Q, G] */ 59 | function chud_bs(a, b, need_G) { 60 | var c, P, Q, G, P1, Q1, G1, P2, Q2, G2; 61 | if (a == (b - 1n)) { 62 | G = (2n * b - 1n) * (6n * b - 1n) * (6n * b - 5n); 63 | P = G * (CHUD_B * b + CHUD_A); 64 | if (b & 1n) 65 | P = -P; 66 | Q = b * b * b * CHUD_C3; 67 | } else { 68 | c = (a + b) >> 1n; 69 | [P1, Q1, G1] = chud_bs(a, c, true); 70 | [P2, Q2, G2] = chud_bs(c, b, need_G); 71 | P = P1 * Q2 + P2 * G1; 72 | Q = Q1 * Q2; 73 | if (need_G) 74 | G = G1 * G2; 75 | else 76 | G = 0n; 77 | } 78 | return [P, Q, G]; 79 | } 80 | 81 | var n, P, Q, G; 82 | /* number of serie terms */ 83 | n = BigInt(Math.ceil(Number(prec) / CHUD_BITS_PER_TERM)) + 10n; 84 | [P, Q, G] = chud_bs(0n, n, false); 85 | Q = (CHUD_C / 12n) * (Q << prec) / (P + Q * CHUD_A); 86 | G = int_sqrt(CHUD_C << (2n * prec)); 87 | return (Q * G) >> prec; 88 | } 89 | 90 | function main(args) { 91 | var r, n_digits, n_bits, out; 92 | if (args.length < 1) { 93 | print("usage: pi n_digits"); 94 | return; 95 | } 96 | n_digits = args[0] | 0; 97 | 98 | /* we add more bits to reduce the probability of bad rounding for 99 | the last digits */ 100 | n_bits = BigInt(Math.ceil(n_digits * Math.log2(10))) + 32n; 101 | r = calc_pi(n_bits); 102 | r = ((10n ** BigInt(n_digits)) * r) >> n_bits; 103 | out = r.toString(); 104 | print(out[0] + "." + out.slice(1)); 105 | } 106 | 107 | var args; 108 | if (typeof scriptArgs != "undefined") { 109 | args = scriptArgs; 110 | args.shift(); 111 | } else if (typeof arguments != "undefined") { 112 | args = arguments; 113 | } else { 114 | /* default: 1000 digits */ 115 | args=[1000]; 116 | } 117 | 118 | main(args); 119 | -------------------------------------------------------------------------------- /examples/point.c: -------------------------------------------------------------------------------- 1 | /* 2 | * QuickJS: Example of C module with a class 3 | * 4 | * Copyright (c) 2019 Fabrice Bellard 5 | * 6 | * Permission is hereby granted, free of charge, to any person obtaining a copy 7 | * of this software and associated documentation files (the "Software"), to deal 8 | * in the Software without restriction, including without limitation the rights 9 | * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 10 | * copies of the Software, and to permit persons to whom the Software is 11 | * furnished to do so, subject to the following conditions: 12 | * 13 | * The above copyright notice and this permission notice shall be included in 14 | * all copies or substantial portions of the Software. 15 | * 16 | * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 17 | * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 18 | * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL 19 | * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 20 | * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 21 | * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN 22 | * THE SOFTWARE. 23 | */ 24 | #include "../quickjs.h" 25 | #include 26 | 27 | #define countof(x) (sizeof(x) / sizeof((x)[0])) 28 | 29 | /* Point Class */ 30 | 31 | typedef struct { 32 | int x; 33 | int y; 34 | } JSPointData; 35 | 36 | static JSClassID js_point_class_id; 37 | 38 | static void js_point_finalizer(JSRuntime *rt, JSValue val) 39 | { 40 | JSPointData *s = JS_GetOpaque(val, js_point_class_id); 41 | /* Note: 's' can be NULL in case JS_SetOpaque() was not called */ 42 | js_free_rt(rt, s); 43 | } 44 | 45 | static JSValue js_point_ctor(JSContext *ctx, 46 | JSValueConst new_target, 47 | int argc, JSValueConst *argv) 48 | { 49 | JSPointData *s; 50 | JSValue obj = JS_UNDEFINED; 51 | JSValue proto; 52 | 53 | s = js_mallocz(ctx, sizeof(*s)); 54 | if (!s) 55 | return JS_EXCEPTION; 56 | if (JS_ToInt32(ctx, &s->x, argv[0])) 57 | goto fail; 58 | if (JS_ToInt32(ctx, &s->y, argv[1])) 59 | goto fail; 60 | /* using new_target to get the prototype is necessary when the 61 | class is extended. */ 62 | proto = JS_GetPropertyStr(ctx, new_target, "prototype"); 63 | if (JS_IsException(proto)) 64 | goto fail; 65 | obj = JS_NewObjectProtoClass(ctx, proto, js_point_class_id); 66 | JS_FreeValue(ctx, proto); 67 | if (JS_IsException(obj)) 68 | goto fail; 69 | JS_SetOpaque(obj, s); 70 | return obj; 71 | fail: 72 | js_free(ctx, s); 73 | JS_FreeValue(ctx, obj); 74 | return JS_EXCEPTION; 75 | } 76 | 77 | static JSValue js_point_get_xy(JSContext *ctx, JSValueConst this_val, int magic) 78 | { 79 | JSPointData *s = JS_GetOpaque2(ctx, this_val, js_point_class_id); 80 | if (!s) 81 | return JS_EXCEPTION; 82 | if (magic == 0) 83 | return JS_NewInt32(ctx, s->x); 84 | else 85 | return JS_NewInt32(ctx, s->y); 86 | } 87 | 88 | static JSValue js_point_set_xy(JSContext *ctx, JSValueConst this_val, JSValue val, int magic) 89 | { 90 | JSPointData *s = JS_GetOpaque2(ctx, this_val, js_point_class_id); 91 | int v; 92 | if (!s) 93 | return JS_EXCEPTION; 94 | if (JS_ToInt32(ctx, &v, val)) 95 | return JS_EXCEPTION; 96 | if (magic == 0) 97 | s->x = v; 98 | else 99 | s->y = v; 100 | return JS_UNDEFINED; 101 | } 102 | 103 | static JSValue js_point_norm(JSContext *ctx, JSValueConst this_val, 104 | int argc, JSValueConst *argv) 105 | { 106 | JSPointData *s = JS_GetOpaque2(ctx, this_val, js_point_class_id); 107 | if (!s) 108 | return JS_EXCEPTION; 109 | return JS_NewFloat64(ctx, sqrt((double)s->x * s->x + (double)s->y * s->y)); 110 | } 111 | 112 | static JSClassDef js_point_class = { 113 | "Point", 114 | .finalizer = js_point_finalizer, 115 | }; 116 | 117 | static const JSCFunctionListEntry js_point_proto_funcs[] = { 118 | JS_CGETSET_MAGIC_DEF("x", js_point_get_xy, js_point_set_xy, 0), 119 | JS_CGETSET_MAGIC_DEF("y", js_point_get_xy, js_point_set_xy, 1), 120 | JS_CFUNC_DEF("norm", 0, js_point_norm), 121 | }; 122 | 123 | static int js_point_init(JSContext *ctx, JSModuleDef *m) 124 | { 125 | JSValue point_proto, point_class; 126 | 127 | /* create the Point class */ 128 | JS_NewClassID(&js_point_class_id); 129 | JS_NewClass(JS_GetRuntime(ctx), js_point_class_id, &js_point_class); 130 | 131 | point_proto = JS_NewObject(ctx); 132 | JS_SetPropertyFunctionList(ctx, point_proto, js_point_proto_funcs, countof(js_point_proto_funcs)); 133 | 134 | point_class = JS_NewCFunction2(ctx, js_point_ctor, "Point", 2, JS_CFUNC_constructor, 0); 135 | /* set proto.constructor and ctor.prototype */ 136 | JS_SetConstructor(ctx, point_class, point_proto); 137 | JS_SetClassProto(ctx, js_point_class_id, point_proto); 138 | 139 | JS_SetModuleExport(ctx, m, "Point", point_class); 140 | return 0; 141 | } 142 | 143 | JSModuleDef *js_init_module(JSContext *ctx, const char *module_name) 144 | { 145 | JSModuleDef *m; 146 | m = JS_NewCModule(ctx, module_name, js_point_init); 147 | if (!m) 148 | return NULL; 149 | JS_AddModuleExport(ctx, m, "Point"); 150 | return m; 151 | } 152 | -------------------------------------------------------------------------------- /examples/test_fib.js: -------------------------------------------------------------------------------- 1 | /* example of JS module importing a C module */ 2 | 3 | import { fib } from "./fib.so"; 4 | 5 | console.log("Hello World"); 6 | console.log("fib(10)=", fib(10)); 7 | -------------------------------------------------------------------------------- /examples/test_point.js: -------------------------------------------------------------------------------- 1 | /* example of JS module importing a C module */ 2 | import { Point } from "./point.so"; 3 | 4 | function assert(b, str) 5 | { 6 | if (b) { 7 | return; 8 | } else { 9 | throw Error("assertion failed: " + str); 10 | } 11 | } 12 | 13 | class ColorPoint extends Point { 14 | constructor(x, y, color) { 15 | super(x, y); 16 | this.color = color; 17 | } 18 | get_color() { 19 | return this.color; 20 | } 21 | }; 22 | 23 | function main() 24 | { 25 | var pt, pt2; 26 | 27 | pt = new Point(2, 3); 28 | assert(pt.x === 2); 29 | assert(pt.y === 3); 30 | pt.x = 4; 31 | assert(pt.x === 4); 32 | assert(pt.norm() == 5); 33 | 34 | pt2 = new ColorPoint(2, 3, 0xffffff); 35 | assert(pt2.x === 2); 36 | assert(pt2.color === 0xffffff); 37 | assert(pt2.get_color() === 0xffffff); 38 | } 39 | 40 | main(); 41 | -------------------------------------------------------------------------------- /library.json: -------------------------------------------------------------------------------- 1 | { 2 | "name": "QuickJS", 3 | "description": "QuickJS Javascript Engine for ESP32", 4 | "keywords": "JavaScript", 5 | "authors": [ 6 | { 7 | "name": "Fabrice Bellard", 8 | "url": "https://bellard.org/quickjs/" 9 | }, 10 | { 11 | "name": "binzume", 12 | "url": "https://github.com/binzume/esp32quickjs" 13 | } 14 | ], 15 | "repository": { 16 | "type": "git", 17 | "url": "https://github.com/binzume/esp32quickjs.git" 18 | }, 19 | "version": "0.0.1", 20 | "framework": "*", 21 | "platforms": "espressif32", 22 | "build": { 23 | "flags": "-DCONFIG_VERSION=\\\"2020-11-08\\\"", 24 | "srcFilter": [ 25 | "+<*.c>", 26 | "+<*.h>", 27 | "-", 28 | "-", 29 | "-", 30 | "-", 31 | "-", 32 | "-", 33 | "-", 34 | "-", 35 | "-" 36 | ] 37 | } 38 | } -------------------------------------------------------------------------------- /libregexp-opcode.h: -------------------------------------------------------------------------------- 1 | /* 2 | * Regular Expression Engine 3 | * 4 | * Copyright (c) 2017-2018 Fabrice Bellard 5 | * 6 | * Permission is hereby granted, free of charge, to any person obtaining a copy 7 | * of this software and associated documentation files (the "Software"), to deal 8 | * in the Software without restriction, including without limitation the rights 9 | * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 10 | * copies of the Software, and to permit persons to whom the Software is 11 | * furnished to do so, subject to the following conditions: 12 | * 13 | * The above copyright notice and this permission notice shall be included in 14 | * all copies or substantial portions of the Software. 15 | * 16 | * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 17 | * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 18 | * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL 19 | * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 20 | * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 21 | * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN 22 | * THE SOFTWARE. 23 | */ 24 | 25 | #ifdef DEF 26 | 27 | DEF(invalid, 1) /* never used */ 28 | DEF(char, 3) 29 | DEF(char32, 5) 30 | DEF(dot, 1) 31 | DEF(any, 1) /* same as dot but match any character including line terminator */ 32 | DEF(line_start, 1) 33 | DEF(line_end, 1) 34 | DEF(goto, 5) 35 | DEF(split_goto_first, 5) 36 | DEF(split_next_first, 5) 37 | DEF(match, 1) 38 | DEF(save_start, 2) /* save start position */ 39 | DEF(save_end, 2) /* save end position, must come after saved_start */ 40 | DEF(save_reset, 3) /* reset save positions */ 41 | DEF(loop, 5) /* decrement the top the stack and goto if != 0 */ 42 | DEF(push_i32, 5) /* push integer on the stack */ 43 | DEF(drop, 1) 44 | DEF(word_boundary, 1) 45 | DEF(not_word_boundary, 1) 46 | DEF(back_reference, 2) 47 | DEF(backward_back_reference, 2) /* must come after back_reference */ 48 | DEF(range, 3) /* variable length */ 49 | DEF(range32, 3) /* variable length */ 50 | DEF(lookahead, 5) 51 | DEF(negative_lookahead, 5) 52 | DEF(push_char_pos, 1) /* push the character position on the stack */ 53 | DEF(bne_char_pos, 5) /* pop one stack element and jump if equal to the character 54 | position */ 55 | DEF(prev, 1) /* go to the previous char */ 56 | DEF(simple_greedy_quant, 17) 57 | 58 | #endif /* DEF */ 59 | -------------------------------------------------------------------------------- /libregexp.h: -------------------------------------------------------------------------------- 1 | /* 2 | * Regular Expression Engine 3 | * 4 | * Copyright (c) 2017-2018 Fabrice Bellard 5 | * 6 | * Permission is hereby granted, free of charge, to any person obtaining a copy 7 | * of this software and associated documentation files (the "Software"), to deal 8 | * in the Software without restriction, including without limitation the rights 9 | * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 10 | * copies of the Software, and to permit persons to whom the Software is 11 | * furnished to do so, subject to the following conditions: 12 | * 13 | * The above copyright notice and this permission notice shall be included in 14 | * all copies or substantial portions of the Software. 15 | * 16 | * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 17 | * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 18 | * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL 19 | * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 20 | * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 21 | * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN 22 | * THE SOFTWARE. 23 | */ 24 | #ifndef LIBREGEXP_H 25 | #define LIBREGEXP_H 26 | 27 | #include 28 | 29 | #include "libunicode.h" 30 | 31 | #define LRE_BOOL int /* for documentation purposes */ 32 | 33 | #define LRE_FLAG_GLOBAL (1 << 0) 34 | #define LRE_FLAG_IGNORECASE (1 << 1) 35 | #define LRE_FLAG_MULTILINE (1 << 2) 36 | #define LRE_FLAG_DOTALL (1 << 3) 37 | #define LRE_FLAG_UTF16 (1 << 4) 38 | #define LRE_FLAG_STICKY (1 << 5) 39 | 40 | #define LRE_FLAG_NAMED_GROUPS (1 << 7) /* named groups are present in the regexp */ 41 | 42 | uint8_t *lre_compile(int *plen, char *error_msg, int error_msg_size, 43 | const char *buf, size_t buf_len, int re_flags, 44 | void *opaque); 45 | int lre_get_capture_count(const uint8_t *bc_buf); 46 | int lre_get_flags(const uint8_t *bc_buf); 47 | const char *lre_get_groupnames(const uint8_t *bc_buf); 48 | int lre_exec(uint8_t **capture, 49 | const uint8_t *bc_buf, const uint8_t *cbuf, int cindex, int clen, 50 | int cbuf_type, void *opaque); 51 | 52 | int lre_parse_escape(const uint8_t **pp, int allow_utf16); 53 | LRE_BOOL lre_is_space(int c); 54 | 55 | /* must be provided by the user */ 56 | LRE_BOOL lre_check_stack_overflow(void *opaque, size_t alloca_size); 57 | void *lre_realloc(void *opaque, void *ptr, size_t size); 58 | 59 | /* JS identifier test */ 60 | extern uint32_t const lre_id_start_table_ascii[4]; 61 | extern uint32_t const lre_id_continue_table_ascii[4]; 62 | 63 | static inline int lre_js_is_ident_first(int c) 64 | { 65 | if ((uint32_t)c < 128) { 66 | return (lre_id_start_table_ascii[c >> 5] >> (c & 31)) & 1; 67 | } else { 68 | #ifdef CONFIG_ALL_UNICODE 69 | return lre_is_id_start(c); 70 | #else 71 | return !lre_is_space(c); 72 | #endif 73 | } 74 | } 75 | 76 | static inline int lre_js_is_ident_next(int c) 77 | { 78 | if ((uint32_t)c < 128) { 79 | return (lre_id_continue_table_ascii[c >> 5] >> (c & 31)) & 1; 80 | } else { 81 | /* ZWNJ and ZWJ are accepted in identifiers */ 82 | #ifdef CONFIG_ALL_UNICODE 83 | return lre_is_id_continue(c) || c == 0x200C || c == 0x200D; 84 | #else 85 | return !lre_is_space(c) || c == 0x200C || c == 0x200D; 86 | #endif 87 | } 88 | } 89 | 90 | #undef LRE_BOOL 91 | 92 | #endif /* LIBREGEXP_H */ 93 | -------------------------------------------------------------------------------- /libunicode.h: -------------------------------------------------------------------------------- 1 | /* 2 | * Unicode utilities 3 | * 4 | * Copyright (c) 2017-2018 Fabrice Bellard 5 | * 6 | * Permission is hereby granted, free of charge, to any person obtaining a copy 7 | * of this software and associated documentation files (the "Software"), to deal 8 | * in the Software without restriction, including without limitation the rights 9 | * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 10 | * copies of the Software, and to permit persons to whom the Software is 11 | * furnished to do so, subject to the following conditions: 12 | * 13 | * The above copyright notice and this permission notice shall be included in 14 | * all copies or substantial portions of the Software. 15 | * 16 | * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 17 | * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 18 | * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL 19 | * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 20 | * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 21 | * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN 22 | * THE SOFTWARE. 23 | */ 24 | #ifndef LIBUNICODE_H 25 | #define LIBUNICODE_H 26 | 27 | #include 28 | 29 | #define LRE_BOOL int /* for documentation purposes */ 30 | 31 | /* define it to include all the unicode tables (40KB larger) */ 32 | #define CONFIG_ALL_UNICODE 33 | 34 | #define LRE_CC_RES_LEN_MAX 3 35 | 36 | typedef enum { 37 | UNICODE_NFC, 38 | UNICODE_NFD, 39 | UNICODE_NFKC, 40 | UNICODE_NFKD, 41 | } UnicodeNormalizationEnum; 42 | 43 | int lre_case_conv(uint32_t *res, uint32_t c, int conv_type); 44 | LRE_BOOL lre_is_cased(uint32_t c); 45 | LRE_BOOL lre_is_case_ignorable(uint32_t c); 46 | 47 | /* char ranges */ 48 | 49 | typedef struct { 50 | int len; /* in points, always even */ 51 | int size; 52 | uint32_t *points; /* points sorted by increasing value */ 53 | void *mem_opaque; 54 | void *(*realloc_func)(void *opaque, void *ptr, size_t size); 55 | } CharRange; 56 | 57 | typedef enum { 58 | CR_OP_UNION, 59 | CR_OP_INTER, 60 | CR_OP_XOR, 61 | } CharRangeOpEnum; 62 | 63 | void cr_init(CharRange *cr, void *mem_opaque, void *(*realloc_func)(void *opaque, void *ptr, size_t size)); 64 | void cr_free(CharRange *cr); 65 | int cr_realloc(CharRange *cr, int size); 66 | int cr_copy(CharRange *cr, const CharRange *cr1); 67 | 68 | static inline int cr_add_point(CharRange *cr, uint32_t v) 69 | { 70 | if (cr->len >= cr->size) { 71 | if (cr_realloc(cr, cr->len + 1)) 72 | return -1; 73 | } 74 | cr->points[cr->len++] = v; 75 | return 0; 76 | } 77 | 78 | static inline int cr_add_interval(CharRange *cr, uint32_t c1, uint32_t c2) 79 | { 80 | if ((cr->len + 2) > cr->size) { 81 | if (cr_realloc(cr, cr->len + 2)) 82 | return -1; 83 | } 84 | cr->points[cr->len++] = c1; 85 | cr->points[cr->len++] = c2; 86 | return 0; 87 | } 88 | 89 | int cr_union1(CharRange *cr, const uint32_t *b_pt, int b_len); 90 | 91 | static inline int cr_union_interval(CharRange *cr, uint32_t c1, uint32_t c2) 92 | { 93 | uint32_t b_pt[2]; 94 | b_pt[0] = c1; 95 | b_pt[1] = c2 + 1; 96 | return cr_union1(cr, b_pt, 2); 97 | } 98 | 99 | int cr_op(CharRange *cr, const uint32_t *a_pt, int a_len, 100 | const uint32_t *b_pt, int b_len, int op); 101 | 102 | int cr_invert(CharRange *cr); 103 | 104 | #ifdef CONFIG_ALL_UNICODE 105 | 106 | LRE_BOOL lre_is_id_start(uint32_t c); 107 | LRE_BOOL lre_is_id_continue(uint32_t c); 108 | 109 | int unicode_normalize(uint32_t **pdst, const uint32_t *src, int src_len, 110 | UnicodeNormalizationEnum n_type, 111 | void *opaque, void *(*realloc_func)(void *opaque, void *ptr, size_t size)); 112 | 113 | /* Unicode character range functions */ 114 | 115 | int unicode_script(CharRange *cr, 116 | const char *script_name, LRE_BOOL is_ext); 117 | int unicode_general_category(CharRange *cr, const char *gc_name); 118 | int unicode_prop(CharRange *cr, const char *prop_name); 119 | 120 | #endif /* CONFIG_ALL_UNICODE */ 121 | 122 | #undef LRE_BOOL 123 | 124 | #endif /* LIBUNICODE_H */ 125 | -------------------------------------------------------------------------------- /list.h: -------------------------------------------------------------------------------- 1 | /* 2 | * Linux klist like system 3 | * 4 | * Copyright (c) 2016-2017 Fabrice Bellard 5 | * 6 | * Permission is hereby granted, free of charge, to any person obtaining a copy 7 | * of this software and associated documentation files (the "Software"), to deal 8 | * in the Software without restriction, including without limitation the rights 9 | * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 10 | * copies of the Software, and to permit persons to whom the Software is 11 | * furnished to do so, subject to the following conditions: 12 | * 13 | * The above copyright notice and this permission notice shall be included in 14 | * all copies or substantial portions of the Software. 15 | * 16 | * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 17 | * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 18 | * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL 19 | * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 20 | * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 21 | * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN 22 | * THE SOFTWARE. 23 | */ 24 | #ifndef LIST_H 25 | #define LIST_H 26 | 27 | #ifndef NULL 28 | #include 29 | #endif 30 | 31 | struct list_head { 32 | struct list_head *prev; 33 | struct list_head *next; 34 | }; 35 | 36 | #define LIST_HEAD_INIT(el) { &(el), &(el) } 37 | 38 | /* return the pointer of type 'type *' containing 'el' as field 'member' */ 39 | #define list_entry(el, type, member) \ 40 | ((type *)((uint8_t *)(el) - offsetof(type, member))) 41 | 42 | static inline void init_list_head(struct list_head *head) 43 | { 44 | head->prev = head; 45 | head->next = head; 46 | } 47 | 48 | /* insert 'el' between 'prev' and 'next' */ 49 | static inline void __list_add(struct list_head *el, 50 | struct list_head *prev, struct list_head *next) 51 | { 52 | prev->next = el; 53 | el->prev = prev; 54 | el->next = next; 55 | next->prev = el; 56 | } 57 | 58 | /* add 'el' at the head of the list 'head' (= after element head) */ 59 | static inline void list_add(struct list_head *el, struct list_head *head) 60 | { 61 | __list_add(el, head, head->next); 62 | } 63 | 64 | /* add 'el' at the end of the list 'head' (= before element head) */ 65 | static inline void list_add_tail(struct list_head *el, struct list_head *head) 66 | { 67 | __list_add(el, head->prev, head); 68 | } 69 | 70 | static inline void list_del(struct list_head *el) 71 | { 72 | struct list_head *prev, *next; 73 | prev = el->prev; 74 | next = el->next; 75 | prev->next = next; 76 | next->prev = prev; 77 | el->prev = NULL; /* fail safe */ 78 | el->next = NULL; /* fail safe */ 79 | } 80 | 81 | static inline int list_empty(struct list_head *el) 82 | { 83 | return el->next == el; 84 | } 85 | 86 | #define list_for_each(el, head) \ 87 | for(el = (head)->next; el != (head); el = el->next) 88 | 89 | #define list_for_each_safe(el, el1, head) \ 90 | for(el = (head)->next, el1 = el->next; el != (head); \ 91 | el = el1, el1 = el->next) 92 | 93 | #define list_for_each_prev(el, head) \ 94 | for(el = (head)->prev; el != (head); el = el->prev) 95 | 96 | #define list_for_each_prev_safe(el, el1, head) \ 97 | for(el = (head)->prev, el1 = el->prev; el != (head); \ 98 | el = el1, el1 = el->prev) 99 | 100 | #endif /* LIST_H */ 101 | -------------------------------------------------------------------------------- /qjs.c: -------------------------------------------------------------------------------- 1 | /* 2 | * QuickJS stand alone interpreter 3 | * 4 | * Copyright (c) 2017-2020 Fabrice Bellard 5 | * Copyright (c) 2017-2020 Charlie Gordon 6 | * 7 | * Permission is hereby granted, free of charge, to any person obtaining a copy 8 | * of this software and associated documentation files (the "Software"), to deal 9 | * in the Software without restriction, including without limitation the rights 10 | * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 11 | * copies of the Software, and to permit persons to whom the Software is 12 | * furnished to do so, subject to the following conditions: 13 | * 14 | * The above copyright notice and this permission notice shall be included in 15 | * all copies or substantial portions of the Software. 16 | * 17 | * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 18 | * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 19 | * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL 20 | * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 21 | * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 22 | * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN 23 | * THE SOFTWARE. 24 | */ 25 | #include 26 | #include 27 | #include 28 | #include 29 | #include 30 | #include 31 | #include 32 | #include 33 | #include 34 | #include 35 | #if defined(__APPLE__) 36 | #include 37 | #elif defined(__linux__) 38 | #include 39 | #endif 40 | 41 | #include "cutils.h" 42 | #include "quickjs-libc.h" 43 | 44 | extern const uint8_t qjsc_repl[]; 45 | extern const uint32_t qjsc_repl_size; 46 | #ifdef CONFIG_BIGNUM 47 | extern const uint8_t qjsc_qjscalc[]; 48 | extern const uint32_t qjsc_qjscalc_size; 49 | static int bignum_ext; 50 | #endif 51 | 52 | static int eval_buf(JSContext *ctx, const void *buf, int buf_len, 53 | const char *filename, int eval_flags) 54 | { 55 | JSValue val; 56 | int ret; 57 | 58 | if ((eval_flags & JS_EVAL_TYPE_MASK) == JS_EVAL_TYPE_MODULE) { 59 | /* for the modules, we compile then run to be able to set 60 | import.meta */ 61 | val = JS_Eval(ctx, buf, buf_len, filename, 62 | eval_flags | JS_EVAL_FLAG_COMPILE_ONLY); 63 | if (!JS_IsException(val)) { 64 | js_module_set_import_meta(ctx, val, TRUE, TRUE); 65 | val = JS_EvalFunction(ctx, val); 66 | } 67 | } else { 68 | val = JS_Eval(ctx, buf, buf_len, filename, eval_flags); 69 | } 70 | if (JS_IsException(val)) { 71 | js_std_dump_error(ctx); 72 | ret = -1; 73 | } else { 74 | ret = 0; 75 | } 76 | JS_FreeValue(ctx, val); 77 | return ret; 78 | } 79 | 80 | static int eval_file(JSContext *ctx, const char *filename, int module) 81 | { 82 | uint8_t *buf; 83 | int ret, eval_flags; 84 | size_t buf_len; 85 | 86 | buf = js_load_file(ctx, &buf_len, filename); 87 | if (!buf) { 88 | perror(filename); 89 | exit(1); 90 | } 91 | 92 | if (module < 0) { 93 | module = (has_suffix(filename, ".mjs") || 94 | JS_DetectModule((const char *)buf, buf_len)); 95 | } 96 | if (module) 97 | eval_flags = JS_EVAL_TYPE_MODULE; 98 | else 99 | eval_flags = JS_EVAL_TYPE_GLOBAL; 100 | ret = eval_buf(ctx, buf, buf_len, filename, eval_flags); 101 | js_free(ctx, buf); 102 | return ret; 103 | } 104 | 105 | /* also used to initialize the worker context */ 106 | static JSContext *JS_NewCustomContext(JSRuntime *rt) 107 | { 108 | JSContext *ctx; 109 | ctx = JS_NewContext(rt); 110 | if (!ctx) 111 | return NULL; 112 | #ifdef CONFIG_BIGNUM 113 | if (bignum_ext) { 114 | JS_AddIntrinsicBigFloat(ctx); 115 | JS_AddIntrinsicBigDecimal(ctx); 116 | JS_AddIntrinsicOperators(ctx); 117 | JS_EnableBignumExt(ctx, TRUE); 118 | } 119 | #endif 120 | /* system modules */ 121 | js_init_module_std(ctx, "std"); 122 | js_init_module_os(ctx, "os"); 123 | return ctx; 124 | } 125 | 126 | #if defined(__APPLE__) 127 | #define MALLOC_OVERHEAD 0 128 | #else 129 | #define MALLOC_OVERHEAD 8 130 | #endif 131 | 132 | struct trace_malloc_data { 133 | uint8_t *base; 134 | }; 135 | 136 | static inline unsigned long long js_trace_malloc_ptr_offset(uint8_t *ptr, 137 | struct trace_malloc_data *dp) 138 | { 139 | return ptr - dp->base; 140 | } 141 | 142 | /* default memory allocation functions with memory limitation */ 143 | static inline size_t js_trace_malloc_usable_size(void *ptr) 144 | { 145 | #if defined(__APPLE__) 146 | return malloc_size(ptr); 147 | #elif defined(_WIN32) 148 | return _msize(ptr); 149 | #elif defined(EMSCRIPTEN) 150 | return 0; 151 | #elif defined(__linux__) 152 | return malloc_usable_size(ptr); 153 | #else 154 | /* change this to `return 0;` if compilation fails */ 155 | return malloc_usable_size(ptr); 156 | #endif 157 | } 158 | 159 | static void __attribute__((format(printf, 2, 3))) 160 | js_trace_malloc_printf(JSMallocState *s, const char *fmt, ...) 161 | { 162 | va_list ap; 163 | int c; 164 | 165 | va_start(ap, fmt); 166 | while ((c = *fmt++) != '\0') { 167 | if (c == '%') { 168 | /* only handle %p and %zd */ 169 | if (*fmt == 'p') { 170 | uint8_t *ptr = va_arg(ap, void *); 171 | if (ptr == NULL) { 172 | printf("NULL"); 173 | } else { 174 | printf("H%+06lld.%zd", 175 | js_trace_malloc_ptr_offset(ptr, s->opaque), 176 | js_trace_malloc_usable_size(ptr)); 177 | } 178 | fmt++; 179 | continue; 180 | } 181 | if (fmt[0] == 'z' && fmt[1] == 'd') { 182 | size_t sz = va_arg(ap, size_t); 183 | printf("%zd", sz); 184 | fmt += 2; 185 | continue; 186 | } 187 | } 188 | putc(c, stdout); 189 | } 190 | va_end(ap); 191 | } 192 | 193 | static void js_trace_malloc_init(struct trace_malloc_data *s) 194 | { 195 | free(s->base = malloc(8)); 196 | } 197 | 198 | static void *js_trace_malloc(JSMallocState *s, size_t size) 199 | { 200 | void *ptr; 201 | 202 | /* Do not allocate zero bytes: behavior is platform dependent */ 203 | assert(size != 0); 204 | 205 | if (unlikely(s->malloc_size + size > s->malloc_limit)) 206 | return NULL; 207 | ptr = malloc(size); 208 | js_trace_malloc_printf(s, "A %zd -> %p\n", size, ptr); 209 | if (ptr) { 210 | s->malloc_count++; 211 | s->malloc_size += js_trace_malloc_usable_size(ptr) + MALLOC_OVERHEAD; 212 | } 213 | return ptr; 214 | } 215 | 216 | static void js_trace_free(JSMallocState *s, void *ptr) 217 | { 218 | if (!ptr) 219 | return; 220 | 221 | js_trace_malloc_printf(s, "F %p\n", ptr); 222 | s->malloc_count--; 223 | s->malloc_size -= js_trace_malloc_usable_size(ptr) + MALLOC_OVERHEAD; 224 | free(ptr); 225 | } 226 | 227 | static void *js_trace_realloc(JSMallocState *s, void *ptr, size_t size) 228 | { 229 | size_t old_size; 230 | 231 | if (!ptr) { 232 | if (size == 0) 233 | return NULL; 234 | return js_trace_malloc(s, size); 235 | } 236 | old_size = js_trace_malloc_usable_size(ptr); 237 | if (size == 0) { 238 | js_trace_malloc_printf(s, "R %zd %p\n", size, ptr); 239 | s->malloc_count--; 240 | s->malloc_size -= old_size + MALLOC_OVERHEAD; 241 | free(ptr); 242 | return NULL; 243 | } 244 | if (s->malloc_size + size - old_size > s->malloc_limit) 245 | return NULL; 246 | 247 | js_trace_malloc_printf(s, "R %zd %p", size, ptr); 248 | 249 | ptr = realloc(ptr, size); 250 | js_trace_malloc_printf(s, " -> %p\n", ptr); 251 | if (ptr) { 252 | s->malloc_size += js_trace_malloc_usable_size(ptr) - old_size; 253 | } 254 | return ptr; 255 | } 256 | 257 | static const JSMallocFunctions trace_mf = { 258 | js_trace_malloc, 259 | js_trace_free, 260 | js_trace_realloc, 261 | #if defined(__APPLE__) 262 | malloc_size, 263 | #elif defined(_WIN32) 264 | (size_t (*)(const void *))_msize, 265 | #elif defined(EMSCRIPTEN) 266 | NULL, 267 | #elif defined(__linux__) 268 | (size_t (*)(const void *))malloc_usable_size, 269 | #else 270 | /* change this to `NULL,` if compilation fails */ 271 | malloc_usable_size, 272 | #endif 273 | }; 274 | 275 | #define PROG_NAME "qjs" 276 | 277 | void help(void) 278 | { 279 | printf("QuickJS version " CONFIG_VERSION "\n" 280 | "usage: " PROG_NAME " [options] [file [args]]\n" 281 | "-h --help list options\n" 282 | "-e --eval EXPR evaluate EXPR\n" 283 | "-i --interactive go to interactive mode\n" 284 | "-m --module load as ES6 module (default=autodetect)\n" 285 | " --script load as ES6 script (default=autodetect)\n" 286 | "-I --include file include an additional file\n" 287 | " --std make 'std' and 'os' available to the loaded script\n" 288 | #ifdef CONFIG_BIGNUM 289 | " --bignum enable the bignum extensions (BigFloat, BigDecimal)\n" 290 | " --qjscalc load the QJSCalc runtime (default if invoked as qjscalc)\n" 291 | #endif 292 | "-T --trace trace memory allocation\n" 293 | "-d --dump dump the memory usage stats\n" 294 | " --memory-limit n limit the memory usage to 'n' bytes\n" 295 | " --stack-size n limit the stack size to 'n' bytes\n" 296 | " --unhandled-rejection dump unhandled promise rejections\n" 297 | "-q --quit just instantiate the interpreter and quit\n"); 298 | exit(1); 299 | } 300 | 301 | int main(int argc, char **argv) 302 | { 303 | JSRuntime *rt; 304 | JSContext *ctx; 305 | struct trace_malloc_data trace_data = { NULL }; 306 | int optind; 307 | char *expr = NULL; 308 | int interactive = 0; 309 | int dump_memory = 0; 310 | int trace_memory = 0; 311 | int empty_run = 0; 312 | int module = -1; 313 | int load_std = 0; 314 | int dump_unhandled_promise_rejection = 0; 315 | size_t memory_limit = 0; 316 | char *include_list[32]; 317 | int i, include_count = 0; 318 | #ifdef CONFIG_BIGNUM 319 | int load_jscalc; 320 | #endif 321 | size_t stack_size = 0; 322 | 323 | #ifdef CONFIG_BIGNUM 324 | /* load jscalc runtime if invoked as 'qjscalc' */ 325 | { 326 | const char *p, *exename; 327 | exename = argv[0]; 328 | p = strrchr(exename, '/'); 329 | if (p) 330 | exename = p + 1; 331 | load_jscalc = !strcmp(exename, "qjscalc"); 332 | } 333 | #endif 334 | 335 | /* cannot use getopt because we want to pass the command line to 336 | the script */ 337 | optind = 1; 338 | while (optind < argc && *argv[optind] == '-') { 339 | char *arg = argv[optind] + 1; 340 | const char *longopt = ""; 341 | /* a single - is not an option, it also stops argument scanning */ 342 | if (!*arg) 343 | break; 344 | optind++; 345 | if (*arg == '-') { 346 | longopt = arg + 1; 347 | arg += strlen(arg); 348 | /* -- stops argument scanning */ 349 | if (!*longopt) 350 | break; 351 | } 352 | for (; *arg || *longopt; longopt = "") { 353 | char opt = *arg; 354 | if (opt) 355 | arg++; 356 | if (opt == 'h' || opt == '?' || !strcmp(longopt, "help")) { 357 | help(); 358 | continue; 359 | } 360 | if (opt == 'e' || !strcmp(longopt, "eval")) { 361 | if (*arg) { 362 | expr = arg; 363 | break; 364 | } 365 | if (optind < argc) { 366 | expr = argv[optind++]; 367 | break; 368 | } 369 | fprintf(stderr, "qjs: missing expression for -e\n"); 370 | exit(2); 371 | } 372 | if (opt == 'I' || !strcmp(longopt, "include")) { 373 | if (optind >= argc) { 374 | fprintf(stderr, "expecting filename"); 375 | exit(1); 376 | } 377 | if (include_count >= countof(include_list)) { 378 | fprintf(stderr, "too many included files"); 379 | exit(1); 380 | } 381 | include_list[include_count++] = argv[optind++]; 382 | continue; 383 | } 384 | if (opt == 'i' || !strcmp(longopt, "interactive")) { 385 | interactive++; 386 | continue; 387 | } 388 | if (opt == 'm' || !strcmp(longopt, "module")) { 389 | module = 1; 390 | continue; 391 | } 392 | if (!strcmp(longopt, "script")) { 393 | module = 0; 394 | continue; 395 | } 396 | if (opt == 'd' || !strcmp(longopt, "dump")) { 397 | dump_memory++; 398 | continue; 399 | } 400 | if (opt == 'T' || !strcmp(longopt, "trace")) { 401 | trace_memory++; 402 | continue; 403 | } 404 | if (!strcmp(longopt, "std")) { 405 | load_std = 1; 406 | continue; 407 | } 408 | if (!strcmp(longopt, "unhandled-rejection")) { 409 | dump_unhandled_promise_rejection = 1; 410 | continue; 411 | } 412 | #ifdef CONFIG_BIGNUM 413 | if (!strcmp(longopt, "bignum")) { 414 | bignum_ext = 1; 415 | continue; 416 | } 417 | if (!strcmp(longopt, "qjscalc")) { 418 | load_jscalc = 1; 419 | continue; 420 | } 421 | #endif 422 | if (opt == 'q' || !strcmp(longopt, "quit")) { 423 | empty_run++; 424 | continue; 425 | } 426 | if (!strcmp(longopt, "memory-limit")) { 427 | if (optind >= argc) { 428 | fprintf(stderr, "expecting memory limit"); 429 | exit(1); 430 | } 431 | memory_limit = (size_t)strtod(argv[optind++], NULL); 432 | continue; 433 | } 434 | if (!strcmp(longopt, "stack-size")) { 435 | if (optind >= argc) { 436 | fprintf(stderr, "expecting stack size"); 437 | exit(1); 438 | } 439 | stack_size = (size_t)strtod(argv[optind++], NULL); 440 | continue; 441 | } 442 | if (opt) { 443 | fprintf(stderr, "qjs: unknown option '-%c'\n", opt); 444 | } else { 445 | fprintf(stderr, "qjs: unknown option '--%s'\n", longopt); 446 | } 447 | help(); 448 | } 449 | } 450 | 451 | if (load_jscalc) 452 | bignum_ext = 1; 453 | 454 | if (trace_memory) { 455 | js_trace_malloc_init(&trace_data); 456 | rt = JS_NewRuntime2(&trace_mf, &trace_data); 457 | } else { 458 | rt = JS_NewRuntime(); 459 | } 460 | if (!rt) { 461 | fprintf(stderr, "qjs: cannot allocate JS runtime\n"); 462 | exit(2); 463 | } 464 | if (memory_limit != 0) 465 | JS_SetMemoryLimit(rt, memory_limit); 466 | if (stack_size != 0) 467 | JS_SetMaxStackSize(rt, stack_size); 468 | js_std_set_worker_new_context_func(JS_NewCustomContext); 469 | js_std_init_handlers(rt); 470 | ctx = JS_NewCustomContext(rt); 471 | if (!ctx) { 472 | fprintf(stderr, "qjs: cannot allocate JS context\n"); 473 | exit(2); 474 | } 475 | 476 | /* loader for ES6 modules */ 477 | JS_SetModuleLoaderFunc(rt, NULL, js_module_loader, NULL); 478 | 479 | if (dump_unhandled_promise_rejection) { 480 | JS_SetHostPromiseRejectionTracker(rt, js_std_promise_rejection_tracker, 481 | NULL); 482 | } 483 | 484 | if (!empty_run) { 485 | #ifdef CONFIG_BIGNUM 486 | if (load_jscalc) { 487 | js_std_eval_binary(ctx, qjsc_qjscalc, qjsc_qjscalc_size, 0); 488 | } 489 | #endif 490 | js_std_add_helpers(ctx, argc - optind, argv + optind); 491 | 492 | /* make 'std' and 'os' visible to non module code */ 493 | if (load_std) { 494 | const char *str = "import * as std from 'std';\n" 495 | "import * as os from 'os';\n" 496 | "globalThis.std = std;\n" 497 | "globalThis.os = os;\n"; 498 | eval_buf(ctx, str, strlen(str), "", JS_EVAL_TYPE_MODULE); 499 | } 500 | 501 | for(i = 0; i < include_count; i++) { 502 | if (eval_file(ctx, include_list[i], module)) 503 | goto fail; 504 | } 505 | 506 | if (expr) { 507 | if (eval_buf(ctx, expr, strlen(expr), "", 0)) 508 | goto fail; 509 | } else 510 | if (optind >= argc) { 511 | /* interactive mode */ 512 | interactive = 1; 513 | } else { 514 | const char *filename; 515 | filename = argv[optind]; 516 | if (eval_file(ctx, filename, module)) 517 | goto fail; 518 | } 519 | if (interactive) { 520 | js_std_eval_binary(ctx, qjsc_repl, qjsc_repl_size, 0); 521 | } 522 | js_std_loop(ctx); 523 | } 524 | 525 | if (dump_memory) { 526 | JSMemoryUsage stats; 527 | JS_ComputeMemoryUsage(rt, &stats); 528 | JS_DumpMemoryUsage(stdout, &stats, rt); 529 | } 530 | js_std_free_handlers(rt); 531 | JS_FreeContext(ctx); 532 | JS_FreeRuntime(rt); 533 | 534 | if (empty_run && dump_memory) { 535 | clock_t t[5]; 536 | double best[5]; 537 | int i, j; 538 | for (i = 0; i < 100; i++) { 539 | t[0] = clock(); 540 | rt = JS_NewRuntime(); 541 | t[1] = clock(); 542 | ctx = JS_NewContext(rt); 543 | t[2] = clock(); 544 | JS_FreeContext(ctx); 545 | t[3] = clock(); 546 | JS_FreeRuntime(rt); 547 | t[4] = clock(); 548 | for (j = 4; j > 0; j--) { 549 | double ms = 1000.0 * (t[j] - t[j - 1]) / CLOCKS_PER_SEC; 550 | if (i == 0 || best[j] > ms) 551 | best[j] = ms; 552 | } 553 | } 554 | printf("\nInstantiation times (ms): %.3f = %.3f+%.3f+%.3f+%.3f\n", 555 | best[1] + best[2] + best[3] + best[4], 556 | best[1], best[2], best[3], best[4]); 557 | } 558 | return 0; 559 | fail: 560 | js_std_free_handlers(rt); 561 | JS_FreeContext(ctx); 562 | JS_FreeRuntime(rt); 563 | return 1; 564 | } 565 | -------------------------------------------------------------------------------- /quickjs-atom.h: -------------------------------------------------------------------------------- 1 | /* 2 | * QuickJS atom definitions 3 | * 4 | * Copyright (c) 2017-2018 Fabrice Bellard 5 | * Copyright (c) 2017-2018 Charlie Gordon 6 | * 7 | * Permission is hereby granted, free of charge, to any person obtaining a copy 8 | * of this software and associated documentation files (the "Software"), to deal 9 | * in the Software without restriction, including without limitation the rights 10 | * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 11 | * copies of the Software, and to permit persons to whom the Software is 12 | * furnished to do so, subject to the following conditions: 13 | * 14 | * The above copyright notice and this permission notice shall be included in 15 | * all copies or substantial portions of the Software. 16 | * 17 | * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 18 | * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 19 | * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL 20 | * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 21 | * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 22 | * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN 23 | * THE SOFTWARE. 24 | */ 25 | 26 | #ifdef DEF 27 | 28 | /* Note: first atoms are considered as keywords in the parser */ 29 | DEF(null, "null") /* must be first */ 30 | DEF(false, "false") 31 | DEF(true, "true") 32 | DEF(if, "if") 33 | DEF(else, "else") 34 | DEF(return, "return") 35 | DEF(var, "var") 36 | DEF(this, "this") 37 | DEF(delete, "delete") 38 | DEF(void, "void") 39 | DEF(typeof, "typeof") 40 | DEF(new, "new") 41 | DEF(in, "in") 42 | DEF(instanceof, "instanceof") 43 | DEF(do, "do") 44 | DEF(while, "while") 45 | DEF(for, "for") 46 | DEF(break, "break") 47 | DEF(continue, "continue") 48 | DEF(switch, "switch") 49 | DEF(case, "case") 50 | DEF(default, "default") 51 | DEF(throw, "throw") 52 | DEF(try, "try") 53 | DEF(catch, "catch") 54 | DEF(finally, "finally") 55 | DEF(function, "function") 56 | DEF(debugger, "debugger") 57 | DEF(with, "with") 58 | /* FutureReservedWord */ 59 | DEF(class, "class") 60 | DEF(const, "const") 61 | DEF(enum, "enum") 62 | DEF(export, "export") 63 | DEF(extends, "extends") 64 | DEF(import, "import") 65 | DEF(super, "super") 66 | /* FutureReservedWords when parsing strict mode code */ 67 | DEF(implements, "implements") 68 | DEF(interface, "interface") 69 | DEF(let, "let") 70 | DEF(package, "package") 71 | DEF(private, "private") 72 | DEF(protected, "protected") 73 | DEF(public, "public") 74 | DEF(static, "static") 75 | DEF(yield, "yield") 76 | DEF(await, "await") 77 | 78 | /* empty string */ 79 | DEF(empty_string, "") 80 | /* identifiers */ 81 | DEF(length, "length") 82 | DEF(fileName, "fileName") 83 | DEF(lineNumber, "lineNumber") 84 | DEF(message, "message") 85 | DEF(errors, "errors") 86 | DEF(stack, "stack") 87 | DEF(name, "name") 88 | DEF(toString, "toString") 89 | DEF(toLocaleString, "toLocaleString") 90 | DEF(valueOf, "valueOf") 91 | DEF(eval, "eval") 92 | DEF(prototype, "prototype") 93 | DEF(constructor, "constructor") 94 | DEF(configurable, "configurable") 95 | DEF(writable, "writable") 96 | DEF(enumerable, "enumerable") 97 | DEF(value, "value") 98 | DEF(get, "get") 99 | DEF(set, "set") 100 | DEF(of, "of") 101 | DEF(__proto__, "__proto__") 102 | DEF(undefined, "undefined") 103 | DEF(number, "number") 104 | DEF(boolean, "boolean") 105 | DEF(string, "string") 106 | DEF(object, "object") 107 | DEF(symbol, "symbol") 108 | DEF(integer, "integer") 109 | DEF(unknown, "unknown") 110 | DEF(arguments, "arguments") 111 | DEF(callee, "callee") 112 | DEF(caller, "caller") 113 | DEF(_eval_, "") 114 | DEF(_ret_, "") 115 | DEF(_var_, "") 116 | DEF(_arg_var_, "") 117 | DEF(_with_, "") 118 | DEF(lastIndex, "lastIndex") 119 | DEF(target, "target") 120 | DEF(index, "index") 121 | DEF(input, "input") 122 | DEF(defineProperties, "defineProperties") 123 | DEF(apply, "apply") 124 | DEF(join, "join") 125 | DEF(concat, "concat") 126 | DEF(split, "split") 127 | DEF(construct, "construct") 128 | DEF(getPrototypeOf, "getPrototypeOf") 129 | DEF(setPrototypeOf, "setPrototypeOf") 130 | DEF(isExtensible, "isExtensible") 131 | DEF(preventExtensions, "preventExtensions") 132 | DEF(has, "has") 133 | DEF(deleteProperty, "deleteProperty") 134 | DEF(defineProperty, "defineProperty") 135 | DEF(getOwnPropertyDescriptor, "getOwnPropertyDescriptor") 136 | DEF(ownKeys, "ownKeys") 137 | DEF(add, "add") 138 | DEF(done, "done") 139 | DEF(next, "next") 140 | DEF(values, "values") 141 | DEF(source, "source") 142 | DEF(flags, "flags") 143 | DEF(global, "global") 144 | DEF(unicode, "unicode") 145 | DEF(raw, "raw") 146 | DEF(new_target, "new.target") 147 | DEF(this_active_func, "this.active_func") 148 | DEF(home_object, "") 149 | DEF(computed_field, "") 150 | DEF(static_computed_field, "") /* must come after computed_fields */ 151 | DEF(class_fields_init, "") 152 | DEF(brand, "") 153 | DEF(hash_constructor, "#constructor") 154 | DEF(as, "as") 155 | DEF(from, "from") 156 | DEF(meta, "meta") 157 | DEF(_default_, "*default*") 158 | DEF(_star_, "*") 159 | DEF(Module, "Module") 160 | DEF(then, "then") 161 | DEF(resolve, "resolve") 162 | DEF(reject, "reject") 163 | DEF(promise, "promise") 164 | DEF(proxy, "proxy") 165 | DEF(revoke, "revoke") 166 | DEF(async, "async") 167 | DEF(exec, "exec") 168 | DEF(groups, "groups") 169 | DEF(status, "status") 170 | DEF(reason, "reason") 171 | DEF(globalThis, "globalThis") 172 | #ifdef CONFIG_BIGNUM 173 | DEF(bigint, "bigint") 174 | DEF(bigfloat, "bigfloat") 175 | DEF(bigdecimal, "bigdecimal") 176 | DEF(roundingMode, "roundingMode") 177 | DEF(maximumSignificantDigits, "maximumSignificantDigits") 178 | DEF(maximumFractionDigits, "maximumFractionDigits") 179 | #endif 180 | #ifdef CONFIG_ATOMICS 181 | DEF(not_equal, "not-equal") 182 | DEF(timed_out, "timed-out") 183 | DEF(ok, "ok") 184 | #endif 185 | DEF(toJSON, "toJSON") 186 | /* class names */ 187 | DEF(Object, "Object") 188 | DEF(Array, "Array") 189 | DEF(Error, "Error") 190 | DEF(Number, "Number") 191 | DEF(String, "String") 192 | DEF(Boolean, "Boolean") 193 | DEF(Symbol, "Symbol") 194 | DEF(Arguments, "Arguments") 195 | DEF(Math, "Math") 196 | DEF(JSON, "JSON") 197 | DEF(Date, "Date") 198 | DEF(Function, "Function") 199 | DEF(GeneratorFunction, "GeneratorFunction") 200 | DEF(ForInIterator, "ForInIterator") 201 | DEF(RegExp, "RegExp") 202 | DEF(ArrayBuffer, "ArrayBuffer") 203 | DEF(SharedArrayBuffer, "SharedArrayBuffer") 204 | /* must keep same order as class IDs for typed arrays */ 205 | DEF(Uint8ClampedArray, "Uint8ClampedArray") 206 | DEF(Int8Array, "Int8Array") 207 | DEF(Uint8Array, "Uint8Array") 208 | DEF(Int16Array, "Int16Array") 209 | DEF(Uint16Array, "Uint16Array") 210 | DEF(Int32Array, "Int32Array") 211 | DEF(Uint32Array, "Uint32Array") 212 | #ifdef CONFIG_BIGNUM 213 | DEF(BigInt64Array, "BigInt64Array") 214 | DEF(BigUint64Array, "BigUint64Array") 215 | #endif 216 | DEF(Float32Array, "Float32Array") 217 | DEF(Float64Array, "Float64Array") 218 | DEF(DataView, "DataView") 219 | #ifdef CONFIG_BIGNUM 220 | DEF(BigInt, "BigInt") 221 | DEF(BigFloat, "BigFloat") 222 | DEF(BigFloatEnv, "BigFloatEnv") 223 | DEF(BigDecimal, "BigDecimal") 224 | DEF(OperatorSet, "OperatorSet") 225 | DEF(Operators, "Operators") 226 | #endif 227 | DEF(Map, "Map") 228 | DEF(Set, "Set") /* Map + 1 */ 229 | DEF(WeakMap, "WeakMap") /* Map + 2 */ 230 | DEF(WeakSet, "WeakSet") /* Map + 3 */ 231 | DEF(Map_Iterator, "Map Iterator") 232 | DEF(Set_Iterator, "Set Iterator") 233 | DEF(Array_Iterator, "Array Iterator") 234 | DEF(String_Iterator, "String Iterator") 235 | DEF(RegExp_String_Iterator, "RegExp String Iterator") 236 | DEF(Generator, "Generator") 237 | DEF(Proxy, "Proxy") 238 | DEF(Promise, "Promise") 239 | DEF(PromiseResolveFunction, "PromiseResolveFunction") 240 | DEF(PromiseRejectFunction, "PromiseRejectFunction") 241 | DEF(AsyncFunction, "AsyncFunction") 242 | DEF(AsyncFunctionResolve, "AsyncFunctionResolve") 243 | DEF(AsyncFunctionReject, "AsyncFunctionReject") 244 | DEF(AsyncGeneratorFunction, "AsyncGeneratorFunction") 245 | DEF(AsyncGenerator, "AsyncGenerator") 246 | DEF(EvalError, "EvalError") 247 | DEF(RangeError, "RangeError") 248 | DEF(ReferenceError, "ReferenceError") 249 | DEF(SyntaxError, "SyntaxError") 250 | DEF(TypeError, "TypeError") 251 | DEF(URIError, "URIError") 252 | DEF(InternalError, "InternalError") 253 | /* private symbols */ 254 | DEF(Private_brand, "") 255 | /* symbols */ 256 | DEF(Symbol_toPrimitive, "Symbol.toPrimitive") 257 | DEF(Symbol_iterator, "Symbol.iterator") 258 | DEF(Symbol_match, "Symbol.match") 259 | DEF(Symbol_matchAll, "Symbol.matchAll") 260 | DEF(Symbol_replace, "Symbol.replace") 261 | DEF(Symbol_search, "Symbol.search") 262 | DEF(Symbol_split, "Symbol.split") 263 | DEF(Symbol_toStringTag, "Symbol.toStringTag") 264 | DEF(Symbol_isConcatSpreadable, "Symbol.isConcatSpreadable") 265 | DEF(Symbol_hasInstance, "Symbol.hasInstance") 266 | DEF(Symbol_species, "Symbol.species") 267 | DEF(Symbol_unscopables, "Symbol.unscopables") 268 | DEF(Symbol_asyncIterator, "Symbol.asyncIterator") 269 | #ifdef CONFIG_BIGNUM 270 | DEF(Symbol_operatorSet, "Symbol.operatorSet") 271 | #endif 272 | 273 | #endif /* DEF */ 274 | -------------------------------------------------------------------------------- /quickjs-libc.h: -------------------------------------------------------------------------------- 1 | /* 2 | * QuickJS C library 3 | * 4 | * Copyright (c) 2017-2018 Fabrice Bellard 5 | * 6 | * Permission is hereby granted, free of charge, to any person obtaining a copy 7 | * of this software and associated documentation files (the "Software"), to deal 8 | * in the Software without restriction, including without limitation the rights 9 | * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 10 | * copies of the Software, and to permit persons to whom the Software is 11 | * furnished to do so, subject to the following conditions: 12 | * 13 | * The above copyright notice and this permission notice shall be included in 14 | * all copies or substantial portions of the Software. 15 | * 16 | * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 17 | * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 18 | * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL 19 | * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 20 | * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 21 | * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN 22 | * THE SOFTWARE. 23 | */ 24 | #ifndef QUICKJS_LIBC_H 25 | #define QUICKJS_LIBC_H 26 | 27 | #include 28 | #include 29 | 30 | #include "quickjs.h" 31 | 32 | #ifdef __cplusplus 33 | extern "C" { 34 | #endif 35 | 36 | JSModuleDef *js_init_module_std(JSContext *ctx, const char *module_name); 37 | JSModuleDef *js_init_module_os(JSContext *ctx, const char *module_name); 38 | void js_std_add_helpers(JSContext *ctx, int argc, char **argv); 39 | void js_std_loop(JSContext *ctx); 40 | void js_std_init_handlers(JSRuntime *rt); 41 | void js_std_free_handlers(JSRuntime *rt); 42 | void js_std_dump_error(JSContext *ctx); 43 | uint8_t *js_load_file(JSContext *ctx, size_t *pbuf_len, const char *filename); 44 | int js_module_set_import_meta(JSContext *ctx, JSValueConst func_val, 45 | JS_BOOL use_realpath, JS_BOOL is_main); 46 | JSModuleDef *js_module_loader(JSContext *ctx, 47 | const char *module_name, void *opaque); 48 | void js_std_eval_binary(JSContext *ctx, const uint8_t *buf, size_t buf_len, 49 | int flags); 50 | void js_std_promise_rejection_tracker(JSContext *ctx, JSValueConst promise, 51 | JSValueConst reason, 52 | JS_BOOL is_handled, void *opaque); 53 | void js_std_set_worker_new_context_func(JSContext *(*func)(JSRuntime *rt)); 54 | 55 | #ifdef __cplusplus 56 | } /* extern "C" { */ 57 | #endif 58 | 59 | #endif /* QUICKJS_LIBC_H */ 60 | -------------------------------------------------------------------------------- /quickjs-opcode.h: -------------------------------------------------------------------------------- 1 | /* 2 | * QuickJS opcode definitions 3 | * 4 | * Copyright (c) 2017-2018 Fabrice Bellard 5 | * Copyright (c) 2017-2018 Charlie Gordon 6 | * 7 | * Permission is hereby granted, free of charge, to any person obtaining a copy 8 | * of this software and associated documentation files (the "Software"), to deal 9 | * in the Software without restriction, including without limitation the rights 10 | * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 11 | * copies of the Software, and to permit persons to whom the Software is 12 | * furnished to do so, subject to the following conditions: 13 | * 14 | * The above copyright notice and this permission notice shall be included in 15 | * all copies or substantial portions of the Software. 16 | * 17 | * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 18 | * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 19 | * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL 20 | * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 21 | * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 22 | * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN 23 | * THE SOFTWARE. 24 | */ 25 | 26 | #ifdef FMT 27 | FMT(none) 28 | FMT(none_int) 29 | FMT(none_loc) 30 | FMT(none_arg) 31 | FMT(none_var_ref) 32 | FMT(u8) 33 | FMT(i8) 34 | FMT(loc8) 35 | FMT(const8) 36 | FMT(label8) 37 | FMT(u16) 38 | FMT(i16) 39 | FMT(label16) 40 | FMT(npop) 41 | FMT(npopx) 42 | FMT(npop_u16) 43 | FMT(loc) 44 | FMT(arg) 45 | FMT(var_ref) 46 | FMT(u32) 47 | FMT(i32) 48 | FMT(const) 49 | FMT(label) 50 | FMT(atom) 51 | FMT(atom_u8) 52 | FMT(atom_u16) 53 | FMT(atom_label_u8) 54 | FMT(atom_label_u16) 55 | FMT(label_u16) 56 | #undef FMT 57 | #endif /* FMT */ 58 | 59 | #ifdef DEF 60 | 61 | #ifndef def 62 | #define def(id, size, n_pop, n_push, f) DEF(id, size, n_pop, n_push, f) 63 | #endif 64 | 65 | DEF(invalid, 1, 0, 0, none) /* never emitted */ 66 | 67 | /* push values */ 68 | DEF( push_i32, 5, 0, 1, i32) 69 | DEF( push_const, 5, 0, 1, const) 70 | DEF( fclosure, 5, 0, 1, const) /* must follow push_const */ 71 | DEF(push_atom_value, 5, 0, 1, atom) 72 | DEF( private_symbol, 5, 0, 1, atom) 73 | DEF( undefined, 1, 0, 1, none) 74 | DEF( null, 1, 0, 1, none) 75 | DEF( push_this, 1, 0, 1, none) /* only used at the start of a function */ 76 | DEF( push_false, 1, 0, 1, none) 77 | DEF( push_true, 1, 0, 1, none) 78 | DEF( object, 1, 0, 1, none) 79 | DEF( special_object, 2, 0, 1, u8) /* only used at the start of a function */ 80 | DEF( rest, 3, 0, 1, u16) /* only used at the start of a function */ 81 | 82 | DEF( drop, 1, 1, 0, none) /* a -> */ 83 | DEF( nip, 1, 2, 1, none) /* a b -> b */ 84 | DEF( nip1, 1, 3, 2, none) /* a b c -> b c */ 85 | DEF( dup, 1, 1, 2, none) /* a -> a a */ 86 | DEF( dup1, 1, 2, 3, none) /* a b -> a a b */ 87 | DEF( dup2, 1, 2, 4, none) /* a b -> a b a b */ 88 | DEF( dup3, 1, 3, 6, none) /* a b c -> a b c a b c */ 89 | DEF( insert2, 1, 2, 3, none) /* obj a -> a obj a (dup_x1) */ 90 | DEF( insert3, 1, 3, 4, none) /* obj prop a -> a obj prop a (dup_x2) */ 91 | DEF( insert4, 1, 4, 5, none) /* this obj prop a -> a this obj prop a */ 92 | DEF( perm3, 1, 3, 3, none) /* obj a b -> a obj b */ 93 | DEF( perm4, 1, 4, 4, none) /* obj prop a b -> a obj prop b */ 94 | DEF( perm5, 1, 5, 5, none) /* this obj prop a b -> a this obj prop b */ 95 | DEF( swap, 1, 2, 2, none) /* a b -> b a */ 96 | DEF( swap2, 1, 4, 4, none) /* a b c d -> c d a b */ 97 | DEF( rot3l, 1, 3, 3, none) /* x a b -> a b x */ 98 | DEF( rot3r, 1, 3, 3, none) /* a b x -> x a b */ 99 | DEF( rot4l, 1, 4, 4, none) /* x a b c -> a b c x */ 100 | DEF( rot5l, 1, 5, 5, none) /* x a b c d -> a b c d x */ 101 | 102 | DEF(call_constructor, 3, 2, 1, npop) /* func new.target args -> ret. arguments are not counted in n_pop */ 103 | DEF( call, 3, 1, 1, npop) /* arguments are not counted in n_pop */ 104 | DEF( tail_call, 3, 1, 0, npop) /* arguments are not counted in n_pop */ 105 | DEF( call_method, 3, 2, 1, npop) /* arguments are not counted in n_pop */ 106 | DEF(tail_call_method, 3, 2, 0, npop) /* arguments are not counted in n_pop */ 107 | DEF( array_from, 3, 0, 1, npop) /* arguments are not counted in n_pop */ 108 | DEF( apply, 3, 3, 1, u16) 109 | DEF( return, 1, 1, 0, none) 110 | DEF( return_undef, 1, 0, 0, none) 111 | DEF(check_ctor_return, 1, 1, 2, none) 112 | DEF( check_ctor, 1, 0, 0, none) 113 | DEF( check_brand, 1, 2, 2, none) /* this_obj func -> this_obj func */ 114 | DEF( add_brand, 1, 2, 0, none) /* this_obj home_obj -> */ 115 | DEF( return_async, 1, 1, 0, none) 116 | DEF( throw, 1, 1, 0, none) 117 | DEF( throw_error, 6, 0, 0, atom_u8) 118 | DEF( eval, 5, 1, 1, npop_u16) /* func args... -> ret_val */ 119 | DEF( apply_eval, 3, 2, 1, u16) /* func array -> ret_eval */ 120 | DEF( regexp, 1, 2, 1, none) /* create a RegExp object from the pattern and a 121 | bytecode string */ 122 | DEF( get_super, 1, 1, 1, none) 123 | DEF( import, 1, 1, 1, none) /* dynamic module import */ 124 | 125 | DEF( check_var, 5, 0, 1, atom) /* check if a variable exists */ 126 | DEF( get_var_undef, 5, 0, 1, atom) /* push undefined if the variable does not exist */ 127 | DEF( get_var, 5, 0, 1, atom) /* throw an exception if the variable does not exist */ 128 | DEF( put_var, 5, 1, 0, atom) /* must come after get_var */ 129 | DEF( put_var_init, 5, 1, 0, atom) /* must come after put_var. Used to initialize a global lexical variable */ 130 | DEF( put_var_strict, 5, 2, 0, atom) /* for strict mode variable write */ 131 | 132 | DEF( get_ref_value, 1, 2, 3, none) 133 | DEF( put_ref_value, 1, 3, 0, none) 134 | 135 | DEF( define_var, 6, 0, 0, atom_u8) 136 | DEF(check_define_var, 6, 0, 0, atom_u8) 137 | DEF( define_func, 6, 1, 0, atom_u8) 138 | DEF( get_field, 5, 1, 1, atom) 139 | DEF( get_field2, 5, 1, 2, atom) 140 | DEF( put_field, 5, 2, 0, atom) 141 | DEF( get_private_field, 1, 2, 1, none) /* obj prop -> value */ 142 | DEF( put_private_field, 1, 3, 0, none) /* obj value prop -> */ 143 | DEF(define_private_field, 1, 3, 1, none) /* obj prop value -> obj */ 144 | DEF( get_array_el, 1, 2, 1, none) 145 | DEF( get_array_el2, 1, 2, 2, none) /* obj prop -> obj value */ 146 | DEF( put_array_el, 1, 3, 0, none) 147 | DEF(get_super_value, 1, 3, 1, none) /* this obj prop -> value */ 148 | DEF(put_super_value, 1, 4, 0, none) /* this obj prop value -> */ 149 | DEF( define_field, 5, 2, 1, atom) 150 | DEF( set_name, 5, 1, 1, atom) 151 | DEF(set_name_computed, 1, 2, 2, none) 152 | DEF( set_proto, 1, 2, 1, none) 153 | DEF(set_home_object, 1, 2, 2, none) 154 | DEF(define_array_el, 1, 3, 2, none) 155 | DEF( append, 1, 3, 2, none) /* append enumerated object, update length */ 156 | DEF(copy_data_properties, 2, 3, 3, u8) 157 | DEF( define_method, 6, 2, 1, atom_u8) 158 | DEF(define_method_computed, 2, 3, 1, u8) /* must come after define_method */ 159 | DEF( define_class, 6, 2, 2, atom_u8) /* parent ctor -> ctor proto */ 160 | DEF( define_class_computed, 6, 3, 3, atom_u8) /* field_name parent ctor -> field_name ctor proto (class with computed name) */ 161 | 162 | DEF( get_loc, 3, 0, 1, loc) 163 | DEF( put_loc, 3, 1, 0, loc) /* must come after get_loc */ 164 | DEF( set_loc, 3, 1, 1, loc) /* must come after put_loc */ 165 | DEF( get_arg, 3, 0, 1, arg) 166 | DEF( put_arg, 3, 1, 0, arg) /* must come after get_arg */ 167 | DEF( set_arg, 3, 1, 1, arg) /* must come after put_arg */ 168 | DEF( get_var_ref, 3, 0, 1, var_ref) 169 | DEF( put_var_ref, 3, 1, 0, var_ref) /* must come after get_var_ref */ 170 | DEF( set_var_ref, 3, 1, 1, var_ref) /* must come after put_var_ref */ 171 | DEF(set_loc_uninitialized, 3, 0, 0, loc) 172 | DEF( get_loc_check, 3, 0, 1, loc) 173 | DEF( put_loc_check, 3, 1, 0, loc) /* must come after get_loc_check */ 174 | DEF( put_loc_check_init, 3, 1, 0, loc) 175 | DEF(get_var_ref_check, 3, 0, 1, var_ref) 176 | DEF(put_var_ref_check, 3, 1, 0, var_ref) /* must come after get_var_ref_check */ 177 | DEF(put_var_ref_check_init, 3, 1, 0, var_ref) 178 | DEF( close_loc, 3, 0, 0, loc) 179 | DEF( if_false, 5, 1, 0, label) 180 | DEF( if_true, 5, 1, 0, label) /* must come after if_false */ 181 | DEF( goto, 5, 0, 0, label) /* must come after if_true */ 182 | DEF( catch, 5, 0, 1, label) 183 | DEF( gosub, 5, 0, 0, label) /* used to execute the finally block */ 184 | DEF( ret, 1, 1, 0, none) /* used to return from the finally block */ 185 | 186 | DEF( to_object, 1, 1, 1, none) 187 | //DEF( to_string, 1, 1, 1, none) 188 | DEF( to_propkey, 1, 1, 1, none) 189 | DEF( to_propkey2, 1, 2, 2, none) 190 | 191 | DEF( with_get_var, 10, 1, 0, atom_label_u8) /* must be in the same order as scope_xxx */ 192 | DEF( with_put_var, 10, 2, 1, atom_label_u8) /* must be in the same order as scope_xxx */ 193 | DEF(with_delete_var, 10, 1, 0, atom_label_u8) /* must be in the same order as scope_xxx */ 194 | DEF( with_make_ref, 10, 1, 0, atom_label_u8) /* must be in the same order as scope_xxx */ 195 | DEF( with_get_ref, 10, 1, 0, atom_label_u8) /* must be in the same order as scope_xxx */ 196 | DEF(with_get_ref_undef, 10, 1, 0, atom_label_u8) 197 | 198 | DEF( make_loc_ref, 7, 0, 2, atom_u16) 199 | DEF( make_arg_ref, 7, 0, 2, atom_u16) 200 | DEF(make_var_ref_ref, 7, 0, 2, atom_u16) 201 | DEF( make_var_ref, 5, 0, 2, atom) 202 | 203 | DEF( for_in_start, 1, 1, 1, none) 204 | DEF( for_of_start, 1, 1, 3, none) 205 | DEF(for_await_of_start, 1, 1, 3, none) 206 | DEF( for_in_next, 1, 1, 3, none) 207 | DEF( for_of_next, 2, 3, 5, u8) 208 | DEF(iterator_check_object, 1, 1, 1, none) 209 | DEF(iterator_get_value_done, 1, 1, 2, none) 210 | DEF( iterator_close, 1, 3, 0, none) 211 | DEF(iterator_close_return, 1, 4, 4, none) 212 | DEF( iterator_next, 1, 4, 4, none) 213 | DEF( iterator_call, 2, 4, 5, u8) 214 | DEF( initial_yield, 1, 0, 0, none) 215 | DEF( yield, 1, 1, 2, none) 216 | DEF( yield_star, 1, 1, 2, none) 217 | DEF(async_yield_star, 1, 1, 2, none) 218 | DEF( await, 1, 1, 1, none) 219 | 220 | /* arithmetic/logic operations */ 221 | DEF( neg, 1, 1, 1, none) 222 | DEF( plus, 1, 1, 1, none) 223 | DEF( dec, 1, 1, 1, none) 224 | DEF( inc, 1, 1, 1, none) 225 | DEF( post_dec, 1, 1, 2, none) 226 | DEF( post_inc, 1, 1, 2, none) 227 | DEF( dec_loc, 2, 0, 0, loc8) 228 | DEF( inc_loc, 2, 0, 0, loc8) 229 | DEF( add_loc, 2, 1, 0, loc8) 230 | DEF( not, 1, 1, 1, none) 231 | DEF( lnot, 1, 1, 1, none) 232 | DEF( typeof, 1, 1, 1, none) 233 | DEF( delete, 1, 2, 1, none) 234 | DEF( delete_var, 5, 0, 1, atom) 235 | 236 | DEF( mul, 1, 2, 1, none) 237 | DEF( div, 1, 2, 1, none) 238 | DEF( mod, 1, 2, 1, none) 239 | DEF( add, 1, 2, 1, none) 240 | DEF( sub, 1, 2, 1, none) 241 | DEF( pow, 1, 2, 1, none) 242 | DEF( shl, 1, 2, 1, none) 243 | DEF( sar, 1, 2, 1, none) 244 | DEF( shr, 1, 2, 1, none) 245 | DEF( lt, 1, 2, 1, none) 246 | DEF( lte, 1, 2, 1, none) 247 | DEF( gt, 1, 2, 1, none) 248 | DEF( gte, 1, 2, 1, none) 249 | DEF( instanceof, 1, 2, 1, none) 250 | DEF( in, 1, 2, 1, none) 251 | DEF( eq, 1, 2, 1, none) 252 | DEF( neq, 1, 2, 1, none) 253 | DEF( strict_eq, 1, 2, 1, none) 254 | DEF( strict_neq, 1, 2, 1, none) 255 | DEF( and, 1, 2, 1, none) 256 | DEF( xor, 1, 2, 1, none) 257 | DEF( or, 1, 2, 1, none) 258 | DEF(is_undefined_or_null, 1, 1, 1, none) 259 | #ifdef CONFIG_BIGNUM 260 | DEF( mul_pow10, 1, 2, 1, none) 261 | DEF( math_mod, 1, 2, 1, none) 262 | #endif 263 | /* must be the last non short and non temporary opcode */ 264 | DEF( nop, 1, 0, 0, none) 265 | 266 | /* temporary opcodes: never emitted in the final bytecode */ 267 | 268 | def( enter_scope, 3, 0, 0, u16) /* emitted in phase 1, removed in phase 2 */ 269 | def( leave_scope, 3, 0, 0, u16) /* emitted in phase 1, removed in phase 2 */ 270 | 271 | def( label, 5, 0, 0, label) /* emitted in phase 1, removed in phase 3 */ 272 | 273 | def(scope_get_var_undef, 7, 0, 1, atom_u16) /* emitted in phase 1, removed in phase 2 */ 274 | def( scope_get_var, 7, 0, 1, atom_u16) /* emitted in phase 1, removed in phase 2 */ 275 | def( scope_put_var, 7, 1, 0, atom_u16) /* emitted in phase 1, removed in phase 2 */ 276 | def(scope_delete_var, 7, 0, 1, atom_u16) /* emitted in phase 1, removed in phase 2 */ 277 | def( scope_make_ref, 11, 0, 2, atom_label_u16) /* emitted in phase 1, removed in phase 2 */ 278 | def( scope_get_ref, 7, 0, 2, atom_u16) /* emitted in phase 1, removed in phase 2 */ 279 | def(scope_put_var_init, 7, 0, 2, atom_u16) /* emitted in phase 1, removed in phase 2 */ 280 | def(scope_get_private_field, 7, 1, 1, atom_u16) /* obj -> value, emitted in phase 1, removed in phase 2 */ 281 | def(scope_get_private_field2, 7, 1, 2, atom_u16) /* obj -> obj value, emitted in phase 1, removed in phase 2 */ 282 | def(scope_put_private_field, 7, 1, 1, atom_u16) /* obj value ->, emitted in phase 1, removed in phase 2 */ 283 | 284 | def( set_class_name, 5, 1, 1, u32) /* emitted in phase 1, removed in phase 2 */ 285 | 286 | def( line_num, 5, 0, 0, u32) /* emitted in phase 1, removed in phase 3 */ 287 | 288 | #if SHORT_OPCODES 289 | DEF( push_minus1, 1, 0, 1, none_int) 290 | DEF( push_0, 1, 0, 1, none_int) 291 | DEF( push_1, 1, 0, 1, none_int) 292 | DEF( push_2, 1, 0, 1, none_int) 293 | DEF( push_3, 1, 0, 1, none_int) 294 | DEF( push_4, 1, 0, 1, none_int) 295 | DEF( push_5, 1, 0, 1, none_int) 296 | DEF( push_6, 1, 0, 1, none_int) 297 | DEF( push_7, 1, 0, 1, none_int) 298 | DEF( push_i8, 2, 0, 1, i8) 299 | DEF( push_i16, 3, 0, 1, i16) 300 | DEF( push_const8, 2, 0, 1, const8) 301 | DEF( fclosure8, 2, 0, 1, const8) /* must follow push_const8 */ 302 | DEF(push_empty_string, 1, 0, 1, none) 303 | 304 | DEF( get_loc8, 2, 0, 1, loc8) 305 | DEF( put_loc8, 2, 1, 0, loc8) 306 | DEF( set_loc8, 2, 1, 1, loc8) 307 | 308 | DEF( get_loc0, 1, 0, 1, none_loc) 309 | DEF( get_loc1, 1, 0, 1, none_loc) 310 | DEF( get_loc2, 1, 0, 1, none_loc) 311 | DEF( get_loc3, 1, 0, 1, none_loc) 312 | DEF( put_loc0, 1, 1, 0, none_loc) 313 | DEF( put_loc1, 1, 1, 0, none_loc) 314 | DEF( put_loc2, 1, 1, 0, none_loc) 315 | DEF( put_loc3, 1, 1, 0, none_loc) 316 | DEF( set_loc0, 1, 1, 1, none_loc) 317 | DEF( set_loc1, 1, 1, 1, none_loc) 318 | DEF( set_loc2, 1, 1, 1, none_loc) 319 | DEF( set_loc3, 1, 1, 1, none_loc) 320 | DEF( get_arg0, 1, 0, 1, none_arg) 321 | DEF( get_arg1, 1, 0, 1, none_arg) 322 | DEF( get_arg2, 1, 0, 1, none_arg) 323 | DEF( get_arg3, 1, 0, 1, none_arg) 324 | DEF( put_arg0, 1, 1, 0, none_arg) 325 | DEF( put_arg1, 1, 1, 0, none_arg) 326 | DEF( put_arg2, 1, 1, 0, none_arg) 327 | DEF( put_arg3, 1, 1, 0, none_arg) 328 | DEF( set_arg0, 1, 1, 1, none_arg) 329 | DEF( set_arg1, 1, 1, 1, none_arg) 330 | DEF( set_arg2, 1, 1, 1, none_arg) 331 | DEF( set_arg3, 1, 1, 1, none_arg) 332 | DEF( get_var_ref0, 1, 0, 1, none_var_ref) 333 | DEF( get_var_ref1, 1, 0, 1, none_var_ref) 334 | DEF( get_var_ref2, 1, 0, 1, none_var_ref) 335 | DEF( get_var_ref3, 1, 0, 1, none_var_ref) 336 | DEF( put_var_ref0, 1, 1, 0, none_var_ref) 337 | DEF( put_var_ref1, 1, 1, 0, none_var_ref) 338 | DEF( put_var_ref2, 1, 1, 0, none_var_ref) 339 | DEF( put_var_ref3, 1, 1, 0, none_var_ref) 340 | DEF( set_var_ref0, 1, 1, 1, none_var_ref) 341 | DEF( set_var_ref1, 1, 1, 1, none_var_ref) 342 | DEF( set_var_ref2, 1, 1, 1, none_var_ref) 343 | DEF( set_var_ref3, 1, 1, 1, none_var_ref) 344 | 345 | DEF( get_length, 1, 1, 1, none) 346 | 347 | DEF( if_false8, 2, 1, 0, label8) 348 | DEF( if_true8, 2, 1, 0, label8) /* must come after if_false8 */ 349 | DEF( goto8, 2, 0, 0, label8) /* must come after if_true8 */ 350 | DEF( goto16, 3, 0, 0, label16) 351 | 352 | DEF( call0, 1, 1, 1, npopx) 353 | DEF( call1, 1, 1, 1, npopx) 354 | DEF( call2, 1, 1, 1, npopx) 355 | DEF( call3, 1, 1, 1, npopx) 356 | 357 | DEF( is_undefined, 1, 1, 1, none) 358 | DEF( is_null, 1, 1, 1, none) 359 | DEF(typeof_is_undefined, 1, 1, 1, none) 360 | DEF( typeof_is_function, 1, 1, 1, none) 361 | #endif 362 | 363 | #undef DEF 364 | #undef def 365 | #endif /* DEF */ 366 | -------------------------------------------------------------------------------- /readme.txt: -------------------------------------------------------------------------------- 1 | The main documentation is in doc/quickjs.pdf or doc/quickjs.html. 2 | -------------------------------------------------------------------------------- /release.sh: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | # Release the QuickJS source code 3 | 4 | set -e 5 | 6 | version=`cat VERSION` 7 | 8 | if [ "$1" = "-h" ] ; then 9 | echo "release.sh [release_list]" 10 | echo "" 11 | echo "release_list: extras binary win_binary quickjs" 12 | 13 | exit 1 14 | fi 15 | 16 | release_list="extras binary win_binary quickjs" 17 | 18 | if [ "$1" != "" ] ; then 19 | release_list="$1" 20 | fi 21 | 22 | #################################################" 23 | # extras 24 | 25 | if echo $release_list | grep -w -q extras ; then 26 | 27 | d="quickjs-${version}" 28 | name="quickjs-extras-${version}" 29 | outdir="/tmp/${d}" 30 | 31 | rm -rf $outdir 32 | mkdir -p $outdir $outdir/unicode $outdir/tests 33 | 34 | cp unicode/* $outdir/unicode 35 | cp -a tests/bench-v8 $outdir/tests 36 | 37 | ( cd /tmp && tar Jcvf /tmp/${name}.tar.xz ${d} ) 38 | 39 | fi 40 | 41 | #################################################" 42 | # Windows binary release 43 | 44 | if echo $release_list | grep -w -q win_binary ; then 45 | 46 | # win64 47 | 48 | dlldir=/usr/x86_64-w64-mingw32/sys-root/mingw/bin 49 | cross_prefix="x86_64-w64-mingw32-" 50 | d="quickjs-win-x86_64-${version}" 51 | outdir="/tmp/${d}" 52 | 53 | rm -rf $outdir 54 | mkdir -p $outdir 55 | 56 | make CONFIG_WIN32=y qjs.exe 57 | cp qjs.exe $outdir 58 | ${cross_prefix}strip $outdir/qjs.exe 59 | cp $dlldir/libwinpthread-1.dll $outdir 60 | 61 | ( cd /tmp/$d && rm -f ../${d}.zip && zip -r ../${d}.zip . ) 62 | 63 | make CONFIG_WIN32=y clean 64 | 65 | # win32 66 | 67 | dlldir=/usr/i686-w64-mingw32/sys-root/mingw/bin 68 | cross_prefix="i686-w64-mingw32-" 69 | d="quickjs-win-i686-${version}" 70 | outdir="/tmp/${d}" 71 | 72 | rm -rf $outdir 73 | mkdir -p $outdir 74 | 75 | make clean 76 | make CONFIG_WIN32=y clean 77 | 78 | make CONFIG_WIN32=y CONFIG_M32=y qjs.exe 79 | cp qjs.exe $outdir 80 | ${cross_prefix}strip $outdir/qjs.exe 81 | cp $dlldir/libwinpthread-1.dll $outdir 82 | 83 | ( cd /tmp/$d && rm -f ../${d}.zip && zip -r ../${d}.zip . ) 84 | 85 | fi 86 | 87 | #################################################" 88 | # Linux binary release 89 | 90 | if echo $release_list | grep -w -q binary ; then 91 | 92 | make clean 93 | make CONFIG_WIN32=y clean 94 | make -j4 qjs run-test262 95 | make -j4 CONFIG_M32=y qjs32 run-test262-32 96 | strip qjs run-test262 qjs32 run-test262-32 97 | 98 | d="quickjs-linux-x86_64-${version}" 99 | outdir="/tmp/${d}" 100 | 101 | rm -rf $outdir 102 | mkdir -p $outdir 103 | 104 | cp qjs run-test262 $outdir 105 | 106 | ( cd /tmp/$d && rm -f ../${d}.zip && zip -r ../${d}.zip . ) 107 | 108 | d="quickjs-linux-i686-${version}" 109 | outdir="/tmp/${d}" 110 | 111 | rm -rf $outdir 112 | mkdir -p $outdir 113 | 114 | cp qjs32 $outdir/qjs 115 | cp run-test262-32 $outdir/run-test262 116 | 117 | ( cd /tmp/$d && rm -f ../${d}.zip && zip -r ../${d}.zip . ) 118 | 119 | fi 120 | 121 | #################################################" 122 | # quickjs 123 | 124 | if echo $release_list | grep -w -q quickjs ; then 125 | 126 | make build_doc 127 | 128 | d="quickjs-${version}" 129 | outdir="/tmp/${d}" 130 | 131 | rm -rf $outdir 132 | mkdir -p $outdir $outdir/doc $outdir/tests $outdir/examples 133 | 134 | cp Makefile VERSION TODO Changelog readme.txt release.sh unicode_download.sh \ 135 | qjs.c qjsc.c qjscalc.js repl.js \ 136 | quickjs.c quickjs.h quickjs-atom.h \ 137 | quickjs-libc.c quickjs-libc.h quickjs-opcode.h \ 138 | cutils.c cutils.h list.h \ 139 | libregexp.c libregexp.h libregexp-opcode.h \ 140 | libunicode.c libunicode.h libunicode-table.h \ 141 | libbf.c libbf.h \ 142 | unicode_gen.c unicode_gen_def.h \ 143 | run-test262.c test262o.conf test262.conf \ 144 | test262o_errors.txt test262_errors.txt \ 145 | $outdir 146 | 147 | cp tests/*.js tests/*.patch tests/bjson.c $outdir/tests 148 | 149 | cp examples/*.js examples/*.c $outdir/examples 150 | 151 | cp doc/quickjs.texi doc/quickjs.pdf doc/quickjs.html \ 152 | doc/jsbignum.texi doc/jsbignum.html doc/jsbignum.pdf \ 153 | $outdir/doc 154 | 155 | ( cd /tmp && tar Jcvf /tmp/${d}.tar.xz ${d} ) 156 | 157 | fi 158 | -------------------------------------------------------------------------------- /test262.conf: -------------------------------------------------------------------------------- 1 | [config] 2 | # general settings for test262 ES6 version 3 | 4 | # framework style: old, new 5 | style=new 6 | 7 | # handle tests tagged as [noStrict]: yes, no, skip 8 | nostrict=yes 9 | 10 | # handle tests tagged as [strictOnly]: yes, no, skip 11 | strict=yes 12 | 13 | # test mode: default, default-nostrict, default-strict, strict, nostrict, both, all 14 | mode=default 15 | 16 | # handle tests flagged as [async]: yes, no, skip 17 | # for these, load 'harness/doneprintHandle.js' prior to test 18 | # and expect `print('Test262:AsyncTestComplete')` to be called for 19 | # successful termination 20 | async=yes 21 | 22 | # handle tests flagged as [module]: yes, no, skip 23 | module=yes 24 | 25 | # output error messages: yes, no 26 | verbose=yes 27 | 28 | # load harness files from this directory 29 | harnessdir=test262/harness 30 | 31 | # names of harness include files to skip 32 | #harnessexclude= 33 | 34 | # name of the error file for known errors 35 | errorfile=test262_errors.txt 36 | 37 | # exclude tests enumerated in this file (see also [exclude] section) 38 | #excludefile=test262_exclude.txt 39 | 40 | # report test results to this file 41 | reportfile=test262_report.txt 42 | 43 | # enumerate tests from this directory 44 | testdir=test262/test 45 | 46 | [features] 47 | # Standard language features and proposed extensions 48 | # list the features that are included 49 | # skipped features are tagged as such to avoid warnings 50 | 51 | AggregateError 52 | align-detached-buffer-semantics-with-web-reality 53 | arbitrary-module-namespace-names=skip 54 | Array.prototype.flat 55 | Array.prototype.flatMap 56 | Array.prototype.flatten 57 | Array.prototype.item=skip 58 | Array.prototype.values 59 | ArrayBuffer 60 | arrow-function 61 | async-functions 62 | async-iteration 63 | Atomics 64 | Atomics.waitAsync=skip 65 | BigInt 66 | caller 67 | class 68 | class-fields-private 69 | class-fields-public 70 | class-methods-private 71 | class-static-fields-public 72 | class-static-fields-private 73 | class-static-methods-private 74 | cleanupSome=skip 75 | coalesce-expression 76 | computed-property-names 77 | const 78 | cross-realm 79 | DataView 80 | DataView.prototype.getFloat32 81 | DataView.prototype.getFloat64 82 | DataView.prototype.getInt16 83 | DataView.prototype.getInt32 84 | DataView.prototype.getInt8 85 | DataView.prototype.getUint16 86 | DataView.prototype.getUint32 87 | DataView.prototype.setUint8 88 | default-parameters 89 | destructuring-assignment 90 | destructuring-binding 91 | dynamic-import 92 | export-star-as-namespace-from-module 93 | FinalizationGroup=skip 94 | FinalizationRegistry=skip 95 | FinalizationRegistry.prototype.cleanupSome=skip 96 | Float32Array 97 | Float64Array 98 | for-in-order 99 | for-of 100 | generators 101 | globalThis 102 | hashbang 103 | host-gc-required=skip 104 | import.meta 105 | Int16Array 106 | Int32Array 107 | Int8Array 108 | IsHTMLDDA 109 | json-superset 110 | legacy-regexp=skip 111 | let 112 | logical-assignment-operators 113 | Map 114 | new.target 115 | numeric-separator-literal 116 | object-rest 117 | object-spread 118 | Object.fromEntries 119 | Object.is 120 | optional-catch-binding 121 | optional-chaining 122 | Promise 123 | Promise.allSettled 124 | Promise.any 125 | Promise.prototype.finally 126 | Proxy 127 | proxy-missing-checks 128 | Reflect 129 | Reflect.construct 130 | Reflect.set 131 | Reflect.setPrototypeOf 132 | regexp-dotall 133 | regexp-lookbehind 134 | regexp-match-indices=skip 135 | regexp-named-groups 136 | regexp-unicode-property-escapes 137 | rest-parameters 138 | Set 139 | SharedArrayBuffer 140 | string-trimming 141 | String.fromCodePoint 142 | String.prototype.endsWith 143 | String.prototype.includes 144 | String.prototype.item=skip 145 | String.prototype.matchAll 146 | String.prototype.replaceAll 147 | String.prototype.trimEnd 148 | String.prototype.trimStart 149 | super 150 | Symbol 151 | Symbol.asyncIterator 152 | Symbol.hasInstance 153 | Symbol.isConcatSpreadable 154 | Symbol.iterator 155 | Symbol.match 156 | Symbol.matchAll 157 | Symbol.prototype.description 158 | Symbol.replace 159 | Symbol.search 160 | Symbol.species 161 | Symbol.split 162 | Symbol.toPrimitive 163 | Symbol.toStringTag 164 | Symbol.unscopables 165 | tail-call-optimization=skip 166 | template 167 | top-level-await=skip 168 | TypedArray 169 | TypedArray.prototype.item=skip 170 | u180e 171 | Uint16Array 172 | Uint32Array 173 | Uint8Array 174 | Uint8ClampedArray 175 | WeakMap 176 | WeakRef=skip 177 | WeakSet 178 | well-formed-json-stringify 179 | __getter__ 180 | __proto__ 181 | __setter__ 182 | 183 | [exclude] 184 | # list excluded tests and directories here 185 | 186 | # intl not supported 187 | test262/test/intl402/ 188 | 189 | # incompatible with the "caller" feature 190 | test262/test/built-ins/Function/prototype/restricted-property-caller.js 191 | test262/test/built-ins/Function/prototype/restricted-property-arguments.js 192 | test262/test/built-ins/ThrowTypeError/unique-per-realm-function-proto.js 193 | 194 | # slow tests 195 | #test262/test/built-ins/RegExp/CharacterClassEscapes/ 196 | #test262/test/built-ins/RegExp/property-escapes/ 197 | 198 | [tests] 199 | # list test files or use config.testdir 200 | -------------------------------------------------------------------------------- /test262_errors.txt: -------------------------------------------------------------------------------- 1 | test262/test/built-ins/Function/internals/Construct/derived-this-uninitialized-realm.js:20: Test262Error: Expected a ReferenceError but got a ReferenceError 2 | test262/test/built-ins/Function/internals/Construct/derived-this-uninitialized-realm.js:20: strict mode: Test262Error: Expected a ReferenceError but got a ReferenceError 3 | test262/test/built-ins/RegExp/named-groups/non-unicode-property-names-valid.js:46: SyntaxError: invalid group name 4 | test262/test/built-ins/RegExp/named-groups/non-unicode-property-names-valid.js:46: strict mode: SyntaxError: invalid group name 5 | test262/test/built-ins/TypedArray/prototype/every/BigInt/callbackfn-detachbuffer.js:28: Test262Error: Expected SameValue(«1», «2») to be true (Testing with BigInt64Array.) 6 | test262/test/built-ins/TypedArray/prototype/every/BigInt/callbackfn-detachbuffer.js:28: strict mode: Test262Error: Expected SameValue(«1», «2») to be true (Testing with BigInt64Array.) 7 | test262/test/built-ins/TypedArray/prototype/every/callbackfn-detachbuffer.js:28: Test262Error: Expected SameValue(«1», «2») to be true (Testing with Float64Array.) 8 | test262/test/built-ins/TypedArray/prototype/every/callbackfn-detachbuffer.js:28: strict mode: Test262Error: Expected SameValue(«1», «2») to be true (Testing with Float64Array.) 9 | test262/test/built-ins/TypedArray/prototype/filter/BigInt/callbackfn-detachbuffer.js:20: Test262Error: Expected SameValue(«1», «2») to be true (Testing with BigInt64Array.) 10 | test262/test/built-ins/TypedArray/prototype/filter/BigInt/callbackfn-detachbuffer.js:20: strict mode: Test262Error: Expected SameValue(«1», «2») to be true (Testing with BigInt64Array.) 11 | test262/test/built-ins/TypedArray/prototype/filter/callbackfn-detachbuffer.js:20: Test262Error: Expected SameValue(«1», «2») to be true (Testing with Float64Array.) 12 | test262/test/built-ins/TypedArray/prototype/filter/callbackfn-detachbuffer.js:20: strict mode: Test262Error: Expected SameValue(«1», «2») to be true (Testing with Float64Array.) 13 | test262/test/built-ins/TypedArray/prototype/findIndex/BigInt/predicate-may-detach-buffer.js:36: Test262Error: throws a TypeError getting a value from the detached buffer Expected a TypeError to be thrown but no exception was thrown at all (Testing with BigInt64Array.) 14 | test262/test/built-ins/TypedArray/prototype/findIndex/BigInt/predicate-may-detach-buffer.js:36: strict mode: Test262Error: throws a TypeError getting a value from the detached buffer Expected a TypeError to be thrown but no exception was thrown at all (Testing with BigInt64Array.) 15 | test262/test/built-ins/TypedArray/prototype/forEach/BigInt/callbackfn-detachbuffer.js:28: Test262Error: Expected SameValue(«1», «2») to be true (Testing with BigInt64Array.) 16 | test262/test/built-ins/TypedArray/prototype/forEach/BigInt/callbackfn-detachbuffer.js:28: strict mode: Test262Error: Expected SameValue(«1», «2») to be true (Testing with BigInt64Array.) 17 | test262/test/built-ins/TypedArray/prototype/forEach/callbackfn-detachbuffer.js:28: Test262Error: Expected SameValue(«1», «2») to be true (Testing with Float64Array.) 18 | test262/test/built-ins/TypedArray/prototype/forEach/callbackfn-detachbuffer.js:28: strict mode: Test262Error: Expected SameValue(«1», «2») to be true (Testing with Float64Array.) 19 | test262/test/built-ins/TypedArray/prototype/map/BigInt/callbackfn-detachbuffer.js:20: Test262Error: Expected SameValue(«1», «2») to be true (Testing with BigInt64Array.) 20 | test262/test/built-ins/TypedArray/prototype/map/BigInt/callbackfn-detachbuffer.js:20: strict mode: Test262Error: Expected SameValue(«1», «2») to be true (Testing with BigInt64Array.) 21 | test262/test/built-ins/TypedArray/prototype/map/callbackfn-detachbuffer.js:20: Test262Error: Expected SameValue(«1», «2») to be true (Testing with Float64Array.) 22 | test262/test/built-ins/TypedArray/prototype/map/callbackfn-detachbuffer.js:20: strict mode: Test262Error: Expected SameValue(«1», «2») to be true (Testing with Float64Array.) 23 | test262/test/built-ins/TypedArray/prototype/reduce/BigInt/callbackfn-detachbuffer.js:29: Test262Error: Expected SameValue(«1», «2») to be true (Testing with BigInt64Array.) 24 | test262/test/built-ins/TypedArray/prototype/reduce/BigInt/callbackfn-detachbuffer.js:29: strict mode: Test262Error: Expected SameValue(«1», «2») to be true (Testing with BigInt64Array.) 25 | test262/test/built-ins/TypedArray/prototype/reduce/callbackfn-detachbuffer.js:29: Test262Error: Expected SameValue(«1», «2») to be true (Testing with Float64Array.) 26 | test262/test/built-ins/TypedArray/prototype/reduce/callbackfn-detachbuffer.js:29: strict mode: Test262Error: Expected SameValue(«1», «2») to be true (Testing with Float64Array.) 27 | test262/test/built-ins/TypedArray/prototype/reduceRight/BigInt/callbackfn-detachbuffer.js:29: Test262Error: Expected SameValue(«1», «2») to be true (Testing with BigInt64Array.) 28 | test262/test/built-ins/TypedArray/prototype/reduceRight/BigInt/callbackfn-detachbuffer.js:29: strict mode: Test262Error: Expected SameValue(«1», «2») to be true (Testing with BigInt64Array.) 29 | test262/test/built-ins/TypedArray/prototype/reduceRight/callbackfn-detachbuffer.js:29: Test262Error: Expected SameValue(«1», «2») to be true (Testing with Float64Array.) 30 | test262/test/built-ins/TypedArray/prototype/reduceRight/callbackfn-detachbuffer.js:29: strict mode: Test262Error: Expected SameValue(«1», «2») to be true (Testing with Float64Array.) 31 | test262/test/built-ins/TypedArray/prototype/some/BigInt/callbackfn-detachbuffer.js:28: Test262Error: Expected SameValue(«1», «2») to be true (Testing with BigInt64Array.) 32 | test262/test/built-ins/TypedArray/prototype/some/BigInt/callbackfn-detachbuffer.js:28: strict mode: Test262Error: Expected SameValue(«1», «2») to be true (Testing with BigInt64Array.) 33 | test262/test/built-ins/TypedArray/prototype/some/callbackfn-detachbuffer.js:28: Test262Error: Expected SameValue(«1», «2») to be true (Testing with Float64Array.) 34 | test262/test/built-ins/TypedArray/prototype/some/callbackfn-detachbuffer.js:28: strict mode: Test262Error: Expected SameValue(«1», «2») to be true (Testing with Float64Array.) 35 | test262/test/built-ins/TypedArrayConstructors/internals/DefineOwnProperty/BigInt/detached-buffer.js:37: Test262Error: (Testing with BigInt64Array.) 36 | test262/test/built-ins/TypedArrayConstructors/internals/DefineOwnProperty/BigInt/detached-buffer.js:37: strict mode: Test262Error: (Testing with BigInt64Array.) 37 | test262/test/built-ins/TypedArrayConstructors/internals/DefineOwnProperty/detached-buffer.js:38: Test262Error: (Testing with Float64Array.) 38 | test262/test/built-ins/TypedArrayConstructors/internals/DefineOwnProperty/detached-buffer.js:38: strict mode: Test262Error: (Testing with Float64Array.) 39 | test262/test/built-ins/TypedArrayConstructors/internals/GetOwnProperty/BigInt/index-prop-desc.js:21: Test262Error: Expected SameValue(«43», «42») to be true (Testing with BigInt64Array.) 40 | test262/test/built-ins/TypedArrayConstructors/internals/GetOwnProperty/BigInt/index-prop-desc.js:21: strict mode: Test262Error: Expected SameValue(«43», «42») to be true (Testing with BigInt64Array.) 41 | test262/test/built-ins/TypedArrayConstructors/internals/GetOwnProperty/index-prop-desc.js:22: Test262Error: Expected SameValue(«43», «42») to be true (Testing with Float64Array.) 42 | test262/test/built-ins/TypedArrayConstructors/internals/GetOwnProperty/index-prop-desc.js:22: strict mode: Test262Error: Expected SameValue(«43», «42») to be true (Testing with Float64Array.) 43 | test262/test/built-ins/TypedArrayConstructors/internals/Set/BigInt/detached-buffer-realm.js:36: strict mode: TypeError: out-of-bound numeric index (Testing with BigInt64Array.) 44 | test262/test/built-ins/TypedArrayConstructors/internals/Set/BigInt/detached-buffer.js:34: TypeError: cannot convert bigint to number (Testing with BigInt64Array.) 45 | test262/test/built-ins/TypedArrayConstructors/internals/Set/BigInt/detached-buffer.js:32: strict mode: TypeError: out-of-bound numeric index (Testing with BigInt64Array.) 46 | test262/test/built-ins/TypedArrayConstructors/internals/Set/detached-buffer-realm.js:36: strict mode: TypeError: out-of-bound numeric index (Testing with Float64Array.) 47 | test262/test/built-ins/TypedArrayConstructors/internals/Set/detached-buffer.js:32: strict mode: TypeError: out-of-bound numeric index (Testing with Float64Array.) 48 | test262/test/language/expressions/dynamic-import/usage-from-eval.js:26: TypeError: $DONE() not called 49 | test262/test/language/expressions/dynamic-import/usage-from-eval.js:26: strict mode: TypeError: $DONE() not called 50 | test262/test/language/expressions/optional-chaining/optional-call-preserves-this.js:21: TypeError: cannot read property 'c' of undefined 51 | test262/test/language/expressions/optional-chaining/optional-call-preserves-this.js:15: strict mode: TypeError: cannot read property '_b' of undefined 52 | -------------------------------------------------------------------------------- /test262o_errors.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/binzume/esp32quickjs/ec49bcf3768c3168cce7234c6d2b74d866f3a4a7/test262o_errors.txt -------------------------------------------------------------------------------- /tests/bjson.c: -------------------------------------------------------------------------------- 1 | /* 2 | * QuickJS: binary JSON module (test only) 3 | * 4 | * Copyright (c) 2017-2019 Fabrice Bellard 5 | * 6 | * Permission is hereby granted, free of charge, to any person obtaining a copy 7 | * of this software and associated documentation files (the "Software"), to deal 8 | * in the Software without restriction, including without limitation the rights 9 | * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell 10 | * copies of the Software, and to permit persons to whom the Software is 11 | * furnished to do so, subject to the following conditions: 12 | * 13 | * The above copyright notice and this permission notice shall be included in 14 | * all copies or substantial portions of the Software. 15 | * 16 | * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 17 | * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 18 | * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL 19 | * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 20 | * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 21 | * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN 22 | * THE SOFTWARE. 23 | */ 24 | #include "../quickjs-libc.h" 25 | #include "../cutils.h" 26 | 27 | static JSValue js_bjson_read(JSContext *ctx, JSValueConst this_val, 28 | int argc, JSValueConst *argv) 29 | { 30 | uint8_t *buf; 31 | uint64_t pos, len; 32 | JSValue obj; 33 | size_t size; 34 | int flags; 35 | 36 | if (JS_ToIndex(ctx, &pos, argv[1])) 37 | return JS_EXCEPTION; 38 | if (JS_ToIndex(ctx, &len, argv[2])) 39 | return JS_EXCEPTION; 40 | buf = JS_GetArrayBuffer(ctx, &size, argv[0]); 41 | if (!buf) 42 | return JS_EXCEPTION; 43 | if (pos + len > size) 44 | return JS_ThrowRangeError(ctx, "array buffer overflow"); 45 | flags = 0; 46 | if (JS_ToBool(ctx, argv[3])) 47 | flags |= JS_READ_OBJ_REFERENCE; 48 | obj = JS_ReadObject(ctx, buf + pos, len, flags); 49 | return obj; 50 | } 51 | 52 | static JSValue js_bjson_write(JSContext *ctx, JSValueConst this_val, 53 | int argc, JSValueConst *argv) 54 | { 55 | size_t len; 56 | uint8_t *buf; 57 | JSValue array; 58 | int flags; 59 | 60 | flags = 0; 61 | if (JS_ToBool(ctx, argv[1])) 62 | flags |= JS_WRITE_OBJ_REFERENCE; 63 | buf = JS_WriteObject(ctx, &len, argv[0], flags); 64 | if (!buf) 65 | return JS_EXCEPTION; 66 | array = JS_NewArrayBufferCopy(ctx, buf, len); 67 | js_free(ctx, buf); 68 | return array; 69 | } 70 | 71 | static const JSCFunctionListEntry js_bjson_funcs[] = { 72 | JS_CFUNC_DEF("read", 4, js_bjson_read ), 73 | JS_CFUNC_DEF("write", 2, js_bjson_write ), 74 | }; 75 | 76 | static int js_bjson_init(JSContext *ctx, JSModuleDef *m) 77 | { 78 | return JS_SetModuleExportList(ctx, m, js_bjson_funcs, 79 | countof(js_bjson_funcs)); 80 | } 81 | 82 | #ifdef JS_SHARED_LIBRARY 83 | #define JS_INIT_MODULE js_init_module 84 | #else 85 | #define JS_INIT_MODULE js_init_module_bjson 86 | #endif 87 | 88 | JSModuleDef *JS_INIT_MODULE(JSContext *ctx, const char *module_name) 89 | { 90 | JSModuleDef *m; 91 | m = JS_NewCModule(ctx, module_name, js_bjson_init); 92 | if (!m) 93 | return NULL; 94 | JS_AddModuleExportList(ctx, m, js_bjson_funcs, countof(js_bjson_funcs)); 95 | return m; 96 | } 97 | -------------------------------------------------------------------------------- /tests/test262.patch: -------------------------------------------------------------------------------- 1 | diff --git a/harness/atomicsHelper.js b/harness/atomicsHelper.js 2 | index 9c1217351e..3c24755558 100644 3 | --- a/harness/atomicsHelper.js 4 | +++ b/harness/atomicsHelper.js 5 | @@ -227,10 +227,14 @@ $262.agent.waitUntil = function(typedArray, index, expected) { 6 | * } 7 | */ 8 | $262.agent.timeouts = { 9 | - yield: 100, 10 | - small: 200, 11 | - long: 1000, 12 | - huge: 10000, 13 | +// yield: 100, 14 | +// small: 200, 15 | +// long: 1000, 16 | +// huge: 10000, 17 | + yield: 20, 18 | + small: 20, 19 | + long: 100, 20 | + huge: 1000, 21 | }; 22 | 23 | /** 24 | diff --git a/harness/regExpUtils.js b/harness/regExpUtils.js 25 | index be7039fda0..7b38abf8df 100644 26 | --- a/harness/regExpUtils.js 27 | +++ b/harness/regExpUtils.js 28 | @@ -6,24 +6,27 @@ description: | 29 | defines: [buildString, testPropertyEscapes, matchValidator] 30 | ---*/ 31 | 32 | +if ($262 && typeof $262.codePointRange === "function") { 33 | + /* use C function to build the codePointRange (much faster with 34 | + slow JS engines) */ 35 | + codePointRange = $262.codePointRange; 36 | +} else { 37 | + codePointRange = function codePointRange(start, end) { 38 | + const codePoints = []; 39 | + let length = 0; 40 | + for (codePoint = start; codePoint < end; codePoint++) { 41 | + codePoints[length++] = codePoint; 42 | + } 43 | + return String.fromCodePoint.apply(null, codePoints); 44 | + } 45 | +} 46 | + 47 | function buildString({ loneCodePoints, ranges }) { 48 | - const CHUNK_SIZE = 10000; 49 | - let result = Reflect.apply(String.fromCodePoint, null, loneCodePoints); 50 | - for (let i = 0; i < ranges.length; i++) { 51 | - const range = ranges[i]; 52 | - const start = range[0]; 53 | - const end = range[1]; 54 | - const codePoints = []; 55 | - for (let length = 0, codePoint = start; codePoint <= end; codePoint++) { 56 | - codePoints[length++] = codePoint; 57 | - if (length === CHUNK_SIZE) { 58 | - result += Reflect.apply(String.fromCodePoint, null, codePoints); 59 | - codePoints.length = length = 0; 60 | - } 61 | + let result = String.fromCodePoint.apply(null, loneCodePoints); 62 | + for (const [start, end] of ranges) { 63 | + result += codePointRange(start, end + 1); 64 | } 65 | - result += Reflect.apply(String.fromCodePoint, null, codePoints); 66 | - } 67 | - return result; 68 | + return result; 69 | } 70 | 71 | function testPropertyEscapes(regex, string, expression) { 72 | -------------------------------------------------------------------------------- /tests/test_bignum.js: -------------------------------------------------------------------------------- 1 | "use strict"; 2 | 3 | function assert(actual, expected, message) { 4 | if (arguments.length == 1) 5 | expected = true; 6 | 7 | if (actual === expected) 8 | return; 9 | 10 | if (actual !== null && expected !== null 11 | && typeof actual == 'object' && typeof expected == 'object' 12 | && actual.toString() === expected.toString()) 13 | return; 14 | 15 | throw Error("assertion failed: got |" + actual + "|" + 16 | ", expected |" + expected + "|" + 17 | (message ? " (" + message + ")" : "")); 18 | } 19 | 20 | function assertThrows(err, func) 21 | { 22 | var ex; 23 | ex = false; 24 | try { 25 | func(); 26 | } catch(e) { 27 | ex = true; 28 | assert(e instanceof err); 29 | } 30 | assert(ex, true, "exception expected"); 31 | } 32 | 33 | // load more elaborate version of assert if available 34 | try { __loadScript("test_assert.js"); } catch(e) {} 35 | 36 | /*----------------*/ 37 | 38 | function bigint_pow(a, n) 39 | { 40 | var r, i; 41 | r = 1n; 42 | for(i = 0n; i < n; i++) 43 | r *= a; 44 | return r; 45 | } 46 | 47 | /* a must be < b */ 48 | function test_less(a, b) 49 | { 50 | assert(a < b); 51 | assert(!(b < a)); 52 | assert(a <= b); 53 | assert(!(b <= a)); 54 | assert(b > a); 55 | assert(!(a > b)); 56 | assert(b >= a); 57 | assert(!(a >= b)); 58 | assert(a != b); 59 | assert(!(a == b)); 60 | } 61 | 62 | /* a must be numerically equal to b */ 63 | function test_eq(a, b) 64 | { 65 | assert(a == b); 66 | assert(b == a); 67 | assert(!(a != b)); 68 | assert(!(b != a)); 69 | assert(a <= b); 70 | assert(b <= a); 71 | assert(!(a < b)); 72 | assert(a >= b); 73 | assert(b >= a); 74 | assert(!(a > b)); 75 | } 76 | 77 | function test_bigint1() 78 | { 79 | var a, r; 80 | 81 | test_less(2n, 3n); 82 | test_eq(3n, 3n); 83 | 84 | test_less(2, 3n); 85 | test_eq(3, 3n); 86 | 87 | test_less(2.1, 3n); 88 | test_eq(Math.sqrt(4), 2n); 89 | 90 | a = bigint_pow(3n, 100n); 91 | assert((a - 1n) != a); 92 | assert(a == 515377520732011331036461129765621272702107522001n); 93 | assert(a == 0x5a4653ca673768565b41f775d6947d55cf3813d1n); 94 | 95 | r = 1n << 31n; 96 | assert(r, 2147483648n, "1 << 31n === 2147483648n"); 97 | 98 | r = 1n << 32n; 99 | assert(r, 4294967296n, "1 << 32n === 4294967296n"); 100 | } 101 | 102 | function test_bigint2() 103 | { 104 | assert(BigInt(""), 0n); 105 | assert(BigInt(" 123"), 123n); 106 | assert(BigInt(" 123 "), 123n); 107 | assertThrows(SyntaxError, () => { BigInt("+") } ); 108 | assertThrows(SyntaxError, () => { BigInt("-") } ); 109 | assertThrows(SyntaxError, () => { BigInt("\x00a") } ); 110 | assertThrows(SyntaxError, () => { BigInt(" 123 r") } ); 111 | } 112 | 113 | function test_divrem(div1, a, b, q) 114 | { 115 | var div, divrem, t; 116 | div = BigInt[div1]; 117 | divrem = BigInt[div1 + "rem"]; 118 | assert(div(a, b) == q); 119 | t = divrem(a, b); 120 | assert(t[0] == q); 121 | assert(a == b * q + t[1]); 122 | } 123 | 124 | function test_idiv1(div, a, b, r) 125 | { 126 | test_divrem(div, a, b, r[0]); 127 | test_divrem(div, -a, b, r[1]); 128 | test_divrem(div, a, -b, r[2]); 129 | test_divrem(div, -a, -b, r[3]); 130 | } 131 | 132 | /* QuickJS BigInt extensions */ 133 | function test_bigint_ext() 134 | { 135 | var r; 136 | assert(BigInt.floorLog2(0n) === -1n); 137 | assert(BigInt.floorLog2(7n) === 2n); 138 | 139 | assert(BigInt.sqrt(0xffffffc000000000000000n) === 17592185913343n); 140 | r = BigInt.sqrtrem(0xffffffc000000000000000n); 141 | assert(r[0] === 17592185913343n); 142 | assert(r[1] === 35167191957503n); 143 | 144 | test_idiv1("tdiv", 3n, 2n, [1n, -1n, -1n, 1n]); 145 | test_idiv1("fdiv", 3n, 2n, [1n, -2n, -2n, 1n]); 146 | test_idiv1("cdiv", 3n, 2n, [2n, -1n, -1n, 2n]); 147 | test_idiv1("ediv", 3n, 2n, [1n, -2n, -1n, 2n]); 148 | } 149 | 150 | function test_bigfloat() 151 | { 152 | var e, a, b, sqrt2; 153 | 154 | assert(typeof 1n === "bigint"); 155 | assert(typeof 1l === "bigfloat"); 156 | assert(1 == 1.0l); 157 | assert(1 !== 1.0l); 158 | 159 | test_less(2l, 3l); 160 | test_eq(3l, 3l); 161 | 162 | test_less(2, 3l); 163 | test_eq(3, 3l); 164 | 165 | test_less(2.1, 3l); 166 | test_eq(Math.sqrt(9), 3l); 167 | 168 | test_less(2n, 3l); 169 | test_eq(3n, 3l); 170 | 171 | e = new BigFloatEnv(128); 172 | assert(e.prec == 128); 173 | a = BigFloat.sqrt(2l, e); 174 | assert(a === BigFloat.parseFloat("0x1.6a09e667f3bcc908b2fb1366ea957d3e", 0, e)); 175 | assert(e.inexact === true); 176 | assert(BigFloat.fpRound(a) == 0x1.6a09e667f3bcc908b2fb1366ea95l); 177 | 178 | b = BigFloatEnv.setPrec(BigFloat.sqrt.bind(null, 2), 128); 179 | assert(a === b); 180 | 181 | assert(BigFloat.isNaN(BigFloat(NaN))); 182 | assert(BigFloat.isFinite(1l)); 183 | assert(!BigFloat.isFinite(1l/0l)); 184 | 185 | assert(BigFloat.abs(-3l) === 3l); 186 | assert(BigFloat.sign(-3l) === -1l); 187 | 188 | assert(BigFloat.exp(0.2l) === 1.2214027581601698339210719946396742l); 189 | assert(BigFloat.log(3l) === 1.0986122886681096913952452369225256l); 190 | assert(BigFloat.pow(2.1l, 1.6l) === 3.277561666451861947162828744873745l); 191 | 192 | assert(BigFloat.sin(-1l) === -0.841470984807896506652502321630299l); 193 | assert(BigFloat.cos(1l) === 0.5403023058681397174009366074429766l); 194 | assert(BigFloat.tan(0.1l) === 0.10033467208545054505808004578111154l); 195 | 196 | assert(BigFloat.asin(0.3l) === 0.30469265401539750797200296122752915l); 197 | assert(BigFloat.acos(0.4l) === 1.1592794807274085998465837940224159l); 198 | assert(BigFloat.atan(0.7l) === 0.610725964389208616543758876490236l); 199 | assert(BigFloat.atan2(7.1l, -5.1l) === 2.1937053809751415549388104628759813l); 200 | 201 | assert(BigFloat.floor(2.5l) === 2l); 202 | assert(BigFloat.ceil(2.5l) === 3l); 203 | assert(BigFloat.trunc(-2.5l) === -2l); 204 | assert(BigFloat.round(2.5l) === 3l); 205 | 206 | assert(BigFloat.fmod(3l,2l) === 1l); 207 | assert(BigFloat.remainder(3l,2l) === -1l); 208 | 209 | /* string conversion */ 210 | assert((1234.125l).toString(), "1234.125"); 211 | assert((1234.125l).toFixed(2), "1234.13"); 212 | assert((1234.125l).toFixed(2, "down"), "1234.12"); 213 | assert((1234.125l).toExponential(), "1.234125e+3"); 214 | assert((1234.125l).toExponential(5), "1.23413e+3"); 215 | assert((1234.125l).toExponential(5, BigFloatEnv.RNDZ), "1.23412e+3"); 216 | assert((1234.125l).toPrecision(6), "1234.13"); 217 | assert((1234.125l).toPrecision(6, BigFloatEnv.RNDZ), "1234.12"); 218 | 219 | /* string conversion with binary base */ 220 | assert((0x123.438l).toString(16), "123.438"); 221 | assert((0x323.438l).toString(16), "323.438"); 222 | assert((0x723.438l).toString(16), "723.438"); 223 | assert((0xf23.438l).toString(16), "f23.438"); 224 | assert((0x123.438l).toFixed(2, BigFloatEnv.RNDNA, 16), "123.44"); 225 | assert((0x323.438l).toFixed(2, BigFloatEnv.RNDNA, 16), "323.44"); 226 | assert((0x723.438l).toFixed(2, BigFloatEnv.RNDNA, 16), "723.44"); 227 | assert((0xf23.438l).toFixed(2, BigFloatEnv.RNDNA, 16), "f23.44"); 228 | assert((0x0.0000438l).toFixed(6, BigFloatEnv.RNDNA, 16), "0.000044"); 229 | assert((0x1230000000l).toFixed(1, BigFloatEnv.RNDNA, 16), "1230000000.0"); 230 | assert((0x123.438l).toPrecision(5, BigFloatEnv.RNDNA, 16), "123.44"); 231 | assert((0x123.438l).toPrecision(5, BigFloatEnv.RNDZ, 16), "123.43"); 232 | assert((0x323.438l).toPrecision(5, BigFloatEnv.RNDNA, 16), "323.44"); 233 | assert((0x723.438l).toPrecision(5, BigFloatEnv.RNDNA, 16), "723.44"); 234 | assert((-0xf23.438l).toPrecision(5, BigFloatEnv.RNDD, 16), "-f23.44"); 235 | assert((0x123.438l).toExponential(4, BigFloatEnv.RNDNA, 16), "1.2344p+8"); 236 | } 237 | 238 | function test_bigdecimal() 239 | { 240 | assert(1m === 1m); 241 | assert(1m !== 2m); 242 | test_less(1m, 2m); 243 | test_eq(2m, 2m); 244 | 245 | test_less(1, 2m); 246 | test_eq(2, 2m); 247 | 248 | test_less(1.1, 2m); 249 | test_eq(Math.sqrt(4), 2m); 250 | 251 | test_less(2n, 3m); 252 | test_eq(3n, 3m); 253 | 254 | assert(BigDecimal("1234.1") === 1234.1m); 255 | assert(BigDecimal(" 1234.1") === 1234.1m); 256 | assert(BigDecimal(" 1234.1 ") === 1234.1m); 257 | 258 | assert(BigDecimal(0.1) === 0.1m); 259 | assert(BigDecimal(123) === 123m); 260 | assert(BigDecimal(true) === 1m); 261 | 262 | assert(123m + 1m === 124m); 263 | assert(123m - 1m === 122m); 264 | 265 | assert(3.2m * 3m === 9.6m); 266 | assert(10m / 2m === 5m); 267 | assertThrows(RangeError, () => { 10m / 3m } ); 268 | 269 | assert(10m % 3m === 1m); 270 | assert(-10m % 3m === -1m); 271 | 272 | assert(1234.5m ** 3m === 1881365963.625m); 273 | assertThrows(RangeError, () => { 2m ** 3.1m } ); 274 | assertThrows(RangeError, () => { 2m ** -3m } ); 275 | 276 | assert(BigDecimal.sqrt(2m, 277 | { roundingMode: "half-even", 278 | maximumSignificantDigits: 4 }) === 1.414m); 279 | assert(BigDecimal.sqrt(101m, 280 | { roundingMode: "half-even", 281 | maximumFractionDigits: 3 }) === 10.050m); 282 | assert(BigDecimal.sqrt(0.002m, 283 | { roundingMode: "half-even", 284 | maximumFractionDigits: 3 }) === 0.045m); 285 | 286 | assert(BigDecimal.round(3.14159m, 287 | { roundingMode: "half-even", 288 | maximumFractionDigits: 3 }) === 3.142m); 289 | 290 | assert(BigDecimal.add(3.14159m, 0.31212m, 291 | { roundingMode: "half-even", 292 | maximumFractionDigits: 2 }) === 3.45m); 293 | assert(BigDecimal.sub(3.14159m, 0.31212m, 294 | { roundingMode: "down", 295 | maximumFractionDigits: 2 }) === 2.82m); 296 | assert(BigDecimal.mul(3.14159m, 0.31212m, 297 | { roundingMode: "half-even", 298 | maximumFractionDigits: 3 }) === 0.981m); 299 | assert(BigDecimal.mod(3.14159m, 0.31211m, 300 | { roundingMode: "half-even", 301 | maximumFractionDigits: 4 }) === 0.0205m); 302 | assert(BigDecimal.div(20m, 3m, 303 | { roundingMode: "half-even", 304 | maximumSignificantDigits: 3 }) === 6.67m); 305 | assert(BigDecimal.div(20m, 3m, 306 | { roundingMode: "half-even", 307 | maximumFractionDigits: 50 }) === 308 | 6.66666666666666666666666666666666666666666666666667m); 309 | 310 | /* string conversion */ 311 | assert((1234.125m).toString(), "1234.125"); 312 | assert((1234.125m).toFixed(2), "1234.13"); 313 | assert((1234.125m).toFixed(2, "down"), "1234.12"); 314 | assert((1234.125m).toExponential(), "1.234125e+3"); 315 | assert((1234.125m).toExponential(5), "1.23413e+3"); 316 | assert((1234.125m).toExponential(5, "down"), "1.23412e+3"); 317 | assert((1234.125m).toPrecision(6), "1234.13"); 318 | assert((1234.125m).toPrecision(6, "down"), "1234.12"); 319 | assert((-1234.125m).toPrecision(6, "floor"), "-1234.13"); 320 | } 321 | 322 | test_bigint1(); 323 | test_bigint2(); 324 | test_bigint_ext(); 325 | test_bigfloat(); 326 | test_bigdecimal(); 327 | -------------------------------------------------------------------------------- /tests/test_bjson.js: -------------------------------------------------------------------------------- 1 | import * as bjson from "./bjson.so"; 2 | 3 | function assert(actual, expected, message) { 4 | if (arguments.length == 1) 5 | expected = true; 6 | 7 | if (actual === expected) 8 | return; 9 | 10 | if (actual !== null && expected !== null 11 | && typeof actual == 'object' && typeof expected == 'object' 12 | && actual.toString() === expected.toString()) 13 | return; 14 | 15 | throw Error("assertion failed: got |" + actual + "|" + 16 | ", expected |" + expected + "|" + 17 | (message ? " (" + message + ")" : "")); 18 | } 19 | 20 | function toHex(a) 21 | { 22 | var i, s = "", tab, v; 23 | tab = new Uint8Array(a); 24 | for(i = 0; i < tab.length; i++) { 25 | v = tab[i].toString(16); 26 | if (v.length < 2) 27 | v = "0" + v; 28 | if (i !== 0) 29 | s += " "; 30 | s += v; 31 | } 32 | return s; 33 | } 34 | 35 | function isArrayLike(a) 36 | { 37 | return Array.isArray(a) || 38 | (a instanceof Uint8ClampedArray) || 39 | (a instanceof Uint8Array) || 40 | (a instanceof Uint16Array) || 41 | (a instanceof Uint32Array) || 42 | (a instanceof Int8Array) || 43 | (a instanceof Int16Array) || 44 | (a instanceof Int32Array) || 45 | (a instanceof Float32Array) || 46 | (a instanceof Float64Array); 47 | } 48 | 49 | function toStr(a) 50 | { 51 | var s, i, props, prop; 52 | 53 | switch(typeof(a)) { 54 | case "object": 55 | if (a === null) 56 | return "null"; 57 | if (a instanceof Date) { 58 | s = "Date(" + toStr(a.valueOf()) + ")"; 59 | } else if (a instanceof Number) { 60 | s = "Number(" + toStr(a.valueOf()) + ")"; 61 | } else if (a instanceof String) { 62 | s = "String(" + toStr(a.valueOf()) + ")"; 63 | } else if (a instanceof Boolean) { 64 | s = "Boolean(" + toStr(a.valueOf()) + ")"; 65 | } else if (isArrayLike(a)) { 66 | s = "["; 67 | for(i = 0; i < a.length; i++) { 68 | if (i != 0) 69 | s += ","; 70 | s += toStr(a[i]); 71 | } 72 | s += "]"; 73 | } else { 74 | props = Object.keys(a); 75 | s = "{"; 76 | for(i = 0; i < props.length; i++) { 77 | if (i != 0) 78 | s += ","; 79 | prop = props[i]; 80 | s += prop + ":" + toStr(a[prop]); 81 | } 82 | s += "}"; 83 | } 84 | return s; 85 | case "undefined": 86 | return "undefined"; 87 | case "string": 88 | return a.__quote(); 89 | case "number": 90 | case "bigfloat": 91 | if (a == 0 && 1 / a < 0) 92 | return "-0"; 93 | else 94 | return a.toString(); 95 | break; 96 | default: 97 | return a.toString(); 98 | } 99 | } 100 | 101 | function bjson_test(a) 102 | { 103 | var buf, r, a_str, r_str; 104 | a_str = toStr(a); 105 | buf = bjson.write(a); 106 | if (0) { 107 | print(a_str, "->", toHex(buf)); 108 | } 109 | r = bjson.read(buf, 0, buf.byteLength); 110 | r_str = toStr(r); 111 | if (a_str != r_str) { 112 | print(a_str); 113 | print(r_str); 114 | assert(false); 115 | } 116 | } 117 | 118 | /* test multiple references to an object including circular 119 | references */ 120 | function bjson_test_reference() 121 | { 122 | var array, buf, i, n, array_buffer; 123 | n = 16; 124 | array = []; 125 | for(i = 0; i < n; i++) 126 | array[i] = {}; 127 | array_buffer = new ArrayBuffer(n); 128 | for(i = 0; i < n; i++) { 129 | array[i].next = array[(i + 1) % n]; 130 | array[i].idx = i; 131 | array[i].typed_array = new Uint8Array(array_buffer, i, 1); 132 | } 133 | buf = bjson.write(array, true); 134 | 135 | array = bjson.read(buf, 0, buf.byteLength, true); 136 | 137 | /* check the result */ 138 | for(i = 0; i < n; i++) { 139 | assert(array[i].next, array[(i + 1) % n]); 140 | assert(array[i].idx, i); 141 | assert(array[i].typed_array.buffer, array_buffer); 142 | assert(array[i].typed_array.length, 1); 143 | assert(array[i].typed_array.byteOffset, i); 144 | } 145 | } 146 | 147 | function bjson_test_all() 148 | { 149 | var obj; 150 | 151 | bjson_test({x:1, y:2, if:3}); 152 | bjson_test([1, 2, 3]); 153 | bjson_test([1.0, "aa", true, false, undefined, null, NaN, -Infinity, -0.0]); 154 | if (typeof BigInt !== "undefined") { 155 | bjson_test([BigInt("1"), -BigInt("0x123456789"), 156 | BigInt("0x123456789abcdef123456789abcdef")]); 157 | } 158 | if (typeof BigFloat !== "undefined") { 159 | BigFloatEnv.setPrec(function () { 160 | bjson_test([BigFloat("0.1"), BigFloat("-1e30"), BigFloat("0"), 161 | BigFloat("-0"), BigFloat("Infinity"), BigFloat("-Infinity"), 162 | 0.0 / BigFloat("0"), BigFloat.MAX_VALUE, 163 | BigFloat.MIN_VALUE]); 164 | }, 113, 15); 165 | } 166 | if (typeof BigDecimal !== "undefined") { 167 | bjson_test([BigDecimal("0"), 168 | BigDecimal("0.8"), BigDecimal("123321312321321e100"), 169 | BigDecimal("-1233213123213214332333223332e100"), 170 | BigDecimal("1.233e-1000")]); 171 | } 172 | 173 | bjson_test([new Date(1234), new String("abc"), new Number(-12.1), new Boolean(true)]); 174 | 175 | bjson_test(new Int32Array([123123, 222111, -32222])); 176 | bjson_test(new Float64Array([123123, 222111.5])); 177 | 178 | /* tested with a circular reference */ 179 | obj = {}; 180 | obj.x = obj; 181 | try { 182 | bjson.write(obj); 183 | assert(false); 184 | } catch(e) { 185 | assert(e instanceof TypeError); 186 | } 187 | 188 | bjson_test_reference(); 189 | } 190 | 191 | bjson_test_all(); 192 | -------------------------------------------------------------------------------- /tests/test_closure.js: -------------------------------------------------------------------------------- 1 | function assert(actual, expected, message) { 2 | if (arguments.length == 1) 3 | expected = true; 4 | 5 | if (actual === expected) 6 | return; 7 | 8 | if (actual !== null && expected !== null 9 | && typeof actual == 'object' && typeof expected == 'object' 10 | && actual.toString() === expected.toString()) 11 | return; 12 | 13 | throw Error("assertion failed: got |" + actual + "|" + 14 | ", expected |" + expected + "|" + 15 | (message ? " (" + message + ")" : "")); 16 | } 17 | 18 | // load more elaborate version of assert if available 19 | try { __loadScript("test_assert.js"); } catch(e) {} 20 | 21 | /*----------------*/ 22 | 23 | var log_str = ""; 24 | 25 | function log(str) 26 | { 27 | log_str += str + ","; 28 | } 29 | 30 | function f(a, b, c) 31 | { 32 | var x = 10; 33 | log("a="+a); 34 | function g(d) { 35 | function h() { 36 | log("d=" + d); 37 | log("x=" + x); 38 | } 39 | log("b=" + b); 40 | log("c=" + c); 41 | h(); 42 | } 43 | g(4); 44 | return g; 45 | } 46 | 47 | var g1 = f(1, 2, 3); 48 | g1(5); 49 | 50 | assert(log_str, "a=1,b=2,c=3,d=4,x=10,b=2,c=3,d=5,x=10,", "closure1"); 51 | 52 | function test_closure1() 53 | { 54 | function f2() 55 | { 56 | var val = 1; 57 | 58 | function set(a) { 59 | val = a; 60 | } 61 | function get(a) { 62 | return val; 63 | } 64 | return { "set": set, "get": get }; 65 | } 66 | 67 | var obj = f2(); 68 | obj.set(10); 69 | var r; 70 | r = obj.get(); 71 | assert(r, 10, "closure2"); 72 | } 73 | 74 | function test_closure2() 75 | { 76 | var expr_func = function myfunc1(n) { 77 | function myfunc2(n) { 78 | return myfunc1(n - 1); 79 | } 80 | if (n == 0) 81 | return 0; 82 | else 83 | return myfunc2(n); 84 | }; 85 | var r; 86 | r = expr_func(1); 87 | assert(r, 0, "expr_func"); 88 | } 89 | 90 | function test_closure3() 91 | { 92 | function fib(n) 93 | { 94 | if (n <= 0) 95 | return 0; 96 | else if (n == 1) 97 | return 1; 98 | else 99 | return fib(n - 1) + fib(n - 2); 100 | } 101 | 102 | var fib_func = function fib1(n) 103 | { 104 | if (n <= 0) 105 | return 0; 106 | else if (n == 1) 107 | return 1; 108 | else 109 | return fib1(n - 1) + fib1(n - 2); 110 | }; 111 | 112 | assert(fib(6), 8, "fib"); 113 | assert(fib_func(6), 8, "fib_func"); 114 | } 115 | 116 | function test_arrow_function() 117 | { 118 | "use strict"; 119 | 120 | function f1() { 121 | return (() => arguments)(); 122 | } 123 | function f2() { 124 | return (() => this)(); 125 | } 126 | function f3() { 127 | return (() => eval("this"))(); 128 | } 129 | function f4() { 130 | return (() => eval("new.target"))(); 131 | } 132 | var a; 133 | 134 | a = f1(1, 2); 135 | assert(a.length, 2); 136 | assert(a[0] === 1 && a[1] === 2); 137 | 138 | assert(f2.call("this_val") === "this_val"); 139 | assert(f3.call("this_val") === "this_val"); 140 | assert(new f4() === f4); 141 | 142 | var o1 = { f() { return this; } }; 143 | var o2 = { f() { 144 | return (() => eval("super.f()"))(); 145 | } }; 146 | o2.__proto__ = o1; 147 | 148 | assert(o2.f() === o2); 149 | } 150 | 151 | function test_with() 152 | { 153 | var o1 = { x: "o1", y: "o1" }; 154 | var x = "local"; 155 | eval('var z="var_obj";'); 156 | assert(z === "var_obj"); 157 | with (o1) { 158 | assert(x === "o1"); 159 | assert(eval("x") === "o1"); 160 | var f = function () { 161 | o2 = { x: "o2" }; 162 | with (o2) { 163 | assert(x === "o2"); 164 | assert(y === "o1"); 165 | assert(z === "var_obj"); 166 | assert(eval("x") === "o2"); 167 | assert(eval("y") === "o1"); 168 | assert(eval("z") === "var_obj"); 169 | assert(eval('eval("x")') === "o2"); 170 | } 171 | }; 172 | f(); 173 | } 174 | } 175 | 176 | function test_eval_closure() 177 | { 178 | var tab; 179 | 180 | tab = []; 181 | for(let i = 0; i < 3; i++) { 182 | eval("tab.push(function g1() { return i; })"); 183 | } 184 | for(let i = 0; i < 3; i++) { 185 | assert(tab[i]() === i); 186 | } 187 | 188 | tab = []; 189 | for(let i = 0; i < 3; i++) { 190 | let f = function f() { 191 | eval("tab.push(function g2() { return i; })"); 192 | }; 193 | f(); 194 | } 195 | for(let i = 0; i < 3; i++) { 196 | assert(tab[i]() === i); 197 | } 198 | } 199 | 200 | function test_eval_const() 201 | { 202 | const a = 1; 203 | var success = false; 204 | var f = function () { 205 | eval("a = 1"); 206 | }; 207 | try { 208 | f(); 209 | } catch(e) { 210 | success = (e instanceof TypeError); 211 | } 212 | assert(success); 213 | } 214 | 215 | test_closure1(); 216 | test_closure2(); 217 | test_closure3(); 218 | test_arrow_function(); 219 | test_with(); 220 | test_eval_closure(); 221 | test_eval_const(); 222 | -------------------------------------------------------------------------------- /tests/test_language.js: -------------------------------------------------------------------------------- 1 | function assert(actual, expected, message) { 2 | if (arguments.length == 1) 3 | expected = true; 4 | 5 | if (actual === expected) 6 | return; 7 | 8 | if (actual !== null && expected !== null 9 | && typeof actual == 'object' && typeof expected == 'object' 10 | && actual.toString() === expected.toString()) 11 | return; 12 | 13 | throw Error("assertion failed: got |" + actual + "|" + 14 | ", expected |" + expected + "|" + 15 | (message ? " (" + message + ")" : "")); 16 | } 17 | 18 | function assert_throws(expected_error, func) 19 | { 20 | var err = false; 21 | try { 22 | func(); 23 | } catch(e) { 24 | err = true; 25 | if (!(e instanceof expected_error)) { 26 | throw Error("unexpected exception type"); 27 | } 28 | } 29 | if (!err) { 30 | throw Error("expected exception"); 31 | } 32 | } 33 | 34 | // load more elaborate version of assert if available 35 | try { __loadScript("test_assert.js"); } catch(e) {} 36 | 37 | /*----------------*/ 38 | 39 | function test_op1() 40 | { 41 | var r, a; 42 | r = 1 + 2; 43 | assert(r, 3, "1 + 2 === 3"); 44 | 45 | r = 1 - 2; 46 | assert(r, -1, "1 - 2 === -1"); 47 | 48 | r = -1; 49 | assert(r, -1, "-1 === -1"); 50 | 51 | r = +2; 52 | assert(r, 2, "+2 === 2"); 53 | 54 | r = 2 * 3; 55 | assert(r, 6, "2 * 3 === 6"); 56 | 57 | r = 4 / 2; 58 | assert(r, 2, "4 / 2 === 2"); 59 | 60 | r = 4 % 3; 61 | assert(r, 1, "4 % 3 === 3"); 62 | 63 | r = 4 << 2; 64 | assert(r, 16, "4 << 2 === 16"); 65 | 66 | r = 1 << 0; 67 | assert(r, 1, "1 << 0 === 1"); 68 | 69 | r = 1 << 31; 70 | assert(r, -2147483648, "1 << 31 === -2147483648"); 71 | 72 | r = 1 << 32; 73 | assert(r, 1, "1 << 32 === 1"); 74 | 75 | r = (1 << 31) < 0; 76 | assert(r, true, "(1 << 31) < 0 === true"); 77 | 78 | r = -4 >> 1; 79 | assert(r, -2, "-4 >> 1 === -2"); 80 | 81 | r = -4 >>> 1; 82 | assert(r, 0x7ffffffe, "-4 >>> 1 === 0x7ffffffe"); 83 | 84 | r = 1 & 1; 85 | assert(r, 1, "1 & 1 === 1"); 86 | 87 | r = 0 | 1; 88 | assert(r, 1, "0 | 1 === 1"); 89 | 90 | r = 1 ^ 1; 91 | assert(r, 0, "1 ^ 1 === 0"); 92 | 93 | r = ~1; 94 | assert(r, -2, "~1 === -2"); 95 | 96 | r = !1; 97 | assert(r, false, "!1 === false"); 98 | 99 | assert((1 < 2), true, "(1 < 2) === true"); 100 | 101 | assert((2 > 1), true, "(2 > 1) === true"); 102 | 103 | assert(('b' > 'a'), true, "('b' > 'a') === true"); 104 | 105 | assert(2 ** 8, 256, "2 ** 8 === 256"); 106 | } 107 | 108 | function test_cvt() 109 | { 110 | assert((NaN | 0) === 0); 111 | assert((Infinity | 0) === 0); 112 | assert(((-Infinity) | 0) === 0); 113 | assert(("12345" | 0) === 12345); 114 | assert(("0x12345" | 0) === 0x12345); 115 | assert(((4294967296 * 3 - 4) | 0) === -4); 116 | 117 | assert(("12345" >>> 0) === 12345); 118 | assert(("0x12345" >>> 0) === 0x12345); 119 | assert((NaN >>> 0) === 0); 120 | assert((Infinity >>> 0) === 0); 121 | assert(((-Infinity) >>> 0) === 0); 122 | assert(((4294967296 * 3 - 4) >>> 0) === (4294967296 - 4)); 123 | } 124 | 125 | function test_eq() 126 | { 127 | assert(null == undefined); 128 | assert(undefined == null); 129 | assert(true == 1); 130 | assert(0 == false); 131 | assert("" == 0); 132 | assert("123" == 123); 133 | assert("122" != 123); 134 | assert((new Number(1)) == 1); 135 | assert(2 == (new Number(2))); 136 | assert((new String("abc")) == "abc"); 137 | assert({} != "abc"); 138 | } 139 | 140 | function test_inc_dec() 141 | { 142 | var a, r; 143 | 144 | a = 1; 145 | r = a++; 146 | assert(r === 1 && a === 2, true, "++"); 147 | 148 | a = 1; 149 | r = ++a; 150 | assert(r === 2 && a === 2, true, "++"); 151 | 152 | a = 1; 153 | r = a--; 154 | assert(r === 1 && a === 0, true, "--"); 155 | 156 | a = 1; 157 | r = --a; 158 | assert(r === 0 && a === 0, true, "--"); 159 | 160 | a = {x:true}; 161 | a.x++; 162 | assert(a.x, 2, "++"); 163 | 164 | a = {x:true}; 165 | a.x--; 166 | assert(a.x, 0, "--"); 167 | 168 | a = [true]; 169 | a[0]++; 170 | assert(a[0], 2, "++"); 171 | 172 | a = {x:true}; 173 | r = a.x++; 174 | assert(r === 1 && a.x === 2, true, "++"); 175 | 176 | a = {x:true}; 177 | r = a.x--; 178 | assert(r === 1 && a.x === 0, true, "--"); 179 | 180 | a = [true]; 181 | r = a[0]++; 182 | assert(r === 1 && a[0] === 2, true, "++"); 183 | 184 | a = [true]; 185 | r = a[0]--; 186 | assert(r === 1 && a[0] === 0, true, "--"); 187 | } 188 | 189 | function F(x) 190 | { 191 | this.x = x; 192 | } 193 | 194 | function test_op2() 195 | { 196 | var a, b; 197 | a = new Object; 198 | a.x = 1; 199 | assert(a.x, 1, "new"); 200 | b = new F(2); 201 | assert(b.x, 2, "new"); 202 | 203 | a = {x : 2}; 204 | assert(("x" in a), true, "in"); 205 | assert(("y" in a), false, "in"); 206 | 207 | a = {}; 208 | assert((a instanceof Object), true, "instanceof"); 209 | assert((a instanceof String), false, "instanceof"); 210 | 211 | assert((typeof 1), "number", "typeof"); 212 | assert((typeof Object), "function", "typeof"); 213 | assert((typeof null), "object", "typeof"); 214 | assert((typeof unknown_var), "undefined", "typeof"); 215 | 216 | a = {x: 1, if: 2, async: 3}; 217 | assert(a.if === 2); 218 | assert(a.async === 3); 219 | } 220 | 221 | function test_delete() 222 | { 223 | var a, err; 224 | 225 | a = {x: 1, y: 1}; 226 | assert((delete a.x), true, "delete"); 227 | assert(("x" in a), false, "delete"); 228 | 229 | /* the following are not tested by test262 */ 230 | assert(delete "abc"[100], true); 231 | 232 | err = false; 233 | try { 234 | delete null.a; 235 | } catch(e) { 236 | err = (e instanceof TypeError); 237 | } 238 | assert(err, true, "delete"); 239 | 240 | err = false; 241 | try { 242 | a = { f() { delete super.a; } }; 243 | a.f(); 244 | } catch(e) { 245 | err = (e instanceof ReferenceError); 246 | } 247 | assert(err, true, "delete"); 248 | } 249 | 250 | function test_prototype() 251 | { 252 | var f = function f() { }; 253 | assert(f.prototype.constructor, f, "prototype"); 254 | 255 | var g = function g() { }; 256 | /* QuickJS bug */ 257 | Object.defineProperty(g, "prototype", { writable: false }); 258 | assert(g.prototype.constructor, g, "prototype"); 259 | } 260 | 261 | function test_arguments() 262 | { 263 | function f2() { 264 | assert(arguments.length, 2, "arguments"); 265 | assert(arguments[0], 1, "arguments"); 266 | assert(arguments[1], 3, "arguments"); 267 | } 268 | f2(1, 3); 269 | } 270 | 271 | function test_class() 272 | { 273 | var o; 274 | class C { 275 | constructor() { 276 | this.x = 10; 277 | } 278 | f() { 279 | return 1; 280 | } 281 | static F() { 282 | return -1; 283 | } 284 | get y() { 285 | return 12; 286 | } 287 | }; 288 | class D extends C { 289 | constructor() { 290 | super(); 291 | this.z = 20; 292 | } 293 | g() { 294 | return 2; 295 | } 296 | static G() { 297 | return -2; 298 | } 299 | h() { 300 | return super.f(); 301 | } 302 | static H() { 303 | return super["F"](); 304 | } 305 | } 306 | 307 | assert(C.F() === -1); 308 | assert(Object.getOwnPropertyDescriptor(C.prototype, "y").get.name === "get y"); 309 | 310 | o = new C(); 311 | assert(o.f() === 1); 312 | assert(o.x === 10); 313 | 314 | assert(D.F() === -1); 315 | assert(D.G() === -2); 316 | assert(D.H() === -1); 317 | 318 | o = new D(); 319 | assert(o.f() === 1); 320 | assert(o.g() === 2); 321 | assert(o.x === 10); 322 | assert(o.z === 20); 323 | assert(o.h() === 1); 324 | 325 | /* test class name scope */ 326 | var E1 = class E { static F() { return E; } }; 327 | assert(E1 === E1.F()); 328 | }; 329 | 330 | function test_template() 331 | { 332 | var a, b; 333 | b = 123; 334 | a = `abc${b}d`; 335 | assert(a, "abc123d"); 336 | 337 | a = String.raw `abc${b}d`; 338 | assert(a, "abc123d"); 339 | 340 | a = "aaa"; 341 | b = "bbb"; 342 | assert(`aaa${a, b}ccc`, "aaabbbccc"); 343 | } 344 | 345 | function test_template_skip() 346 | { 347 | var a = "Bar"; 348 | var { b = `${a + `a${a}` }baz` } = {}; 349 | assert(b, "BaraBarbaz"); 350 | } 351 | 352 | function test_object_literal() 353 | { 354 | var x = 0, get = 1, set = 2; async = 3; 355 | a = { get: 2, set: 3, async: 4 }; 356 | assert(JSON.stringify(a), '{"get":2,"set":3,"async":4}'); 357 | 358 | a = { x, get, set, async }; 359 | assert(JSON.stringify(a), '{"x":0,"get":1,"set":2,"async":3}'); 360 | } 361 | 362 | function test_regexp_skip() 363 | { 364 | var a, b; 365 | [a, b = /abc\(/] = [1]; 366 | assert(a === 1); 367 | 368 | [a, b =/abc\(/] = [2]; 369 | assert(a === 2); 370 | } 371 | 372 | function test_labels() 373 | { 374 | do x: { break x; } while(0); 375 | if (1) 376 | x: { break x; } 377 | else 378 | x: { break x; } 379 | with ({}) x: { break x; }; 380 | while (0) x: { break x; }; 381 | } 382 | 383 | function test_destructuring() 384 | { 385 | function * g () { return 0; }; 386 | var [x] = g(); 387 | assert(x, void 0); 388 | } 389 | 390 | function test_spread() 391 | { 392 | var x; 393 | x = [1, 2, ...[3, 4]]; 394 | assert(x.toString(), "1,2,3,4"); 395 | 396 | x = [ ...[ , ] ]; 397 | assert(Object.getOwnPropertyNames(x).toString(), "0,length"); 398 | } 399 | 400 | function test_function_length() 401 | { 402 | assert( ((a, b = 1, c) => {}).length, 1); 403 | assert( (([a,b]) => {}).length, 1); 404 | assert( (({a,b}) => {}).length, 1); 405 | assert( ((c, [a,b] = 1, d) => {}).length, 1); 406 | } 407 | 408 | function test_argument_scope() 409 | { 410 | var f; 411 | var c = "global"; 412 | 413 | f = function(a = eval("var arguments")) {}; 414 | assert_throws(SyntaxError, f); 415 | 416 | f = function(a = eval("1"), b = arguments[0]) { return b; }; 417 | assert(f(12), 12); 418 | 419 | f = function(a, b = arguments[0]) { return b; }; 420 | assert(f(12), 12); 421 | 422 | f = function(a, b = () => arguments) { return b; }; 423 | assert(f(12)()[0], 12); 424 | 425 | f = function(a = eval("1"), b = () => arguments) { return b; }; 426 | assert(f(12)()[0], 12); 427 | 428 | (function() { 429 | "use strict"; 430 | f = function(a = this) { return a; }; 431 | assert(f.call(123), 123); 432 | 433 | f = function f(a = f) { return a; }; 434 | assert(f(), f); 435 | 436 | f = function f(a = eval("f")) { return a; }; 437 | assert(f(), f); 438 | })(); 439 | 440 | f = (a = eval("var c = 1"), probe = () => c) => { 441 | var c = 2; 442 | assert(c, 2); 443 | assert(probe(), 1); 444 | } 445 | f(); 446 | 447 | f = (a = eval("var arguments = 1"), probe = () => arguments) => { 448 | var arguments = 2; 449 | assert(arguments, 2); 450 | assert(probe(), 1); 451 | } 452 | f(); 453 | 454 | f = function f(a = eval("var c = 1"), b = c, probe = () => c) { 455 | assert(b, 1); 456 | assert(c, 1); 457 | assert(probe(), 1) 458 | } 459 | f(); 460 | 461 | assert(c, "global"); 462 | f = function f(a, b = c, probe = () => c) { 463 | eval("var c = 1"); 464 | assert(c, 1); 465 | assert(b, "global"); 466 | assert(probe(), "global") 467 | } 468 | f(); 469 | assert(c, "global"); 470 | 471 | f = function f(a = eval("var c = 1"), probe = (d = eval("c")) => d) { 472 | assert(probe(), 1) 473 | } 474 | f(); 475 | } 476 | 477 | function test_function_expr_name() 478 | { 479 | var f; 480 | 481 | /* non strict mode test : assignment to the function name silently 482 | fails */ 483 | 484 | f = function myfunc() { 485 | myfunc = 1; 486 | return myfunc; 487 | }; 488 | assert(f(), f); 489 | 490 | f = function myfunc() { 491 | myfunc = 1; 492 | (() => { 493 | myfunc = 1; 494 | })(); 495 | return myfunc; 496 | }; 497 | assert(f(), f); 498 | 499 | f = function myfunc() { 500 | eval("myfunc = 1"); 501 | return myfunc; 502 | }; 503 | assert(f(), f); 504 | 505 | /* strict mode test : assignment to the function name raises a 506 | TypeError exception */ 507 | 508 | f = function myfunc() { 509 | "use strict"; 510 | myfunc = 1; 511 | }; 512 | assert_throws(TypeError, f); 513 | 514 | f = function myfunc() { 515 | "use strict"; 516 | (() => { 517 | myfunc = 1; 518 | })(); 519 | }; 520 | assert_throws(TypeError, f); 521 | 522 | f = function myfunc() { 523 | "use strict"; 524 | eval("myfunc = 1"); 525 | }; 526 | assert_throws(TypeError, f); 527 | } 528 | 529 | test_op1(); 530 | test_cvt(); 531 | test_eq(); 532 | test_inc_dec(); 533 | test_op2(); 534 | test_delete(); 535 | test_prototype(); 536 | test_arguments(); 537 | test_class(); 538 | test_template(); 539 | test_template_skip(); 540 | test_object_literal(); 541 | test_regexp_skip(); 542 | test_labels(); 543 | test_destructuring(); 544 | test_spread(); 545 | test_function_length(); 546 | test_argument_scope(); 547 | test_function_expr_name(); 548 | -------------------------------------------------------------------------------- /tests/test_loop.js: -------------------------------------------------------------------------------- 1 | function assert(actual, expected, message) { 2 | if (arguments.length == 1) 3 | expected = true; 4 | 5 | if (actual === expected) 6 | return; 7 | 8 | if (actual !== null && expected !== null 9 | && typeof actual == 'object' && typeof expected == 'object' 10 | && actual.toString() === expected.toString()) 11 | return; 12 | 13 | throw Error("assertion failed: got |" + actual + "|" + 14 | ", expected |" + expected + "|" + 15 | (message ? " (" + message + ")" : "")); 16 | } 17 | 18 | // load more elaborate version of assert if available 19 | try { __loadScript("test_assert.js"); } catch(e) {} 20 | 21 | /*----------------*/ 22 | 23 | function test_while() 24 | { 25 | var i, c; 26 | i = 0; 27 | c = 0; 28 | while (i < 3) { 29 | c++; 30 | i++; 31 | } 32 | assert(c === 3); 33 | } 34 | 35 | function test_while_break() 36 | { 37 | var i, c; 38 | i = 0; 39 | c = 0; 40 | while (i < 3) { 41 | c++; 42 | if (i == 1) 43 | break; 44 | i++; 45 | } 46 | assert(c === 2 && i === 1); 47 | } 48 | 49 | function test_do_while() 50 | { 51 | var i, c; 52 | i = 0; 53 | c = 0; 54 | do { 55 | c++; 56 | i++; 57 | } while (i < 3); 58 | assert(c === 3 && i === 3); 59 | } 60 | 61 | function test_for() 62 | { 63 | var i, c; 64 | c = 0; 65 | for(i = 0; i < 3; i++) { 66 | c++; 67 | } 68 | assert(c === 3 && i === 3); 69 | 70 | c = 0; 71 | for(var j = 0; j < 3; j++) { 72 | c++; 73 | } 74 | assert(c === 3 && j === 3); 75 | } 76 | 77 | function test_for_in() 78 | { 79 | var i, tab, a, b; 80 | 81 | tab = []; 82 | for(i in {x:1, y: 2}) { 83 | tab.push(i); 84 | } 85 | assert(tab.toString(), "x,y", "for_in"); 86 | 87 | /* prototype chain test */ 88 | a = {x:2, y: 2, "1": 3}; 89 | b = {"4" : 3 }; 90 | Object.setPrototypeOf(a, b); 91 | tab = []; 92 | for(i in a) { 93 | tab.push(i); 94 | } 95 | assert(tab.toString(), "1,x,y,4", "for_in"); 96 | 97 | /* non enumerable properties hide enumerables ones in the 98 | prototype chain */ 99 | a = {y: 2, "1": 3}; 100 | Object.defineProperty(a, "x", { value: 1 }); 101 | b = {"x" : 3 }; 102 | Object.setPrototypeOf(a, b); 103 | tab = []; 104 | for(i in a) { 105 | tab.push(i); 106 | } 107 | assert(tab.toString(), "1,y", "for_in"); 108 | 109 | /* array optimization */ 110 | a = []; 111 | for(i = 0; i < 10; i++) 112 | a.push(i); 113 | tab = []; 114 | for(i in a) { 115 | tab.push(i); 116 | } 117 | assert(tab.toString(), "0,1,2,3,4,5,6,7,8,9", "for_in"); 118 | 119 | /* iterate with a field */ 120 | a={x:0}; 121 | tab = []; 122 | for(a.x in {x:1, y: 2}) { 123 | tab.push(a.x); 124 | } 125 | assert(tab.toString(), "x,y", "for_in"); 126 | 127 | /* iterate with a variable field */ 128 | a=[0]; 129 | tab = []; 130 | for(a[0] in {x:1, y: 2}) { 131 | tab.push(a[0]); 132 | } 133 | assert(tab.toString(), "x,y", "for_in"); 134 | 135 | /* variable definition in the for in */ 136 | tab = []; 137 | for(var j in {x:1, y: 2}) { 138 | tab.push(j); 139 | } 140 | assert(tab.toString(), "x,y", "for_in"); 141 | 142 | /* variable assigment in the for in */ 143 | tab = []; 144 | for(var k = 2 in {x:1, y: 2}) { 145 | tab.push(k); 146 | } 147 | assert(tab.toString(), "x,y", "for_in"); 148 | } 149 | 150 | function test_for_in2() 151 | { 152 | var i; 153 | tab = []; 154 | for(i in {x:1, y: 2, z:3}) { 155 | if (i === "y") 156 | continue; 157 | tab.push(i); 158 | } 159 | assert(tab.toString() == "x,z"); 160 | 161 | tab = []; 162 | for(i in {x:1, y: 2, z:3}) { 163 | if (i === "z") 164 | break; 165 | tab.push(i); 166 | } 167 | assert(tab.toString() == "x,y"); 168 | } 169 | 170 | function test_for_break() 171 | { 172 | var i, c; 173 | c = 0; 174 | L1: for(i = 0; i < 3; i++) { 175 | c++; 176 | if (i == 0) 177 | continue; 178 | while (1) { 179 | break L1; 180 | } 181 | } 182 | assert(c === 2 && i === 1); 183 | } 184 | 185 | function test_switch1() 186 | { 187 | var i, a, s; 188 | s = ""; 189 | for(i = 0; i < 3; i++) { 190 | a = "?"; 191 | switch(i) { 192 | case 0: 193 | a = "a"; 194 | break; 195 | case 1: 196 | a = "b"; 197 | break; 198 | default: 199 | a = "c"; 200 | break; 201 | } 202 | s += a; 203 | } 204 | assert(s === "abc" && i === 3); 205 | } 206 | 207 | function test_switch2() 208 | { 209 | var i, a, s; 210 | s = ""; 211 | for(i = 0; i < 4; i++) { 212 | a = "?"; 213 | switch(i) { 214 | case 0: 215 | a = "a"; 216 | break; 217 | case 1: 218 | a = "b"; 219 | break; 220 | case 2: 221 | continue; 222 | default: 223 | a = "" + i; 224 | break; 225 | } 226 | s += a; 227 | } 228 | assert(s === "ab3" && i === 4); 229 | } 230 | 231 | function test_try_catch1() 232 | { 233 | try { 234 | throw "hello"; 235 | } catch (e) { 236 | assert(e, "hello", "catch"); 237 | return; 238 | } 239 | assert(false, "catch"); 240 | } 241 | 242 | function test_try_catch2() 243 | { 244 | var a; 245 | try { 246 | a = 1; 247 | } catch (e) { 248 | a = 2; 249 | } 250 | assert(a, 1, "catch"); 251 | } 252 | 253 | function test_try_catch3() 254 | { 255 | var s; 256 | s = ""; 257 | try { 258 | s += "t"; 259 | } catch (e) { 260 | s += "c"; 261 | } finally { 262 | s += "f"; 263 | } 264 | assert(s, "tf", "catch"); 265 | } 266 | 267 | function test_try_catch4() 268 | { 269 | var s; 270 | s = ""; 271 | try { 272 | s += "t"; 273 | throw "c"; 274 | } catch (e) { 275 | s += e; 276 | } finally { 277 | s += "f"; 278 | } 279 | assert(s, "tcf", "catch"); 280 | } 281 | 282 | function test_try_catch5() 283 | { 284 | var s; 285 | s = ""; 286 | for(;;) { 287 | try { 288 | s += "t"; 289 | break; 290 | s += "b"; 291 | } finally { 292 | s += "f"; 293 | } 294 | } 295 | assert(s, "tf", "catch"); 296 | } 297 | 298 | function test_try_catch6() 299 | { 300 | function f() { 301 | try { 302 | s += 't'; 303 | return 1; 304 | } finally { 305 | s += "f"; 306 | } 307 | } 308 | var s = ""; 309 | assert(f() === 1); 310 | assert(s, "tf", "catch6"); 311 | } 312 | 313 | function test_try_catch7() 314 | { 315 | var s; 316 | s = ""; 317 | 318 | try { 319 | try { 320 | s += "t"; 321 | throw "a"; 322 | } finally { 323 | s += "f"; 324 | } 325 | } catch(e) { 326 | s += e; 327 | } finally { 328 | s += "g"; 329 | } 330 | assert(s, "tfag", "catch"); 331 | } 332 | 333 | function test_try_catch8() 334 | { 335 | var i, s; 336 | 337 | s = ""; 338 | for(var i in {x:1, y:2}) { 339 | try { 340 | s += i; 341 | throw "a"; 342 | } catch (e) { 343 | s += e; 344 | } finally { 345 | s += "f"; 346 | } 347 | } 348 | assert(s === "xafyaf"); 349 | } 350 | 351 | test_while(); 352 | test_while_break(); 353 | test_do_while(); 354 | test_for(); 355 | test_for_break(); 356 | test_switch1(); 357 | test_switch2(); 358 | test_for_in(); 359 | test_for_in2(); 360 | 361 | test_try_catch1(); 362 | test_try_catch2(); 363 | test_try_catch3(); 364 | test_try_catch4(); 365 | test_try_catch5(); 366 | test_try_catch6(); 367 | test_try_catch7(); 368 | test_try_catch8(); 369 | -------------------------------------------------------------------------------- /tests/test_op_overloading.js: -------------------------------------------------------------------------------- 1 | "use strict"; 2 | 3 | function assert(actual, expected, message) { 4 | if (arguments.length == 1) 5 | expected = true; 6 | 7 | if (actual === expected) 8 | return; 9 | 10 | if (actual !== null && expected !== null 11 | && typeof actual == 'object' && typeof expected == 'object' 12 | && actual.toString() === expected.toString()) 13 | return; 14 | 15 | throw Error("assertion failed: got |" + actual + "|" + 16 | ", expected |" + expected + "|" + 17 | (message ? " (" + message + ")" : "")); 18 | } 19 | 20 | /* operators overloading with Operators.create() */ 21 | function test_operators_create() { 22 | class Vec2 23 | { 24 | constructor(x, y) { 25 | this.x = x; 26 | this.y = y; 27 | } 28 | static mul_scalar(p1, a) { 29 | var r = new Vec2(); 30 | r.x = p1.x * a; 31 | r.y = p1.y * a; 32 | return r; 33 | } 34 | toString() { 35 | return "Vec2(" + this.x + "," + this.y + ")"; 36 | } 37 | } 38 | 39 | Vec2.prototype[Symbol.operatorSet] = Operators.create( 40 | { 41 | "+"(p1, p2) { 42 | var r = new Vec2(); 43 | r.x = p1.x + p2.x; 44 | r.y = p1.y + p2.y; 45 | return r; 46 | }, 47 | "-"(p1, p2) { 48 | var r = new Vec2(); 49 | r.x = p1.x - p2.x; 50 | r.y = p1.y - p2.y; 51 | return r; 52 | }, 53 | "=="(a, b) { 54 | return a.x == b.x && a.y == b.y; 55 | }, 56 | "<"(a, b) { 57 | var r; 58 | /* lexicographic order */ 59 | if (a.x == b.x) 60 | r = (a.y < b.y); 61 | else 62 | r = (a.x < b.x); 63 | return r; 64 | }, 65 | "++"(a) { 66 | var r = new Vec2(); 67 | r.x = a.x + 1; 68 | r.y = a.y + 1; 69 | return r; 70 | } 71 | }, 72 | { 73 | left: Number, 74 | "*"(a, b) { 75 | return Vec2.mul_scalar(b, a); 76 | } 77 | }, 78 | { 79 | right: Number, 80 | "*"(a, b) { 81 | return Vec2.mul_scalar(a, b); 82 | } 83 | }); 84 | 85 | var a = new Vec2(1, 2); 86 | var b = new Vec2(3, 4); 87 | var r; 88 | 89 | r = a * 2 + 3 * b; 90 | assert(r.x === 11 && r.y === 16); 91 | assert(a == a, true); 92 | assert(a == b, false); 93 | assert(a != a, false); 94 | assert(a < b, true); 95 | assert(a <= b, true); 96 | assert(b < a, false); 97 | assert(b <= a, false); 98 | assert(a <= a, true); 99 | assert(a >= a, true); 100 | a++; 101 | assert(a.x === 2 && a.y === 3); 102 | r = ++a; 103 | assert(a.x === 3 && a.y === 4); 104 | assert(r === a); 105 | } 106 | 107 | /* operators overloading thru inheritance */ 108 | function test_operators() 109 | { 110 | var Vec2; 111 | 112 | function mul_scalar(p1, a) { 113 | var r = new Vec2(); 114 | r.x = p1.x * a; 115 | r.y = p1.y * a; 116 | return r; 117 | } 118 | 119 | var vec2_ops = Operators({ 120 | "+"(p1, p2) { 121 | var r = new Vec2(); 122 | r.x = p1.x + p2.x; 123 | r.y = p1.y + p2.y; 124 | return r; 125 | }, 126 | "-"(p1, p2) { 127 | var r = new Vec2(); 128 | r.x = p1.x - p2.x; 129 | r.y = p1.y - p2.y; 130 | return r; 131 | }, 132 | "=="(a, b) { 133 | return a.x == b.x && a.y == b.y; 134 | }, 135 | "<"(a, b) { 136 | var r; 137 | /* lexicographic order */ 138 | if (a.x == b.x) 139 | r = (a.y < b.y); 140 | else 141 | r = (a.x < b.x); 142 | return r; 143 | }, 144 | "++"(a) { 145 | var r = new Vec2(); 146 | r.x = a.x + 1; 147 | r.y = a.y + 1; 148 | return r; 149 | } 150 | }, 151 | { 152 | left: Number, 153 | "*"(a, b) { 154 | return mul_scalar(b, a); 155 | } 156 | }, 157 | { 158 | right: Number, 159 | "*"(a, b) { 160 | return mul_scalar(a, b); 161 | } 162 | }); 163 | 164 | Vec2 = class Vec2 extends vec2_ops 165 | { 166 | constructor(x, y) { 167 | super(); 168 | this.x = x; 169 | this.y = y; 170 | } 171 | toString() { 172 | return "Vec2(" + this.x + "," + this.y + ")"; 173 | } 174 | } 175 | 176 | var a = new Vec2(1, 2); 177 | var b = new Vec2(3, 4); 178 | var r; 179 | 180 | r = a * 2 + 3 * b; 181 | assert(r.x === 11 && r.y === 16); 182 | assert(a == a, true); 183 | assert(a == b, false); 184 | assert(a != a, false); 185 | assert(a < b, true); 186 | assert(a <= b, true); 187 | assert(b < a, false); 188 | assert(b <= a, false); 189 | assert(a <= a, true); 190 | assert(a >= a, true); 191 | a++; 192 | assert(a.x === 2 && a.y === 3); 193 | r = ++a; 194 | assert(a.x === 3 && a.y === 4); 195 | assert(r === a); 196 | } 197 | 198 | function test_default_op() 199 | { 200 | assert(Object(1) + 2, 3); 201 | assert(Object(1) + true, 2); 202 | assert(-Object(1), -1); 203 | } 204 | 205 | test_operators_create(); 206 | test_operators(); 207 | test_default_op(); 208 | -------------------------------------------------------------------------------- /tests/test_qjscalc.js: -------------------------------------------------------------------------------- 1 | "use math"; 2 | "use strict"; 3 | 4 | function assert(actual, expected, message) { 5 | if (arguments.length == 1) 6 | expected = true; 7 | 8 | if (actual === expected) 9 | return; 10 | 11 | if (actual !== null && expected !== null 12 | && typeof actual == 'object' && typeof expected == 'object' 13 | && actual.toString() === expected.toString()) 14 | return; 15 | 16 | throw Error("assertion failed: got |" + actual + "|" + 17 | ", expected |" + expected + "|" + 18 | (message ? " (" + message + ")" : "")); 19 | } 20 | 21 | function assertThrows(err, func) 22 | { 23 | var ex; 24 | ex = false; 25 | try { 26 | func(); 27 | } catch(e) { 28 | ex = true; 29 | assert(e instanceof err); 30 | } 31 | assert(ex, true, "exception expected"); 32 | } 33 | 34 | // load more elaborate version of assert if available 35 | try { __loadScript("test_assert.js"); } catch(e) {} 36 | 37 | /*----------------*/ 38 | 39 | function pow(a, n) 40 | { 41 | var r, i; 42 | r = 1; 43 | for(i = 0; i < n; i++) 44 | r *= a; 45 | return r; 46 | } 47 | 48 | function test_integer() 49 | { 50 | var a, r; 51 | a = pow(3, 100); 52 | assert((a - 1) != a); 53 | assert(a == 515377520732011331036461129765621272702107522001); 54 | assert(a == 0x5a4653ca673768565b41f775d6947d55cf3813d1); 55 | assert(Integer.isInteger(1) === true); 56 | assert(Integer.isInteger(1.0) === false); 57 | 58 | assert(Integer.floorLog2(0) === -1); 59 | assert(Integer.floorLog2(7) === 2); 60 | 61 | r = 1 << 31; 62 | assert(r, 2147483648, "1 << 31 === 2147483648"); 63 | 64 | r = 1 << 32; 65 | assert(r, 4294967296, "1 << 32 === 4294967296"); 66 | 67 | r = (1 << 31) < 0; 68 | assert(r, false, "(1 << 31) < 0 === false"); 69 | 70 | assert(typeof 1 === "number"); 71 | assert(typeof 9007199254740991 === "number"); 72 | assert(typeof 9007199254740992 === "bigint"); 73 | } 74 | 75 | function test_float() 76 | { 77 | assert(typeof 1.0 === "bigfloat"); 78 | assert(1 == 1.0); 79 | assert(1 !== 1.0); 80 | } 81 | 82 | /* jscalc tests */ 83 | 84 | function test_modulo() 85 | { 86 | var i, p, a, b; 87 | 88 | /* Euclidian modulo operator */ 89 | assert((-3) % 2 == 1); 90 | assert(3 % (-2) == 1); 91 | 92 | p = 101; 93 | for(i = 1; i < p; i++) { 94 | a = Integer.invmod(i, p); 95 | assert(a >= 0 && a < p); 96 | assert((i * a) % p == 1); 97 | } 98 | 99 | assert(Integer.isPrime(2^107-1)); 100 | assert(!Integer.isPrime((2^107-1) * (2^89-1))); 101 | a = Integer.factor((2^89-1)*2^3*11*13^2*1009); 102 | assert(a == [ 2,2,2,11,13,13,1009,618970019642690137449562111 ]); 103 | } 104 | 105 | function test_fraction() 106 | { 107 | assert((1/3 + 1).toString(), "4/3") 108 | assert((2/3)^30, 1073741824/205891132094649); 109 | assert(1/3 < 2/3); 110 | assert(1/3 < 1); 111 | assert(1/3 == 1.0/3); 112 | assert(1.0/3 < 2/3); 113 | } 114 | 115 | function test_mod() 116 | { 117 | var a, b, p; 118 | 119 | a = Mod(3, 101); 120 | b = Mod(-1, 101); 121 | assert((a + b) == Mod(2, 101)); 122 | assert(a ^ 100 == Mod(1, 101)); 123 | 124 | p = 2 ^ 607 - 1; /* mersenne prime */ 125 | a = Mod(3, p) ^ (p - 1); 126 | assert(a == Mod(1, p)); 127 | } 128 | 129 | function test_polynomial() 130 | { 131 | var a, b, q, r, t, i; 132 | a = (1 + X) ^ 4; 133 | assert(a == X^4+4*X^3+6*X^2+4*X+1); 134 | 135 | r = (1 + X); 136 | q = (1+X+X^2); 137 | b = (1 - X^2); 138 | a = q * b + r; 139 | t = Polynomial.divrem(a, b); 140 | assert(t[0] == q); 141 | assert(t[1] == r); 142 | 143 | a = 1 + 2*X + 3*X^2; 144 | assert(a.apply(0.1) == 1.23); 145 | 146 | a = 1-2*X^2+2*X^3; 147 | assert(deriv(a) == (6*X^2-4*X)); 148 | assert(deriv(integ(a)) == a); 149 | 150 | a = (X-1)*(X-2)*(X-3)*(X-4)*(X-0.1); 151 | r = polroots(a); 152 | for(i = 0; i < r.length; i++) { 153 | b = abs(a.apply(r[i])); 154 | assert(b <= 1e-13); 155 | } 156 | } 157 | 158 | function test_poly_mod() 159 | { 160 | var a, p; 161 | 162 | /* modulo using polynomials */ 163 | p = X^2 + X + 1; 164 | a = PolyMod(3+X, p) ^ 10; 165 | assert(a == PolyMod(-3725*X-18357, p)); 166 | 167 | a = PolyMod(1/X, 1+X^2); 168 | assert(a == PolyMod(-X, X^2+1)); 169 | } 170 | 171 | function test_rfunc() 172 | { 173 | var a; 174 | a = (X+1)/((X+1)*(X-1)); 175 | assert(a == 1/(X-1)); 176 | a = (X + 2) / (X - 2); 177 | assert(a.apply(1/3) == -7/5); 178 | 179 | assert(deriv((X^2-X+1)/(X-1)) == (X^2-2*X)/(X^2-2*X+1)); 180 | } 181 | 182 | function test_series() 183 | { 184 | var a, b; 185 | a = 1+X+O(X^5); 186 | b = a.inverse(); 187 | assert(b == 1-X+X^2-X^3+X^4+O(X^5)); 188 | assert(deriv(b) == -1+2*X-3*X^2+4*X^3+O(X^4)); 189 | assert(deriv(integ(b)) == b); 190 | 191 | a = Series(1/(1-X), 5); 192 | assert(a == 1+X+X^2+X^3+X^4+O(X^5)); 193 | b = a.apply(0.1); 194 | assert(b == 1.1111); 195 | 196 | assert(exp(3*X^2+O(X^10)) == 1+3*X^2+9/2*X^4+9/2*X^6+27/8*X^8+O(X^10)); 197 | assert(sin(X+O(X^6)) == X-1/6*X^3+1/120*X^5+O(X^6)); 198 | assert(cos(X+O(X^6)) == 1-1/2*X^2+1/24*X^4+O(X^6)); 199 | assert(tan(X+O(X^8)) == X+1/3*X^3+2/15*X^5+17/315*X^7+O(X^8)); 200 | assert((1+X+O(X^6))^(2+X) == 1+2*X+2*X^2+3/2*X^3+5/6*X^4+5/12*X^5+O(X^6)); 201 | } 202 | 203 | function test_matrix() 204 | { 205 | var a, b, r; 206 | a = [[1, 2],[3, 4]]; 207 | b = [3, 4]; 208 | r = a * b; 209 | assert(r == [11, 25]); 210 | r = (a^-1) * 2; 211 | assert(r == [[-4, 2],[3, -1]]); 212 | 213 | assert(norm2([1,2,3]) == 14); 214 | 215 | assert(diag([1,2,3]) == [ [ 1, 0, 0 ], [ 0, 2, 0 ], [ 0, 0, 3 ] ]); 216 | assert(trans(a) == [ [ 1, 3 ], [ 2, 4 ] ]); 217 | assert(trans([1,2,3]) == [[1,2,3]]); 218 | assert(trace(a) == 5); 219 | 220 | assert(charpoly(Matrix.hilbert(4)) == X^4-176/105*X^3+3341/12600*X^2-41/23625*X+1/6048000); 221 | assert(det(Matrix.hilbert(4)) == 1/6048000); 222 | 223 | a = [[1,2,1],[-2,-3,1],[3,5,0]]; 224 | assert(rank(a) == 2); 225 | assert(ker(a) == [ [ 5 ], [ -3 ], [ 1 ] ]); 226 | 227 | assert(dp([1, 2, 3], [3, -4, -7]) === -26); 228 | assert(cp([1, 2, 3], [3, -4, -7]) == [ -2, 16, -10 ]); 229 | } 230 | 231 | function assert_eq(a, ref) 232 | { 233 | assert(abs(a / ref - 1.0) <= 1e-15); 234 | } 235 | 236 | function test_trig() 237 | { 238 | assert_eq(sin(1/2), 0.479425538604203); 239 | assert_eq(sin(2+3*I), 9.154499146911428-4.168906959966565*I); 240 | assert_eq(cos(2+3*I), -4.189625690968807-9.109227893755337*I); 241 | assert_eq((2+0.5*I)^(1.1-0.5*I), 2.494363021357619-0.23076804554558092*I); 242 | assert_eq(sqrt(2*I), 1 + I); 243 | } 244 | 245 | test_integer(); 246 | test_float(); 247 | 248 | test_modulo(); 249 | test_fraction(); 250 | test_mod(); 251 | test_polynomial(); 252 | test_poly_mod(); 253 | test_rfunc(); 254 | test_series(); 255 | test_matrix(); 256 | test_trig(); 257 | -------------------------------------------------------------------------------- /tests/test_std.js: -------------------------------------------------------------------------------- 1 | import * as std from "std"; 2 | import * as os from "os"; 3 | 4 | function assert(actual, expected, message) { 5 | if (arguments.length == 1) 6 | expected = true; 7 | 8 | if (actual === expected) 9 | return; 10 | 11 | if (actual !== null && expected !== null 12 | && typeof actual == 'object' && typeof expected == 'object' 13 | && actual.toString() === expected.toString()) 14 | return; 15 | 16 | throw Error("assertion failed: got |" + actual + "|" + 17 | ", expected |" + expected + "|" + 18 | (message ? " (" + message + ")" : "")); 19 | } 20 | 21 | // load more elaborate version of assert if available 22 | try { std.loadScript("test_assert.js"); } catch(e) {} 23 | 24 | /*----------------*/ 25 | 26 | function test_printf() 27 | { 28 | assert(std.sprintf("a=%d s=%s", 123, "abc"), "a=123 s=abc"); 29 | assert(std.sprintf("%010d", 123), "0000000123"); 30 | assert(std.sprintf("%x", -2), "fffffffe"); 31 | assert(std.sprintf("%lx", -2), "fffffffffffffffe"); 32 | assert(std.sprintf("%10.1f", 2.1), " 2.1"); 33 | assert(std.sprintf("%*.*f", 10, 2, -2.13), " -2.13"); 34 | assert(std.sprintf("%#lx", 0x7fffffffffffffffn), "0x7fffffffffffffff"); 35 | } 36 | 37 | function test_file1() 38 | { 39 | var f, len, str, size, buf, ret, i, str1; 40 | 41 | f = std.tmpfile(); 42 | str = "hello world\n"; 43 | f.puts(str); 44 | 45 | f.seek(0, std.SEEK_SET); 46 | str1 = f.readAsString(); 47 | assert(str1 === str); 48 | 49 | f.seek(0, std.SEEK_END); 50 | size = f.tell(); 51 | assert(size === str.length); 52 | 53 | f.seek(0, std.SEEK_SET); 54 | 55 | buf = new Uint8Array(size); 56 | ret = f.read(buf.buffer, 0, size); 57 | assert(ret === size); 58 | for(i = 0; i < size; i++) 59 | assert(buf[i] === str.charCodeAt(i)); 60 | 61 | f.close(); 62 | } 63 | 64 | function test_file2() 65 | { 66 | var f, str, i, size; 67 | f = std.tmpfile(); 68 | str = "hello world\n"; 69 | size = str.length; 70 | for(i = 0; i < size; i++) 71 | f.putByte(str.charCodeAt(i)); 72 | f.seek(0, std.SEEK_SET); 73 | for(i = 0; i < size; i++) { 74 | assert(str.charCodeAt(i) === f.getByte()); 75 | } 76 | assert(f.getByte() === -1); 77 | f.close(); 78 | } 79 | 80 | function test_getline() 81 | { 82 | var f, line, line_count, lines, i; 83 | 84 | lines = ["hello world", "line 1", "line 2" ]; 85 | f = std.tmpfile(); 86 | for(i = 0; i < lines.length; i++) { 87 | f.puts(lines[i], "\n"); 88 | } 89 | 90 | f.seek(0, std.SEEK_SET); 91 | assert(!f.eof()); 92 | line_count = 0; 93 | for(;;) { 94 | line = f.getline(); 95 | if (line === null) 96 | break; 97 | assert(line == lines[line_count]); 98 | line_count++; 99 | } 100 | assert(f.eof()); 101 | assert(line_count === lines.length); 102 | 103 | f.close(); 104 | } 105 | 106 | function test_popen() 107 | { 108 | var str, f, fname = "tmp_file.txt"; 109 | var content = "hello world"; 110 | 111 | f = std.open(fname, "w"); 112 | f.puts(content); 113 | f.close(); 114 | 115 | /* test loadFile */ 116 | assert(std.loadFile(fname), content); 117 | 118 | /* execute the 'cat' shell command */ 119 | f = std.popen("cat " + fname, "r"); 120 | str = f.readAsString(); 121 | f.close(); 122 | 123 | assert(str, content); 124 | 125 | os.remove(fname); 126 | } 127 | 128 | function test_ext_json() 129 | { 130 | var expected, input, obj; 131 | expected = '{"x":false,"y":true,"z2":null,"a":[1,8,160],"s":"str"}'; 132 | input = `{ "x":false, /*comments are allowed */ 133 | "y":true, // also a comment 134 | z2:null, // unquoted property names 135 | "a":[+1,0o10,0xa0,], // plus prefix, octal, hexadecimal 136 | "s":"str",} // trailing comma in objects and arrays 137 | `; 138 | obj = std.parseExtJSON(input); 139 | assert(JSON.stringify(obj), expected); 140 | } 141 | 142 | function test_os() 143 | { 144 | var fd, fpath, fname, fdir, buf, buf2, i, files, err, fdate, st, link_path; 145 | 146 | assert(os.isatty(0)); 147 | 148 | fdir = "test_tmp_dir"; 149 | fname = "tmp_file.txt"; 150 | fpath = fdir + "/" + fname; 151 | link_path = fdir + "/test_link"; 152 | 153 | os.remove(link_path); 154 | os.remove(fpath); 155 | os.remove(fdir); 156 | 157 | err = os.mkdir(fdir, 0o755); 158 | assert(err === 0); 159 | 160 | fd = os.open(fpath, os.O_RDWR | os.O_CREAT | os.O_TRUNC); 161 | assert(fd >= 0); 162 | 163 | buf = new Uint8Array(10); 164 | for(i = 0; i < buf.length; i++) 165 | buf[i] = i; 166 | assert(os.write(fd, buf.buffer, 0, buf.length) === buf.length); 167 | 168 | assert(os.seek(fd, 0, std.SEEK_SET) === 0); 169 | buf2 = new Uint8Array(buf.length); 170 | assert(os.read(fd, buf2.buffer, 0, buf2.length) === buf2.length); 171 | 172 | for(i = 0; i < buf.length; i++) 173 | assert(buf[i] == buf2[i]); 174 | 175 | if (typeof BigInt !== "undefined") { 176 | assert(os.seek(fd, BigInt(6), std.SEEK_SET), BigInt(6)); 177 | assert(os.read(fd, buf2.buffer, 0, 1) === 1); 178 | assert(buf[6] == buf2[0]); 179 | } 180 | 181 | assert(os.close(fd) === 0); 182 | 183 | [files, err] = os.readdir(fdir); 184 | assert(err, 0); 185 | assert(files.indexOf(fname) >= 0); 186 | 187 | fdate = 10000; 188 | 189 | err = os.utimes(fpath, fdate, fdate); 190 | assert(err, 0); 191 | 192 | [st, err] = os.stat(fpath); 193 | assert(err, 0); 194 | assert(st.mode & os.S_IFMT, os.S_IFREG); 195 | assert(st.mtime, fdate); 196 | 197 | err = os.symlink(fname, link_path); 198 | assert(err === 0); 199 | 200 | [st, err] = os.lstat(link_path); 201 | assert(err, 0); 202 | assert(st.mode & os.S_IFMT, os.S_IFLNK); 203 | 204 | [buf, err] = os.readlink(link_path); 205 | assert(err, 0); 206 | assert(buf, fname); 207 | 208 | assert(os.remove(link_path) === 0); 209 | 210 | [buf, err] = os.getcwd(); 211 | assert(err, 0); 212 | 213 | [buf2, err] = os.realpath("."); 214 | assert(err, 0); 215 | 216 | assert(buf, buf2); 217 | 218 | assert(os.remove(fpath) === 0); 219 | 220 | fd = os.open(fpath, os.O_RDONLY); 221 | assert(fd < 0); 222 | 223 | assert(os.remove(fdir) === 0); 224 | } 225 | 226 | function test_os_exec() 227 | { 228 | var ret, fds, pid, f, status; 229 | 230 | ret = os.exec(["true"]); 231 | assert(ret, 0); 232 | 233 | ret = os.exec(["/bin/sh", "-c", "exit 1"], { usePath: false }); 234 | assert(ret, 1); 235 | 236 | fds = os.pipe(); 237 | pid = os.exec(["sh", "-c", "echo $FOO"], { 238 | stdout: fds[1], 239 | block: false, 240 | env: { FOO: "hello" }, 241 | } ); 242 | assert(pid >= 0); 243 | os.close(fds[1]); /* close the write end (as it is only in the child) */ 244 | f = std.fdopen(fds[0], "r"); 245 | assert(f.getline(), "hello"); 246 | assert(f.getline(), null); 247 | f.close(); 248 | [ret, status] = os.waitpid(pid, 0); 249 | assert(ret, pid); 250 | assert(status & 0x7f, 0); /* exited */ 251 | assert(status >> 8, 0); /* exit code */ 252 | 253 | pid = os.exec(["cat"], { block: false } ); 254 | assert(pid >= 0); 255 | os.kill(pid, os.SIGQUIT); 256 | [ret, status] = os.waitpid(pid, 0); 257 | assert(ret, pid); 258 | assert(status & 0x7f, os.SIGQUIT); 259 | } 260 | 261 | function test_timer() 262 | { 263 | var th, i; 264 | 265 | /* just test that a timer can be inserted and removed */ 266 | th = []; 267 | for(i = 0; i < 3; i++) 268 | th[i] = os.setTimeout(function () { }, 1000); 269 | for(i = 0; i < 3; i++) 270 | os.clearTimeout(th[i]); 271 | } 272 | 273 | test_printf(); 274 | test_file1(); 275 | test_file2(); 276 | test_getline(); 277 | test_popen(); 278 | test_os(); 279 | test_os_exec(); 280 | test_timer(); 281 | test_ext_json(); 282 | -------------------------------------------------------------------------------- /tests/test_worker.js: -------------------------------------------------------------------------------- 1 | /* os.Worker API test */ 2 | import * as std from "std"; 3 | import * as os from "os"; 4 | 5 | function assert(actual, expected, message) { 6 | if (arguments.length == 1) 7 | expected = true; 8 | 9 | if (actual === expected) 10 | return; 11 | 12 | if (actual !== null && expected !== null 13 | && typeof actual == 'object' && typeof expected == 'object' 14 | && actual.toString() === expected.toString()) 15 | return; 16 | 17 | throw Error("assertion failed: got |" + actual + "|" + 18 | ", expected |" + expected + "|" + 19 | (message ? " (" + message + ")" : "")); 20 | } 21 | 22 | var worker; 23 | 24 | function test_worker() 25 | { 26 | var counter; 27 | 28 | worker = new os.Worker("./test_worker_module.js"); 29 | 30 | counter = 0; 31 | worker.onmessage = function (e) { 32 | var ev = e.data; 33 | // print("recv", JSON.stringify(ev)); 34 | switch(ev.type) { 35 | case "num": 36 | assert(ev.num, counter); 37 | counter++; 38 | if (counter == 10) { 39 | /* test SharedArrayBuffer modification */ 40 | let sab = new SharedArrayBuffer(10); 41 | let buf = new Uint8Array(sab); 42 | worker.postMessage({ type: "sab", buf: buf }); 43 | } 44 | break; 45 | case "sab_done": 46 | { 47 | let buf = ev.buf; 48 | /* check that the SharedArrayBuffer was modified */ 49 | assert(buf[2], 10); 50 | worker.postMessage({ type: "abort" }); 51 | } 52 | break; 53 | case "done": 54 | /* terminate */ 55 | worker.onmessage = null; 56 | break; 57 | } 58 | }; 59 | } 60 | 61 | 62 | test_worker(); 63 | -------------------------------------------------------------------------------- /tests/test_worker_module.js: -------------------------------------------------------------------------------- 1 | /* Worker code for test_worker.js */ 2 | import * as std from "std"; 3 | import * as os from "os"; 4 | 5 | var parent = os.Worker.parent; 6 | 7 | function handle_msg(e) { 8 | var ev = e.data; 9 | // print("child_recv", JSON.stringify(ev)); 10 | switch(ev.type) { 11 | case "abort": 12 | parent.postMessage({ type: "done" }); 13 | break; 14 | case "sab": 15 | /* modify the SharedArrayBuffer */ 16 | ev.buf[2] = 10; 17 | parent.postMessage({ type: "sab_done", buf: ev.buf }); 18 | break; 19 | } 20 | } 21 | 22 | function worker_main() { 23 | var i; 24 | 25 | parent.onmessage = handle_msg; 26 | for(i = 0; i < 10; i++) { 27 | parent.postMessage({ type: "num", num: i }); 28 | } 29 | } 30 | 31 | worker_main(); 32 | -------------------------------------------------------------------------------- /unicode_download.sh: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | set -e 3 | 4 | url="ftp://ftp.unicode.org/Public/13.0.0/ucd" 5 | emoji_url="${url}/emoji/emoji-data.txt" 6 | 7 | files="CaseFolding.txt DerivedNormalizationProps.txt PropList.txt \ 8 | SpecialCasing.txt CompositionExclusions.txt ScriptExtensions.txt \ 9 | UnicodeData.txt DerivedCoreProperties.txt NormalizationTest.txt Scripts.txt \ 10 | PropertyValueAliases.txt" 11 | 12 | mkdir -p unicode 13 | 14 | #for f in $files; do 15 | # g="${url}/${f}" 16 | # wget $g -O unicode/$f 17 | #done 18 | 19 | wget $emoji_url -O unicode/emoji-data.txt 20 | -------------------------------------------------------------------------------- /unicode_gen_def.h: -------------------------------------------------------------------------------- 1 | #ifdef UNICODE_GENERAL_CATEGORY 2 | DEF(Cn, "Unassigned") /* must be zero */ 3 | DEF(Lu, "Uppercase_Letter") 4 | DEF(Ll, "Lowercase_Letter") 5 | DEF(Lt, "Titlecase_Letter") 6 | DEF(Lm, "Modifier_Letter") 7 | DEF(Lo, "Other_Letter") 8 | DEF(Mn, "Nonspacing_Mark") 9 | DEF(Mc, "Spacing_Mark") 10 | DEF(Me, "Enclosing_Mark") 11 | DEF(Nd, "Decimal_Number,digit") 12 | DEF(Nl, "Letter_Number") 13 | DEF(No, "Other_Number") 14 | DEF(Sm, "Math_Symbol") 15 | DEF(Sc, "Currency_Symbol") 16 | DEF(Sk, "Modifier_Symbol") 17 | DEF(So, "Other_Symbol") 18 | DEF(Pc, "Connector_Punctuation") 19 | DEF(Pd, "Dash_Punctuation") 20 | DEF(Ps, "Open_Punctuation") 21 | DEF(Pe, "Close_Punctuation") 22 | DEF(Pi, "Initial_Punctuation") 23 | DEF(Pf, "Final_Punctuation") 24 | DEF(Po, "Other_Punctuation") 25 | DEF(Zs, "Space_Separator") 26 | DEF(Zl, "Line_Separator") 27 | DEF(Zp, "Paragraph_Separator") 28 | DEF(Cc, "Control,cntrl") 29 | DEF(Cf, "Format") 30 | DEF(Cs, "Surrogate") 31 | DEF(Co, "Private_Use") 32 | /* synthetic properties */ 33 | DEF(LC, "Cased_Letter") 34 | DEF(L, "Letter") 35 | DEF(M, "Mark,Combining_Mark") 36 | DEF(N, "Number") 37 | DEF(S, "Symbol") 38 | DEF(P, "Punctuation,punct") 39 | DEF(Z, "Separator") 40 | DEF(C, "Other") 41 | #endif 42 | 43 | #ifdef UNICODE_SCRIPT 44 | /* scripts aliases names in PropertyValueAliases.txt */ 45 | DEF(Unknown, "Zzzz") 46 | DEF(Adlam, "Adlm") 47 | DEF(Ahom, "Ahom") 48 | DEF(Anatolian_Hieroglyphs, "Hluw") 49 | DEF(Arabic, "Arab") 50 | DEF(Armenian, "Armn") 51 | DEF(Avestan, "Avst") 52 | DEF(Balinese, "Bali") 53 | DEF(Bamum, "Bamu") 54 | DEF(Bassa_Vah, "Bass") 55 | DEF(Batak, "Batk") 56 | DEF(Bengali, "Beng") 57 | DEF(Bhaiksuki, "Bhks") 58 | DEF(Bopomofo, "Bopo") 59 | DEF(Brahmi, "Brah") 60 | DEF(Braille, "Brai") 61 | DEF(Buginese, "Bugi") 62 | DEF(Buhid, "Buhd") 63 | DEF(Canadian_Aboriginal, "Cans") 64 | DEF(Carian, "Cari") 65 | DEF(Caucasian_Albanian, "Aghb") 66 | DEF(Chakma, "Cakm") 67 | DEF(Cham, "Cham") 68 | DEF(Cherokee, "Cher") 69 | DEF(Chorasmian, "Chrs") 70 | DEF(Common, "Zyyy") 71 | DEF(Coptic, "Copt,Qaac") 72 | DEF(Cuneiform, "Xsux") 73 | DEF(Cypriot, "Cprt") 74 | DEF(Cyrillic, "Cyrl") 75 | DEF(Deseret, "Dsrt") 76 | DEF(Devanagari, "Deva") 77 | DEF(Dives_Akuru, "Diak") 78 | DEF(Dogra, "Dogr") 79 | DEF(Duployan, "Dupl") 80 | DEF(Egyptian_Hieroglyphs, "Egyp") 81 | DEF(Elbasan, "Elba") 82 | DEF(Elymaic, "Elym") 83 | DEF(Ethiopic, "Ethi") 84 | DEF(Georgian, "Geor") 85 | DEF(Glagolitic, "Glag") 86 | DEF(Gothic, "Goth") 87 | DEF(Grantha, "Gran") 88 | DEF(Greek, "Grek") 89 | DEF(Gujarati, "Gujr") 90 | DEF(Gunjala_Gondi, "Gong") 91 | DEF(Gurmukhi, "Guru") 92 | DEF(Han, "Hani") 93 | DEF(Hangul, "Hang") 94 | DEF(Hanifi_Rohingya, "Rohg") 95 | DEF(Hanunoo, "Hano") 96 | DEF(Hatran, "Hatr") 97 | DEF(Hebrew, "Hebr") 98 | DEF(Hiragana, "Hira") 99 | DEF(Imperial_Aramaic, "Armi") 100 | DEF(Inherited, "Zinh,Qaai") 101 | DEF(Inscriptional_Pahlavi, "Phli") 102 | DEF(Inscriptional_Parthian, "Prti") 103 | DEF(Javanese, "Java") 104 | DEF(Kaithi, "Kthi") 105 | DEF(Kannada, "Knda") 106 | DEF(Katakana, "Kana") 107 | DEF(Kayah_Li, "Kali") 108 | DEF(Kharoshthi, "Khar") 109 | DEF(Khmer, "Khmr") 110 | DEF(Khojki, "Khoj") 111 | DEF(Khitan_Small_Script, "Kits") 112 | DEF(Khudawadi, "Sind") 113 | DEF(Lao, "Laoo") 114 | DEF(Latin, "Latn") 115 | DEF(Lepcha, "Lepc") 116 | DEF(Limbu, "Limb") 117 | DEF(Linear_A, "Lina") 118 | DEF(Linear_B, "Linb") 119 | DEF(Lisu, "Lisu") 120 | DEF(Lycian, "Lyci") 121 | DEF(Lydian, "Lydi") 122 | DEF(Makasar, "Maka") 123 | DEF(Mahajani, "Mahj") 124 | DEF(Malayalam, "Mlym") 125 | DEF(Mandaic, "Mand") 126 | DEF(Manichaean, "Mani") 127 | DEF(Marchen, "Marc") 128 | DEF(Masaram_Gondi, "Gonm") 129 | DEF(Medefaidrin, "Medf") 130 | DEF(Meetei_Mayek, "Mtei") 131 | DEF(Mende_Kikakui, "Mend") 132 | DEF(Meroitic_Cursive, "Merc") 133 | DEF(Meroitic_Hieroglyphs, "Mero") 134 | DEF(Miao, "Plrd") 135 | DEF(Modi, "Modi") 136 | DEF(Mongolian, "Mong") 137 | DEF(Mro, "Mroo") 138 | DEF(Multani, "Mult") 139 | DEF(Myanmar, "Mymr") 140 | DEF(Nabataean, "Nbat") 141 | DEF(Nandinagari, "Nand") 142 | DEF(New_Tai_Lue, "Talu") 143 | DEF(Newa, "Newa") 144 | DEF(Nko, "Nkoo") 145 | DEF(Nushu, "Nshu") 146 | DEF(Nyiakeng_Puachue_Hmong, "Hmnp") 147 | DEF(Ogham, "Ogam") 148 | DEF(Ol_Chiki, "Olck") 149 | DEF(Old_Hungarian, "Hung") 150 | DEF(Old_Italic, "Ital") 151 | DEF(Old_North_Arabian, "Narb") 152 | DEF(Old_Permic, "Perm") 153 | DEF(Old_Persian, "Xpeo") 154 | DEF(Old_Sogdian, "Sogo") 155 | DEF(Old_South_Arabian, "Sarb") 156 | DEF(Old_Turkic, "Orkh") 157 | DEF(Oriya, "Orya") 158 | DEF(Osage, "Osge") 159 | DEF(Osmanya, "Osma") 160 | DEF(Pahawh_Hmong, "Hmng") 161 | DEF(Palmyrene, "Palm") 162 | DEF(Pau_Cin_Hau, "Pauc") 163 | DEF(Phags_Pa, "Phag") 164 | DEF(Phoenician, "Phnx") 165 | DEF(Psalter_Pahlavi, "Phlp") 166 | DEF(Rejang, "Rjng") 167 | DEF(Runic, "Runr") 168 | DEF(Samaritan, "Samr") 169 | DEF(Saurashtra, "Saur") 170 | DEF(Sharada, "Shrd") 171 | DEF(Shavian, "Shaw") 172 | DEF(Siddham, "Sidd") 173 | DEF(SignWriting, "Sgnw") 174 | DEF(Sinhala, "Sinh") 175 | DEF(Sogdian, "Sogd") 176 | DEF(Sora_Sompeng, "Sora") 177 | DEF(Soyombo, "Soyo") 178 | DEF(Sundanese, "Sund") 179 | DEF(Syloti_Nagri, "Sylo") 180 | DEF(Syriac, "Syrc") 181 | DEF(Tagalog, "Tglg") 182 | DEF(Tagbanwa, "Tagb") 183 | DEF(Tai_Le, "Tale") 184 | DEF(Tai_Tham, "Lana") 185 | DEF(Tai_Viet, "Tavt") 186 | DEF(Takri, "Takr") 187 | DEF(Tamil, "Taml") 188 | DEF(Tangut, "Tang") 189 | DEF(Telugu, "Telu") 190 | DEF(Thaana, "Thaa") 191 | DEF(Thai, "Thai") 192 | DEF(Tibetan, "Tibt") 193 | DEF(Tifinagh, "Tfng") 194 | DEF(Tirhuta, "Tirh") 195 | DEF(Ugaritic, "Ugar") 196 | DEF(Vai, "Vaii") 197 | DEF(Wancho, "Wcho") 198 | DEF(Warang_Citi, "Wara") 199 | DEF(Yezidi, "Yezi") 200 | DEF(Yi, "Yiii") 201 | DEF(Zanabazar_Square, "Zanb") 202 | #endif 203 | 204 | #ifdef UNICODE_PROP_LIST 205 | /* Prop list not exported to regexp */ 206 | DEF(Hyphen, "") 207 | DEF(Other_Math, "") 208 | DEF(Other_Alphabetic, "") 209 | DEF(Other_Lowercase, "") 210 | DEF(Other_Uppercase, "") 211 | DEF(Other_Grapheme_Extend, "") 212 | DEF(Other_Default_Ignorable_Code_Point, "") 213 | DEF(Other_ID_Start, "") 214 | DEF(Other_ID_Continue, "") 215 | DEF(Prepended_Concatenation_Mark, "") 216 | /* additional computed properties for smaller tables */ 217 | DEF(ID_Continue1, "") 218 | DEF(XID_Start1, "") 219 | DEF(XID_Continue1, "") 220 | DEF(Changes_When_Titlecased1, "") 221 | DEF(Changes_When_Casefolded1, "") 222 | DEF(Changes_When_NFKC_Casefolded1, "") 223 | 224 | /* Prop list exported to JS */ 225 | DEF(ASCII_Hex_Digit, "AHex") 226 | DEF(Bidi_Control, "Bidi_C") 227 | DEF(Dash, "") 228 | DEF(Deprecated, "Dep") 229 | DEF(Diacritic, "Dia") 230 | DEF(Extender, "Ext") 231 | DEF(Hex_Digit, "Hex") 232 | DEF(IDS_Binary_Operator, "IDSB") 233 | DEF(IDS_Trinary_Operator, "IDST") 234 | DEF(Ideographic, "Ideo") 235 | DEF(Join_Control, "Join_C") 236 | DEF(Logical_Order_Exception, "LOE") 237 | DEF(Noncharacter_Code_Point, "NChar") 238 | DEF(Pattern_Syntax, "Pat_Syn") 239 | DEF(Pattern_White_Space, "Pat_WS") 240 | DEF(Quotation_Mark, "QMark") 241 | DEF(Radical, "") 242 | DEF(Regional_Indicator, "RI") 243 | DEF(Sentence_Terminal, "STerm") 244 | DEF(Soft_Dotted, "SD") 245 | DEF(Terminal_Punctuation, "Term") 246 | DEF(Unified_Ideograph, "UIdeo") 247 | DEF(Variation_Selector, "VS") 248 | DEF(White_Space, "space") 249 | DEF(Bidi_Mirrored, "Bidi_M") 250 | DEF(Emoji, "") 251 | DEF(Emoji_Component, "EComp") 252 | DEF(Emoji_Modifier, "EMod") 253 | DEF(Emoji_Modifier_Base, "EBase") 254 | DEF(Emoji_Presentation, "EPres") 255 | DEF(Extended_Pictographic, "ExtPict") 256 | DEF(Default_Ignorable_Code_Point, "DI") 257 | DEF(ID_Start, "IDS") 258 | DEF(Case_Ignorable, "CI") 259 | 260 | /* other binary properties */ 261 | DEF(ASCII,"") 262 | DEF(Alphabetic, "Alpha") 263 | DEF(Any, "") 264 | DEF(Assigned,"") 265 | DEF(Cased, "") 266 | DEF(Changes_When_Casefolded, "CWCF") 267 | DEF(Changes_When_Casemapped, "CWCM") 268 | DEF(Changes_When_Lowercased, "CWL") 269 | DEF(Changes_When_NFKC_Casefolded, "CWKCF") 270 | DEF(Changes_When_Titlecased, "CWT") 271 | DEF(Changes_When_Uppercased, "CWU") 272 | DEF(Grapheme_Base, "Gr_Base") 273 | DEF(Grapheme_Extend, "Gr_Ext") 274 | DEF(ID_Continue, "IDC") 275 | DEF(Lowercase, "Lower") 276 | DEF(Math, "") 277 | DEF(Uppercase, "Upper") 278 | DEF(XID_Continue, "XIDC") 279 | DEF(XID_Start, "XIDS") 280 | 281 | /* internal tables with index */ 282 | DEF(Cased1, "") 283 | 284 | #endif 285 | --------------------------------------------------------------------------------