implement `annotations` (#4763)

15 files changed, 690 insertions, 552 deletions

diff --git a/README.md b/README.md
index cd564e9f..b378a401 100644
--- a/README.md
+++ b/README.md
@@ -92,6 +92,9 @@ a double dash to prevent input files being used as option arguments:
     -o, --output <file>         Output file path (default STDOUT). Specify `ast` or
                                 `spidermonkey` to write UglifyJS or SpiderMonkey AST
                                 as JSON to STDOUT respectively.
+    --annotations               Process and preserve comment annotations.
+                                (`/*@__PURE__*/` or `/*#__PURE__*/`)
+    --no-annotations            Ignore and discard comment annotations.
     --comments [filter]         Preserve copyright comments in the output. By
                                 default this works like Google Closure, keeping
                                 JSDoc-style comments that contain "@license" or
@@ -221,10 +224,10 @@ Example:
 To enable the mangler you need to pass `--mangle` (`-m`).  The following
 (comma-separated) options are supported:
 
-- `eval` (default `false`) -- mangle names visible in scopes where `eval` or
+- `eval` (default: `false`) — mangle names visible in scopes where `eval` or
   `with` are used.
 
-- `reserved` (default: `[]`) -- when mangling is enabled but you want to
+- `reserved` (default: `[]`) — when mangling is enabled but you want to
   prevent certain names from being mangled, you can declare those names with
   `--mangle reserved` — pass a comma-separated list of names.  For example:
 
@@ -491,46 +494,51 @@ if (result.error) throw result.error;
 
 ## Minify options
 
-- `compress` (default `{}`) — pass `false` to skip compressing entirely.
+- `annotations` — pass `false` to ignore all comment annotations and elide them
+  from output. Useful when, for instance, external tools incorrectly applied
+  `/*@__PURE__*/` or `/*#__PURE__*/`. Pass `true` to both compress and retain
+  comment annotations in output to allow for further processing downstream.
+
+- `compress` (default: `{}`) — pass `false` to skip compressing entirely.
   Pass an object to specify custom [compress options](#compress-options).
 
-- `ie8` (default `false`) -- set to `true` to support IE8.
+- `ie8` (default: `false`) — set to `true` to support IE8.
 
-- `keep_fnames` (default: `false`) -- pass `true` to prevent discarding or mangling
+- `keep_fnames` (default: `false`) — pass `true` to prevent discarding or mangling
   of function names.  Useful for code relying on `Function.prototype.name`.
 
-- `mangle` (default `true`) — pass `false` to skip mangling names, or pass
+- `mangle` (default: `true`) — pass `false` to skip mangling names, or pass
   an object to specify [mangle options](#mangle-options) (see below).
 
-  - `mangle.properties` (default `false`) — a subcategory of the mangle option.
+  - `mangle.properties` (default: `false`) — a subcategory of the mangle option.
     Pass an object to specify custom [mangle property options](#mangle-properties-options).
 
-- `nameCache` (default `null`) -- pass an empty object `{}` or a previously
+- `nameCache` (default: `null`) — pass an empty object `{}` or a previously
   used `nameCache` object if you wish to cache mangled variable and
   property names across multiple invocations of `minify()`. Note: this is
   a read/write property. `minify()` will read the name cache state of this
   object and update it during minification so that it may be
   reused or externally persisted by the user.
 
-- `output` (default `null`) — pass an object if you wish to specify
+- `output` (default: `null`) — pass an object if you wish to specify
   additional [output options](#output-options).  The defaults are optimized
   for best compression.
 
-- `parse` (default `{}`) — pass an object if you wish to specify some
+- `parse` (default: `{}`) — pass an object if you wish to specify some
   additional [parse options](#parse-options).
 
-- `sourceMap` (default `false`) -- pass an object if you wish to specify
+- `sourceMap` (default: `false`) — pass an object if you wish to specify
   [source map options](#source-map-options).
 
-- `toplevel` (default `false`) -- set to `true` if you wish to enable top level
+- `toplevel` (default: `false`) — set to `true` if you wish to enable top level
   variable and function name mangling and to drop unused variables and functions.
 
-- `v8` (default `false`) -- enable workarounds for Chrome & Node.js bugs.
+- `v8` (default: `false`) — enable workarounds for Chrome & Node.js bugs.
 
-- `warnings` (default `false`) — pass `true` to return compressor warnings
+- `warnings` (default: `false`) — pass `true` to return compressor warnings
   in `result.warnings`. Use the value `"verbose"` for more detailed warnings.
 
-- `webkit` (default `false`) -- enable workarounds for Safari/WebKit bugs.
+- `webkit` (default: `false`) — enable workarounds for Safari/WebKit bugs.
   PhantomJS users should set this option to `true`.
 
 ## Minify options structure
@@ -615,116 +623,121 @@ to be `false` and all symbol names will be omitted.
 
 ## Parse options
 
-- `bare_returns` (default `false`) -- support top level `return` statements
+- `bare_returns` (default: `false`) — support top level `return` statements
 
-- `html5_comments` (default `true`)
+- `html5_comments` (default: `true`)
 
-- `shebang` (default `true`) -- support `#!command` as the first line
+- `shebang` (default: `true`) — support `#!command` as the first line
 
 ## Compress options
 
-- `arguments` (default: `true`) -- replace `arguments[index]` with function
+- `annotations` (default: `true`) — Pass `false` to disable potentially dropping
+  functions marked as "pure".  A function call is marked as "pure" if a comment
+  annotation `/*@__PURE__*/` or `/*#__PURE__*/` immediately precedes the call. For
+  example: `/*@__PURE__*/foo();`
+
+- `arguments` (default: `true`) — replace `arguments[index]` with function
   parameter name whenever possible.
 
-- `arrows` (default: `true`) -- apply optimizations to arrow functions
+- `arrows` (default: `true`) — apply optimizations to arrow functions
 
-- `assignments` (default: `true`) -- apply optimizations to assignment expressions
+- `assignments` (default: `true`) — apply optimizations to assignment expressions
 
-- `awaits` (default: `true`) -- apply optimizations to `await` expressions
+- `awaits` (default: `true`) — apply optimizations to `await` expressions
 
-- `booleans` (default: `true`) -- various optimizations for boolean context,
+- `booleans` (default: `true`) — various optimizations for boolean context,
   for example `!!a ? b : c → a ? b : c`
 
-- `collapse_vars` (default: `true`) -- Collapse single-use non-constant variables,
+- `collapse_vars` (default: `true`) — Collapse single-use non-constant variables,
   side effects permitting.
 
-- `comparisons` (default: `true`) -- apply certain optimizations to binary nodes,
+- `comparisons` (default: `true`) — apply certain optimizations to binary nodes,
   e.g. `!(a <= b) → a > b`, attempts to negate binary nodes, e.g.
   `a = !b && !c && !d && !e → a=!(b||c||d||e)` etc.
 
-- `conditionals` (default: `true`) -- apply optimizations for `if`-s and conditional
+- `conditionals` (default: `true`) — apply optimizations for `if`-s and conditional
   expressions
 
-- `dead_code` (default: `true`) -- remove unreachable code
+- `dead_code` (default: `true`) — remove unreachable code
 
-- `default_values` (default: `true`) -- drop overshadowed default values
+- `default_values` (default: `true`) — drop overshadowed default values
 
-- `directives` (default: `true`) -- remove redundant or non-standard directives
+- `directives` (default: `true`) — remove redundant or non-standard directives
 
-- `drop_console` (default: `false`) -- Pass `true` to discard calls to
+- `drop_console` (default: `false`) — Pass `true` to discard calls to
   `console.*` functions. If you wish to drop a specific function call
   such as `console.info` and/or retain side effects from function arguments
   after dropping the function call then use `pure_funcs` instead.
 
-- `drop_debugger` (default: `true`) -- remove `debugger;` statements
+- `drop_debugger` (default: `true`) — remove `debugger;` statements
 
-- `evaluate` (default: `true`) -- Evaluate expression for shorter constant
+- `evaluate` (default: `true`) — Evaluate expression for shorter constant
   representation. Pass `"eager"` to always replace function calls whenever
   possible, or a positive integer to specify an upper bound for each individual
   evaluation in number of characters.
 
-- `expression` (default: `false`) -- Pass `true` to preserve completion values
+- `expression` (default: `false`) — Pass `true` to preserve completion values
   from terminal statements without `return`, e.g. in bookmarklets.
 
-- `functions` (default: `true`) -- convert declarations from `var` to `function`
+- `functions` (default: `true`) — convert declarations from `var` to `function`
   whenever possible.
 
-- `global_defs` (default: `{}`) -- see [conditional compilation](#conditional-compilation)
+- `global_defs` (default: `{}`) — see [conditional compilation](#conditional-compilation)
 
-- `hoist_exports` (default: `true`) -- hoist `export` statements to facilitate
+- `hoist_exports` (default: `true`) — hoist `export` statements to facilitate
   various `compress` and `mangle` optimizations.
 
-- `hoist_funs` (default: `false`) -- hoist function declarations
+- `hoist_funs` (default: `false`) — hoist function declarations
 
-- `hoist_props` (default: `true`) -- hoist properties from constant object and
+- `hoist_props` (default: `true`) — hoist properties from constant object and
   array literals into regular variables subject to a set of constraints. For example:
   `var o={p:1, q:2}; f(o.p, o.q);` is converted to `f(1, 2);`. Note: `hoist_props`
   works best with `toplevel` and `mangle` enabled, alongside with `compress` option
   `passes` set to `2` or higher.
 
-- `hoist_vars` (default: `false`) -- hoist `var` declarations (this is `false`
+- `hoist_vars` (default: `false`) — hoist `var` declarations (this is `false`
   by default because it seems to increase the size of the output in general)
 
-- `if_return` (default: `true`) -- optimizations for if/return and if/continue
+- `if_return` (default: `true`) — optimizations for if/return and if/continue
 
-- `imports` (default: `true`) -- drop unreferenced import symbols when used with `unused`
+- `imports` (default: `true`) — drop unreferenced import symbols when used with `unused`
 
-- `inline` (default: `true`) -- inline calls to function with simple/`return` statement:
-  - `false` -- same as `0`
-  - `0` -- disabled inlining
-  - `1` -- inline simple functions
-  - `2` -- inline functions with arguments
-  - `3` -- inline functions with arguments and variables
-  - `true` -- same as `3`
+- `inline` (default: `true`) — inline calls to function with simple/`return` statement:
+  - `false` — same as `0`
+  - `0` — disabled inlining
+  - `1` — inline simple functions
+  - `2` — inline functions with arguments
+  - `3` — inline functions with arguments and variables
+  - `true` — same as `3`
 
-- `join_vars` (default: `true`) -- join consecutive `var` statements
+- `join_vars` (default: `true`) — join consecutive `var` statements
 
-- `keep_fargs` (default: `false`) -- discard unused function arguments except
+- `keep_fargs` (default: `false`) — discard unused function arguments except
   when unsafe to do so, e.g. code which relies on `Function.prototype.length`.
   Pass `true` to always retain function arguments.
 
-- `keep_infinity` (default: `false`) -- Pass `true` to prevent `Infinity` from
+- `keep_infinity` (default: `false`) — Pass `true` to prevent `Infinity` from
   being compressed into `1/0`, which may cause performance issues on Chrome.
 
-- `loops` (default: `true`) -- optimizations for `do`, `while` and `for` loops
+- `loops` (default: `true`) — optimizations for `do`, `while` and `for` loops
   when we can statically determine the condition.
 
-- `merge_vars` (default: `true`) -- combine and reuse variables.
+- `merge_vars` (default: `true`) — combine and reuse variables.
 
-- `negate_iife` (default: `true`) -- negate "Immediately-Called Function Expressions"
+- `negate_iife` (default: `true`) — negate "Immediately-Called Function Expressions"
   where the return value is discarded, to avoid the parens that the
   code generator would insert.
 
-- `objects` (default: `true`) -- compact duplicate keys in object literals.
+- `objects` (default: `true`) — compact duplicate keys in object literals.
 
-- `passes` (default: `1`) -- The maximum number of times to run compress.
+- `passes` (default: `1`) — The maximum number of times to run compress.
   In some cases more than one pass leads to further compressed code.  Keep in
   mind more passes will take more time.
 
-- `properties` (default: `true`) -- rewrite property access using the dot notation, for
+- `properties` (default: `true`) — rewrite property access using the dot notation, for
   example `foo["bar"] → foo.bar`
 
-- `pure_funcs` (default: `null`) -- You can pass an array of names and
+- `pure_funcs` (default: `null`) — You can pass an array of names and
   UglifyJS will assume that those functions do not produce side
   effects.  DANGER: will not check if the name is redefined in scope.
   An example case here, for instance `var q = Math.floor(a/b)`.  If
@@ -736,24 +749,24 @@ to be `false` and all symbol names will be omitted.
   overhead (compression will be slower). Make sure symbols under `pure_funcs`
   are also under `mangle.reserved` to avoid mangling.
 
-- `pure_getters` (default: `"strict"`) -- If you pass `true` for
+- `pure_getters` (default: `"strict"`) — If you pass `true` for
   this, UglifyJS will assume that object property access
   (e.g. `foo.bar` or `foo["bar"]`) doesn't have any side effects.
   Specify `"strict"` to treat `foo.bar` as side-effect-free only when
   `foo` is certain to not throw, i.e. not `null` or `undefined`.
 
-- `reduce_funcs` (default: `true`) -- Allows single-use functions to be
+- `reduce_funcs` (default: `true`) — Allows single-use functions to be
   inlined as function expressions when permissible allowing further
   optimization.  Enabled by default.  Option depends on `reduce_vars`
   being enabled.  Some code runs faster in the Chrome V8 engine if this
   option is disabled.  Does not negatively impact other major browsers.
 
-- `reduce_vars` (default: `true`) -- Improve optimization on variables assigned with and
+- `reduce_vars` (default: `true`) — Improve optimization on variables assigned with and
   used as constant values.
 
-- `rests` (default: `true`) -- apply optimizations to rest parameters
+- `rests` (default: `true`) — apply optimizations to rest parameters
 
-- `sequences` (default: `true`) -- join consecutive simple statements using the
+- `sequences` (default: `true`) — join consecutive simple statements using the
   comma operator.  May be set to a positive integer to specify the maximum number
   of consecutive comma sequences that will be generated. If this option is set to
   `true` then the default `sequences` limit is `200`. Set option to `false` or `0`
@@ -762,70 +775,68 @@ to be `false` and all symbol names will be omitted.
   occasions the default sequences limit leads to very slow compress times in which
   case a value of `20` or less is recommended.
 
-- `side_effects` (default: `true`) -- Pass `false` to disable potentially dropping
-  functions marked as "pure".  A function call is marked as "pure" if a comment
-  annotation `/*@__PURE__*/` or `/*#__PURE__*/` immediately precedes the call. For
-  example: `/*@__PURE__*/foo();`
+- `side_effects` (default: `true`) — drop extraneous code which does not affect
+  outcome of runtime execution.
 
-- `spreads` (default: `true`) -- flatten spread expressions.
+- `spreads` (default: `true`) — flatten spread expressions.
 
-- `strings` (default: `true`) -- compact string concatenations.
+- `strings` (default: `true`) — compact string concatenations.
 
-- `switches` (default: `true`) -- de-duplicate and remove unreachable `switch` branches
+- `switches` (default: `true`) — de-duplicate and remove unreachable `switch` branches
 
-- `templates` (default: `true`) -- compact template literals by embedding expressions
+- `templates` (default: `true`) — compact template literals by embedding expressions
   and/or converting to string literals, e.g. `` `foo ${42}` → "foo 42"``
 
-- `top_retain` (default: `null`) -- prevent specific toplevel functions and
+- `top_retain` (default: `null`) — prevent specific toplevel functions and
   variables from `unused` removal (can be array, comma-separated, RegExp or
   function. Implies `toplevel`)
 
-- `toplevel` (default: `false`) -- drop unreferenced functions (`"funcs"`) and/or
+- `toplevel` (default: `false`) — drop unreferenced functions (`"funcs"`) and/or
   variables (`"vars"`) in the top level scope (`false` by default, `true` to drop
   both unreferenced functions and variables)
 
-- `typeofs` (default: `true`) -- Transforms `typeof foo == "undefined"` into
+- `typeofs` (default: `true`) — Transforms `typeof foo == "undefined"` into
   `foo === void 0`.  Note: recommend to set this value to `false` for IE10 and
   earlier versions due to known issues.
 
-- `unsafe` (default: `false`) -- apply "unsafe" transformations (discussion below)
+- `unsafe` (default: `false`) — apply "unsafe" transformations (discussion below)
 
-- `unsafe_comps` (default: `false`) -- compress expressions like `a <= b` assuming
+- `unsafe_comps` (default: `false`) — compress expressions like `a <= b` assuming
   none of the operands can be (coerced to) `NaN`.
 
-- `unsafe_Function` (default: `false`) -- compress and mangle `Function(args, code)`
+- `unsafe_Function` (default: `false`) — compress and mangle `Function(args, code)`
   when both `args` and `code` are string literals.
 
-- `unsafe_math` (default: `false`) -- optimize numerical expressions like
+- `unsafe_math` (default: `false`) — optimize numerical expressions like
   `2 * x * 3` into `6 * x`, which may give imprecise floating point results.
 
-- `unsafe_proto` (default: `false`) -- optimize expressions like
+- `unsafe_proto` (default: `false`) — optimize expressions like
   `Array.prototype.slice.call(a)` into `[].slice.call(a)`
 
-- `unsafe_regexp` (default: `false`) -- enable substitutions of variables with
+- `unsafe_regexp` (default: `false`) — enable substitutions of variables with
   `RegExp` values the same way as if they are constants.
 
-- `unsafe_undefined` (default: `false`) -- substitute `void 0` if there is a
+- `unsafe_undefined` (default: `false`) — substitute `void 0` if there is a
   variable named `undefined` in scope (variable name will be mangled, typically
   reduced to a single character)
 
-- `unused` (default: `true`) -- drop unreferenced functions and variables (simple
+- `unused` (default: `true`) — drop unreferenced functions and variables (simple
   direct variable assignments do not count as references unless set to `"keep_assign"`)
 
-- `varify` (default: `true`) -- convert block-scoped declaractions into `var`
+- `varify` (default: `true`) — convert block-scoped declaractions into `var`
   whenever safe to do so
 
-- `yields` (default: `true`) -- apply optimizations to `yield` expressions
+- `yields` (default: `true`) — apply optimizations to `yield` expressions
 
 ## Mangle options
 
-- `eval` (default `false`) -- Pass `true` to mangle names visible in scopes
+- `eval` (default: `false`) — Pass `true` to mangle names visible in scopes
   where `eval` or `with` are used.
 
-- `reserved` (default `[]`) -- Pass an array of identifiers that should be
+- `reserved` (default: `[]`) — Pass an array of identifiers that should be
   excluded from mangling. Example: `["foo", "bar"]`.
 
-- `toplevel` (default `false`) -- Pass `true` to mangle names declared in the
+- `toplevel` (default: `false`) — Pass `true` to mangle names declared in the
   top level scope.
 
 Examples:
@@ -852,18 +863,18 @@ UglifyJS.minify(code, { mangle: { toplevel: true } }).code;
 
 ### Mangle properties options
 
-- `builtins` (default: `false`) -- Use `true` to allow the mangling of builtin
+- `builtins` (default: `false`) — Use `true` to allow the mangling of builtin
   DOM properties. Not recommended to override this setting.
 
-- `debug` (default: `false`) -— Mangle names with the original name still present.
+- `debug` (default: `false`) — Mangle names with the original name still present.
   Pass an empty string `""` to enable, or a non-empty string to set the debug suffix.
 
-- `keep_quoted` (default: `false`) -— Only mangle unquoted property names.
+- `keep_quoted` (default: `false`) — Only mangle unquoted property names.
 
-- `regex` (default: `null`) -— Pass a RegExp literal to only mangle property
+- `regex` (default: `null`) — Pass a RegExp literal to only mangle property
   names matching the regular expression.
 
-- `reserved` (default: `[]`) -- Do not mangle property names listed in the
+- `reserved` (default: `[]`) — Do not mangle property names listed in the
   `reserved` array.
 
 ## Output options
@@ -872,19 +883,23 @@ The code generator tries to output shortest code possible by default.  In
 case you want beautified output, pass `--beautify` (`-b`).  Optionally you
 can pass additional arguments that control the code output:
 
-- `ascii_only` (default `false`) -- escape Unicode characters in strings and
+- `annotations` (default: `false`) — pass `true` to retain comment annotations
+  `/*@__PURE__*/` or `/*#__PURE__*/`, otherwise they will be discarded even if
+  `comments` is set.
+
+- `ascii_only` (default: `false`) — escape Unicode characters in strings and
   regexps (affects directives with non-ascii characters becoming invalid)
 
-- `beautify` (default `true`) -- whether to actually beautify the output.
+- `beautify` (default: `true`) — whether to actually beautify the output.
   Passing `-b` will set this to true, but you might need to pass `-b` even
   when you want to generate minified code, in order to specify additional
   arguments, so you can use `-b beautify=false` to override it.
 
-- `braces` (default `false`) -- always insert braces in `if`, `for`,
+- `braces` (default: `false`) — always insert braces in `if`, `for`,
   `do`, `while` or `with` statements, even if their body is a single
   statement.
 
-- `comments` (default `false`) -- pass `true` or `"all"` to preserve all
+- `comments` (default: `false`) — pass `true` or `"all"` to preserve all
   comments, `"some"` to preserve multi-line comments that contain `@cc_on`,
   `@license`, or `@preserve` (case-insensitive), a regular expression string
   (e.g. `/^!/`), or a function which returns `boolean`, e.g.
@@ -894,53 +909,53 @@ can pass additional arguments that control the code output:
   }
   ```
 
-- `galio` (default `false`) -- enable workarounds for ANT Galio bugs
+- `galio` (default: `false`) — enable workarounds for ANT Galio bugs
 
-- `indent_level` (default `4`)
+- `indent_level` (default: `4`)
 
-- `indent_start` (default `0`) -- prefix all lines by that many spaces
+- `indent_start` (default: `0`) — prefix all lines by that many spaces
 
-- `inline_script` (default `true`) -- escape HTML comments and the slash in
+- `inline_script` (default: `true`) — escape HTML comments and the slash in
   occurrences of `</script>` in strings
 
-- `keep_quoted_props` (default `false`) -- when turned on, prevents stripping
+- `keep_quoted_props` (default: `false`) — when turned on, prevents stripping
   quotes from property names in object literals.
 
-- `max_line_len` (default `false`) -- maximum line length (for uglified code)
+- `max_line_len` (default: `false`) — maximum line length (for uglified code)
 
-- `preamble` (default `null`) -- when passed it must be a string and
+- `preamble` (default: `null`) — when passed it must be a string and
   it will be prepended to the output literally.  The source map will
   adjust for this text.  Can be used to insert a comment containing
   licensing information, for example.
 
-- `preserve_line` (default `false`) -- pass `true` to retain line numbering on
+- `preserve_line` (default: `false`) — pass `true` to retain line numbering on
   a best effort basis.
 
-- `quote_keys` (default `false`) -- pass `true` to quote all keys in literal
+- `quote_keys` (default: `false`) — pass `true` to quote all keys in literal
   objects
 
-- `quote_style` (default `0`) -- preferred quote style for strings (affects
+- `quote_style` (default: `0`) — preferred quote style for strings (affects
   quoted property names and directives as well):
-  - `0` -- prefers double quotes, switches to single quotes when there are
+  - `0` — prefers double quotes, switches to single quotes when there are
     more double quotes in the string itself. `0` is best for gzip size.
-  - `1` -- always use single quotes
-  - `2` -- always use double quotes
-  - `3` -- always use the original quotes
+  - `1` — always use single quotes
+  - `2` — always use double quotes
+  - `3` — always use the original quotes
 
-- `semicolons` (default `true`) -- separate statements with semicolons.  If
+- `semicolons` (default: `true`) — separate statements with semicolons.  If
   you pass `false` then whenever possible we will use a newline instead of a
   semicolon, leading to more readable output of uglified code (size before
   gzip could be smaller; size after gzip insignificantly larger).
 
-- `shebang` (default `true`) -- preserve shebang `#!` in preamble (bash scripts)
+- `shebang` (default: `true`) — preserve shebang `#!` in preamble (bash scripts)
 
-- `width` (default `80`) -- only takes effect when beautification is on, this
+- `width` (default: `80`) — only takes effect when beautification is on, this
   specifies an (orientative) line width that the beautifier will try to
   obey.  It refers to the width of the line text (excluding indentation).
   It doesn't work very well currently, but it does make the code generated
   by UglifyJS more readable.
 
-- `wrap_iife` (default `false`) -- pass `true` to wrap immediately invoked
+- `wrap_iife` (default: `false`) — pass `true` to wrap immediately invoked
   function expressions. See
   [#640](https://github.com/mishoo/UglifyJS/issues/640) for more details.
 
diff --git a/bin/uglifyjs b/bin/uglifyjs
index cd37b20b..682c6a5a 100755
--- a/bin/uglifyjs
+++ b/bin/uglifyjs
@@ -95,6 +95,8 @@ function process_option(name, no_value) {
                 "  -b, --beautify [options]                 Beautify output/specify output options.",
                 "  -O, --output-opts <options>              Output options (beautify disabled).",
                 "  -o, --output <file>                      Output file (default STDOUT).",
+                "  --annotations                            Process and preserve comment annotations.",
+                "  --no-annotations                         Ignore and discard comment annotations.",
                 "  --comments [filter]                      Preserve copyright comments in the output.",
                 "  --config-file <file>                     Read minify() options from JSON file.",
                 "  -d, --define <expr>[=value]              Global definitions.",
@@ -142,6 +144,7 @@ function process_option(name, no_value) {
       case "enclose":
         options[name] = read_value();
         break;
+      case "annotations":
       case "ie8":
       case "timings":
       case "toplevel":
@@ -149,6 +152,9 @@ function process_option(name, no_value) {
       case "webkit":
         options[name] = true;
         break;
+      case "no-annotations":
+        options.annotations = false;
+        break;
       case "keep-fnames":
         options.keep_fnames = true;
         break;
diff --git a/lib/compress.js b/lib/compress.js
index 09ae2fff..e56ab43b 100644
--- a/lib/compress.js
+++ b/lib/compress.js
@@ -48,6 +48,7 @@ function Compressor(options, false_by_default) {
         return new Compressor(options, false_by_default);
     TreeTransformer.call(this, this.before, this.after);
     this.options = defaults(options, {
+        annotations     : !false_by_default,
         arguments       : !false_by_default,
         arrows          : !false_by_default,
         assignments     : !false_by_default,
@@ -4725,7 +4726,7 @@ merge(Compressor.prototype, {
                     || expr.expression.name == "Math" && expr.property == "random");
             }
         }
-        return this.pure || !compressor.pure_funcs(this);
+        return compressor.option("annotations") && this.pure || !compressor.pure_funcs(this);
     });
     AST_Node.DEFMETHOD("is_call_pure", return_false);
     AST_Call.DEFMETHOD("is_call_pure", function(compressor) {
diff --git a/lib/minify.js b/lib/minify.js
index 13f8d6a7..b92d4b53 100644
--- a/lib/minify.js
+++ b/lib/minify.js
@@ -47,14 +47,12 @@ function parse_source_map(content) {
 }
 
 function set_shorthand(name, options, keys) {
-    if (options[name]) {
-        keys.forEach(function(key) {
-            if (options[key]) {
-                if (typeof options[key] != "object") options[key] = {};
-                if (!(name in options[key])) options[key][name] = options[name];
-            }
-        });
-    }
+    keys.forEach(function(key) {
+        if (options[key]) {
+            if (typeof options[key] != "object") options[key] = {};
+            if (!(name in options[key])) options[key][name] = options[name];
+        }
+    });
 }
 
 function init_cache(cache) {
@@ -75,6 +73,7 @@ function to_json(cache) {
 function minify(files, options) {
     try {
         options = defaults(options, {
+            annotations: undefined,
             compress: {},
             enclose: false,
             ie8: false,
@@ -94,17 +93,14 @@ function minify(files, options) {
             wrap: false,
         }, true);
         if (options.validate) AST_Node.enable_validation();
-        var timings = options.timings && {
-            start: Date.now()
-        };
-        if (options.rename === undefined) {
-            options.rename = options.compress && options.mangle;
-        }
-        set_shorthand("ie8", options, [ "compress", "mangle", "output" ]);
-        set_shorthand("keep_fnames", options, [ "compress", "mangle" ]);
-        set_shorthand("toplevel", options, [ "compress", "mangle" ]);
-        set_shorthand("v8", options, [ "mangle", "output" ]);
-        set_shorthand("webkit", options, [ "mangle", "output" ]);
+        var timings = options.timings && { start: Date.now() };
+        if (options.rename === undefined) options.rename = options.compress && options.mangle;
+        if (options.annotations !== undefined) set_shorthand("annotations", options, [ "compress", "output" ]);
+        if (options.ie8) set_shorthand("ie8", options, [ "compress", "mangle", "output" ]);
+        if (options.keep_fnames) set_shorthand("keep_fnames", options, [ "compress", "mangle" ]);
+        if (options.toplevel) set_shorthand("toplevel", options, [ "compress", "mangle" ]);
+        if (options.v8) set_shorthand("v8", options, [ "mangle", "output" ]);
+        if (options.webkit) set_shorthand("webkit", options, [ "mangle", "output" ]);
         var quoted_props;
         if (options.mangle) {
             options.mangle = defaults(options.mangle, {
diff --git a/lib/output.js b/lib/output.js
index ff05356e..fc71a62b 100644
--- a/lib/output.js
+++ b/lib/output.js
@@ -52,6 +52,7 @@ function OutputStream(options) {
 
     var readonly = !options;
     options = defaults(options, {
+        annotations      : false,
         ascii_only       : false,
         beautify         : false,
         braces           : false,
@@ -500,12 +501,14 @@ function OutputStream(options) {
                     space();
                 }
             }
+            var value = c.value.replace(/[@#]__PURE__/g, " ");
+            if (/^\s*$/.test(value)) return;
             if (/comment[134]/.test(c.type)) {
-                print("//" + c.value.replace(/[@#]__PURE__/g, " ") + "\n");
+                print("//" + value + "\n");
                 indent();
                 last_nlb = true;
             } else if (c.type == "comment2") {
-                print("/*" + c.value.replace(/[@#]__PURE__/g, " ") + "*/");
+                print("/*" + value + "*/");
                 last_nlb = false;
             }
         });
@@ -558,11 +561,13 @@ function OutputStream(options) {
             } else if (i > 0 || !tail) {
                 space();
             }
+            var value = c.value.replace(/[@#]__PURE__/g, " ");
+            if (/^\s*$/.test(value)) return;
             if (/comment[134]/.test(c.type)) {
-                print("//" + c.value.replace(/[@#]__PURE__/g, " "));
+                print("//" + value);
                 need_newline_indented = true;
             } else if (c.type == "comment2") {
-                print("/*" + c.value.replace(/[@#]__PURE__/g, " ") + "*/");
+                print("/*" + value + "*/");
                 need_space = true;
             }
         });
@@ -1436,6 +1441,17 @@ function OutputStream(options) {
     });
 
     /* -----[ other expressions ]----- */
+    function print_annotation(self, output) {
+        if (!output.option("annotations")) return;
+        if (!self.pure) return;
+        var level = 0, parent = self, node;
+        do {
+            node = parent;
+            parent = output.parent(level++);
+            if (parent instanceof AST_Call && parent.expression === node) return;
+        } while (parent instanceof AST_PropAccess && parent.expression === node);
+        output.print("/*" + self.pure + "*/");
+    }
     function print_call_args(self, output) {
         if (self.expression instanceof AST_Call || self.expression instanceof AST_Lambda) {
             output.add_mapping(self.start);
@@ -1448,11 +1464,14 @@ function OutputStream(options) {
         });
     }
     DEFPRINT(AST_Call, function(output) {
-        this.expression.print(output);
-        print_call_args(this, output);
+        var self = this;
+        print_annotation(self, output);
+        self.expression.print(output);
+        print_call_args(self, output);
     });
     DEFPRINT(AST_New, function(output) {
         var self = this;
+        print_annotation(self, output);
         output.print("new");
         output.space();
         self.expression.print(output);
diff --git a/lib/parse.js b/lib/parse.js
index ef88e72c..21f76f5b 100644
--- a/lib/parse.js
+++ b/lib/parse.js
@@ -1758,7 +1758,6 @@ function parse($TEXT, options) {
             args       : args,
             end        : prev()
         });
-        mark_pure(call);
         return subscripts(call, allow_calls);
     };
 
@@ -1840,7 +1839,6 @@ function parse($TEXT, options) {
                 end.comments_after.length = 0;
                 end.comments_after = ex.end.comments_after;
                 ex.end = end;
-                if (ex instanceof AST_Call) mark_pure(ex);
                 if (is("punc", "=>")) return arrow(ex instanceof AST_Sequence ? ex.expressions : [ ex ], start);
                 return subscripts(ex, allow_calls);
               case "[":
@@ -2217,19 +2215,6 @@ function parse($TEXT, options) {
         });
     }
 
-    function mark_pure(call) {
-        var start = call.start;
-        var comments = start.comments_before;
-        var i = HOP(start, "comments_before_length") ? start.comments_before_length : comments.length;
-        while (--i >= 0) {
-            var comment = comments[i];
-            if (/[@#]__PURE__/.test(comment.value)) {
-                call.pure = comment;
-                break;
-            }
-        }
-    }
-
     function template(tag) {
         var read = S.input.context().read_template;
         var strings = [];
@@ -2277,7 +2262,6 @@ function parse($TEXT, options) {
                 args       : expr_list(")", !options.strict),
                 end        : prev()
             });
-            mark_pure(call);
             return subscripts(call, true);
         }
         if (is("punc", "`")) {
@@ -2286,6 +2270,18 @@ function parse($TEXT, options) {
             tmpl.end = prev();
             return subscripts(tmpl, allow_calls);
         }
+        if (expr instanceof AST_Call && !expr.pure) {
+            var start = expr.start;
+            var comments = start.comments_before;
+            var i = HOP(start, "comments_before_length") ? start.comments_before_length : comments.length;
+            while (--i >= 0) {
+                var match = /[@#]__PURE__/.exec(comments[i].value);
+                if (match) {
+                    expr.pure = match[0];
+                    break;
+                }
+            }
+        }
         return expr;
     };
 
diff --git a/test/compress.js b/test/compress.js
index 8531d6ad..a45de96f 100644
--- a/test/compress.js
+++ b/test/compress.js
@@ -262,6 +262,7 @@ function test_case(test) {
     var input = to_toplevel(test.input, test.mangle);
     var input_code = make_code(input);
     var input_formatted = make_code(test.input, {
+        annotations: true,
         beautify: true,
         comments: "all",
         keep_quoted_props: true,
diff --git a/test/compress/annotations.js b/test/compress/annotations.js
new file mode 100644
index 00000000..8b6b0a4f
--- /dev/null
+++ b/test/compress/annotations.js
@@ -0,0 +1,473 @@
+issue_2629_1: {
+    options = {
+        annotations: true,
+        side_effects: true,
+    }
+    beautify = {
+        comments: "all",
+    }
+    input: {
+        /*@__PURE__*/ a();
+        /*@__PURE__*/ (b());
+        (/*@__PURE__*/ c)();
+        (/*@__PURE__*/ d());
+    }
+    expect_exact: "c();"
+}
+
+issue_2629_2: {
+    options = {
+        annotations: true,
+        side_effects: true,
+    }
+    beautify = {
+        comments: "all",
+    }
+    input: {
+        /*@__PURE__*/ a(1)(2)(3);
+        /*@__PURE__*/ (b(1))(2)(3);
+        /*@__PURE__*/ (c(1)(2))(3);
+        /*@__PURE__*/ (d(1)(2)(3));
+        (/*@__PURE__*/ e)(1)(2)(3);
+        (/*@__PURE__*/ f(1))(2)(3);
+        (/*@__PURE__*/ g(1)(2))(3);
+        (/*@__PURE__*/ h(1)(2)(3));
+    }
+    expect_exact: [
+        "e(1)(2)(3);",
+        "f(1)(2)(3);",
+        "g(1)(2)(3);",
+    ]
+}
+
+issue_2629_3: {
+    options = {
+        annotations: true,
+        side_effects: true,
+    }
+    beautify = {
+        comments: "all",
+    }
+    input: {
+        /*@__PURE__*/ a.x(1).y(2).z(3);
+        /*@__PURE__*/ (b.x)(1).y(2).z(3);
+        /*@__PURE__*/ (c.x(1)).y(2).z(3);
+        /*@__PURE__*/ (d.x(1).y)(2).z(3);
+        /*@__PURE__*/ (e.x(1).y(2)).z(3);
+        /*@__PURE__*/ (f.x(1).y(2).z)(3);
+        /*@__PURE__*/ (g.x(1).y(2).z(3));
+        (/*@__PURE__*/ h).x(1).y(2).z(3);
+        (/*@__PURE__*/ i.x)(1).y(2).z(3);
+        (/*@__PURE__*/ j.x(1)).y(2).z(3);
+        (/*@__PURE__*/ k.x(1).y)(2).z(3);
+        (/*@__PURE__*/ l.x(1).y(2)).z(3);
+        (/*@__PURE__*/ m.x(1).y(2).z)(3);
+        (/*@__PURE__*/ n.x(1).y(2).z(3));
+    }
+    expect_exact: [
+        "h.x(1).y(2).z(3);",
+        "i.x(1).y(2).z(3);",
+        "j.x(1).y(2).z(3);",
+        "k.x(1).y(2).z(3);",
+        "l.x(1).y(2).z(3);",
+        "m.x(1).y(2).z(3);",
+    ]
+}
+
+issue_2629_4: {
+    options = {
+        annotations: true,
+        side_effects: true,
+    }
+    input: {
+        (/*@__PURE__*/ x(), y());
+        (w(), /*@__PURE__*/ x(), y());
+    }
+    expect: {
+        y();
+        w(), y();
+    }
+}
+
+issue_2629_5: {
+    options = {
+        annotations: true,
+        side_effects: true,
+    }
+    input: {
+        [ /*@__PURE__*/ x() ];
+        [ /*@__PURE__*/ x(), y() ];
+        [ w(), /*@__PURE__*/ x(), y() ];
+    }
+    expect: {
+        y();
+        w(), y();
+    }
+}
+
+issue_2638: {
+    options = {
+        annotations: true,
+        side_effects: true,
+    }
+    beautify = {
+        comments: "all",
+    }
+    input: {
+        /*@__PURE__*/(g() || h())(x(), y());
+        (/*@__PURE__*/ (a() || b()))(c(), d());
+    }
+    expect_exact: [
+        "x(),y();",
+        "(a()||b())(c(),d());",
+    ]
+}
+
+issue_2705_1: {
+    options = {
+        annotations: true,
+        side_effects: true,
+    }
+    beautify = {
+        comments: "all",
+    }
+    input: {
+        /*@__PURE__*/ new a();
+        /*@__PURE__*/ (new b());
+        new (/*@__PURE__*/ c)();
+        (/*@__PURE__*/ new d());
+    }
+    expect_exact: [
+        "new c;",
+    ]
+}
+
+issue_2705_2: {
+    options = {
+        annotations: true,
+        side_effects: true,
+    }
+    beautify = {
+        comments: "all",
+    }
+    input: {
+        /*@__PURE__*/ new a(1)(2)(3);
+        /*@__PURE__*/ new (b(1))(2)(3);
+        /*@__PURE__*/ new (c(1)(2))(3);
+        /*@__PURE__*/ new (d(1)(2)(3));
+        new (/*@__PURE__*/ e)(1)(2)(3);
+        (/*@__PURE__*/ new f(1))(2)(3);
+        (/*@__PURE__*/ new g(1)(2))(3);
+        (/*@__PURE__*/ new h(1)(2)(3));
+    }
+    expect_exact: [
+        "new e(1)(2)(3);",
+        "new f(1)(2)(3);",
+        "new g(1)(2)(3);",
+    ]
+}
+
+issue_2705_3: {
+    options = {
+        annotations: true,
+        side_effects: true,
+    }
+    beautify = {
+        comments: "all",
+    }
+    input: {
+        /*@__PURE__*/ new a.x(1).y(2).z(3);
+        /*@__PURE__*/ new (b.x)(1).y(2).z(3);
+        /*@__PURE__*/ new (c.x(1)).y(2).z(3);
+        /*@__PURE__*/ new (d.x(1).y)(2).z(3);
+        /*@__PURE__*/ new (e.x(1).y(2)).z(3);
+        /*@__PURE__*/ new (f.x(1).y(2).z)(3);
+        /*@__PURE__*/ new (g.x(1).y(2).z(3));
+        new (/*@__PURE__*/ h).x(1).y(2).z(3);
+        /* */ new (/*@__PURE__*/ i.x)(1).y(2).z(3);
+        (/*@__PURE__*/ new j.x(1)).y(2).z(3);
+        (/*@__PURE__*/ new k.x(1).y)(2).z(3);
+        (/*@__PURE__*/ new l.x(1).y(2)).z(3);
+        (/*@__PURE__*/ new m.x(1).y(2).z)(3);
+        (/*@__PURE__*/ new n.x(1).y(2).z(3));
+    }
+    expect_exact: [
+        "new h.x(1).y(2).z(3);",
+        "new i.x(1).y(2).z(3);",
+        "new j.x(1).y(2).z(3);",
+        "new k.x(1).y(2).z(3);",
+        "new l.x(1).y(2).z(3);",
+        "new m.x(1).y(2).z(3);",
+    ]
+}
+
+issue_2705_4: {
+    options = {
+        annotations: true,
+        side_effects: true,
+    }
+    input: {
+        (/*@__PURE__*/ new x(), y());
+        (w(), /*@__PURE__*/ new x(), y());
+    }
+    expect: {
+        y();
+        w(), y();
+    }
+}
+
+issue_2705_5: {
+    options = {
+        annotations: true,
+        side_effects: true,
+    }
+    input: {
+        [ /*@__PURE__*/ new x() ];
+        [ /*@__PURE__*/ new x(), y() ];
+        [ w(), /*@__PURE__*/ new x(), y() ];
+    }
+    expect: {
+        y();
+        w(), y();
+    }
+}
+
+issue_2705_6: {
+    options = {
+        annotations: true,
+        side_effects: true,
+    }
+    beautify = {
+        comments: "all",
+    }
+    input: {
+        /*@__PURE__*/new (g() || h())(x(), y());
+        /* */ new (/*@__PURE__*/ (a() || b()))(c(), d());
+    }
+    expect_exact: [
+        "x(),y();",
+        "new(a()||b())(c(),d());",
+    ]
+}
+
+issue_3858: {
+    options = {
+        annotations: true,
+        collapse_vars: true,
+        inline: true,
+        keep_fargs: false,
+        unused: true,
+    }
+    input: {
+        var f = function(a) {
+            return /*@__PURE__*/ function(b) {
+                console.log(b);
+            }(a);
+        };
+        f("PASS");
+    }
+    expect: {
+        var f = function(a) {
+            return function() {
+                console.log(a);
+            }();
+        };
+        f("PASS");
+    }
+    expect_stdout: "PASS"
+}
+
+inline_pure_call_1: {
+    options = {
+        annotations: true,
+        collapse_vars: true,
+        inline: true,
+        keep_fargs: false,
+        reduce_vars: true,
+        sequences: true,
+        side_effects: true,
+        toplevel: true,
+        unused: true,
+    }
+    input: {
+        var f = function(a) {
+            return /*@__PURE__*/ function(b) {
+                console.log(b);
+            }(a);
+        };
+        f("PASS");
+    }
+    expect: {}
+}
+
+inline_pure_call_2: {
+    options = {
+        annotations: true,
+        collapse_vars: true,
+        inline: true,
+        keep_fargs: false,
+        reduce_vars: true,
+        sequences: true,
+        side_effects: true,
+        toplevel: true,
+        unused: true,
+    }
+    input: {
+        var f = function(a) {
+            return /*@__PURE__*/ function(b) {
+                console.log(b);
+            }(a);
+        };
+        var a = f("PASS");
+    }
+    expect: {}
+}
+
+inline_pure_call_3: {
+    options = {
+        annotations: true,
+        collapse_vars: true,
+        evaluate: true,
+        inline: true,
+        keep_fargs: false,
+        passes: 2,
+        reduce_vars: true,
+        toplevel: true,
+        unused: true,
+    }
+    input: {
+        var f = function(a) {
+            return /*@__PURE__*/ function(b) {
+                console.log(b);
+            }(a);
+        };
+        var a = f("PASS");
+        console.log(a);
+    }
+    expect: {
+        var a = function() {
+            console.log("PASS");
+        }();
+        console.log(a);
+    }
+    expect_stdout: [
+        "PASS",
+        "undefined",
+    ]
+}
+
+inline_pure_call_4: {
+    options = {
+        annotations: true,
+        evaluate: true,
+        reduce_vars: true,
+        toplevel: true,
+        unused: true,
+    }
+    input: {
+        var a = /*@__PURE__*/ function() {
+            return console.log("PASS"), 42;
+        }();
+        console.log(a);
+    }
+    expect: {
+        var a = function() {
+            return console.log("PASS"), 42;
+        }();
+        console.log(a);
+    }
+    expect_stdout: [
+        "PASS",
+        "42",
+    ]
+}
+
+compress_and_output_annotations_enabled: {
+    options = {
+        annotations: true,
+        side_effects: true,
+    }
+    beautify = {
+        annotations: true,
+        beautify: true,
+        comments: false,
+    }
+    input: {
+        var top = /*@__PURE__*/ foo();
+        /*@__PURE__*/ a(1)(2)(3);
+        /*@__PURE__*/ (b(1))(2)(3);
+        /*@__PURE__*/ (c(1)(2))(3);
+        /*@__PURE__*/ (d(1)(2)(3));
+        (/*@__PURE__*/ e)(1)(2)(3);
+        (/*@__PURE__*/ f(1))(2)(3);
+        (/*@__PURE__*/ g(1)(2))(3);
+        (/*@__PURE__*/ h(1)(2)(3));
+        /*@__PURE__*/ l(1).p(2);
+        (/*@__PURE__*/ m(1)).p(2);
+        (/*@__PURE__*/ n(1).p)(2);
+        (/*@__PURE__*/ o(1).p(2));
+    }
+    expect_exact: [
+        "var top = /*@__PURE__*/foo();",
+        "",
+        "e(1)(2)(3);",
+        "",
+        "f(1)(2)(3);",
+        "",
+        "g(1)(2)(3);",
+        "",
+        "m(1).p(2);",
+        "",
+        "n(1).p(2);",
+    ]
+}
+
+compress_annotations_disabled_output_annotations_enabled: {
+    options = {
+        annotations: false,
+        evaluate: true,
+        sequences: true,
+        side_effects: true,
+    }
+    beautify = {
+        annotations: true,
+        comments: true,
+    }
+    input: {
+        /*@__PURE__*/ a(1+2);
+        /*#__PURE__*/ (b(2+3));
+        (/*@__PURE__*/ c)(side_effect);
+        (/*#__PURE__*/ d(effect()));
+    }
+    expect_exact: [
+        "/*@__PURE__*/a(3),",
+        "/*#__PURE__*/b(5),",
+        "c(side_effect),",
+        "/*#__PURE__*/d(effect());",
+    ]
+}
+
+compress_and_output_annotations_disabled: {
+    options = {
+        annotations: false,
+        evaluate: true,
+        sequences: true,
+        side_effects: true,
+    }
+    beautify = {
+        annotations: false,
+        comments: true,
+    }
+    input: {
+        /*@__PURE__*/ a(1+2);
+        /*@__PURE__*/ (b(2+3));
+        (/*@__PURE__*/ c)(side_effect);
+        (/*@__PURE__*/ d(effect()));
+    }
+    expect_exact: [
+        "a(3),",
+        "b(5),",
+        "c(side_effect),",
+        "d(effect());",
+    ]
+}
diff --git a/test/compress/issue-1261.js b/test/compress/issue-1261.js
index 284cc286..c6a2621c 100644
--- a/test/compress/issue-1261.js
+++ b/test/compress/issue-1261.js
@@ -1,5 +1,6 @@
 pure_function_calls: {
     options = {
+        annotations: true,
         booleans: true,
         comparisons: true,
         conditionals: true,
@@ -60,6 +61,7 @@ pure_function_calls: {
 
 pure_function_calls_toplevel: {
     options = {
+        annotations: true,
         booleans: true,
         comparisons: true,
         conditionals: true,
@@ -126,6 +128,7 @@ pure_function_calls_toplevel: {
 
 should_warn: {
     options = {
+        annotations: true,
         booleans: true,
         conditionals: true,
         evaluate: true,
diff --git a/test/compress/issue-281.js b/test/compress/issue-281.js
index 797f7d9b..240c8b1a 100644
--- a/test/compress/issue-281.js
+++ b/test/compress/issue-281.js
@@ -426,6 +426,7 @@ wrap_iife_in_return_call: {
 
 pure_annotation_1: {
     options = {
+        annotations: true,
         inline: true,
         side_effects: true,
     }
@@ -439,6 +440,7 @@ pure_annotation_1: {
 
 pure_annotation_2: {
     options = {
+        annotations: true,
         collapse_vars: true,
         inline: true,
         side_effects: true,
diff --git a/test/compress/pure_funcs.js b/test/compress/pure_funcs.js
index 6467102b..98768423 100644
--- a/test/compress/pure_funcs.js
+++ b/test/compress/pure_funcs.js
@@ -294,248 +294,6 @@ unary: {
     }
 }
 
-issue_2629_1: {
-    options = {
-        side_effects: true,
-    }
-    beautify = {
-        comments: "all",
-    }
-    input: {
-        /*@__PURE__*/ a();
-        /*@__PURE__*/ (b());
-        (/*@__PURE__*/ c)();
-        (/*@__PURE__*/ d());
-    }
-    expect_exact: [
-        "/* */c();",
-    ]
-}
-
-issue_2629_2: {
-    options = {
-        side_effects: true,
-    }
-    beautify = {
-        comments: "all",
-    }
-    input: {
-        /*@__PURE__*/ a(1)(2)(3);
-        /*@__PURE__*/ (b(1))(2)(3);
-        /*@__PURE__*/ (c(1)(2))(3);
-        /*@__PURE__*/ (d(1)(2)(3));
-        (/*@__PURE__*/ e)(1)(2)(3);
-        (/*@__PURE__*/ f(1))(2)(3);
-        (/*@__PURE__*/ g(1)(2))(3);
-        (/*@__PURE__*/ h(1)(2)(3));
-    }
-    expect_exact: [
-        "/* */e(1)(2)(3);",
-        "/* */f(1)(2)(3);",
-        "/* */g(1)(2)(3);",
-    ]
-}
-
-issue_2629_3: {
-    options = {
-        side_effects: true,
-    }
-    beautify = {
-        comments: "all",
-    }
-    input: {
-        /*@__PURE__*/ a.x(1).y(2).z(3);
-        /*@__PURE__*/ (b.x)(1).y(2).z(3);
-        /*@__PURE__*/ (c.x(1)).y(2).z(3);
-        /*@__PURE__*/ (d.x(1).y)(2).z(3);
-        /*@__PURE__*/ (e.x(1).y(2)).z(3);
-        /*@__PURE__*/ (f.x(1).y(2).z)(3);
-        /*@__PURE__*/ (g.x(1).y(2).z(3));
-        (/*@__PURE__*/ h).x(1).y(2).z(3);
-        (/*@__PURE__*/ i.x)(1).y(2).z(3);
-        (/*@__PURE__*/ j.x(1)).y(2).z(3);
-        (/*@__PURE__*/ k.x(1).y)(2).z(3);
-        (/*@__PURE__*/ l.x(1).y(2)).z(3);
-        (/*@__PURE__*/ m.x(1).y(2).z)(3);
-        (/*@__PURE__*/ n.x(1).y(2).z(3));
-    }
-    expect_exact: [
-        "/* */h.x(1).y(2).z(3);",
-        "/* */i.x(1).y(2).z(3);",
-        "/* */j.x(1).y(2).z(3);",
-        "/* */k.x(1).y(2).z(3);",
-        "/* */l.x(1).y(2).z(3);",
-        "/* */m.x(1).y(2).z(3);",
-    ]
-}
-
-issue_2629_4: {
-    options = {
-        side_effects: true,
-    }
-    input: {
-        (/*@__PURE__*/ x(), y());
-        (w(), /*@__PURE__*/ x(), y());
-    }
-    expect: {
-        y();
-        w(), y();
-    }
-}
-
-issue_2629_5: {
-    options = {
-        side_effects: true,
-    }
-    input: {
-        [ /*@__PURE__*/ x() ];
-        [ /*@__PURE__*/ x(), y() ];
-        [ w(), /*@__PURE__*/ x(), y() ];
-    }
-    expect: {
-        y();
-        w(), y();
-    }
-}
-
-issue_2638: {
-    options = {
-        side_effects: true,
-    }
-    beautify = {
-        comments: "all",
-    }
-    input: {
-        /*@__PURE__*/(g() || h())(x(), y());
-        (/*@__PURE__*/ (a() || b()))(c(), d());
-    }
-    expect_exact: [
-        "/* */x(),y();",
-        "/* */(a()||b())(c(),d());",
-    ]
-}
-
-issue_2705_1: {
-    options = {
-        side_effects: true,
-    }
-    beautify = {
-        comments: "all",
-    }
-    input: {
-        /*@__PURE__*/ new a();
-        /*@__PURE__*/ (new b());
-        new (/*@__PURE__*/ c)();
-        (/*@__PURE__*/ new d());
-    }
-    expect_exact: [
-        "new/* */c;",
-    ]
-}
-
-issue_2705_2: {
-    options = {
-        side_effects: true,
-    }
-    beautify = {
-        comments: "all",
-    }
-    input: {
-        /*@__PURE__*/ new a(1)(2)(3);
-        /*@__PURE__*/ new (b(1))(2)(3);
-        /*@__PURE__*/ new (c(1)(2))(3);
-        /*@__PURE__*/ new (d(1)(2)(3));
-        new (/*@__PURE__*/ e)(1)(2)(3);
-        (/*@__PURE__*/ new f(1))(2)(3);
-        (/*@__PURE__*/ new g(1)(2))(3);
-        (/*@__PURE__*/ new h(1)(2)(3));
-    }
-    expect_exact: [
-        "new/* */e(1)(2)(3);",
-        "/* */new f(1)(2)(3);",
-        "/* */new g(1)(2)(3);",
-    ]
-}
-
-issue_2705_3: {
-    options = {
-        side_effects: true,
-    }
-    beautify = {
-        comments: "all",
-    }
-    input: {
-        /*@__PURE__*/ new a.x(1).y(2).z(3);
-        /*@__PURE__*/ new (b.x)(1).y(2).z(3);
-        /*@__PURE__*/ new (c.x(1)).y(2).z(3);
-        /*@__PURE__*/ new (d.x(1).y)(2).z(3);
-        /*@__PURE__*/ new (e.x(1).y(2)).z(3);
-        /*@__PURE__*/ new (f.x(1).y(2).z)(3);
-        /*@__PURE__*/ new (g.x(1).y(2).z(3));
-        new (/*@__PURE__*/ h).x(1).y(2).z(3);
-        /* */ new (/*@__PURE__*/ i.x)(1).y(2).z(3);
-        (/*@__PURE__*/ new j.x(1)).y(2).z(3);
-        (/*@__PURE__*/ new k.x(1).y)(2).z(3);
-        (/*@__PURE__*/ new l.x(1).y(2)).z(3);
-        (/*@__PURE__*/ new m.x(1).y(2).z)(3);
-        (/*@__PURE__*/ new n.x(1).y(2).z(3));
-    }
-    expect_exact: [
-        "new/* */h.x(1).y(2).z(3);",
-        "/* */new/* */i.x(1).y(2).z(3);",
-        "/* */new j.x(1).y(2).z(3);",
-        "/* */new k.x(1).y(2).z(3);",
-        "/* */new l.x(1).y(2).z(3);",
-        "/* */new m.x(1).y(2).z(3);",
-    ]
-}
-
-issue_2705_4: {
-    options = {
-        side_effects: true,
-    }
-    input: {
-        (/*@__PURE__*/ new x(), y());
-        (w(), /*@__PURE__*/ new x(), y());
-    }
-    expect: {
-        y();
-        w(), y();
-    }
-}
-
-issue_2705_5: {
-    options = {
-        side_effects: true,
-    }
-    input: {
-        [ /*@__PURE__*/ new x() ];
-        [ /*@__PURE__*/ new x(), y() ];
-        [ w(), /*@__PURE__*/ new x(), y() ];
-    }
-    expect: {
-        y();
-        w(), y();
-    }
-}
-
-issue_2705_6: {
-    options = {
-        side_effects: true,
-    }
-    beautify = {
-        comments: "all",
-    }
-    input: {
-        /*@__PURE__*/new (g() || h())(x(), y());
-        /* */ new (/*@__PURE__*/ (a() || b()))(c(), d());
-    }
-    expect_exact: [
-        "/* */x(),y();",
-        "/* */new(/* */a()||b())(c(),d());",
-    ]
-}
-
 issue_3065_1: {
     options = {
         inline: true,
@@ -680,130 +438,3 @@ issue_3325_2: {
     }
     expect_stdout: "PASS"
 }
-
-issue_3858: {
-    options = {
-        collapse_vars: true,
-        inline: true,
-        keep_fargs: false,
-        unused: true,
-    }
-    input: {
-        var f = function(a) {
-            return /*@__PURE__*/ function(b) {
-                console.log(b);
-            }(a);
-        };
-        f("PASS");
-    }
-    expect: {
-        var f = function(a) {
-            return function() {
-                console.log(a);
-            }();
-        };
-        f("PASS");
-    }
-    expect_stdout: "PASS"
-}
-
-inline_pure_call_1: {
-    options = {
-        collapse_vars: true,
-        inline: true,
-        keep_fargs: false,
-        reduce_vars: true,
-        sequences: true,
-        side_effects: true,
-        toplevel: true,
-        unused: true,
-    }
-    input: {
-        var f = function(a) {
-            return /*@__PURE__*/ function(b) {
-                console.log(b);
-            }(a);
-        };
-        f("PASS");
-    }
-    expect: {}
-}
-
-inline_pure_call_2: {
-    options = {
-        collapse_vars: true,
-        inline: true,
-        keep_fargs: false,
-        reduce_vars: true,
-        sequences: true,
-        side_effects: true,
-        toplevel: true,
-        unused: true,
-    }
-    input: {
-        var f = function(a) {
-            return /*@__PURE__*/ function(b) {
-                console.log(b);
-            }(a);
-        };
-        var a = f("PASS");
-    }
-    expect: {}
-}
-
-inline_pure_call_3: {
-    options = {
-        collapse_vars: true,
-        evaluate: true,
-        inline: true,
-        keep_fargs: false,
-        passes: 2,
-        reduce_vars: true,
-        toplevel: true,
-        unused: true,
-    }
-    input: {
-        var f = function(a) {
-            return /*@__PURE__*/ function(b) {
-                console.log(b);
-            }(a);
-        };
-        var a = f("PASS");
-        console.log(a);
-    }
-    expect: {
-        var a = function() {
-            console.log("PASS");
-        }();
-        console.log(a);
-    }
-    expect_stdout: [
-        "PASS",
-        "undefined",
-    ]
-}
-
-inline_pure_call_4: {
-    options = {
-        evaluate: true,
-        reduce_vars: true,
-        toplevel: true,
-        unused: true,
-    }
-    input: {
-        var a = /*@__PURE__*/ function() {
-            return console.log("PASS"), 42;
-        }();
-        console.log(a);
-    }
-    expect: {
-        var a = function() {
-            return console.log("PASS"), 42;
-        }();
-        console.log(a);
-    }
-    expect_stdout: [
-        "PASS",
-        "42",
-    ]
-}
diff --git a/test/input/issue-3040/input.js.map b/test/input/issue-3040/input.js.map
index ed37190a..285e7688 100644
--- a/test/input/issue-3040/input.js.map
+++ b/test/input/issue-3040/input.js.map
@@ -1,11 +1,11 @@
-{

-    "version": 3,

-    "sources": [

-        "input.js"

-    ],

-    "names": [],

-    "mappings": ";;;;;;;;;;;;;;eAAc,OAAO,CAAC,KAAD,C;IAAd,G,YAAA,G;;gBACS,OAAO,CAAC,OAAD,C;IAAhB,K,aAAA,K;;AAEP,GAAG,CAAC,CAAJ,OAAA,GAAG,qBAAM,GAAG,CAAC,CAAJ,CAAM,KAAK,CAAC,CAAZ,CAAN,EAAH",

-    "sourcesContent": [

-        "const {foo} = require(\"bar\");\nconst {hello} = require(\"world\");\n\nfoo.x(...foo.y(hello.z));\n"

-    ]

-}

+{
+    "version": 3,
+    "sources": [
+        "input.js"
+    ],
+    "names": [],
+    "mappings": ";;;;;;;;;;;;;;eAAc,OAAO,CAAC,KAAD,C;IAAd,G,YAAA,G;;gBACS,OAAO,CAAC,OAAD,C;IAAhB,K,aAAA,K;;AAEP,GAAG,CAAC,CAAJ,OAAA,GAAG,qBAAM,GAAG,CAAC,CAAJ,CAAM,KAAK,CAAC,CAAZ,CAAN,EAAH",
+    "sourcesContent": [
+        "const {foo} = require(\"bar\");\nconst {hello} = require(\"world\");\n\nfoo.x(...foo.y(hello.z));\n"
+    ]
+}
diff --git a/test/input/issue-3315/config.json b/test/input/issue-3315/config.json
index 4bcbaed9..097149c7 100644
--- a/test/input/issue-3315/config.json
+++ b/test/input/issue-3315/config.json
@@ -1,8 +1,8 @@
-{

-    "compress": false,

-    "mangle": {

-        "properties": {

-            "regex": "/^_/"

-        }

-    }

-}

+{
+    "compress": false,
+    "mangle": {
+        "properties": {
+            "regex": "/^_/"
+        }
+    }
+}
diff --git a/test/mocha/minify.js b/test/mocha/minify.js
index 4f7a5306..f80ada1e 100644
--- a/test/mocha/minify.js
+++ b/test/mocha/minify.js
@@ -235,8 +235,8 @@ describe("minify", function() {
                 }
             });
             var code = result.code;
-            assert.strictEqual(code, "var a=/* */function(){foo()}();");
-        })
+            assert.strictEqual(code, "var a=function(){foo()}();");
+        });
     });
 
     describe("JS_Parse_Error", function() {
diff --git a/test/release/mathjs.sh b/test/release/mathjs.sh
index b45c3918..8969d551 100755
--- a/test/release/mathjs.sh
+++ b/test/release/mathjs.sh
@@ -1,7 +1,7 @@
 #!/bin/sh
 
 alias uglify-js=$PWD/bin/uglifyjs
-UGLIFY_OPTIONS=$@
+UGLIFY_OPTIONS="--annotations $@"
 
 minify_in_situ() {
     ARGS="$UGLIFY_OPTIONS --in-situ"
@@ -46,11 +46,6 @@ rm -rf tmp/mathjs \
 @@ -68 +75 @@ export function format (value, options) {
 -      return value.toString()
 +      return HACK(value).toString()
---- a/test/node-tests/treeShaking/treeShaking.test.js
-+++ b/test/node-tests/treeShaking/treeShaking.test.js
-@@ -35 +35 @@ describe('tree shaking', function () {
--  it('should apply tree-shaking when bundling', function (done) {
-+  if (0) it('should apply tree-shaking when bundling', function (done) {
 --- a/test/unit-tests/expression/node/Node.test.js
 +++ b/test/unit-tests/expression/node/Node.test.js
 @@ -157 +157 @@ describe('Node', function () {