tc39_test.go 29 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774
  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. skipPrefixes prefixList
  31. skipList = map[string]bool{
  32. // timezone
  33. "test/built-ins/Date/prototype/toISOString/15.9.5.43-0-8.js": true,
  34. "test/built-ins/Date/prototype/toISOString/15.9.5.43-0-9.js": true,
  35. "test/built-ins/Date/prototype/toISOString/15.9.5.43-0-10.js": true,
  36. // floating point date calculations
  37. "test/built-ins/Date/UTC/fp-evaluation-order.js": true,
  38. // quantifier integer limit in regexp
  39. "test/built-ins/RegExp/quantifier-integer-limit.js": true,
  40. // GetFunctionRealm
  41. "test/built-ins/Function/internals/Construct/base-ctor-revoked-proxy.js": true,
  42. // Go 1.14 supports unicode 12
  43. "test/language/identifiers/start-unicode-13.0.0.js": true,
  44. "test/language/identifiers/start-unicode-13.0.0-escaped.js": true,
  45. "test/language/identifiers/start-unicode-14.0.0.js": true,
  46. "test/language/identifiers/start-unicode-14.0.0-escaped.js": true,
  47. "test/language/identifiers/part-unicode-13.0.0.js": true,
  48. "test/language/identifiers/part-unicode-13.0.0-escaped.js": true,
  49. "test/language/identifiers/part-unicode-14.0.0.js": true,
  50. "test/language/identifiers/part-unicode-14.0.0-escaped.js": true,
  51. // class
  52. "test/built-ins/Array/prototype/concat/Array.prototype.concat_non-array.js": true,
  53. "test/built-ins/ArrayBuffer/isView/arg-is-typedarray-subclass-instance.js": true,
  54. "test/built-ins/ArrayBuffer/isView/arg-is-dataview-subclass-instance.js": true,
  55. "test/language/expressions/object/method-definition/name-invoke-ctor.js": true,
  56. "test/language/expressions/object/method.js": true,
  57. "test/language/expressions/object/setter-super-prop.js": true,
  58. "test/language/expressions/object/getter-super-prop.js": true,
  59. "test/language/expressions/delete/super-property.js": true,
  60. "test/language/statements/let/dstr/obj-ptrn-id-init-fn-name-class.js": true,
  61. "test/language/statements/let/dstr/ary-ptrn-elem-id-init-fn-name-class.js": true,
  62. "test/language/statements/for/dstr/var-obj-ptrn-id-init-fn-name-class.js": true,
  63. "test/language/statements/for/dstr/var-ary-ptrn-elem-id-init-fn-name-class.js": true,
  64. "test/language/statements/for/dstr/let-ary-ptrn-elem-id-init-fn-name-class.js": true,
  65. "test/language/statements/for/dstr/let-obj-ptrn-id-init-fn-name-class.js": true,
  66. "test/language/statements/const/dstr/ary-ptrn-elem-id-init-fn-name-class.js": true,
  67. "test/language/statements/for/dstr/const-obj-ptrn-id-init-fn-name-class.js": true,
  68. "test/language/statements/const/dstr/obj-ptrn-id-init-fn-name-class.js": true,
  69. "test/language/statements/for/dstr/const-ary-ptrn-elem-id-init-fn-name-class.js": true,
  70. "test/language/statements/variable/dstr/obj-ptrn-id-init-fn-name-class.js": true,
  71. "test/language/statements/variable/dstr/ary-ptrn-elem-id-init-fn-name-class.js": true,
  72. "test/language/expressions/object/method-definition/name-name-prop-symbol.js": true,
  73. "test/language/expressions/function/dstr/dflt-obj-ptrn-id-init-fn-name-class.js": true,
  74. "test/language/expressions/function/dstr/dflt-ary-ptrn-elem-id-init-fn-name-class.js": true,
  75. "test/language/expressions/function/dstr/ary-ptrn-elem-id-init-fn-name-class.js": true,
  76. "test/language/expressions/function/dstr/obj-ptrn-id-init-fn-name-class.js": true,
  77. "test/language/statements/function/dstr/dflt-ary-ptrn-elem-id-init-fn-name-class.js": true,
  78. "test/language/statements/function/dstr/obj-ptrn-id-init-fn-name-class.js": true,
  79. "test/language/statements/function/dstr/ary-ptrn-elem-id-init-fn-name-class.js": true,
  80. "test/language/statements/function/dstr/dflt-obj-ptrn-id-init-fn-name-class.js": true,
  81. "test/language/expressions/arrow-function/scope-paramsbody-var-open.js": true,
  82. "test/language/expressions/arrow-function/scope-paramsbody-var-close.js": true,
  83. "test/language/expressions/arrow-function/scope-body-lex-distinct.js": true,
  84. "test/language/statements/for-of/dstr/var-ary-ptrn-elem-id-init-fn-name-class.js": true,
  85. "test/language/statements/for-of/dstr/var-obj-ptrn-id-init-fn-name-class.js": true,
  86. "test/language/statements/for-of/dstr/const-obj-ptrn-id-init-fn-name-class.js": true,
  87. "test/language/statements/for-of/dstr/let-obj-ptrn-id-init-fn-name-class.js": true,
  88. "test/language/statements/for-of/dstr/const-ary-ptrn-elem-id-init-fn-name-class.js": true,
  89. "test/language/statements/for-of/dstr/let-ary-ptrn-elem-id-init-fn-name-class.js": true,
  90. "test/language/statements/try/dstr/obj-ptrn-id-init-fn-name-class.js": true,
  91. "test/language/statements/try/dstr/ary-ptrn-elem-id-init-fn-name-class.js": true,
  92. "test/language/expressions/arrow-function/dstr/ary-ptrn-elem-id-init-fn-name-class.js": true,
  93. "test/language/expressions/arrow-function/dstr/dflt-obj-ptrn-id-init-fn-name-class.js": true,
  94. "test/language/expressions/arrow-function/dstr/obj-ptrn-id-init-fn-name-class.js": true,
  95. "test/language/expressions/arrow-function/dstr/dflt-ary-ptrn-elem-id-init-fn-name-class.js": true,
  96. "test/language/expressions/arrow-function/lexical-super-property-from-within-constructor.js": true,
  97. "test/language/expressions/arrow-function/lexical-super-property.js": true,
  98. "test/language/expressions/arrow-function/lexical-supercall-from-immediately-invoked-arrow.js": true,
  99. "test/built-ins/Promise/prototype/finally/subclass-species-constructor-resolve-count.js": true,
  100. "test/built-ins/Promise/prototype/finally/subclass-species-constructor-reject-count.js": true,
  101. "test/built-ins/Promise/prototype/finally/subclass-resolve-count.js": true,
  102. "test/built-ins/Promise/prototype/finally/species-symbol.js": true,
  103. "test/built-ins/Promise/prototype/finally/subclass-reject-count.js": true,
  104. "test/built-ins/Promise/prototype/finally/species-constructor.js": true,
  105. "test/language/statements/switch/scope-lex-class.js": true,
  106. "test/language/expressions/arrow-function/lexical-super-call-from-within-constructor.js": true,
  107. "test/language/expressions/object/dstr/meth-dflt-ary-ptrn-elem-id-init-fn-name-class.js": true,
  108. "test/language/expressions/object/dstr/meth-ary-ptrn-elem-id-init-fn-name-class.js": true,
  109. "test/language/expressions/object/dstr/meth-dflt-obj-ptrn-id-init-fn-name-class.js": true,
  110. "test/language/expressions/object/dstr/meth-obj-ptrn-id-init-fn-name-class.js": true,
  111. "test/built-ins/Promise/prototype/finally/resolved-observable-then-calls-PromiseResolve.js": true,
  112. "test/built-ins/Promise/prototype/finally/rejected-observable-then-calls-PromiseResolve.js": true,
  113. "test/built-ins/Function/prototype/toString/class-expression-explicit-ctor.js": true,
  114. "test/built-ins/Function/prototype/toString/class-expression-implicit-ctor.js": true,
  115. "test/language/global-code/decl-lex.js": true,
  116. "test/language/global-code/decl-lex-deletion.js": true,
  117. "test/language/global-code/script-decl-var-collision.js": true,
  118. "test/language/global-code/script-decl-lex.js": true,
  119. "test/language/global-code/script-decl-lex-lex.js": true,
  120. "test/language/global-code/script-decl-lex-deletion.js": true,
  121. // restricted unicode regexp syntax
  122. "test/built-ins/RegExp/unicode_restricted_quantifiable_assertion.js": true,
  123. "test/built-ins/RegExp/unicode_restricted_octal_escape.js": true,
  124. "test/built-ins/RegExp/unicode_restricted_incomple_quantifier.js": true,
  125. "test/built-ins/RegExp/unicode_restricted_incomplete_quantifier.js": true,
  126. "test/built-ins/RegExp/unicode_restricted_identity_escape_x.js": true,
  127. "test/built-ins/RegExp/unicode_restricted_identity_escape_u.js": true,
  128. "test/built-ins/RegExp/unicode_restricted_identity_escape_c.js": true,
  129. "test/built-ins/RegExp/unicode_restricted_identity_escape_alpha.js": true,
  130. "test/built-ins/RegExp/unicode_restricted_identity_escape.js": true,
  131. "test/built-ins/RegExp/unicode_restricted_brackets.js": true,
  132. "test/built-ins/RegExp/unicode_restricted_character_class_escape.js": true,
  133. "test/annexB/built-ins/RegExp/prototype/compile/pattern-string-invalid-u.js": true,
  134. // Because goja parser works in UTF-8 it is not possible to pass strings containing invalid UTF-16 code points.
  135. // This is mitigated by escaping them as \uXXXX, however because of this the RegExp source becomes
  136. // `\uXXXX` instead of `<the actual UTF-16 code point of XXXX>`.
  137. // The resulting RegExp will work exactly the same, but it causes these two tests to fail.
  138. "test/annexB/built-ins/RegExp/RegExp-leading-escape-BMP.js": true,
  139. "test/annexB/built-ins/RegExp/RegExp-trailing-escape-BMP.js": true,
  140. // x ** y
  141. "test/built-ins/Array/prototype/pop/clamps-to-integer-limit.js": true,
  142. "test/built-ins/Array/prototype/pop/length-near-integer-limit.js": true,
  143. "test/built-ins/Array/prototype/push/clamps-to-integer-limit.js": true,
  144. "test/built-ins/Array/prototype/push/length-near-integer-limit.js": true,
  145. "test/built-ins/Array/prototype/push/throws-if-integer-limit-exceeded.js": true,
  146. "test/built-ins/Array/prototype/reverse/length-exceeding-integer-limit-with-object.js": true,
  147. "test/built-ins/Array/prototype/reverse/length-exceeding-integer-limit-with-proxy.js": true,
  148. "test/built-ins/Array/prototype/slice/length-exceeding-integer-limit.js": true,
  149. "test/built-ins/Array/prototype/splice/clamps-length-to-integer-limit.js": true,
  150. "test/built-ins/Array/prototype/splice/length-and-deleteCount-exceeding-integer-limit.js": true,
  151. "test/built-ins/Array/prototype/splice/length-exceeding-integer-limit-shrink-array.js": true,
  152. "test/built-ins/Array/prototype/splice/length-near-integer-limit-grow-array.js": true,
  153. "test/built-ins/Array/prototype/splice/throws-if-integer-limit-exceeded.js": true,
  154. "test/built-ins/Array/prototype/unshift/clamps-to-integer-limit.js": true,
  155. "test/built-ins/Array/prototype/unshift/length-near-integer-limit.js": true,
  156. "test/built-ins/Array/prototype/unshift/throws-if-integer-limit-exceeded.js": true,
  157. "test/built-ins/String/prototype/split/separator-undef-limit-custom.js": true,
  158. "test/built-ins/Array/prototype/splice/create-species-length-exceeding-integer-limit.js": true,
  159. "test/built-ins/Array/prototype/slice/length-exceeding-integer-limit-proxied-array.js": true,
  160. "test/built-ins/String/prototype/split/separator-undef-limit-zero.js": true,
  161. "test/language/expressions/object/cpn-obj-lit-computed-property-name-from-exponetiation-expression.js": true,
  162. "test/language/expressions/object/cpn-obj-lit-computed-property-name-from-math.js": true,
  163. "test/built-ins/RegExp/prototype/exec/failure-lastindex-set.js": true,
  164. // generators
  165. "test/annexB/built-ins/RegExp/RegExp-control-escape-russian-letter.js": true,
  166. "test/language/statements/switch/scope-lex-generator.js": true,
  167. "test/language/expressions/in/rhs-yield-present.js": true,
  168. "test/language/expressions/object/cpn-obj-lit-computed-property-name-from-yield-expression.js": true,
  169. "test/language/expressions/object/cpn-obj-lit-computed-property-name-from-generator-function-declaration.js": true,
  170. "test/built-ins/TypedArrayConstructors/ctors/object-arg/as-generator-iterable-returns.js": true,
  171. "test/built-ins/Object/seal/seal-generatorfunction.js": true,
  172. // async
  173. "test/language/eval-code/direct/async-func-decl-a-preceding-parameter-is-named-arguments-declare-arguments-and-assign.js": true,
  174. "test/language/statements/switch/scope-lex-async-generator.js": true,
  175. "test/language/statements/switch/scope-lex-async-function.js": true,
  176. "test/language/statements/for-of/head-lhs-async-invalid.js": true,
  177. "test/language/expressions/object/cpn-obj-lit-computed-property-name-from-async-arrow-function-expression.js": true,
  178. "test/language/expressions/object/cpn-obj-lit-computed-property-name-from-await-expression.js": true,
  179. "test/language/statements/async-function/evaluation-body.js": true,
  180. "test/language/expressions/object/method-definition/object-method-returns-promise.js": true,
  181. "test/language/expressions/object/method-definition/async-super-call-param.js": true,
  182. "test/language/expressions/object/method-definition/async-super-call-body.js": true,
  183. "test/built-ins/Object/seal/seal-asyncgeneratorfunction.js": true,
  184. "test/built-ins/Object/seal/seal-asyncfunction.js": true,
  185. "test/built-ins/Object/seal/seal-asyncarrowfunction.js": true,
  186. "test/language/statements/for/head-init-async-of.js": true,
  187. "test/language/reserved-words/await-module.js": true,
  188. // legacy number literals
  189. "test/language/literals/numeric/non-octal-decimal-integer.js": true,
  190. // coalesce
  191. "test/language/expressions/object/cpn-obj-lit-computed-property-name-from-expression-coalesce.js": true,
  192. // integer separators
  193. "test/language/expressions/object/cpn-obj-lit-computed-property-name-from-integer-separators.js": true,
  194. // BigInt
  195. "test/built-ins/Object/seal/seal-biguint64array.js": true,
  196. "test/built-ins/Object/seal/seal-bigint64array.js": true,
  197. // FIXME bugs
  198. // new.target availability
  199. "test/language/global-code/new.target-arrow.js": true,
  200. "test/language/eval-code/direct/new.target-fn.js": true,
  201. // 'in' in a branch
  202. "test/language/expressions/conditional/in-branch-1.js": true,
  203. // Left-hand side as a CoverParenthesizedExpression
  204. "test/language/expressions/assignment/fn-name-lhs-cover.js": true,
  205. }
  206. featuresBlackList = []string{
  207. "async-iteration",
  208. "Symbol.asyncIterator",
  209. "async-functions",
  210. "BigInt",
  211. "class",
  212. "class-static-block",
  213. "class-fields-private",
  214. "class-fields-private-in",
  215. "super",
  216. "generators",
  217. "String.prototype.replaceAll",
  218. "String.prototype.at",
  219. "resizable-arraybuffer",
  220. "array-find-from-last",
  221. "Array.prototype.at",
  222. "TypedArray.prototype.at",
  223. "regexp-named-groups",
  224. "regexp-dotall",
  225. "regexp-unicode-property-escapes",
  226. "regexp-match-indices",
  227. "legacy-regexp",
  228. "tail-call-optimization",
  229. "Temporal",
  230. "import-assertions",
  231. "dynamic-import",
  232. "logical-assignment-operators",
  233. "coalesce-expression",
  234. "import.meta",
  235. "optional-chaining",
  236. "Atomics",
  237. "Atomics.waitAsync",
  238. "FinalizationRegistry",
  239. "WeakRef",
  240. "numeric-separator-literal",
  241. "Object.fromEntries",
  242. "Object.hasOwn",
  243. "__getter__",
  244. "__setter__",
  245. "ShadowRealm",
  246. "SharedArrayBuffer",
  247. "error-cause",
  248. }
  249. )
  250. func init() {
  251. skip := func(prefixes ...string) {
  252. for _, prefix := range prefixes {
  253. skipPrefixes.Add(prefix)
  254. }
  255. }
  256. skip(
  257. // class
  258. "test/language/statements/class/",
  259. "test/language/expressions/class/",
  260. "test/language/expressions/super/",
  261. "test/language/expressions/assignment/target-super-",
  262. "test/language/arguments-object/cls-",
  263. "test/built-ins/Function/prototype/toString/class-",
  264. "test/built-ins/Function/prototype/toString/setter-class-",
  265. "test/built-ins/Function/prototype/toString/method-class-",
  266. "test/built-ins/Function/prototype/toString/getter-class-",
  267. // async
  268. "test/language/eval-code/direct/async-",
  269. "test/language/expressions/async-",
  270. "test/language/expressions/await/",
  271. "test/language/statements/async-function/",
  272. "test/built-ins/Async",
  273. // generators
  274. "test/language/eval-code/direct/gen-",
  275. "test/built-ins/GeneratorFunction/",
  276. "test/built-ins/Function/prototype/toString/generator-",
  277. // **
  278. "test/language/expressions/exponentiation",
  279. // BigInt
  280. "test/built-ins/TypedArrayConstructors/BigUint64Array/",
  281. "test/built-ins/TypedArrayConstructors/BigInt64Array/",
  282. )
  283. }
  284. type tc39Test struct {
  285. name string
  286. f func(t *testing.T)
  287. }
  288. type tc39BenchmarkItem struct {
  289. name string
  290. duration time.Duration
  291. }
  292. type tc39BenchmarkData []tc39BenchmarkItem
  293. type tc39TestCtx struct {
  294. base string
  295. t *testing.T
  296. prgCache map[string]*Program
  297. prgCacheLock sync.Mutex
  298. enableBench bool
  299. benchmark tc39BenchmarkData
  300. benchLock sync.Mutex
  301. testQueue []tc39Test
  302. }
  303. type TC39MetaNegative struct {
  304. Phase, Type string
  305. }
  306. type tc39Meta struct {
  307. Negative TC39MetaNegative
  308. Includes []string
  309. Flags []string
  310. Features []string
  311. Es5id string
  312. Es6id string
  313. Esid string
  314. }
  315. type prefixList struct {
  316. prefixes map[int]map[string]struct{}
  317. }
  318. func (pl *prefixList) Add(prefix string) {
  319. l := pl.prefixes[len(prefix)]
  320. if l == nil {
  321. l = make(map[string]struct{})
  322. if pl.prefixes == nil {
  323. pl.prefixes = make(map[int]map[string]struct{})
  324. }
  325. pl.prefixes[len(prefix)] = l
  326. }
  327. l[prefix] = struct{}{}
  328. }
  329. func (pl *prefixList) Match(s string) bool {
  330. for l, prefixes := range pl.prefixes {
  331. if len(s) >= l {
  332. if _, exists := prefixes[s[:l]]; exists {
  333. return true
  334. }
  335. }
  336. }
  337. return false
  338. }
  339. func (m *tc39Meta) hasFlag(flag string) bool {
  340. for _, f := range m.Flags {
  341. if f == flag {
  342. return true
  343. }
  344. }
  345. return false
  346. }
  347. func parseTC39File(name string) (*tc39Meta, string, error) {
  348. f, err := os.Open(name)
  349. if err != nil {
  350. return nil, "", err
  351. }
  352. defer f.Close()
  353. b, err := ioutil.ReadAll(f)
  354. if err != nil {
  355. return nil, "", err
  356. }
  357. str := string(b)
  358. metaStart := strings.Index(str, "/*---")
  359. if metaStart == -1 {
  360. return nil, "", invalidFormatError
  361. } else {
  362. metaStart += 5
  363. }
  364. metaEnd := strings.Index(str, "---*/")
  365. if metaEnd == -1 || metaEnd <= metaStart {
  366. return nil, "", invalidFormatError
  367. }
  368. var meta tc39Meta
  369. err = yaml.Unmarshal([]byte(str[metaStart:metaEnd]), &meta)
  370. if err != nil {
  371. return nil, "", err
  372. }
  373. if meta.Negative.Type != "" && meta.Negative.Phase == "" {
  374. return nil, "", errors.New("negative type is set, but phase isn't")
  375. }
  376. return &meta, str, nil
  377. }
  378. func (*tc39TestCtx) detachArrayBuffer(call FunctionCall) Value {
  379. if obj, ok := call.Argument(0).(*Object); ok {
  380. if buf, ok := obj.self.(*arrayBufferObject); ok {
  381. buf.detach()
  382. return _undefined
  383. }
  384. }
  385. panic(typeError("detachArrayBuffer() is called with incompatible argument"))
  386. }
  387. func (*tc39TestCtx) throwIgnorableTestError(FunctionCall) Value {
  388. panic(ignorableTestError)
  389. }
  390. func (ctx *tc39TestCtx) runTC39Test(name, src string, meta *tc39Meta, t testing.TB) {
  391. defer func() {
  392. if x := recover(); x != nil {
  393. panic(fmt.Sprintf("panic while running %s: %v", name, x))
  394. }
  395. }()
  396. vm := New()
  397. _262 := vm.NewObject()
  398. _262.Set("detachArrayBuffer", ctx.detachArrayBuffer)
  399. _262.Set("createRealm", ctx.throwIgnorableTestError)
  400. _262.Set("evalScript", func(call FunctionCall) Value {
  401. script := call.Argument(0).String()
  402. result, err := vm.RunString(script)
  403. if err != nil {
  404. panic(err)
  405. }
  406. return result
  407. })
  408. vm.Set("$262", _262)
  409. vm.Set("IgnorableTestError", ignorableTestError)
  410. vm.RunProgram(sabStub)
  411. var out []string
  412. async := meta.hasFlag("async")
  413. if async {
  414. err := ctx.runFile(ctx.base, path.Join("harness", "doneprintHandle.js"), vm)
  415. if err != nil {
  416. t.Fatal(err)
  417. }
  418. vm.Set("print", func(msg string) {
  419. out = append(out, msg)
  420. })
  421. } else {
  422. vm.Set("print", t.Log)
  423. }
  424. err, early := ctx.runTC39Script(name, src, meta.Includes, vm)
  425. if err != nil {
  426. if meta.Negative.Type == "" {
  427. if err, ok := err.(*Exception); ok {
  428. if err.Value() == ignorableTestError {
  429. t.Skip("Test threw IgnorableTestError")
  430. }
  431. }
  432. t.Fatalf("%s: %v", name, err)
  433. } else {
  434. if (meta.Negative.Phase == "early" || meta.Negative.Phase == "parse") && !early || meta.Negative.Phase == "runtime" && early {
  435. t.Fatalf("%s: error %v happened at the wrong phase (expected %s)", name, err, meta.Negative.Phase)
  436. }
  437. var errType string
  438. switch err := err.(type) {
  439. case *Exception:
  440. if o, ok := err.Value().(*Object); ok {
  441. if c := o.Get("constructor"); c != nil {
  442. if c, ok := c.(*Object); ok {
  443. errType = c.Get("name").String()
  444. } else {
  445. t.Fatalf("%s: error constructor is not an object (%v)", name, o)
  446. }
  447. } else {
  448. t.Fatalf("%s: error does not have a constructor (%v)", name, o)
  449. }
  450. } else {
  451. t.Fatalf("%s: error is not an object (%v)", name, err.Value())
  452. }
  453. case *CompilerSyntaxError:
  454. errType = "SyntaxError"
  455. case *CompilerReferenceError:
  456. errType = "ReferenceError"
  457. default:
  458. t.Fatalf("%s: error is not a JS error: %v", name, err)
  459. }
  460. if errType != meta.Negative.Type {
  461. vm.vm.prg.dumpCode(t.Logf)
  462. t.Fatalf("%s: unexpected error type (%s), expected (%s)", name, errType, meta.Negative.Type)
  463. }
  464. }
  465. } else {
  466. if meta.Negative.Type != "" {
  467. vm.vm.prg.dumpCode(t.Logf)
  468. t.Fatalf("%s: Expected error: %v", name, err)
  469. }
  470. }
  471. if vm.vm.sp != 0 {
  472. t.Fatalf("sp: %d", vm.vm.sp)
  473. }
  474. if l := len(vm.vm.iterStack); l > 0 {
  475. t.Fatalf("iter stack is not empty: %d", l)
  476. }
  477. if async {
  478. complete := false
  479. for _, line := range out {
  480. if strings.HasPrefix(line, "Test262:AsyncTestFailure:") {
  481. t.Fatal(line)
  482. } else if line == "Test262:AsyncTestComplete" {
  483. complete = true
  484. }
  485. }
  486. if !complete {
  487. for _, line := range out {
  488. t.Log(line)
  489. }
  490. t.Fatal("Test262:AsyncTestComplete was not printed")
  491. }
  492. }
  493. }
  494. func (ctx *tc39TestCtx) runTC39File(name string, t testing.TB) {
  495. if skipList[name] {
  496. t.Skip("Excluded")
  497. }
  498. if skipPrefixes.Match(name) {
  499. t.Skip("Excluded")
  500. }
  501. p := path.Join(ctx.base, name)
  502. meta, src, err := parseTC39File(p)
  503. if err != nil {
  504. //t.Fatalf("Could not parse %s: %v", name, err)
  505. t.Errorf("Could not parse %s: %v", name, err)
  506. return
  507. }
  508. if meta.hasFlag("module") {
  509. t.Skip("module")
  510. }
  511. if meta.Es5id == "" {
  512. if meta.Es6id == "" && meta.Esid == "" {
  513. t.Skip("No ids")
  514. }
  515. for _, feature := range meta.Features {
  516. for _, bl := range featuresBlackList {
  517. if feature == bl {
  518. t.Skip("Blacklisted feature")
  519. }
  520. }
  521. }
  522. }
  523. var startTime time.Time
  524. if ctx.enableBench {
  525. startTime = time.Now()
  526. }
  527. hasRaw := meta.hasFlag("raw")
  528. if hasRaw || !meta.hasFlag("onlyStrict") {
  529. //log.Printf("Running normal test: %s", name)
  530. t.Logf("Running normal test: %s", name)
  531. ctx.runTC39Test(name, src, meta, t)
  532. }
  533. if !hasRaw && !meta.hasFlag("noStrict") {
  534. //log.Printf("Running strict test: %s", name)
  535. t.Logf("Running strict test: %s", name)
  536. ctx.runTC39Test(name, "'use strict';\n"+src, meta, t)
  537. }
  538. if ctx.enableBench {
  539. ctx.benchLock.Lock()
  540. ctx.benchmark = append(ctx.benchmark, tc39BenchmarkItem{
  541. name: name,
  542. duration: time.Since(startTime),
  543. })
  544. ctx.benchLock.Unlock()
  545. }
  546. }
  547. func (ctx *tc39TestCtx) init() {
  548. ctx.prgCache = make(map[string]*Program)
  549. }
  550. func (ctx *tc39TestCtx) compile(base, name string) (*Program, error) {
  551. ctx.prgCacheLock.Lock()
  552. defer ctx.prgCacheLock.Unlock()
  553. prg := ctx.prgCache[name]
  554. if prg == nil {
  555. fname := path.Join(base, name)
  556. f, err := os.Open(fname)
  557. if err != nil {
  558. return nil, err
  559. }
  560. defer f.Close()
  561. b, err := ioutil.ReadAll(f)
  562. if err != nil {
  563. return nil, err
  564. }
  565. str := string(b)
  566. prg, err = Compile(name, str, false)
  567. if err != nil {
  568. return nil, err
  569. }
  570. ctx.prgCache[name] = prg
  571. }
  572. return prg, nil
  573. }
  574. func (ctx *tc39TestCtx) runFile(base, name string, vm *Runtime) error {
  575. prg, err := ctx.compile(base, name)
  576. if err != nil {
  577. return err
  578. }
  579. _, err = vm.RunProgram(prg)
  580. return err
  581. }
  582. func (ctx *tc39TestCtx) runTC39Script(name, src string, includes []string, vm *Runtime) (err error, early bool) {
  583. early = true
  584. err = ctx.runFile(ctx.base, path.Join("harness", "assert.js"), vm)
  585. if err != nil {
  586. return
  587. }
  588. err = ctx.runFile(ctx.base, path.Join("harness", "sta.js"), vm)
  589. if err != nil {
  590. return
  591. }
  592. for _, include := range includes {
  593. err = ctx.runFile(ctx.base, path.Join("harness", include), vm)
  594. if err != nil {
  595. return
  596. }
  597. }
  598. var p *Program
  599. p, err = Compile(name, src, false)
  600. if err != nil {
  601. return
  602. }
  603. early = false
  604. _, err = vm.RunProgram(p)
  605. return
  606. }
  607. func (ctx *tc39TestCtx) runTC39Tests(name string) {
  608. files, err := ioutil.ReadDir(path.Join(ctx.base, name))
  609. if err != nil {
  610. ctx.t.Fatal(err)
  611. }
  612. for _, file := range files {
  613. if file.Name()[0] == '.' {
  614. continue
  615. }
  616. if file.IsDir() {
  617. ctx.runTC39Tests(path.Join(name, file.Name()))
  618. } else {
  619. fileName := file.Name()
  620. if strings.HasSuffix(fileName, ".js") && !strings.HasSuffix(fileName, "_FIXTURE.js") {
  621. name := path.Join(name, fileName)
  622. ctx.runTest(name, func(t *testing.T) {
  623. ctx.runTC39File(name, t)
  624. })
  625. }
  626. }
  627. }
  628. }
  629. func TestTC39(t *testing.T) {
  630. if testing.Short() {
  631. t.Skip()
  632. }
  633. if _, err := os.Stat(tc39BASE); err != nil {
  634. 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)
  635. }
  636. ctx := &tc39TestCtx{
  637. base: tc39BASE,
  638. }
  639. ctx.init()
  640. //ctx.enableBench = true
  641. t.Run("tc39", func(t *testing.T) {
  642. ctx.t = t
  643. //ctx.runTC39File("test/language/types/number/8.5.1.js", t)
  644. //ctx.runTC39Tests("test/language")
  645. ctx.runTC39Tests("test/language/expressions")
  646. ctx.runTC39Tests("test/language/arguments-object")
  647. ctx.runTC39Tests("test/language/asi")
  648. ctx.runTC39Tests("test/language/directive-prologue")
  649. ctx.runTC39Tests("test/language/function-code")
  650. ctx.runTC39Tests("test/language/eval-code")
  651. ctx.runTC39Tests("test/language/global-code")
  652. ctx.runTC39Tests("test/language/identifier-resolution")
  653. ctx.runTC39Tests("test/language/identifiers")
  654. //ctx.runTC39Tests("test/language/literals") // legacy octal escape in strings in strict mode and regexp
  655. ctx.runTC39Tests("test/language/literals/numeric")
  656. ctx.runTC39Tests("test/language/punctuators")
  657. ctx.runTC39Tests("test/language/reserved-words")
  658. ctx.runTC39Tests("test/language/source-text")
  659. ctx.runTC39Tests("test/language/statements")
  660. ctx.runTC39Tests("test/language/types")
  661. ctx.runTC39Tests("test/language/white-space")
  662. ctx.runTC39Tests("test/built-ins")
  663. ctx.runTC39Tests("test/annexB/built-ins/String/prototype/substr")
  664. ctx.runTC39Tests("test/annexB/built-ins/String/prototype/trimLeft")
  665. ctx.runTC39Tests("test/annexB/built-ins/String/prototype/trimRight")
  666. ctx.runTC39Tests("test/annexB/built-ins/escape")
  667. ctx.runTC39Tests("test/annexB/built-ins/unescape")
  668. ctx.runTC39Tests("test/annexB/built-ins/RegExp")
  669. ctx.flush()
  670. })
  671. if ctx.enableBench {
  672. sort.Slice(ctx.benchmark, func(i, j int) bool {
  673. return ctx.benchmark[i].duration > ctx.benchmark[j].duration
  674. })
  675. bench := ctx.benchmark
  676. if len(bench) > 50 {
  677. bench = bench[:50]
  678. }
  679. for _, item := range bench {
  680. fmt.Printf("%s\t%d\n", item.name, item.duration/time.Millisecond)
  681. }
  682. }
  683. }