Repository navigation
Conversation
…libm The rows compare each fold with the f64 function rounded once to f32. They also cover the angles where Apple's libm and glibc return a different f32 for pi and pi/2.
|
Updated 3:25 PM PT - Oct 21st, 2026
✅ @robobun, your commit 2f90bd2a0db8197f863a65af13cbe7f9a8d3ea97 passed in 🧪 To try this PR locally: bunx bun-pr 45759That installs a local version of the PR into your bun-45759 --bun |
|
Status: closed, not merged. A maintainer did not take this change in #47025, which consolidated the open CSS parser pull requests: "right or harmless, but not worth its code, the bigger output or the behavior it changes". The CSS parser keeps the math functions of the C library. #47025 has the change of #38489 with test rows that do not depend on the C library, so the red macOS row that started this work is gone from How the problem was reproduced:
This PR: #45759 |
… Bun The CSS parser called the f32 functions of the C library for these folds, and for the cube root and the hue of the color conversions. glibc, musl, Apple's libm and the C runtime on Windows differ in the last bit, so rotate(atan2(0px, -1px)) was rotate(180deg) on Linux and rotate(3.14159rad) on macOS. src/css/values/math.rs computes them in f64 with code that is compiled into Bun, and rounds once. log(x, base) is the f64 quotient of two logarithms, so log(32768, 2) is 15 and not 14.999999. sin, cos, tan, exp, the one-argument log and pow call the C library as before.
…fold-libm-determinism
Add rows for atan2 with two negative arguments, log(x, base) of a negative number and of NaN, and hypot of large values without an exponent in the expected output. Replace one log row with an input that every CI host folded to another f32.
Move the notices of FreeBSD's msun and of Cephes from math.rs to the row in LICENSE.md.
|
#46145 replaces One difference in the rows: this PR expects |
…fold-libm-determinism
The hypot of the math module returned infinity for an infinity and a
NaN, as hypotf of C does. In CSS the NaN wins: the web-platform-test
css/css-values/hypot-pow-sqrt-computed.html has
test_nan('hypot(infinity, NaN)'). hypot() with three arguments already
gave NaN.
Remove the branch, so the sum of the squares decides. Add rows for
hypot() of an infinity.
|
No actionable comments were generated in the recent review. 🎉 ℹ️ Recent review info
WalkthroughThe CSS values code now uses shared math helpers for selected trigonometric, logarithmic, hypotenuse, and cube-root operations. The helpers use f64 implementations and handle special values. Tests check deterministic results, and a source lint checks direct host math calls. ChangesCSS Math Determinism
Suggested reviewers: Priority: ⬇️ Low Merge Risk: ⚪ Minimal · up to
|
There was a problem hiding this comment.
Nothing blocking. The comments below are optional suggestions. There is no need to push a fix for them before merging.
Beyond the inline findings, I also diffed the kernels in src/css/values/math.rs control-flow-by-control-flow against Go 1.24.4 math/atan.go, asin.go, atan2.go, log.go and msun s_cbrtf.c (special cases, signed zero, infinities, the subnormal cbrt scaling, the inline frexp) and found them faithful. The two-argument hypot change to NaN for hypot(infinity, NaN) matches WPT and the existing three-argument path, so it was ruled out as a regression; the f64 sum-then-sqrt is exact in f64 and only differs from a correctly rounded hypotf by double rounding, which is rare and not host-dependent.
Extended reasoning...
The change adds an in-tree f64 math module for asin/acos/atan/atan2/hypot/cbrt/log(x, base) and rewires the CSS calc and color folds to it, plus a source lint and exact-output tests; it touches no security-sensitive surface. The inline findings (remaining host-dependent sites such as one-argument log and 3+ argument hypot, the atan2 mixed-unit path, the lint omitting log, and the Windows grey-hue output change) are what a human should weigh, so the decision is defer rather than approve.
Additional findings (outside the current diff — GitHub can't attach inline comments there):
-
🟣
src/css/values/calc.rs— Stylesheet authors who pass three or more arguments to hypot() still get an overflowed3.40282e38for large lengths while the two-argument form now folds correctly. src/css/values/calc.rs:848-866 squares each operand in f32 with powi2 andb.powf(2.0)and sums in f32, sohypot(3e30px, 4e30px, 0px)is infinity, whereas the new f64 path at src/css/values/math.rs:33 gives 5e30 forhypot(3e30px, 4e30px). The PR deliberately fixed one arity of the same helper. Fix: fold every argument count through one f64 sum of squares (as #46145 proposes) in parse_hypot, so adding a third argument cannot change the result from 5e30 to infinity.Why this was flagged
Input
line-height: calc(hypot(3e30, 4e30, 0) / 1e30)enters parse_hypot at src/css/values/calc.rs:835 with args.len() == 3, skips the two-argument branch at :841-845 and squares in f32 at :848 (powi2, src/css/values/calc.rs:1390) and :855 (a + b.powf(2.0)). 3e30 squared overflows f32 to infinity, sqrtf32 at :866 keeps it, and the output is3.40282e38; the two-argument sibling right above it, now routed through math::hypot, prints5for the same values (pinned at test/js/bun/css/css.test.ts:279). The base branch already overflowed in the three-argument path, which is why the finders called it pre-existing, but the base's two-argument path (C hypotf) also did not overflow, so the inconsistency between arities is unchanged rather than new; what this PR adds is a stated guarantee of identical bytes for hypot() that holds only for one arity, and REVIEW.md asks that sibling paths of a changed helper be fixed together. The fix is a single f64 accumulation for every arity in parse_hypot.Verification: pre-existing.
parse_hypotat /home/claude/bun/src/css/values/calc.rs:841-845 routes onlyargs.len() == 2through f64math::hypot. For three or more arguments it squares in f32 at :848 and :855 and takessqrtf32at :866, sohypot(3e30, 4e30, 0)prints3.40282e38. On the base the 2-arg path calleda.hypot(b)and produced 5e30, so the 3-arg overflow already exists on the base.
…fold-libm-determinism
log(x) called logf of the C library, and log(x, base) used the ln kernel of the math module. Both use the kernel now, so log(x) has the same bits on every host too. The source lint also fails on a call to f32::ln or f32::log in the CSS crates.
|
Reply to the review finding on
The two other findings are done in 2f90bd2: |
### What does this PR do? Consolidates the open pull requests on the CSS parser (`src/css`: parsing, minifying, lowering, printing, CSS modules) into one. 179 open pull requests were in scope. Each was judged by one rule: **the output must mean to a browser what the input meant.** Every claim was run through a build of `main`, a build with the change, lightningcss 1.33 and Chromium 156 (CSSOM, computed values, painted pixels for colors and gradients), and counted against 10,116 real stylesheets: the published CSS of about 190 popular npm packages, plus stylesheets from open source repositories. 107 land here, whole or in part, most of them cut down. The source diff is net negative. Of the 10,116, 9,509 are stylesheets that someone ships. The rest are test fixtures of other tools (521), Tailwind v4 source that needs its plugin (59) and SCSS, PostCSS or template source (27). | 9,509 shipped stylesheets | `main` | this branch | |---|---|---| | fail to build | 71 | 35 | | ... of those, valid CSS that Bun rejects | | 0 | | minified output reads differently in Chromium than the input | 552 | 2 | | CSS modules with a name that is referenced but not defined, or exported but not defined | 166 | 0 | | all 10,116 | `main` | this branch | |---|---|---| | fail to build | 192 | 141 | | minified output reads differently in Chromium than the input | 593 | 15 | | build on `main`, fail here | | 0 | | right on `main`, wrong here (minified, and at the default targets) | | 0 | | size of the minified output, no targets | 162.32 MB | 162.47 MB (+0.093%) | | size of the output at the default targets | 224.1 MB | 210.2 MB (-6.2%) | A syntax error is a build error, with one exception: the IE star hack `*zoom: 1` is skipped, because tachyons and handsontable ship it. The 35 shipped stylesheets that fail are invalid CSS: 28 have a selector that Chromium drops (semantic-ui-css, swiper, @ionic/core, Adobe Spectrum, xp.css), 2 an `@import` after other rules, and one each `@supports not X and Y`, a nested `@keyframes`, a stray comma, a selector list in `::slotted()`, `@media screen\0` (govuk-frontend). The 2 that read differently fold a `color-mix()` inside a gradient (see the known gaps). The growth of the minified output is rules and declarations that `main` deleted by mistake: 87 KB of rules, 45 KB of prefixed declarations that only browser targets can rule out. #### Popular CSS that `main` breaks today - normalize.css, modern-normalize, sanitize.css: `font-family: monospace, monospace` is collapsed to `monospace`, which changes the font size from 16px to 13px (#46662). - CKEditor 5, Tabler, Carbon, VitePress, Ionic, PatternFly, Excalidraw: a rule of custom properties is deleted as a "duplicate" of a later rule with the same selector and other custom properties. 37 stylesheets lose 1,681 custom properties (#33684). - Material Components, daisyUI, DocSearch, plyr: a `var()` size loses to its own fallback (#42101). - nextra, daisyUI, CKEditor: declarations written after a nested rule are moved above it (#45462). - antd 4, purecss, govuk-frontend: browser hacks in selector lists start to apply everywhere (#42100). - foundation-sites, flatpickr, 98.css, blueprintjs, scalar, react-datepicker: the build fails on valid CSS (#46756, #38552, #38534). tachyons, handsontable: it fails on the IE star hack (#46751). - nodejs.org, Mantine: a CSS module exports classes that no rule defines, because the `@apply` or `@mixin` in them is moved out of the rule (#46759). - hint.css and 42 more: `z-index: 1000001` and `1000000` become the same number (#46715). - Adobe Spectrum: `--version: 5.0.1` prints as `5.1`. - A quarter of all stylesheets: minified output has a stray space in `align-items: center` (#41993). #### Behavior changes to look at first 1. **`light-dark()` is kept as written at the default browser targets** (#42009). The lowered form `var(--buncss-light, a) var(--buncss-dark, b)` is invalid unless a compiled `color-scheme` covers the element: 184 of the 215 real stylesheets that get it never define the variable, so every browser drops the declaration. The docs section on the polyfill is removed. 2. **`border` is not built from longhands** (#42072): `border-width:0;border-style:solid;border-color:red` stays three declarations, because `border` also resets `border-image`. 305 real stylesheets grow by 30 KB in total; `bootstrap.min.css` by 113 bytes, 5 gzipped. No real stylesheet was found where the old merge shows, so this is the one to drop if size matters more. 14 existing expectations change. 3. **A CSS module no longer exports names that only occur inside `:global(...)`** (#45487). 73 real modules lose 202 export keys, all of them names that no rule has. `import { g }` or `composes: g` of such a name becomes a build error. 4. **Container names and `@counter-style` names stay global in a CSS module** (#45247 by @mikamikasuki). `main` hashes the `@container` name but not `container-name`, so a named query never matches. postcss-modules (Vite, css-loader, Next.js) keeps them global; lightningcss and esbuild hash both. Global keeps a container that is queried from another file or from JS working. 5. **Syntax errors are build errors, also two that `main` lets through**: a media query that stops short (`@media screen and {`, `@media not {`, `@import "a.css" screen and;`) and `@media (width <) foo {`. No stylesheet of the 10,116 has either. A condition that is valid by the grammar though no browser knows it, `( ... )` or `fn( ... )`, is kept as written (#46756): `(min-width:0\0)`, `(not(hover))`. 6. **Declarations after a nested rule stay where they were written**, as a nested declarations rule (#45462). Changes the output of 199 real stylesheets; in a fuzz of 2,850 nested programs compared by computed style, `main` was wrong in 1,056 and the pull request's code, before it was trimmed here, in none. 7. **`Bun.color`**: `color()` inputs are converted instead of returned as a string (`Bun.color("color(srgb 1 0 0)", "hex")` was `"color(srgb 1 0 0)"`); `currentColor`, system colors and `light-dark()` give `null` in the converting formats instead of the keyword as a string; a relative color or `color-mix()` outside sRGB is clipped, not gamut-mapped (`hsl(from oklch(100% .399 336.3) h s l)` is `#ff5bff`, was `#fff`). 8. The `:-moz-any()` and `:-webkit-any()` copies of rules with `:is()` are gone at the default targets (#45945, #42029). The `:-webkit-any()` copy outranked the original rule: `.title{color:blue} :is(h1,h2,h3){color:red}` painted red. 5.8% of all default-target output was the `:-moz-any()` copies. 9. `Property` grows from 216 to 224 bytes: `Url` stores its text as a slice so that two `url()` values can be compared (#46895). The pull request packed a pointer and a `u32` behind `unsafe` to avoid that. #### Not in this PR, needs a decision - **Raise the default browser targets (#40369) and add a `cssTarget` option (#40368).** Today: Chrome 80, Edge 80, Firefox 78, Safari 14, Opera 67, and no public way to change them. At Vite 8's floor the output of the 9,924 stylesheets is 15.3% smaller (3.9% gzipped). About a dozen fixes here only matter at today's floor, and code for older targets is unreachable without the option. - Vendor prefixes for `user-select`, `appearance`, `hyphens` and five more (#45814): 1,116 real stylesheets lack a prefix they need at the default targets. And for `backdrop-filter` (#44648): 173. - Clip instead of gamut-map in the sRGB fallback of a plain wide-gamut color: deletes about 90 lines, changes every pinned fallback hex. If the mapping stays, #44647 by @oddharsh makes it closer to what browsers paint (colors off by 2/255 or more: 168 to 110 of 3,170 real ones). #### Changes **Rules: duplicates, merging, nesting, fallbacks** - The `:-moz-any()` copy of every rule with `:is()` or `:not(a, b)` is gone: Firefox 78 has `:is()` (#45945). 1,164 real stylesheets - Keep declarations written after a nested rule in place with a nested declarations rule (#45462). 379 real stylesheets - With nesting compiled away, an unknown at-rule inside a style rule was moved out of it: `.wrapper{@apply flex}` printed a bare `@apply flex;` and the rule was gone, so a CSS module exported a class that no rule defines. It now stays in a block under the compiled selector. 72 real modules with Tailwind's `@apply`, 25 with Mantine's `@mixin` (#46759). 316 real stylesheets - Keep !important in the rules generated for logical properties and color-scheme (#38597). 311 real stylesheets - With browser targets, remove an earlier duplicate rule only when its declaration block is equal (#46861). 171 real stylesheets - Compare custom property names in `PropertyId` equality and importance in duplicate-rule detection (#33684). 40 real stylesheets - Keep same-condition @supports rules and empty named @layer blocks (#46733). 31 real stylesheets - Keep target-added vendor prefix passes on cloned and re-minified rules, and never print a bare `:full-screen` (#43339). 12 real stylesheets - Keep the selectors on rules added for color fallbacks and logical properties (#43240). 3 real stylesheets - A later declaration of a property drops the `@supports` color copies of the earlier one, which printed after the rule and won (#45560). 2 real stylesheets - Do not merge style rules in a stylesheet that holds `revert-rule` (#46953). 1 real stylesheets - `@import ... supports(-webkit-mask: none)` kept its prefix (#38589) **Properties and shorthands** - Print align-items:center without a stray space when no safe/unsafe keyword is given (#41993). 3,317 real stylesheets - Emit the physical longhands instead of the inset shorthand for targets without it (#38583). 1,452 real stylesheets - Keep the stops of an upward gradient as written, and drop a `50%` hint only at the midpoint (#46790). 104 real stylesheets - Emit unparsed border-block-* declarations when compiling logical borders (#38582). 89 real stylesheets - Keep repeated font families and dedupe only the inserted system-ui fallbacks (#46662). 88 real stylesheets - A `width` / `height` / `min-*` / `max-*` with `var()` or `env()` was printed before the plain fallback written above it, so the fallback won (#42101). 26 real stylesheets - Keep box-orient and box-direction when flex-direction or flex-flow follows (#45672). 16 real stylesheets - Write held prefixed background declarations at every flush (#46882). 6 real stylesheets - Derive equality for Size2D and BorderRadius, and keep every prefix in the border-radius handler (#45665). 2 real stylesheets - Print `none` instead of an empty border-image, mask-border or mask-box-image value (#45143). 2 real stylesheets - Keep font/transition sub-properties on the side of the shorthand they were written on (#41990). 2 real stylesheets - CSS-wide keywords are not names: `font:12px Arial;font-family:inherit` printed `font:12px inherit`, `color-scheme:inherit` and `color-scheme:auto` printed `normal`, `transition-property:unset` was folded into `transition` (#42022). 2 real stylesheets - Only fold font longhands into `font` when the rule declared a `font` (#45459) - Keep a font family name quoted when its identifiers do not read back as the same name (#46606) - Stop rewriting valid positions into ones browsers reject (#45197) - `border` is no longer built from longhands unless the rule also sets what `border` resets (`border-image`), and an author's `border-image` reset is no longer dropped. `transition` is likewise only written where the rule wrote one, because it resets `transition-behavior` (#42072) - `border; border-image: <gradient>; border-image-slice: 1` lost the gradient in every default build (#42018) - A prefixed `linear-gradient` keeps its direction, written or generated: the prefixed syntax names the starting side and measures angles differently (#46697) **At-rules** - Print @font-face format() keywords as strings (#37979). 439 real stylesheets - Print @supports `not` conditions without a leading space (#38559). 88 real stylesheets - Reset after the number token of a unicode-range (#45835). 33 real stylesheets - Keep `<general-enclosed>` media and container conditions as written (#46756). 24 real stylesheets - A strict range such as `(width < 768px)` lowered for old targets still matched at exactly 768px. The step is now `.02px`. The `not all and` form for other units is not taken (#46806). 18 real stylesheets - Keep scanning an @supports condition after a nested block (#38552). 9 real stylesheets - Every `@counter-style name` printed as `@counter-stylename`, which browsers drop (also #46692). In a CSS module the name now stays global, like the `list-style` that refers to it (#33679). 9 real stylesheets - Keep a keyframe whose block has an invalid item (#46288). 2 real stylesheets - Read an @Property initial-value on the stylesheet's parser, keep an unmatched value as written (#45806). 2 real stylesheets - `@media {}` is `all`. A media query that stops after `and`, `or` or `not` (`@media screen and {`) is a build error; `main` printed `not all` or dropped the condition, silently. The `@layer` and type selector parts are not taken (#46869). 2 real stylesheets - Accept a name-only `@container` and a `style()` feature with no value (#46689). 1 real stylesheets - Parse `<timeline-range-name> <percentage>` keyframe selectors (#45652) - Allow `or` inside parentheses after a media type (#45088) - Print the `=` comparison in media and container queries as `=` (#45071) - Parse the @font-palette-values font-family descriptor as a list of family names (#45484) **Selectors** - Never wrap a selector list in :is() (#46787). 414 real stylesheets - Stop emitting :-webkit-any() copies of :is() that outrank the original rule (#42029). 373 real stylesheets - With browser targets, a selector list with a vendor-prefixed member was split, which revives hacks that rely on other engines dropping the whole list: `.s *::-ms-backdrop,.s{flex:auto}` applied everywhere. Rewritten; the list is printed as written (#42100). 42 real stylesheets - Print the vendor prefix on downleveled :any-link, :read-only, :read-write, :placeholder-shown and :autofill (#42131). 12 real stylesheets - Fix nesting lowering of a `&` that does not lead its selector (#43047). 8 real stylesheets - `@scope`: `&` and implicit selectors compile to `:where(:scope)`, relative selectors and bare declarations parse (#43165). 7 real stylesheets - Only reject bare :global / :local pseudo-classes in CSS modules (#38534). 5 real stylesheets - Stop truncating `@scope to (...)` and stop replacing `&` in the scope-end selector (#43146). 2 real stylesheets - `[xl|href$=".pdf"]` lost its namespace prefix (#45159). 2 real stylesheets - Match An+B keywords exactly and take only `+` as the leading sign (#42953). 1 real stylesheets - Parse ::details-content and ::picker() like ::part() (#45504). 1 real stylesheets - Parse :window-inactive as an ordinary pseudo-class, and accept it after ::selection (#45815) - Print :nth-col(1) and :nth-last-col(1) in functional form (#41575) - `li::before::marker` failed the build (#45810) - `&` inside `:nth-child(... of S)` is resolved when nesting is compiled away. The second selector serializer (326 lines) is deleted (#43024) **Colors and `Bun.color`** - Keep light-dark() as written under the default browser targets (#42009). 227 real stylesheets - Number and percentage channels parse in `lab()`, `lch()`, `oklab()`, `oklch()`, `hsl()` and `hwb()`; the hue of `lch` / `oklch` is no longer scaled by alpha (#45084). 130 real stylesheets - `Bun.color` returns `null` for `currentColor`, system colors and `light-dark()` in the converting formats, instead of the CSS keyword as a string (#33047). 130 real stylesheets - Relative colors: channel keywords are on the scale of their function (`rgb(from #369 calc(r + 10) g b)`), the origin's alpha is kept, a relative color kept as written gets no `@supports` copies, and a result outside sRGB is not folded (#45362). 31 real stylesheets - Keep rotate: 0deg out of none, and keep the origin alpha in relative colors (#38486). 13 real stylesheets - Compute the D50 reference white in f32 so greys convert to lab(l 0 0) like lightningcss (#38535). 7 real stylesheets - Return a missing hue for a grey from conversions into lch, oklch, hsl and hwb (#45201). 5 real stylesheets - Fix color(a98-rgb), srgb-linear relative colors and color-mix(in xyz-d50) (#38487). 4 real stylesheets - Match named colors without regard to ASCII case (#45092). 3 real stylesheets - Fold min(), max() and clamp() over plain numbers (#39515) - `calc(l - .08)` in a percentage channel of a relative color became NaN and printed `#000` (also #45970) (#45971) - Bun.color: convert color() inputs instead of returning them as a CSS string (#38488) - A `color-mix(in srgb, ...)` result outside sRGB prints `color(srgb ...)` instead of a gamut-mapped hex (#39269) **`calc()` and numbers** - Rounding to 6 significant digits ate into the integer part: `z-index:2147483647` became `2147480000`, `max-width:9999999px` became `10000000px`, `--x:1234567.5` became `1234570`. It now only cuts a fraction short: a value kept as tokens prints its source text, a typed value prints every integer digit and at least one digit of the fraction (#46715). 43 real stylesheets - A number without a unit is no longer repaired into `px` (`height:1.5715` is dropped by a standards-mode browser, so it prints as written), `calc(-1 * 0)` is not a length, and on a property of the range [0,∞] (sizes, border radii, padding, border and outline widths, gap, `flex-basis`, `font-size`) a `calc()` that folds below zero prints `0` instead of an invalid negative literal, and a negative literal no longer replaces the valid declaration before it (`width:10px;width:-5px` printed `width:-5px`) (#42104). 24 real stylesheets - Print numbers from the f32's shortest digits, not its f64 expansion (#38565). 17 real stylesheets - Print negative numbers below 1 with a single minus sign (#38516) - Keep math functions over two different length units as written (#38489) - Fold rem() with a truncated quotient, so it keeps the sign of the dividend (#32286) - A one-argument `min()` / `max()` around a sum printed without any function (`width:100% - 20px`) (#46145) - `round()` breaks ties upward and handles a negative step as browsers do (#45249) **CSS modules** - A CSS module exports its `@keyframes` names (`styles.spin`). Hashing is unchanged (#46720). 145 real stylesheets - A name inside `:global(...)` prints plain but was exported as `name_<hash>`, a class no rule has (also #38573) (#45487). 90 real stylesheets - Keep container names global in CSS modules (#45247). 6 real stylesheets - Tag the keyframes name when an `animation` value falls back to raw tokens (#46034). 6 real stylesheets - In a plain stylesheet `composes: a from "./b.css"` was treated as an import: the file was inlined and an absolute path printed (#45961). 4 real stylesheets - Drop a rejected composes instead of failing the file at print time (#38538). 1 real stylesheets - Keep every rule's custom properties for the composes conflict check (#38523) - Keep composes working after a nested rule in the same block (#38520) - `IdentOrRef::hash` read 2 of 16 bytes, so in release builds every class of a module hashed alike (#30784) **Tokens, `url()`, diagnostics** - The block skip stack no longer allocates on every block exit (#39533) - Report the diagnostic's line without its line breaks in position.lineText (#38342). 192 real stylesheets - Compare `url()` values by their text (#46895). 26 real stylesheets - Values kept as tokens keep the blanks they were written with instead of having them re-invented at print time: `attr(x type(<number>))` printed `type(< number> )`, which browsers drop. Minified output still drops the blanks that cannot matter (#45577). 19 real stylesheets - The IE star hack (`*zoom:1`) failed the whole build. The declaration is skipped, as every browser does. It is the one syntax error that builds: tachyons, handsontable and jasmine ship it (#46751). 8 real stylesheets - The path of a copied asset spliced into `url()` is always quoted, so a file name with a space or a parenthesis cannot end the `url()` (#41557). 7 real stylesheets - Move the skip loop of parse_until_before out of the generic body (#39520) - Remove dead code from bun_css: the unused `impl Default for Property` (#45618) - Default the at-rule and qualified-rule parser traits, drop the url_to_css shim (#31999) **Speed** Four inputs that took quadratic or exponential time, or produced output out of proportion, are now linear, with no new limit and no extra pass (#31639, #42243, #38531, #43421). **Tests only** - `css-fuzz.test.ts` never ran in CI and timed out on debug builds; it is a deterministic table now (#38500) - `nth-anplusb-ident.test.ts` counts heaps in a child process (#46331) - `color.test.ts` checks the ansi-16 sweep with one `expect()` (#42824) - Not CSS, but it failed this PR's CI and fails on `main` too: `ws-proxy.test.ts` on Windows, "a message sent during a TLS renegotiation arrives after it". The helper server now renegotiates from the callback of the frame's write (#46170) **No pull request covered these** - `--v: 5.0.1` printed as `5.1`, `--w: 1.0.0` as `10`, `--x: 1+2` as `12`, `2n+1` as `2n1`: a number token that touches another keeps its source text. - `color-scheme: auto` printed as `normal`, and `color-scheme: dark light` as `light dark`. - A bare `:global` or `:local` in a CSS module sets the scope of the names after it, up to the end of the selector, as in css-loader. It was a build error. - The scrollbar states (`a:horizontal`, `::-webkit-scrollbar{&:horizontal{}}`) are valid in a plain compound, as in WebKit and Blink. - Without browser targets, `-webkit-box-align`, `-ms-flex-align` and the like were dropped next to their standard form (flatpickr, foundation-sites, materialize-css: 28 stylesheets), and `-webkit-fill-available` before `-moz-available` (beercss). - `(-o-min-device-pixel-ratio: 2/1)` printed as `2`. - `sin()`, `cos()` and `tan()` are exact at multiples of 90deg: `calc(100px * cos(90deg))` printed `-.00000437114px`. - A `display-p3` color at targets that have P3 but not the other `color()` spaces (Safari 10.1 to 14) got itself as a fallback. - `width: rem(-18px, 5px)` folds to a negative literal once `rem()` is right; it prints `0`. - Consecutive nested declarations rules, which arise when same-query `@media` blocks in one rule merge, are folded into one and count against the existing selector expansion limit as the `&{}` rules they replace did. #### Known and not fixed here - Four longhands are still folded into a `transition` the author did not write where the targets add a prefixed copy of a property (`mask-image` at Chrome 80): only the shorthand gives the copy its own times. - A later `background`, `box-shadow` or `border-*` declaration still loses to the `@supports` copy of an earlier `var()` value of the same property with a wide-gamut color. Same on `main`; #45560 is taken for the properties of the fallback handler and for unparsed values only. - A merged rule prints the unprefixed name in the passes of the rule it absorbed: `.d::-webkit-input-placeholder{}.d::-moz-placeholder{}` prints `::placeholder` for the second (#42106, not taken: it breaks the merge of prefix-equivalent rules). - The `border`, `outline` and `font` shorthands, `line-height`, `scroll-padding`, `background-size` and a few more still print a `calc()` that folds below zero as a negative literal. No real stylesheet has one. - `all` is not a property Bun knows, so `a{margin-top:1px;all:unset}` prints `all` first. Same on `main`. - A selector kept as raw tokens loses the blank before `*` when minified: `--sel: .dark *` prints `.dark*`. Same on `main`. - `width:calc(0% + 12px)` folds to `12px`, which lays out differently in a table cell. Same on `main`. - The `:dir()` / `:lang()` rules of a lowered logical property print before the nested rules of their rule, so a logical declaration written after a nested rule of equal specificity still loses to it. Same on `main`. - A fraction is still rounded to 6 significant digits (`12345.678` prints `12345.7`, `33.3333333333%` prints `33.3333%`). Keeping every digit would add up to 282 KB over the corpus. - `@keyframes "quoted"` is hashed in a module but not exported. - In a module, a keyframes name inside a `var()` fallback is not hashed: `animation: var(--enter, fade 1s)`. Same on `main`. - A `color-mix()` or relative color folded to a hex inside a gradient changes the interpolation from Oklab to sRGB (VS Code, clawhub). Printing `color(srgb ..)` instead needs a fallback for `mask-image`, `list-style-image` and custom properties at the default targets, which have none. - A comma list in `@container` still fails the build. - After a bare `:global`, names that are hashed at print time (`::view-transition-old(foo)`) are still hashed; inside `:global(...)` they are not. #### Pull requests in scope that do not land here - Duplicates of a pull request that lands here: #36961 (of #37979), #38478 (of #46662), #38480 (of #46733), #38482 (of #46715), #38491 (of #38500), #38508 (of #45201), #38513 (of #45362), #38573 (of #45487), #38640 (of #38500), #45525 (of #45247), #45589 (of #46756), #45970 (of #45971) - Already fixed on `main`: #38674 - Right, but for input nobody writes (0 of 10,116 stylesheets, and not new syntax): #31916, #38526, #38592, #39349, #41139, #41801, #42042, #42484, #43078, #45604, #45908, #46086, #46221, #46224, #46273, #46694, #46707, #46737, #46755, #46816, #46870, #46934 - Right or harmless, but not worth their code, their bigger output or the behavior they change: #30905, #31924, #33332, #34426, #36225, #38006, #38512, #38547, #38551, #38561, #38572, #38576, #38607, #38623, #38667, #38692, #42106, #42912, #42918, #43407, #43434, #44700, #45442, #45546, #45747, #45759, #45825, #45946, #46061, #46127, #46206 - Need a decision (see above), stay open: #40368, #40369, #44647, #44648, #45814 - Stays open: #45787 Out of scope: CSS linking and chunking in the bundler, the dev server, docs-only pull requests, and repository-wide sweeps that touch `src/css` in passing. Thanks to @mikamikasuki (#45247), @alii (#39520, #31999) and @oddharsh, whose measurements on #40369 and #41990 were used. Fixes #16727. Fixes #24770. Fixes #30772. Fixes #44704. Fixes #45089. Fixes #45237. Fixes #46872. ### How did you verify your code works? - The 35 CSS test files pass on a debug build, also with `FORCE_COLOR=1`. 600+ of the tests in this branch fail on a build of `main`. An earlier head of this branch passed all 179 CI jobs that ran. - The reproduction of each issue listed above was run on `main` (wrong) and on this branch (right). - Differential run over the 10,116 stylesheets, `main` against this branch, minified without targets and through `Bun.build` at the default targets: no stylesheet that builds on `main` fails; Chromium 156 compares the output with the input rule by rule (CSSOM, then computed values on a sized element in a standards-mode document, colors as painted pixels in sRGB and P3). The comparison has 195 control pairs that must read equal or different. For stylesheets that read differently on both builds, mostly because of lowering, the sets of differences were compared; the three new ones are two minifier fixtures that are wrong on both and one comparison artifact. - CSS modules are checked for consistency instead, since hashed names defeat the comparison: every reference points at a name the output defines, every export exists. - `Bun.color`: 59 inputs in 13 formats on both builds; every changed cell was read.
Problem
rotate(atan2(0px, -1px))isrotate(180deg)on Linux androtate(3.14159rad)on macOS.asinf,acosf,atanf,atan2f,hypotfandcbrtfof the C library at 15 places (src/css/values/calc.rs:749). Bun 1.3.14 compiled them in. Since 1.4.0,log(32768, 2)is below 15.Fix
src/css/values/math.rscomputes the six and both forms oflog()inf64with Bun's own code. It uses only IEEE arithmetic, so every host gets the same bits.test/js/bun/css/css.test.ts, 5 incolor.test.ts. On main, 7 of the 86 fail with glibc 2.41. Alsotest/js/bun/css,test/bundler/css.pow, 4 rejected (Notes).Background
sin,cos,tan,exp,pow(27 sites). 1.3.14 called the C library for them too, and an ownedpowcosts 11% more cycles peroklch()declaration. Is that wanted?round()and colors stay host-dependent.Downsides
log(x, base)folds, 1 of 50,000log(x)folds. glibc 2.39: also 706 of 250,000 inverse trigonometric folds.hypot(infinity, NaN)is now NaN, as WPT requires. Colors that usepow,sinorcosstill differ per host.Notes
What each host prints on main
Build 127608 ran main plus probe rows (commit 30c315f) on every lane.
rotate(atan2(0px, -1px))180deg180deg3.14159rad180degrotate(acos(-1))180deg3.14159rad3.14159rad180degrotate(asin(1))90deg90deg1.5708rad90degrotate(atan(infinity))90deg1.5708rad1.5708rad90deglog(x, base)A later step makes one bit visible. These are from this container, with the release build of main:
rotate: round(down, acos(-1), 180deg)180degnonecolor: hsl(round(down, acos(-1), 180deg) 100% 50%)#0ffredBun.color("hsl(round(down, acos(-1), 180deg) 100% 50%)", "hex")#00ffff#ff0000rotate: acos(0.53674)57.538deg1.00423radBun.color("#ff0000", "lab")ends in69.89099on Linux and in69.891with thecbrtfof the Windows C runtime (emulated). #33328 saw69.891on Windows and on macOS arm64 in CI and made that test compare numerically. This PR restores the three exact rows.The new rows on main, per host (release build of main, the 79 rows of
css.test.tsat commit 3f02cd1)f32neighbour of the exact value for half of the calls tosin,cos,tan,exp,log,pow(10 seeds)The musl and Windows rows are emulations on linux-x64: the math code of that library replaces glibc's in the Linux binary. No macOS emulation exists here. One of the 8 Windows rows is the subnormal
cbrtrow, where the emulation does not run the Windows code. The last row shows that the 79 rows do not depend on a function this PR leaves with the C library.Since that commit, the two
hypot(infinity, NaN)rows expect NaN, and two rows forhypot()of an infinity are new. Five rows forlog(x)are new too. With glibc 2.41, main now fails 7 of the 86 rows: the 4 above, the two NaN rows andlog(1.0686).With this PR,
css.test.tsandcolor.test.tspass on all 11 test lanes of build 130207 (commit 2f90bd2), as in builds 128383 and 129283 before it: macOS arm64 and x64, Windows x64 and arm64, Alpine x64 and aarch64, Debian, Ubuntu and the ASAN lane.Scope
asin,acos,atan(calc.rs:691-693), fouratan2incalc.rsand the hue incolor.rs:2545,hypotwith two arguments (calc.rs:1381), sixcbrtin the conversions to Lab and OKLab (color.rs:3218-3228,:3471). Pluslog(x, base)atcalc.rs:451andlog(x)atcalc.rs:453.std.math), which is 15 of the 43 call sites. It called the C library forsin,cos,tan,exp,logandpow.powis a directexterncall, with a comment that marks the color path as hot (src/bun_core/lib.rs:324).log(x)called the C library in 1.3.14 too. It is here because it needs no new code:log(x, base)already has thelnkernel. A review of this PR asked for it.robobun/330830bb/css-owned-math-wip. Measured there: per typedoklch()declaration 29,061 to 30,055 instructions (+3.4%) and about +11% cycles, because a correctly roundedpowin portable code is slower than glibc's. 559 of 849,994 sampled folds and 55 of 20,000oklch()rules change on glibc 2.41. That trade needs a maintainer's decision, so it is not in this PR.asin,acos,atan,atan2. Zig's functions were not correctly rounded: 16,132, 4,368, 1,577 and 6,782 of 50,000 sampled folds differ from thef64function rounded once. This PR gives the correctly rounded value on all 50,000 of each, which is what 1.4.x prints with glibc 2.41. The printed text differs from 1.3.14 for 882, 297, 493 and 490 of 50,000.hypotandlog(x, base)print what 1.3.14 printed on all 50,000.acos,atanandatan2of 1.4.x still have the bits of 1.3.14 (Zig's functions are ports of musl's). For those three, this PR is a change on musl and not a repair.Angle::to_degreesis not changed. 1.3.14 had the nextf32up for 180/pi. With itacos(0.5)prints1.0472radandround(up, acos(0.5), 60deg)is120deg. Four rows pin the current constant.rotate(calc(atan2(0, -1) - 3.141593rad))printsrotate(--2.38419e-7rad)(css: print negative numbers below 1 with a single minus sign #38516). A grey has a noise hue inlch()andoklch()(css: return a missing hue for a grey from conversions into lch, oklch, hsl and hwb #45201). On Windows, main printslch(53.585% 0 0)for#808080, and with this PR it prints the noise hue of the other hosts,lch(53.585% .0000320981 158.199)(emulated).cosfinsrc/runtime/image/thumbhash.rsand the**fold of the JS parser, which must equal the engine, also call the C library.atan2()of two lengths in different units reads its left operand twice (css: keep math functions over two different length units as written #38489).hypot()with three or more arguments squares inf32and overflows for large values (css: wrap a one-argument min()/max() sum in calc() and give hypot() one fold for every argument count #46145).hypot(infinity, NaN)andhypot(NaN, infinity)are NaN, which prints0. C'shypotfreturns infinity there, and so did main for two arguments (3.40282e38). WPTcss/css-values/hypot-pow-sqrt-computed.htmlhastest_nan('hypot(infinity, NaN)'). Main already gives NaN for three arguments.parse_hypotwith one fold inf64for every argument count. It and this PR change the same helper incalc.rs, so the second to land has a conflict there and dropsmath::hypotor its call. Thehypot()rows of the two PRs expect the same output.atan2, so it is expected to pass on macOS after this PR.Why the kernels are correct
math(atanfrom Cephes,asin,acos,atan2through it,logfrom FreeBSD's msun) and of msun'scbrtf. The attribution and the notices are inLICENSE.md.f32against glibc'sf64function rounded once:asin,acos,atan,cbrtdiffer on 0 inputs.f64function rounded once:atan21 of 4.8 billion,hypot0 of 1.2 billion,log(x, base)0 of 1.2 billion.cargo check -p bun_css -p bun_css_jscpasses forx86_64-pc-windows-msvc,aarch64-apple-darwin,x86_64-unknown-linux-muslandaarch64-unknown-linux-gnu.cargo clippy -p bun_csshas no finding.test/js/bun/css, the 5 oftest/bundler/css,css-system-color-contexts.test.ts,css-system-color-mix-crash.test.tsand the new lint.css-fuzz.test.tsandnested-selector-expansion.test.tshit their time limits in the debug build in this container (6 of 8 tests). Both pass with the release builds of main and of this PR.Measurements (linux-x64, AMD EPYC, glibc 2.41. Release builds of main 017b243 plus the probe rows, and of this PR at commit 3f02cd1 on the same base. Two later changes are not in these builds:
hypotlost one branch, andlog(x)calls thelnkernel)size). The math module is 2,310 bytes (nm -S).bloatyis not installed.bun_cssrlib has 13 undefined float names on main and 7 with this PR (cosf expf logf pow powf sinf tanf). Instructions inbun_csscode that reference a C library float function: 552 to 405 (objdump). The binary no longer importsacosf asinf atan2f atanf hypotf.asin,acos,atan,atan2orhypotmake 50,000 calls on main and 0 with this PR. 50,000log(x, base)folds: 100,000 to 0. 20,000oklch()rules:atan2f9,559 to 0,powf543,500 andsincosf89,671 as before.bun build --minify, from sheets of 200,000 and 400,000 declarations, one worker thread, minimum of 7 to 9 runs, user-space counters ofperf_event_open:atan218,823 to 18,774,acos15,697 to 15,688,asin15,100 to 15,093,atan15,527 to 15,516,hypot16,284 to 16,286,log(x, base)15,626 to 15,650, typedoklch()29,059 to 29,095, hex color 11,189 to 11,200.atan27,769 to 8,038 on main and 7,844 to 7,964 with this PR,acos6,625 and 6,663 against 6,563 and 6,557,oklch()12,279 to 12,582 against 11,703 to 11,793.asin39 to 105,acos41 to 108,atan59 to 78,atan277 to 90,hypot32 to 32,log(x, base)53 to 96,cbrt75 to 79. The owned functions divide and take a square root inf64. A fold declaration costs about 6,500 cycles, so this does not show above.log(x), measured at commit 2f90bd2: one call is 38 instructions and 34 cycles with glibc'slogf, and 68 instructions and 86 cycles with thelnkernel. Of 50,000 sampledlog(x)folds, main is not correctly rounded for 49 and this PR for 0. The printed text changes for 1 (.0897904to.0897905).valgrind,perfandhyperfineare not installed, so there is no cachegrind count and no wall-clock comparison.log(x, base). 0 of 120,000 lines of anoklch()sheet, 0 of 13,500Bun.colorresults, 30 of 30 outputs of the 15 stylesheets intest/js/bun/css/files.acos, 123asin, 42atanand 441atan2of 50,000 each (100,000 foratan2), 131 of them change betweendegandrad. 24 of 13,500Bun.colorresults. The 500log(x, base)folds.tansin,cos,tan, colors throughpowexp,log,powpow,sinandcos.rgb(from oklch(12.83% 0.399 253.8) r g b)is#00002dwith glibc and#00061awith the Windows libm, on main and with this PR.rgb(from oklch(35.42% 0.364 137.7) r g b)is#174800with glibc and#074a00with musl on main. With this PR it is#174800with both. But with a libm that returns the otherf32neighbour for half of the calls topow,sinandcos, it is#074a00in 105 of 300 runs. So no gamut row is in the tests.Self-review
disallowed-methodsas the guard: it is workspace-wide, and these methods are fine outside the CSS crates. The forbidden-import check of the binary: it covers ELF release lanes only. A scan forexterndeclarations of these names: none exists.pow: a fasterpowkernel, theBun.colorthroughput of thepowpath, tests for thepowarms, and the five.powi(2)incolor.rs.[human-review] gate passed · iteration 1 · 8 files touched
fails on main (without fix)
passes on PR (with fix)
diff hotspot
gate history · 1 passed · 0 rejected · iteration 1
evidence per changed file