2
0

tc39_test.go 37 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837
  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.3",
  278. "11.8.6",
  279. "12.1",
  280. "12.2.1",
  281. "12.2.2",
  282. "12.2.5",
  283. "12.2.6.1",
  284. "12.2.6.8",
  285. "12.2.8",
  286. "12.2.9",
  287. "12.3.7",
  288. "12.4",
  289. "12.5",
  290. "12.6",
  291. "12.7",
  292. "12.8",
  293. "12.9",
  294. "12.10",
  295. "13.1",
  296. "13.2",
  297. "13.3",
  298. "13.4",
  299. "13.5",
  300. "13.6",
  301. "13.7",
  302. "13.8",
  303. "13.9",
  304. "13.10",
  305. "13.11",
  306. "13.12",
  307. "13.13",
  308. "13.14",
  309. "13.15",
  310. "14.1",
  311. "14.2",
  312. "14.3.8",
  313. "16.1",
  314. "18",
  315. "19",
  316. "20",
  317. "21",
  318. "22",
  319. "23",
  320. "24",
  321. "25.1",
  322. "26",
  323. "B.2.1",
  324. "B.2.2",
  325. }
  326. esIdPrefixWhiteList = []string{
  327. "sec-addition-*",
  328. "sec-array",
  329. "sec-%typedarray%",
  330. "sec-%typedarray%-of",
  331. "sec-@@iterator",
  332. "sec-@@tostringtag",
  333. "sec-string",
  334. "sec-date",
  335. "sec-json",
  336. "sec-number",
  337. "sec-math",
  338. "sec-arraybuffer-length",
  339. "sec-arraybuffer",
  340. "sec-regexp",
  341. "sec-string.prototype.trimLeft",
  342. "sec-string.prototype.trimRight",
  343. "sec-object.getownpropertydescriptor",
  344. "sec-object.getownpropertydescriptors",
  345. "sec-object.entries",
  346. "sec-object.values",
  347. "sec-object-initializer",
  348. "sec-proxy-*",
  349. "sec-for-statement-*",
  350. "sec-for-in-and-for-of-statements",
  351. "sec-for-in-and-for-of-statements-*",
  352. "sec-do-while-statement",
  353. "sec-if-statement",
  354. "sec-while-statement",
  355. "sec-with-statement*",
  356. "sec-switch-*",
  357. "sec-try-*",
  358. "sec-runtime-semantics-catchclauseevaluation",
  359. "sec-strict-mode-of-ecmascript",
  360. "sec-let-and-const-declarations*",
  361. "sec-arguments-exotic-objects-defineownproperty-p-desc",
  362. "sec-other-properties-of-the-global-object-globalthis",
  363. "sec-variable-statement-runtime-semantics-evaluation",
  364. "sec-function-calls-runtime-semantics-evaluation",
  365. "sec-function-definitions",
  366. "sec-function-definitions-runtime-semantics-evaluation",
  367. "sec-function-definitions-runtime-semantics-instantiatefunctionobject",
  368. "sec-function-definitions-runtime-semantics-iteratorbindinginitialization",
  369. "sec-function-definitions-static-semantics-early-errors",
  370. "sec-functiondeclarationinstantiation",
  371. "sec-functiondeclarations-in-ifstatement-statement-clauses",
  372. "sec-arrow-function-definitions",
  373. "sec-arrow-function-definitions-runtime-semantics-evaluation",
  374. "sec-arrow-function-definitions-static-semantics-early-errors",
  375. "sec-evaldeclarationinstantiation",
  376. "sec-integer-indexed-exotic-objects-defineownproperty-p-desc",
  377. "sec-integer-indexed-exotic-objects-get-p-receiver",
  378. "sec-integer-indexed-exotic-objects-set-p-v-receiver",
  379. "sec-destructuring-binding-patterns",
  380. "sec-runtime-semantics-keyeddestructuringassignmentevaluation",
  381. "sec-gettemplateobject",
  382. "sec-tagged-templates-runtime-semantics-evaluation",
  383. "sec-template-literal-lexical-components",
  384. "sec-template-literals",
  385. "sec-literals-numeric-literals",
  386. "sec-literals-string-literals",
  387. "sec-additional-syntax-numeric-literals",
  388. }
  389. )
  390. type tc39Test struct {
  391. name string
  392. f func(t *testing.T)
  393. }
  394. type tc39BenchmarkItem struct {
  395. name string
  396. duration time.Duration
  397. }
  398. type tc39BenchmarkData []tc39BenchmarkItem
  399. type tc39TestCtx struct {
  400. base string
  401. t *testing.T
  402. prgCache map[string]*Program
  403. prgCacheLock sync.Mutex
  404. enableBench bool
  405. benchmark tc39BenchmarkData
  406. benchLock sync.Mutex
  407. testQueue []tc39Test
  408. }
  409. type TC39MetaNegative struct {
  410. Phase, Type string
  411. }
  412. type tc39Meta struct {
  413. Negative TC39MetaNegative
  414. Includes []string
  415. Flags []string
  416. Features []string
  417. Es5id string
  418. Es6id string
  419. Esid string
  420. }
  421. func (m *tc39Meta) hasFlag(flag string) bool {
  422. for _, f := range m.Flags {
  423. if f == flag {
  424. return true
  425. }
  426. }
  427. return false
  428. }
  429. func parseTC39File(name string) (*tc39Meta, string, error) {
  430. f, err := os.Open(name)
  431. if err != nil {
  432. return nil, "", err
  433. }
  434. defer f.Close()
  435. b, err := ioutil.ReadAll(f)
  436. if err != nil {
  437. return nil, "", err
  438. }
  439. str := string(b)
  440. metaStart := strings.Index(str, "/*---")
  441. if metaStart == -1 {
  442. return nil, "", invalidFormatError
  443. } else {
  444. metaStart += 5
  445. }
  446. metaEnd := strings.Index(str, "---*/")
  447. if metaEnd == -1 || metaEnd <= metaStart {
  448. return nil, "", invalidFormatError
  449. }
  450. var meta tc39Meta
  451. err = yaml.Unmarshal([]byte(str[metaStart:metaEnd]), &meta)
  452. if err != nil {
  453. return nil, "", err
  454. }
  455. if meta.Negative.Type != "" && meta.Negative.Phase == "" {
  456. return nil, "", errors.New("negative type is set, but phase isn't")
  457. }
  458. return &meta, str, nil
  459. }
  460. func (*tc39TestCtx) detachArrayBuffer(call FunctionCall) Value {
  461. if obj, ok := call.Argument(0).(*Object); ok {
  462. if buf, ok := obj.self.(*arrayBufferObject); ok {
  463. buf.detach()
  464. return _undefined
  465. }
  466. }
  467. panic(typeError("detachArrayBuffer() is called with incompatible argument"))
  468. }
  469. func (*tc39TestCtx) throwIgnorableTestError(FunctionCall) Value {
  470. panic(ignorableTestError)
  471. }
  472. func (ctx *tc39TestCtx) runTC39Test(name, src string, meta *tc39Meta, t testing.TB) {
  473. defer func() {
  474. if x := recover(); x != nil {
  475. panic(fmt.Sprintf("panic while running %s: %v", name, x))
  476. }
  477. }()
  478. vm := New()
  479. _262 := vm.NewObject()
  480. _262.Set("detachArrayBuffer", ctx.detachArrayBuffer)
  481. _262.Set("createRealm", ctx.throwIgnorableTestError)
  482. vm.Set("$262", _262)
  483. vm.Set("IgnorableTestError", ignorableTestError)
  484. vm.Set("print", t.Log)
  485. vm.RunProgram(sabStub)
  486. err, early := ctx.runTC39Script(name, src, meta.Includes, vm)
  487. if err != nil {
  488. if meta.Negative.Type == "" {
  489. if err, ok := err.(*Exception); ok {
  490. if err.Value() == ignorableTestError {
  491. t.Skip("Test threw IgnorableTestError")
  492. }
  493. }
  494. t.Fatalf("%s: %v", name, err)
  495. } else {
  496. if (meta.Negative.Phase == "early" || meta.Negative.Phase == "parse") && !early || meta.Negative.Phase == "runtime" && early {
  497. t.Fatalf("%s: error %v happened at the wrong phase (expected %s)", name, err, meta.Negative.Phase)
  498. }
  499. var errType string
  500. switch err := err.(type) {
  501. case *Exception:
  502. if o, ok := err.Value().(*Object); ok {
  503. if c := o.Get("constructor"); c != nil {
  504. if c, ok := c.(*Object); ok {
  505. errType = c.Get("name").String()
  506. } else {
  507. t.Fatalf("%s: error constructor is not an object (%v)", name, o)
  508. }
  509. } else {
  510. t.Fatalf("%s: error does not have a constructor (%v)", name, o)
  511. }
  512. } else {
  513. t.Fatalf("%s: error is not an object (%v)", name, err.Value())
  514. }
  515. case *CompilerSyntaxError:
  516. errType = "SyntaxError"
  517. case *CompilerReferenceError:
  518. errType = "ReferenceError"
  519. default:
  520. t.Fatalf("%s: error is not a JS error: %v", name, err)
  521. }
  522. if errType != meta.Negative.Type {
  523. vm.vm.prg.dumpCode(t.Logf)
  524. t.Fatalf("%s: unexpected error type (%s), expected (%s)", name, errType, meta.Negative.Type)
  525. }
  526. }
  527. } else {
  528. if meta.Negative.Type != "" {
  529. vm.vm.prg.dumpCode(t.Logf)
  530. t.Fatalf("%s: Expected error: %v", name, err)
  531. }
  532. }
  533. if vm.vm.sp != 0 {
  534. t.Fatalf("sp: %d", vm.vm.sp)
  535. }
  536. if l := len(vm.vm.iterStack); l > 0 {
  537. t.Fatalf("iter stack is not empty: %d", l)
  538. }
  539. }
  540. func (ctx *tc39TestCtx) runTC39File(name string, t testing.TB) {
  541. if skipList[name] {
  542. t.Skip("Excluded")
  543. }
  544. p := path.Join(ctx.base, name)
  545. meta, src, err := parseTC39File(p)
  546. if err != nil {
  547. //t.Fatalf("Could not parse %s: %v", name, err)
  548. t.Errorf("Could not parse %s: %v", name, err)
  549. return
  550. }
  551. if meta.hasFlag("async") {
  552. t.Skip("async")
  553. }
  554. if meta.Es5id == "" {
  555. skip := true
  556. //t.Logf("%s: Not ES5, skipped", name)
  557. if es6WhiteList[name] {
  558. skip = false
  559. } else {
  560. if meta.Es6id != "" {
  561. for _, prefix := range es6IdWhiteList {
  562. if strings.HasPrefix(meta.Es6id, prefix) &&
  563. (len(meta.Es6id) == len(prefix) || meta.Es6id[len(prefix)] == '.') {
  564. skip = false
  565. break
  566. }
  567. }
  568. }
  569. }
  570. if skip {
  571. if meta.Esid != "" {
  572. for _, prefix := range esIdPrefixWhiteList {
  573. if strings.HasSuffix(prefix, "*") {
  574. if strings.HasPrefix(meta.Esid, prefix[:len(prefix)-1]) {
  575. skip = false
  576. break
  577. }
  578. } else {
  579. if strings.HasPrefix(meta.Esid, prefix) &&
  580. (len(meta.Esid) == len(prefix) || meta.Esid[len(prefix)] == '.') {
  581. skip = false
  582. break
  583. }
  584. }
  585. }
  586. }
  587. }
  588. if skip {
  589. t.Skip("Not ES5")
  590. }
  591. for _, feature := range meta.Features {
  592. for _, bl := range featuresBlackList {
  593. if feature == bl {
  594. t.Skip("Blacklisted feature")
  595. }
  596. }
  597. }
  598. }
  599. var startTime time.Time
  600. if ctx.enableBench {
  601. startTime = time.Now()
  602. }
  603. hasRaw := meta.hasFlag("raw")
  604. if hasRaw || !meta.hasFlag("onlyStrict") {
  605. //log.Printf("Running normal test: %s", name)
  606. t.Logf("Running normal test: %s", name)
  607. ctx.runTC39Test(name, src, meta, t)
  608. }
  609. if !hasRaw && !meta.hasFlag("noStrict") {
  610. //log.Printf("Running strict test: %s", name)
  611. t.Logf("Running strict test: %s", name)
  612. ctx.runTC39Test(name, "'use strict';\n"+src, meta, t)
  613. }
  614. if ctx.enableBench {
  615. ctx.benchLock.Lock()
  616. ctx.benchmark = append(ctx.benchmark, tc39BenchmarkItem{
  617. name: name,
  618. duration: time.Since(startTime),
  619. })
  620. ctx.benchLock.Unlock()
  621. }
  622. }
  623. func (ctx *tc39TestCtx) init() {
  624. ctx.prgCache = make(map[string]*Program)
  625. }
  626. func (ctx *tc39TestCtx) compile(base, name string) (*Program, error) {
  627. ctx.prgCacheLock.Lock()
  628. defer ctx.prgCacheLock.Unlock()
  629. prg := ctx.prgCache[name]
  630. if prg == nil {
  631. fname := path.Join(base, name)
  632. f, err := os.Open(fname)
  633. if err != nil {
  634. return nil, err
  635. }
  636. defer f.Close()
  637. b, err := ioutil.ReadAll(f)
  638. if err != nil {
  639. return nil, err
  640. }
  641. str := string(b)
  642. prg, err = Compile(name, str, false)
  643. if err != nil {
  644. return nil, err
  645. }
  646. ctx.prgCache[name] = prg
  647. }
  648. return prg, nil
  649. }
  650. func (ctx *tc39TestCtx) runFile(base, name string, vm *Runtime) error {
  651. prg, err := ctx.compile(base, name)
  652. if err != nil {
  653. return err
  654. }
  655. _, err = vm.RunProgram(prg)
  656. return err
  657. }
  658. func (ctx *tc39TestCtx) runTC39Script(name, src string, includes []string, vm *Runtime) (err error, early bool) {
  659. early = true
  660. err = ctx.runFile(ctx.base, path.Join("harness", "assert.js"), vm)
  661. if err != nil {
  662. return
  663. }
  664. err = ctx.runFile(ctx.base, path.Join("harness", "sta.js"), vm)
  665. if err != nil {
  666. return
  667. }
  668. for _, include := range includes {
  669. err = ctx.runFile(ctx.base, path.Join("harness", include), vm)
  670. if err != nil {
  671. return
  672. }
  673. }
  674. var p *Program
  675. p, err = Compile(name, src, false)
  676. if err != nil {
  677. return
  678. }
  679. early = false
  680. _, err = vm.RunProgram(p)
  681. return
  682. }
  683. func (ctx *tc39TestCtx) runTC39Tests(name string) {
  684. files, err := ioutil.ReadDir(path.Join(ctx.base, name))
  685. if err != nil {
  686. ctx.t.Fatal(err)
  687. }
  688. for _, file := range files {
  689. if file.Name()[0] == '.' {
  690. continue
  691. }
  692. if file.IsDir() {
  693. ctx.runTC39Tests(path.Join(name, file.Name()))
  694. } else {
  695. fileName := file.Name()
  696. if strings.HasSuffix(fileName, ".js") && !strings.HasSuffix(fileName, "_FIXTURE.js") {
  697. name := path.Join(name, fileName)
  698. ctx.runTest(name, func(t *testing.T) {
  699. ctx.runTC39File(name, t)
  700. })
  701. }
  702. }
  703. }
  704. }
  705. func TestTC39(t *testing.T) {
  706. if testing.Short() {
  707. t.Skip()
  708. }
  709. if _, err := os.Stat(tc39BASE); err != nil {
  710. 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)
  711. }
  712. ctx := &tc39TestCtx{
  713. base: tc39BASE,
  714. }
  715. ctx.init()
  716. //ctx.enableBench = true
  717. t.Run("tc39", func(t *testing.T) {
  718. ctx.t = t
  719. //ctx.runTC39File("test/language/types/number/8.5.1.js", t)
  720. //ctx.runTC39Tests("test/language")
  721. ctx.runTC39Tests("test/language/expressions")
  722. ctx.runTC39Tests("test/language/arguments-object")
  723. ctx.runTC39Tests("test/language/asi")
  724. ctx.runTC39Tests("test/language/directive-prologue")
  725. ctx.runTC39Tests("test/language/function-code")
  726. ctx.runTC39Tests("test/language/eval-code")
  727. ctx.runTC39Tests("test/language/global-code")
  728. ctx.runTC39Tests("test/language/identifier-resolution")
  729. ctx.runTC39Tests("test/language/identifiers")
  730. //ctx.runTC39Tests("test/language/literals") // legacy octal escape in strings in strict mode and regexp
  731. ctx.runTC39Tests("test/language/literals/numeric")
  732. ctx.runTC39Tests("test/language/punctuators")
  733. ctx.runTC39Tests("test/language/reserved-words")
  734. ctx.runTC39Tests("test/language/source-text")
  735. ctx.runTC39Tests("test/language/statements")
  736. ctx.runTC39Tests("test/language/types")
  737. ctx.runTC39Tests("test/language/white-space")
  738. ctx.runTC39Tests("test/built-ins")
  739. ctx.runTC39Tests("test/annexB/built-ins/String/prototype/substr")
  740. ctx.runTC39Tests("test/annexB/built-ins/String/prototype/trimLeft")
  741. ctx.runTC39Tests("test/annexB/built-ins/String/prototype/trimRight")
  742. ctx.runTC39Tests("test/annexB/built-ins/escape")
  743. ctx.runTC39Tests("test/annexB/built-ins/unescape")
  744. ctx.runTC39Tests("test/annexB/built-ins/RegExp")
  745. ctx.flush()
  746. })
  747. if ctx.enableBench {
  748. sort.Slice(ctx.benchmark, func(i, j int) bool {
  749. return ctx.benchmark[i].duration > ctx.benchmark[j].duration
  750. })
  751. bench := ctx.benchmark
  752. if len(bench) > 50 {
  753. bench = bench[:50]
  754. }
  755. for _, item := range bench {
  756. fmt.Printf("%s\t%d\n", item.name, item.duration/time.Millisecond)
  757. }
  758. }
  759. }