8037572: Add more test cases to check static types Reviewed-by: attila, lagergren

8041625: AccessorProperty currentType must only by Object.class when non-primitive, and scoping followup problem for lazily generated with bodies Reviewed-by: jlaskey, attila

8038398: OptimisticRecompilationTest fails on staging repo nashorn/jdk9/nashorn due to test framework Reviewed-by: attila, lagergren

8041995: Problems when loading tree expressions with several optimistic program points when optimistically initializing ObjectNodes Reviewed-by: jlaskey, attila

8041905: Fix apply2call bug that prevented avatar.js unit tests from running correctly Reviewed-by: attila, hannesw

8041434: Add synchronization to the common global constants structure Reviewed-by: attila, hannesw

8038426: Move all loggers from process wide scope into Global scope Reviewed-by: attila, hannesw

8033105: Make sure Nashorn test harness can run zlib benchmark Reviewed-by: attila, hannesw

8040655: When processing a RewriteException debug object, the return value has already been reset to null. We need to catch this value before that. Reviewed-by: attila, lagergren Contributed-by: matherey.nunez@oracle.com

8040102: Remove all references to Unsafe and definition of anonymous clases from the code Summary: As the catch combinator optimization is now part of java.lang.invoke we don't need to put our own in the boot class path in any configuration anymore. Furthermore, with the completion of the array performance subtask of optimistic typing, we can remove the experimental (commented out) Unsafe accessors in the ArrayData classes Reviewed-by: attila, jlaskey

8040089: Apply to call transform was incomplete. Now passes all tests and performance is back Reviewed-by: hannesw, attila, sundar, jlaskey

Merge

8039746: Transform applies to calls wherever possible, for ScriptFunctions and JSObjects. Reviewed-by: hannesw, attila, sundar, jlaskey

8040024: BranchOptimizer produces bad code for NaN FP comparison Reviewed-by: jlaskey, lagergren

8039044: Expand undefined intrinsics for all commutative combinators of scrict undefined checks Reviewed-by: jlaskey, hannesw

8038945: Simplify strict undefined checks Reviewed-by: jlaskey, hannesw

8038799: Guard and unbox boxed primitives types on setting them in Properties to avoid megamorphisism Reviewed-by: attila, jlaskey

8027043: Turn global accesses into MethodHandle.constant, with one chance of reassignment, e.g. x = value occuring once in the global scope is ok, twice is not. Reviewed-by: attila, sundar, jlaskey

8038416: Access to undefined scoped variables deoptimized too much Reviewed-by: jlaskey, lagergren

8038406: Testability: as a first step of moving loggers away from the process global space, the Debug object now supports logging POJOs from log entries as an event queue, which can be introspected from test scripts. This is way better than screen scraping brittle and subject-to-change log output. Reviewed-by: attila, hannesw, sundar

8038396: fix for the compiler expression evaluator to be more inquisitive about types Reviewed-by: hannesw, lagergren

8037534: Use scope types to determine optimistic types Reviewed-by: hannesw, lagergren

8038223: Symbol trace debug output takes time Reviewed-by: hannesw, lagergren

Merge

8037967: Broke the build, by commiting without saving the last review comment Reviewed-by: jlaskey, hannesw

8033334: Make sure that scope depth information is maintained in the RecompilableScriptFunctionDatas, to avoid unnecessary slow proto linkage when doing on demand compilation Summary: Compute RecompiledScriptFunctionDatas eagerly, annotate them with scope depth information and use them in recompilations. Reviewed-by: attila, hannesw, jlaskey

8037086: Check that deoptimizing recompilations are correct Reviewed-by: attila, lagergren

8036986: Test should check that correctly type is returned running with optimistic. If optimistic assumption was wrong we should get the right one. Summary: This uses the inspection framework for generated code to ensure optimisim. Reviewed-by: attila, lagergren Contributed-by: matherey.nunez@oracle.com

8037177: -Dnashorn.optimistic should be enabled by default, meaning that it has to be explicitly set to false to run with the jdk 8 style conservative types Summary: This will be the new default setting, so the explicit flag should be removed, and instead reverse checked for explicitly DISABLED optimistic types. In the future, we might remove the flag altogether. Reviewed-by: attila, hannesw

8036127: Prototype filter needs to be applied to getter guard as well, not just getter Summary: This manifests itself as a bug in optimistic types, as inner functions may access properties of the wrong type, but it is also a bug in tip. Without optimistic types, we have been unable to find a reproducer due to more similar PropertyMaps Reviewed-by: attila, jlaskey, sundar

8035836: Array performance improvements Summary: Implement typed arrays with native byte buffers and do fast linking for all continuous arrays Reviewed-by: attila, jlaskey, sundar, hannesw

8035820: Optimistic recompilation Reviewed-by: hannesw, jlaskey, sundar Contributed-by: attila.szegedi@oracle.com, marcus.lagergren@oracle.com