Skip to content

x86_64: fix strictness edge cases in +|#25201

Merged
andrewrk merged 3 commits intoziglang:masterfrom
jacobly0:x86_64-addsat
Sep 18, 2025
Merged

x86_64: fix strictness edge cases in +|#25201
andrewrk merged 3 commits intoziglang:masterfrom
jacobly0:x86_64-addsat

Conversation

@jacobly0
Copy link
Member

@jacobly0 jacobly0 commented Sep 10, 2025

Closes #25145
Closes #25174

This instruction actually has fairly useless semantics, and even the
cases that were semantically correct could save 1 cycle of latency by
using a different sequnce involving the avx version instead.

Closes ziglang#25174
@andrewrk andrewrk merged commit 8e9f2f0 into ziglang:master Sep 18, 2025
14 checks passed
@jacobly0 jacobly0 deleted the x86_64-addsat branch September 18, 2025 08:54
alexrp pushed a commit that referenced this pull request Sep 18, 2025
x86_64: fix strictness edge cases in `+|`
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

miscomp of @min with vectors over 128-bits on self-hosted x86_64 Broken non-LLVM Saturating Add in pointer backed @Vector

2 participants