tc39_test.go 37 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832
  1. package goja
  2. import (
  3. "errors"
  4. "fmt"
  5. "gopkg.in/yaml.v2"
  6. "io/ioutil"
  7. "os"
  8. "path"
  9. "sort"
  10. "strings"
  11. "sync"
  12. "testing"
  13. "time"
  14. )
  15. const (
  16. tc39BASE = "testdata/test262"
  17. )
  18. var (
  19. invalidFormatError = errors.New("Invalid file format")
  20. ignorableTestError = newSymbol(stringEmpty)
  21. sabStub = MustCompile("sabStub.js", `
  22. Object.defineProperty(this, "SharedArrayBuffer", {
  23. get: function() {
  24. throw IgnorableTestError;
  25. }
  26. });`,
  27. false)
  28. )
  29. var (
  30. skipList = map[string]bool{
  31. // Obsolete tests (see https://github.com/tc39/test262/pull/2445)
  32. //TODO: remove this after upgrading the test suite past the above PR
  33. "test/language/statements/function/scope-param-rest-elem-var-open.js": true,
  34. "test/language/statements/function/scope-param-rest-elem-var-close.js": true,
  35. "test/language/statements/function/scope-param-elem-var-open.js": true,
  36. "test/language/function-code/eval-param-env-with-prop-initializer.js": true,
  37. "test/language/function-code/eval-param-env-with-computed-key.js": true,
  38. "test/language/expressions/object/scope-meth-param-rest-elem-var-open.js": true,
  39. "test/language/statements/function/scope-param-elem-var-close.js": true,
  40. "test/language/expressions/object/scope-meth-param-rest-elem-var-close.js": true,
  41. "test/language/expressions/object/scope-meth-param-elem-var-open.js": true,
  42. "test/language/expressions/object/scope-meth-param-elem-var-close.js": true,
  43. "test/language/expressions/function/scope-param-rest-elem-var-open.js": true,
  44. "test/language/expressions/function/scope-param-rest-elem-var-close.js": true,
  45. "test/language/expressions/function/scope-param-elem-var-open.js": true,
  46. "test/language/expressions/function/scope-param-elem-var-close.js": true,
  47. "test/language/expressions/arrow-function/scope-param-rest-elem-var-open.js": true,
  48. "test/language/expressions/arrow-function/scope-param-rest-elem-var-close.js": true,
  49. "test/language/expressions/arrow-function/scope-param-elem-var-close.js": true,
  50. "test/language/expressions/arrow-function/scope-param-elem-var-open.js": true,
  51. "test/language/function-code/each-param-has-own-scope.js": true,
  52. "test/language/function-code/each-param-has-own-non-shared-eval-scope.js": true,
  53. // These tests are out of date (fixed in https://github.com/tc39/test262/commit/7d998a098e5420cb4b6ee4a05eb8c386d750c596)
  54. "test/built-ins/TypedArrayConstructors/internals/DefineOwnProperty/key-is-numericindex.js": true,
  55. "test/built-ins/TypedArrayConstructors/internals/DefineOwnProperty/key-is-numericindex-desc-configurable.js": true,
  56. // Fixed in https://github.com/tc39/test262/commit/7d998a098e5420cb4b6ee4a05eb8c386d750c596
  57. "test/built-ins/TypedArrayConstructors/internals/DefineOwnProperty/detached-buffer.js": true,
  58. // Fixed in https://github.com/tc39/test262/commit/0bb8fe8aba97765aa3a8d4dd8880cd8e3c238f68
  59. "test/built-ins/TypedArrayConstructors/internals/Get/detached-buffer.js": true,
  60. "test/built-ins/TypedArrayConstructors/internals/DefineOwnProperty/tonumber-value-detached-buffer.js": true,
  61. // 36c2cd165f93e194b9bcad26e69e8571b1d0e6ed
  62. "test/built-ins/ArrayBuffer/prototype/byteLength/detached-buffer.js": true,
  63. // 96aff62fb25cf9ef27929a8ab822ee853d99b06e
  64. "test/built-ins/TypedArrayConstructors/internals/Set/tonumber-value-detached-buffer.js": true,
  65. "test/built-ins/TypedArrayConstructors/internals/Set/key-is-out-of-bounds.js": true,
  66. // 167e596a649ede35df11d03cb3c093941c9cf396
  67. "test/built-ins/TypedArrayConstructors/internals/Set/detached-buffer.js": true,
  68. // 59a1a016b7cf5cf43f66b274c7d1db4ec6066935
  69. "test/language/expressions/function/name.js": true,
  70. "test/built-ins/Proxy/revocable/revocation-function-name.js": true,
  71. "test/built-ins/Date/prototype/toISOString/15.9.5.43-0-8.js": true, // timezone
  72. "test/built-ins/Date/prototype/toISOString/15.9.5.43-0-9.js": true, // timezone
  73. "test/built-ins/Date/prototype/toISOString/15.9.5.43-0-10.js": true, // timezone
  74. // SharedArrayBuffer
  75. "test/built-ins/ArrayBuffer/prototype/slice/this-is-sharedarraybuffer.js": true,
  76. // class
  77. "test/language/statements/class/subclass/builtin-objects/Symbol/symbol-valid-as-extends-value.js": true,
  78. "test/language/statements/class/subclass/builtin-objects/Symbol/new-symbol-with-super-throws.js": true,
  79. "test/language/statements/class/subclass/builtin-objects/WeakSet/super-must-be-called.js": true,
  80. "test/language/statements/class/subclass/builtin-objects/WeakSet/regular-subclassing.js": true,
  81. "test/language/statements/class/subclass/builtin-objects/WeakMap/super-must-be-called.js": true,
  82. "test/language/statements/class/subclass/builtin-objects/WeakMap/regular-subclassing.js": true,
  83. "test/language/statements/class/subclass/builtin-objects/Map/super-must-be-called.js": true,
  84. "test/language/statements/class/subclass/builtin-objects/Map/regular-subclassing.js": true,
  85. "test/language/statements/class/subclass/builtin-objects/Set/super-must-be-called.js": true,
  86. "test/language/statements/class/subclass/builtin-objects/Set/regular-subclassing.js": true,
  87. "test/language/statements/class/subclass/builtin-objects/Object/replacing-prototype.js": true,
  88. "test/language/statements/class/subclass/builtin-objects/Object/regular-subclassing.js": true,
  89. "test/built-ins/Array/prototype/concat/Array.prototype.concat_non-array.js": true,
  90. "test/language/statements/class/subclass/builtin-objects/Array/length.js": true,
  91. "test/language/statements/class/subclass/builtin-objects/TypedArray/super-must-be-called.js": true,
  92. "test/language/statements/class/subclass/builtin-objects/TypedArray/regular-subclassing.js": true,
  93. "test/language/statements/class/subclass/builtin-objects/DataView/super-must-be-called.js": true,
  94. "test/language/statements/class/subclass/builtin-objects/DataView/regular-subclassing.js": true,
  95. "test/language/statements/class/subclass/builtin-objects/String/super-must-be-called.js": true,
  96. "test/language/statements/class/subclass/builtin-objects/String/regular-subclassing.js": true,
  97. "test/language/statements/class/subclass/builtin-objects/String/length.js": true,
  98. "test/language/statements/class/subclass/builtin-objects/Date/super-must-be-called.js": true,
  99. "test/language/statements/class/subclass/builtin-objects/Date/regular-subclassing.js": true,
  100. "test/language/statements/class/subclass/builtin-objects/Number/super-must-be-called.js": true,
  101. "test/language/statements/class/subclass/builtin-objects/Number/regular-subclassing.js": true,
  102. "test/language/statements/class/subclass/builtin-objects/Function/super-must-be-called.js": true,
  103. "test/language/statements/class/subclass/builtin-objects/Function/regular-subclassing.js": true,
  104. "test/language/statements/class/subclass/builtin-objects/Function/instance-name.js": true,
  105. "test/language/statements/class/subclass/builtin-objects/Function/instance-length.js": true,
  106. "test/language/statements/class/subclass/builtin-objects/Boolean/super-must-be-called.js": true,
  107. "test/language/statements/class/subclass/builtin-objects/Boolean/regular-subclassing.js": true,
  108. "test/language/statements/class/subclass/builtin-objects/NativeError/URIError-super.js": true,
  109. "test/language/statements/class/subclass/builtin-objects/NativeError/URIError-name.js": true,
  110. "test/language/statements/class/subclass/builtin-objects/NativeError/URIError-message.js": true,
  111. "test/language/statements/class/subclass/builtin-objects/NativeError/TypeError-super.js": true,
  112. "test/language/statements/class/subclass/builtin-objects/NativeError/TypeError-name.js": true,
  113. "test/language/statements/class/subclass/builtin-objects/NativeError/TypeError-message.js": true,
  114. "test/language/statements/class/subclass/builtin-objects/NativeError/SyntaxError-super.js": true,
  115. "test/language/statements/class/subclass/builtin-objects/NativeError/SyntaxError-name.js": true,
  116. "test/language/statements/class/subclass/builtin-objects/NativeError/SyntaxError-message.js": true,
  117. "test/language/statements/class/subclass/builtin-objects/NativeError/ReferenceError-super.js": true,
  118. "test/language/statements/class/subclass/builtin-objects/NativeError/ReferenceError-name.js": true,
  119. "test/language/statements/class/subclass/builtin-objects/NativeError/ReferenceError-message.js": true,
  120. "test/language/statements/class/subclass/builtin-objects/NativeError/RangeError-super.js": true,
  121. "test/language/statements/class/subclass/builtin-objects/NativeError/RangeError-name.js": true,
  122. "test/language/statements/class/subclass/builtin-objects/NativeError/RangeError-message.js": true,
  123. "test/language/statements/class/subclass/builtin-objects/NativeError/EvalError-super.js": true,
  124. "test/language/statements/class/subclass/builtin-objects/NativeError/EvalError-name.js": true,
  125. "test/language/statements/class/subclass/builtin-objects/NativeError/EvalError-message.js": true,
  126. "test/language/statements/class/subclass/builtin-objects/Error/super-must-be-called.js": true,
  127. "test/language/statements/class/subclass/builtin-objects/Error/regular-subclassing.js": true,
  128. "test/language/statements/class/subclass/builtin-objects/Error/message-property-assignment.js": true,
  129. "test/language/statements/class/subclass/builtin-objects/Array/super-must-be-called.js": true,
  130. "test/language/statements/class/subclass/builtin-objects/Array/regular-subclassing.js": true,
  131. "test/language/statements/class/subclass/builtin-objects/Array/contructor-calls-super-single-argument.js": true,
  132. "test/language/statements/class/subclass/builtin-objects/Array/contructor-calls-super-multiple-arguments.js": true,
  133. "test/language/statements/class/subclass/builtin-objects/ArrayBuffer/super-must-be-called.js": true,
  134. "test/language/statements/class/subclass/builtin-objects/ArrayBuffer/regular-subclassing.js": true,
  135. "test/built-ins/ArrayBuffer/isView/arg-is-typedarray-subclass-instance.js": true,
  136. "test/built-ins/ArrayBuffer/isView/arg-is-dataview-subclass-instance.js": true,
  137. "test/language/statements/class/subclass/builtin-objects/RegExp/super-must-be-called.js": true,
  138. "test/language/statements/class/subclass/builtin-objects/RegExp/regular-subclassing.js": true,
  139. "test/language/statements/class/subclass/builtin-objects/RegExp/lastIndex.js": true,
  140. "TestTC39/tc39/test/language/statements/class/definition/fn-name-method.js": true,
  141. "test/language/expressions/object/method-definition/name-invoke-ctor.js": true,
  142. "test/language/expressions/object/method.js": true,
  143. "test/language/expressions/object/setter-super-prop.js": true,
  144. "test/language/expressions/object/getter-super-prop.js": true,
  145. "test/language/expressions/delete/super-property.js": true,
  146. "test/language/statements/let/dstr/obj-ptrn-id-init-fn-name-class.js": true,
  147. "test/language/statements/let/dstr/ary-ptrn-elem-id-init-fn-name-class.js": true,
  148. "test/language/statements/for/dstr/var-obj-ptrn-id-init-fn-name-class.js": true,
  149. "test/language/statements/for/dstr/var-ary-ptrn-elem-id-init-fn-name-class.js": true,
  150. "test/language/statements/for/dstr/let-ary-ptrn-elem-id-init-fn-name-class.js": true,
  151. "test/language/statements/for/dstr/let-obj-ptrn-id-init-fn-name-class.js": true,
  152. "test/language/statements/const/dstr/ary-ptrn-elem-id-init-fn-name-class.js": true,
  153. "test/language/statements/for/dstr/const-obj-ptrn-id-init-fn-name-class.js": true,
  154. "test/language/statements/const/dstr/obj-ptrn-id-init-fn-name-class.js": true,
  155. "test/language/statements/for/dstr/const-ary-ptrn-elem-id-init-fn-name-class.js": true,
  156. "test/language/statements/variable/dstr/obj-ptrn-id-init-fn-name-class.js": true,
  157. "test/language/statements/variable/dstr/ary-ptrn-elem-id-init-fn-name-class.js": true,
  158. "test/language/expressions/object/method-definition/name-name-prop-symbol.js": true,
  159. "test/language/expressions/function/dstr/dflt-obj-ptrn-id-init-fn-name-class.js": true,
  160. "test/language/expressions/function/dstr/dflt-ary-ptrn-elem-id-init-fn-name-class.js": true,
  161. "test/language/expressions/function/dstr/ary-ptrn-elem-id-init-fn-name-class.js": true,
  162. "test/language/expressions/function/dstr/obj-ptrn-id-init-fn-name-class.js": true,
  163. "test/language/statements/function/dstr/dflt-ary-ptrn-elem-id-init-fn-name-class.js": true,
  164. "test/language/statements/function/dstr/obj-ptrn-id-init-fn-name-class.js": true,
  165. "test/language/statements/function/dstr/ary-ptrn-elem-id-init-fn-name-class.js": true,
  166. "test/language/statements/function/dstr/dflt-obj-ptrn-id-init-fn-name-class.js": true,
  167. "test/language/statements/class/scope-static-setter-paramsbody-var-open.js": true,
  168. "test/language/statements/class/scope-static-setter-paramsbody-var-close.js": true,
  169. "test/language/statements/class/scope-static-meth-paramsbody-var-open.js": true,
  170. "test/language/statements/class/scope-static-meth-paramsbody-var-close.js": true,
  171. "test/language/statements/class/scope-setter-paramsbody-var-open.js": true,
  172. "test/language/statements/class/scope-setter-paramsbody-var-close.js": true,
  173. "test/language/statements/class/scope-meth-paramsbody-var-open.js": true,
  174. "test/language/statements/class/scope-meth-paramsbody-var-close.js": true,
  175. "test/language/expressions/class/scope-static-setter-paramsbody-var-open.js": true,
  176. "test/language/expressions/class/scope-static-setter-paramsbody-var-close.js": true,
  177. "test/language/expressions/class/scope-static-meth-paramsbody-var-open.js": true,
  178. "test/language/expressions/class/scope-static-meth-paramsbody-var-close.js": true,
  179. "test/language/expressions/class/scope-setter-paramsbody-var-open.js": true,
  180. "test/language/expressions/class/scope-setter-paramsbody-var-close.js": true,
  181. "test/language/expressions/class/scope-meth-paramsbody-var-open.js": true,
  182. "test/language/expressions/class/scope-meth-paramsbody-var-close.js": true,
  183. "test/language/expressions/arrow-function/scope-paramsbody-var-open.js": true,
  184. "test/language/expressions/arrow-function/scope-paramsbody-var-close.js": true,
  185. "test/language/expressions/arrow-function/scope-body-lex-distinct.js": true,
  186. "test/language/statements/for-of/dstr/var-ary-ptrn-elem-id-init-fn-name-class.js": true,
  187. "test/language/statements/for-of/dstr/var-obj-ptrn-id-init-fn-name-class.js": true,
  188. "test/language/statements/for-of/dstr/const-obj-ptrn-id-init-fn-name-class.js": true,
  189. "test/language/statements/for-of/dstr/let-obj-ptrn-id-init-fn-name-class.js": true,
  190. "test/language/statements/for-of/dstr/const-ary-ptrn-elem-id-init-fn-name-class.js": true,
  191. "test/language/statements/for-of/dstr/let-ary-ptrn-elem-id-init-fn-name-class.js": true,
  192. "test/language/statements/try/dstr/obj-ptrn-id-init-fn-name-class.js": true,
  193. "test/language/statements/try/dstr/ary-ptrn-elem-id-init-fn-name-class.js": true,
  194. "test/language/expressions/arrow-function/dstr/ary-ptrn-elem-id-init-fn-name-class.js": true,
  195. "test/language/expressions/arrow-function/dstr/dflt-obj-ptrn-id-init-fn-name-class.js": true,
  196. "test/language/expressions/arrow-function/dstr/obj-ptrn-id-init-fn-name-class.js": true,
  197. "test/language/expressions/arrow-function/dstr/dflt-ary-ptrn-elem-id-init-fn-name-class.js": true,
  198. "test/language/statements/class/static-method-length-dflt.js": true,
  199. "test/language/statements/class/setter-length-dflt.js": true,
  200. "test/language/statements/class/restricted-properties.js": true,
  201. "test/language/statements/class/method-length-dflt.js": true,
  202. "test/language/statements/class/definition/methods-restricted-properties.js": true,
  203. "test/language/expressions/class/static-method-length-dflt.js": true,
  204. "test/language/expressions/class/setter-length-dflt.js": true,
  205. "test/language/expressions/class/restricted-properties.js": true,
  206. "test/language/expressions/class/method-length-dflt.js": true,
  207. "test/language/expressions/arrow-function/lexical-super-property-from-within-constructor.js": true,
  208. "test/language/expressions/arrow-function/lexical-super-property.js": true,
  209. "test/language/expressions/arrow-function/lexical-supercall-from-immediately-invoked-arrow.js": true,
  210. // restricted unicode regexp syntax
  211. "test/built-ins/RegExp/unicode_restricted_quantifiable_assertion.js": true,
  212. "test/built-ins/RegExp/unicode_restricted_octal_escape.js": true,
  213. "test/built-ins/RegExp/unicode_restricted_incomple_quantifier.js": true,
  214. "test/built-ins/RegExp/unicode_restricted_incomplete_quantifier.js": true,
  215. "test/built-ins/RegExp/unicode_restricted_identity_escape_x.js": true,
  216. "test/built-ins/RegExp/unicode_restricted_identity_escape_u.js": true,
  217. "test/built-ins/RegExp/unicode_restricted_identity_escape_c.js": true,
  218. "test/built-ins/RegExp/unicode_restricted_identity_escape_alpha.js": true,
  219. "test/built-ins/RegExp/unicode_restricted_identity_escape.js": true,
  220. "test/built-ins/RegExp/unicode_restricted_brackets.js": true,
  221. "test/built-ins/RegExp/unicode_restricted_character_class_escape.js": true,
  222. "test/annexB/built-ins/RegExp/prototype/compile/pattern-string-invalid-u.js": true,
  223. // regexp named groups
  224. "test/built-ins/RegExp/prototype/Symbol.replace/named-groups-fn.js": true,
  225. "test/built-ins/RegExp/prototype/Symbol.replace/result-coerce-groups-err.js": true,
  226. "test/built-ins/RegExp/prototype/Symbol.replace/result-coerce-groups-prop-err.js": true,
  227. "test/built-ins/RegExp/prototype/Symbol.replace/result-coerce-groups-prop.js": true,
  228. "test/built-ins/RegExp/prototype/Symbol.replace/result-coerce-groups.js": true,
  229. "test/built-ins/RegExp/prototype/Symbol.replace/result-get-groups-err.js": true,
  230. "test/built-ins/RegExp/prototype/Symbol.replace/result-get-groups-prop-err.js": true,
  231. "test/built-ins/RegExp/named-groups/functional-replace-non-global.js": true,
  232. "test/built-ins/RegExp/named-groups/functional-replace-global.js": true,
  233. // Because goja parser works in UTF-8 it is not possible to pass strings containing invalid UTF-16 code points.
  234. // This is mitigated by escaping them as \uXXXX, however because of this the RegExp source becomes
  235. // `\uXXXX` instead of `<the actual UTF-16 code point of XXXX>`.
  236. // The resulting RegExp will work exactly the same, but it causes these two tests to fail.
  237. "test/annexB/built-ins/RegExp/RegExp-leading-escape-BMP.js": true,
  238. "test/annexB/built-ins/RegExp/RegExp-trailing-escape-BMP.js": true,
  239. // Promise
  240. "test/built-ins/Symbol/species/builtin-getter-name.js": true,
  241. // x ** y
  242. "test/built-ins/Array/prototype/pop/clamps-to-integer-limit.js": true,
  243. "test/built-ins/Array/prototype/pop/length-near-integer-limit.js": true,
  244. "test/built-ins/Array/prototype/push/clamps-to-integer-limit.js": true,
  245. "test/built-ins/Array/prototype/push/length-near-integer-limit.js": true,
  246. "test/built-ins/Array/prototype/push/throws-if-integer-limit-exceeded.js": true,
  247. "test/built-ins/Array/prototype/reverse/length-exceeding-integer-limit-with-object.js": true,
  248. "test/built-ins/Array/prototype/reverse/length-exceeding-integer-limit-with-proxy.js": true,
  249. "test/built-ins/Array/prototype/slice/length-exceeding-integer-limit.js": true,
  250. "test/built-ins/Array/prototype/splice/clamps-length-to-integer-limit.js": true,
  251. "test/built-ins/Array/prototype/splice/length-and-deleteCount-exceeding-integer-limit.js": true,
  252. "test/built-ins/Array/prototype/splice/length-exceeding-integer-limit-shrink-array.js": true,
  253. "test/built-ins/Array/prototype/splice/length-near-integer-limit-grow-array.js": true,
  254. "test/built-ins/Array/prototype/splice/throws-if-integer-limit-exceeded.js": true,
  255. "test/built-ins/Array/prototype/unshift/clamps-to-integer-limit.js": true,
  256. "test/built-ins/Array/prototype/unshift/length-near-integer-limit.js": true,
  257. "test/built-ins/Array/prototype/unshift/throws-if-integer-limit-exceeded.js": true,
  258. "test/built-ins/String/prototype/split/separator-undef-limit-custom.js": true,
  259. "test/built-ins/Array/prototype/splice/create-species-length-exceeding-integer-limit.js": true,
  260. "test/built-ins/Array/prototype/slice/length-exceeding-integer-limit-proxied-array.js": true,
  261. // generators
  262. "test/annexB/built-ins/RegExp/RegExp-control-escape-russian-letter.js": true,
  263. }
  264. featuresBlackList = []string{
  265. "async-iteration",
  266. "BigInt",
  267. "class",
  268. "generators",
  269. "String.prototype.replaceAll",
  270. "String.prototype.at",
  271. "super",
  272. }
  273. es6WhiteList = map[string]bool{}
  274. es6IdWhiteList = []string{
  275. "8.1.2.1",
  276. "9.5",
  277. "11.8.6",
  278. "12.1",
  279. "12.2.1",
  280. "12.2.2",
  281. "12.2.5",
  282. "12.2.6.1",
  283. "12.2.6.8",
  284. "12.2.8",
  285. "12.2.9",
  286. "12.3.7",
  287. "12.4",
  288. "12.5",
  289. "12.6",
  290. "12.7",
  291. "12.8",
  292. "12.9",
  293. "12.10",
  294. "13.1",
  295. "13.2",
  296. "13.3",
  297. "13.4",
  298. "13.5",
  299. "13.6",
  300. "13.7",
  301. "13.8",
  302. "13.9",
  303. "13.10",
  304. "13.11",
  305. "13.12",
  306. "13.13",
  307. "13.14",
  308. "13.15",
  309. "14.1",
  310. "14.2",
  311. "14.3.8",
  312. "16.1",
  313. "18",
  314. "19",
  315. "20",
  316. "21",
  317. "22",
  318. "23",
  319. "24",
  320. "25.1",
  321. "26",
  322. "B.2.1",
  323. "B.2.2",
  324. }
  325. esIdPrefixWhiteList = []string{
  326. "sec-addition-*",
  327. "sec-array",
  328. "sec-%typedarray%",
  329. "sec-%typedarray%-of",
  330. "sec-@@iterator",
  331. "sec-@@tostringtag",
  332. "sec-string",
  333. "sec-date",
  334. "sec-json",
  335. "sec-number",
  336. "sec-math",
  337. "sec-arraybuffer-length",
  338. "sec-arraybuffer",
  339. "sec-regexp",
  340. "sec-string.prototype.trimLeft",
  341. "sec-string.prototype.trimRight",
  342. "sec-object.getownpropertydescriptor",
  343. "sec-object.getownpropertydescriptors",
  344. "sec-object.entries",
  345. "sec-object.values",
  346. "sec-object-initializer",
  347. "sec-proxy-*",
  348. "sec-for-statement-*",
  349. "sec-for-in-and-for-of-statements",
  350. "sec-for-in-and-for-of-statements-*",
  351. "sec-do-while-statement",
  352. "sec-if-statement",
  353. "sec-while-statement",
  354. "sec-with-statement*",
  355. "sec-switch-*",
  356. "sec-try-*",
  357. "sec-runtime-semantics-catchclauseevaluation",
  358. "sec-strict-mode-of-ecmascript",
  359. "sec-let-and-const-declarations*",
  360. "sec-arguments-exotic-objects-defineownproperty-p-desc",
  361. "sec-other-properties-of-the-global-object-globalthis",
  362. "sec-variable-statement-runtime-semantics-evaluation",
  363. "sec-function-calls-runtime-semantics-evaluation",
  364. "sec-function-definitions",
  365. "sec-function-definitions-runtime-semantics-evaluation",
  366. "sec-function-definitions-runtime-semantics-instantiatefunctionobject",
  367. "sec-function-definitions-runtime-semantics-iteratorbindinginitialization",
  368. "sec-function-definitions-static-semantics-early-errors",
  369. "sec-functiondeclarationinstantiation",
  370. "sec-functiondeclarations-in-ifstatement-statement-clauses",
  371. "sec-arrow-function-definitions",
  372. "sec-arrow-function-definitions-runtime-semantics-evaluation",
  373. "sec-arrow-function-definitions-static-semantics-early-errors",
  374. "sec-evaldeclarationinstantiation",
  375. "sec-integer-indexed-exotic-objects-defineownproperty-p-desc",
  376. "sec-integer-indexed-exotic-objects-get-p-receiver",
  377. "sec-integer-indexed-exotic-objects-set-p-v-receiver",
  378. "sec-destructuring-binding-patterns",
  379. "sec-runtime-semantics-keyeddestructuringassignmentevaluation",
  380. "sec-gettemplateobject",
  381. "sec-tagged-templates-runtime-semantics-evaluation",
  382. "sec-template-literal-lexical-components",
  383. "sec-template-literals",
  384. }
  385. )
  386. type tc39Test struct {
  387. name string
  388. f func(t *testing.T)
  389. }
  390. type tc39BenchmarkItem struct {
  391. name string
  392. duration time.Duration
  393. }
  394. type tc39BenchmarkData []tc39BenchmarkItem
  395. type tc39TestCtx struct {
  396. base string
  397. t *testing.T
  398. prgCache map[string]*Program
  399. prgCacheLock sync.Mutex
  400. enableBench bool
  401. benchmark tc39BenchmarkData
  402. benchLock sync.Mutex
  403. testQueue []tc39Test
  404. }
  405. type TC39MetaNegative struct {
  406. Phase, Type string
  407. }
  408. type tc39Meta struct {
  409. Negative TC39MetaNegative
  410. Includes []string
  411. Flags []string
  412. Features []string
  413. Es5id string
  414. Es6id string
  415. Esid string
  416. }
  417. func (m *tc39Meta) hasFlag(flag string) bool {
  418. for _, f := range m.Flags {
  419. if f == flag {
  420. return true
  421. }
  422. }
  423. return false
  424. }
  425. func parseTC39File(name string) (*tc39Meta, string, error) {
  426. f, err := os.Open(name)
  427. if err != nil {
  428. return nil, "", err
  429. }
  430. defer f.Close()
  431. b, err := ioutil.ReadAll(f)
  432. if err != nil {
  433. return nil, "", err
  434. }
  435. str := string(b)
  436. metaStart := strings.Index(str, "/*---")
  437. if metaStart == -1 {
  438. return nil, "", invalidFormatError
  439. } else {
  440. metaStart += 5
  441. }
  442. metaEnd := strings.Index(str, "---*/")
  443. if metaEnd == -1 || metaEnd <= metaStart {
  444. return nil, "", invalidFormatError
  445. }
  446. var meta tc39Meta
  447. err = yaml.Unmarshal([]byte(str[metaStart:metaEnd]), &meta)
  448. if err != nil {
  449. return nil, "", err
  450. }
  451. if meta.Negative.Type != "" && meta.Negative.Phase == "" {
  452. return nil, "", errors.New("negative type is set, but phase isn't")
  453. }
  454. return &meta, str, nil
  455. }
  456. func (*tc39TestCtx) detachArrayBuffer(call FunctionCall) Value {
  457. if obj, ok := call.Argument(0).(*Object); ok {
  458. if buf, ok := obj.self.(*arrayBufferObject); ok {
  459. buf.detach()
  460. return _undefined
  461. }
  462. }
  463. panic(typeError("detachArrayBuffer() is called with incompatible argument"))
  464. }
  465. func (*tc39TestCtx) throwIgnorableTestError(FunctionCall) Value {
  466. panic(ignorableTestError)
  467. }
  468. func (ctx *tc39TestCtx) runTC39Test(name, src string, meta *tc39Meta, t testing.TB) {
  469. defer func() {
  470. if x := recover(); x != nil {
  471. panic(fmt.Sprintf("panic while running %s: %v", name, x))
  472. }
  473. }()
  474. vm := New()
  475. _262 := vm.NewObject()
  476. _262.Set("detachArrayBuffer", ctx.detachArrayBuffer)
  477. _262.Set("createRealm", ctx.throwIgnorableTestError)
  478. vm.Set("$262", _262)
  479. vm.Set("IgnorableTestError", ignorableTestError)
  480. vm.Set("print", t.Log)
  481. vm.RunProgram(sabStub)
  482. err, early := ctx.runTC39Script(name, src, meta.Includes, vm)
  483. if err != nil {
  484. if meta.Negative.Type == "" {
  485. if err, ok := err.(*Exception); ok {
  486. if err.Value() == ignorableTestError {
  487. t.Skip("Test threw IgnorableTestError")
  488. }
  489. }
  490. t.Fatalf("%s: %v", name, err)
  491. } else {
  492. if (meta.Negative.Phase == "early" || meta.Negative.Phase == "parse") && !early || meta.Negative.Phase == "runtime" && early {
  493. t.Fatalf("%s: error %v happened at the wrong phase (expected %s)", name, err, meta.Negative.Phase)
  494. }
  495. var errType string
  496. switch err := err.(type) {
  497. case *Exception:
  498. if o, ok := err.Value().(*Object); ok {
  499. if c := o.Get("constructor"); c != nil {
  500. if c, ok := c.(*Object); ok {
  501. errType = c.Get("name").String()
  502. } else {
  503. t.Fatalf("%s: error constructor is not an object (%v)", name, o)
  504. }
  505. } else {
  506. t.Fatalf("%s: error does not have a constructor (%v)", name, o)
  507. }
  508. } else {
  509. t.Fatalf("%s: error is not an object (%v)", name, err.Value())
  510. }
  511. case *CompilerSyntaxError:
  512. errType = "SyntaxError"
  513. case *CompilerReferenceError:
  514. errType = "ReferenceError"
  515. default:
  516. t.Fatalf("%s: error is not a JS error: %v", name, err)
  517. }
  518. if errType != meta.Negative.Type {
  519. vm.vm.prg.dumpCode(t.Logf)
  520. t.Fatalf("%s: unexpected error type (%s), expected (%s)", name, errType, meta.Negative.Type)
  521. }
  522. }
  523. } else {
  524. if meta.Negative.Type != "" {
  525. vm.vm.prg.dumpCode(t.Logf)
  526. t.Fatalf("%s: Expected error: %v", name, err)
  527. }
  528. }
  529. if vm.vm.sp != 0 {
  530. t.Fatalf("sp: %d", vm.vm.sp)
  531. }
  532. if l := len(vm.vm.iterStack); l > 0 {
  533. t.Fatalf("iter stack is not empty: %d", l)
  534. }
  535. }
  536. func (ctx *tc39TestCtx) runTC39File(name string, t testing.TB) {
  537. if skipList[name] {
  538. t.Skip("Excluded")
  539. }
  540. p := path.Join(ctx.base, name)
  541. meta, src, err := parseTC39File(p)
  542. if err != nil {
  543. //t.Fatalf("Could not parse %s: %v", name, err)
  544. t.Errorf("Could not parse %s: %v", name, err)
  545. return
  546. }
  547. if meta.hasFlag("async") {
  548. t.Skip("async")
  549. }
  550. if meta.Es5id == "" {
  551. skip := true
  552. //t.Logf("%s: Not ES5, skipped", name)
  553. if es6WhiteList[name] {
  554. skip = false
  555. } else {
  556. if meta.Es6id != "" {
  557. for _, prefix := range es6IdWhiteList {
  558. if strings.HasPrefix(meta.Es6id, prefix) &&
  559. (len(meta.Es6id) == len(prefix) || meta.Es6id[len(prefix)] == '.') {
  560. skip = false
  561. break
  562. }
  563. }
  564. }
  565. }
  566. if skip {
  567. if meta.Esid != "" {
  568. for _, prefix := range esIdPrefixWhiteList {
  569. if strings.HasSuffix(prefix, "*") {
  570. if strings.HasPrefix(meta.Esid, prefix[:len(prefix)-1]) {
  571. skip = false
  572. break
  573. }
  574. } else {
  575. if strings.HasPrefix(meta.Esid, prefix) &&
  576. (len(meta.Esid) == len(prefix) || meta.Esid[len(prefix)] == '.') {
  577. skip = false
  578. break
  579. }
  580. }
  581. }
  582. }
  583. }
  584. if skip {
  585. t.Skip("Not ES5")
  586. }
  587. for _, feature := range meta.Features {
  588. for _, bl := range featuresBlackList {
  589. if feature == bl {
  590. t.Skip("Blacklisted feature")
  591. }
  592. }
  593. }
  594. }
  595. var startTime time.Time
  596. if ctx.enableBench {
  597. startTime = time.Now()
  598. }
  599. hasRaw := meta.hasFlag("raw")
  600. if hasRaw || !meta.hasFlag("onlyStrict") {
  601. //log.Printf("Running normal test: %s", name)
  602. t.Logf("Running normal test: %s", name)
  603. ctx.runTC39Test(name, src, meta, t)
  604. }
  605. if !hasRaw && !meta.hasFlag("noStrict") {
  606. //log.Printf("Running strict test: %s", name)
  607. t.Logf("Running strict test: %s", name)
  608. ctx.runTC39Test(name, "'use strict';\n"+src, meta, t)
  609. }
  610. if ctx.enableBench {
  611. ctx.benchLock.Lock()
  612. ctx.benchmark = append(ctx.benchmark, tc39BenchmarkItem{
  613. name: name,
  614. duration: time.Since(startTime),
  615. })
  616. ctx.benchLock.Unlock()
  617. }
  618. }
  619. func (ctx *tc39TestCtx) init() {
  620. ctx.prgCache = make(map[string]*Program)
  621. }
  622. func (ctx *tc39TestCtx) compile(base, name string) (*Program, error) {
  623. ctx.prgCacheLock.Lock()
  624. defer ctx.prgCacheLock.Unlock()
  625. prg := ctx.prgCache[name]
  626. if prg == nil {
  627. fname := path.Join(base, name)
  628. f, err := os.Open(fname)
  629. if err != nil {
  630. return nil, err
  631. }
  632. defer f.Close()
  633. b, err := ioutil.ReadAll(f)
  634. if err != nil {
  635. return nil, err
  636. }
  637. str := string(b)
  638. prg, err = Compile(name, str, false)
  639. if err != nil {
  640. return nil, err
  641. }
  642. ctx.prgCache[name] = prg
  643. }
  644. return prg, nil
  645. }
  646. func (ctx *tc39TestCtx) runFile(base, name string, vm *Runtime) error {
  647. prg, err := ctx.compile(base, name)
  648. if err != nil {
  649. return err
  650. }
  651. _, err = vm.RunProgram(prg)
  652. return err
  653. }
  654. func (ctx *tc39TestCtx) runTC39Script(name, src string, includes []string, vm *Runtime) (err error, early bool) {
  655. early = true
  656. err = ctx.runFile(ctx.base, path.Join("harness", "assert.js"), vm)
  657. if err != nil {
  658. return
  659. }
  660. err = ctx.runFile(ctx.base, path.Join("harness", "sta.js"), vm)
  661. if err != nil {
  662. return
  663. }
  664. for _, include := range includes {
  665. err = ctx.runFile(ctx.base, path.Join("harness", include), vm)
  666. if err != nil {
  667. return
  668. }
  669. }
  670. var p *Program
  671. p, err = Compile(name, src, false)
  672. if err != nil {
  673. return
  674. }
  675. early = false
  676. _, err = vm.RunProgram(p)
  677. return
  678. }
  679. func (ctx *tc39TestCtx) runTC39Tests(name string) {
  680. files, err := ioutil.ReadDir(path.Join(ctx.base, name))
  681. if err != nil {
  682. ctx.t.Fatal(err)
  683. }
  684. for _, file := range files {
  685. if file.Name()[0] == '.' {
  686. continue
  687. }
  688. if file.IsDir() {
  689. ctx.runTC39Tests(path.Join(name, file.Name()))
  690. } else {
  691. fileName := file.Name()
  692. if strings.HasSuffix(fileName, ".js") && !strings.HasSuffix(fileName, "_FIXTURE.js") {
  693. name := path.Join(name, fileName)
  694. ctx.runTest(name, func(t *testing.T) {
  695. ctx.runTC39File(name, t)
  696. })
  697. }
  698. }
  699. }
  700. }
  701. func TestTC39(t *testing.T) {
  702. if testing.Short() {
  703. t.Skip()
  704. }
  705. if _, err := os.Stat(tc39BASE); err != nil {
  706. t.Skipf("If you want to run tc39 tests, download them from https://github.com/tc39/test262 and put into %s. The current working commit is ddfe24afe3043388827aa220ef623b8540958bbd. (%v)", tc39BASE, err)
  707. }
  708. ctx := &tc39TestCtx{
  709. base: tc39BASE,
  710. }
  711. ctx.init()
  712. //ctx.enableBench = true
  713. t.Run("tc39", func(t *testing.T) {
  714. ctx.t = t
  715. //ctx.runTC39File("test/language/types/number/8.5.1.js", t)
  716. //ctx.runTC39Tests("test/language")
  717. ctx.runTC39Tests("test/language/expressions")
  718. ctx.runTC39Tests("test/language/arguments-object")
  719. ctx.runTC39Tests("test/language/asi")
  720. ctx.runTC39Tests("test/language/directive-prologue")
  721. ctx.runTC39Tests("test/language/function-code")
  722. ctx.runTC39Tests("test/language/eval-code")
  723. ctx.runTC39Tests("test/language/global-code")
  724. ctx.runTC39Tests("test/language/identifier-resolution")
  725. ctx.runTC39Tests("test/language/identifiers")
  726. //ctx.runTC39Tests("test/language/literals") // octal sequences in strict mode
  727. ctx.runTC39Tests("test/language/punctuators")
  728. ctx.runTC39Tests("test/language/reserved-words")
  729. ctx.runTC39Tests("test/language/source-text")
  730. ctx.runTC39Tests("test/language/statements")
  731. ctx.runTC39Tests("test/language/types")
  732. ctx.runTC39Tests("test/language/white-space")
  733. ctx.runTC39Tests("test/built-ins")
  734. ctx.runTC39Tests("test/annexB/built-ins/String/prototype/substr")
  735. ctx.runTC39Tests("test/annexB/built-ins/String/prototype/trimLeft")
  736. ctx.runTC39Tests("test/annexB/built-ins/String/prototype/trimRight")
  737. ctx.runTC39Tests("test/annexB/built-ins/escape")
  738. ctx.runTC39Tests("test/annexB/built-ins/unescape")
  739. ctx.runTC39Tests("test/annexB/built-ins/RegExp")
  740. ctx.flush()
  741. })
  742. if ctx.enableBench {
  743. sort.Slice(ctx.benchmark, func(i, j int) bool {
  744. return ctx.benchmark[i].duration > ctx.benchmark[j].duration
  745. })
  746. bench := ctx.benchmark
  747. if len(bench) > 50 {
  748. bench = bench[:50]
  749. }
  750. for _, item := range bench {
  751. fmt.Printf("%s\t%d\n", item.name, item.duration/time.Millisecond)
  752. }
  753. }
  754. }