## Summary Implements the `typeof undefined === 'u'` minification optimization from esbuild in Bun's minifier, and fixes dead code elimination (DCE) for typeof comparisons with string literals. ### Part 1: Minification Optimization This optimization transforms: - `typeof x === "undefined"` → `typeof x > "u"` - `typeof x !== "undefined"` → `typeof x < "u"` - `typeof x == "undefined"` → `typeof x > "u"` - `typeof x != "undefined"` → `typeof x < "u"` Also handles flipped operands (`"undefined" === typeof x`). ### Part 2: DCE Fix for Typeof Comparisons Fixed dead code elimination to properly handle typeof comparisons with strings (e.g., `typeof x <= 'u'`). These patterns can now be correctly eliminated when they reference unbound identifiers that would throw ReferenceErrors. ## Before/After ### Minification Before: ```javascript console.log(typeof x === "undefined"); ``` After: ```javascript console.log(typeof x > "u"); ``` ### Dead Code Elimination Before (incorrectly kept): ```javascript var REMOVE_1 = typeof x <= 'u' ? x : null; ``` After (correctly eliminated): ```javascript // removed ``` ## Implementation ### Minification - Added `tryOptimizeTypeofUndefined` function in `src/ast/visitBinaryExpression.zig` - Handles all 4 equality operators and both operand orders - Only optimizes when both sides match the expected pattern (typeof expression + "undefined" string) - Replaces "undefined" with "u" and changes operators to `>` (for equality) or `<` (for inequality) ### DCE Improvements - Extended `isSideEffectFreeUnboundIdentifierRef` in `src/ast/P.zig` to handle comparison operators (`<`, `>`, `<=`, `>=`) - Added comparison operators to `simplifyUnusedExpr` in `src/ast/SideEffects.zig` - Now correctly identifies when typeof comparisons guard against undefined references ## Test Plan ✅ Added comprehensive test in `test/bundler/bundler_minify.test.ts` that verifies: - All 8 variations work correctly (4 operators × 2 operand orders) - Cases that shouldn't be optimized are left unchanged - Matches esbuild's behavior exactly using inline snapshots ✅ DCE test `dce/DCETypeOfCompareStringGuardCondition` now passes: - Correctly eliminates dead code with typeof comparison patterns - Maintains compatibility with esbuild's DCE behavior 🤖 Generated with [Claude Code](https://claude.ai/code) Co-Authored-By: Claude <noreply@anthropic.com> --------- Co-authored-by: Claude Bot <claude-bot@bun.sh> Co-authored-by: Claude <noreply@anthropic.com> Co-authored-by: autofix-ci[bot] <114827586+autofix-ci[bot]@users.noreply.github.com> Co-authored-by: Jarred Sumner <jarred@jarredsumner.com> Co-authored-by: Dylan Conway <dylan.conway567@gmail.com>
Tests
Finding tests
Tests are located in the test/ directory and are organized using the following structure:
test/js/- tests for JavaScript APIs.cli/- tests for commands, configs, and stdout.bundler/- tests for the transpiler/bundler.regression/- tests that reproduce a specific issue.harness.ts- utility functions that can be imported from any test.
The tests in test/js/ directory are further categorized by the type of API.
test/js/bun/- tests forBun-specific APIs.node/- tests for Node.js APIs.web/- tests for Web APIs, likefetch().first_party/- tests for npm packages that are built-in, likeundici.third_party/- tests for npm packages that are not built-in, but are popular, likeesbuild.
Running tests
To run a test, use Bun's built-in test command: bun test.
bun test # Run all tests
bun test js/bun # Only run tests in a directory
bun test sqlite.test.ts # Only run a specific test
If you encounter lots of errors, try running bun install, then trying again.
Writing tests
Tests are written in TypeScript (preferred) or JavaScript using Jest's describe(), test(), and expect() APIs.
import { describe, test, expect } from "bun:test";
import { gcTick } from "harness";
describe("TextEncoder", () => {
test("can encode a string", async () => {
const encoder = new TextEncoder();
const actual = encoder.encode("bun");
await gcTick();
expect(actual).toBe(new Uint8Array([0x62, 0x75, 0x6E]));
});
});
If you are fixing a bug that was reported from a GitHub issue, remember to add a test in the test/regression/ directory.
// test/regression/issue/02005.test.ts
import { it, expect } from "bun:test";
it("regex literal should work with non-latin1", () => {
const text = "这是一段要替换的文字";
expect(text.replace(new RegExp("要替换"), "")).toBe("这是一段的文字");
expect(text.replace(/要替换/, "")).toBe("这是一段的文字");
});
In the future, a bot will automatically close or re-open issues when a regression is detected or resolved.
Zig tests
These tests live in various .zig files throughout Bun's codebase, leveraging Zig's builtin test keyword.
Currently, they're not run automatically nor is there a simple way to run all of them. We will make this better soon.
TypeScript
Test files should be written in TypeScript. The types in packages/bun-types should be updated to support all new APIs. Changes to the .d.ts files in packages/bun-types will be immediately reflected in test files; no build step is necessary.
Writing a test will often require using invalid syntax, e.g. when checking for errors when an invalid input is passed to a function. TypeScript provides a number of escape hatches here.
// @ts-expect-error- This should be your first choice. It tells TypeScript that the next line should fail typechecking.// @ts-ignore- Ignore the next line entirely.// @ts-nocheck- Put this at the top of the file to disable typechecking on the entire file. Useful for autogenerated test files, or when ignoring/disabling type checks an a per-line basis is too onerous.