Skip to content

merge main into amd-staging#960

Merged
z1-cciauto merged 13 commits intoamd-stagingfrom
upstream_merge_202512291017
Dec 29, 2025
Merged

merge main into amd-staging#960
z1-cciauto merged 13 commits intoamd-stagingfrom
upstream_merge_202512291017

Conversation

@z1-cciauto
Copy link
Collaborator

No description provided.

Keenuts and others added 13 commits December 29, 2025 13:12
Unparsed HLSL semantics have 2 int/bool arguments with default values.
Those values are loaded using checkUInt32Argument, and thus this should
never fail.

But if something is wrong in the code above (or the def changed), this
code wouldn't catch it and we'd read uninitialized integers. This
commits checks both return values and assert if one fails. On release
builds, this would early return, causing a bad codegen, but such change
will be caught by tests.
…lvm#173849)

The masking rewrite in `foldBitCeil` assumes a power-of-two bitwidth.

For non-power-of-two integer types, `(-ctlz) & (BitWidth - 1)` is not
equivalent to `BitWidth - ctlz` and can miscompile.

This patch restricts the transform to power-of-two bitwidths. 

Alive2 proof: https://alive2.llvm.org/ce/z/i2E6zT

Fixes llvm#173787
…th `bool` operands in C23 (llvm#171070)

Closes [llvm#170596](llvm#170596)

---------

Co-authored-by: EugeneZelenko <eugene.zelenko@gmail.com>
Co-authored-by: Baranov Victor <bar.victor.2002@gmail.com>
…73429)

This is already handled, but misses opportunities. Test cases
where the input is known positive or negative.
…73430)

Teach exp handling that positive inputs cannot introduce overflow,
and negative inputs cannot introduce underflow.
…73432)

I'm working on optimizing out the tail sequences in the
implementations of the 4 different flavors of pow. These
include chains of selects on the various edge cases.

Related to llvm#64870
@z1-cciauto z1-cciauto requested a review from a team December 29, 2025 15:17
@z1-cciauto
Copy link
Collaborator Author

@z1-cciauto z1-cciauto merged commit 8fa6031 into amd-staging Dec 29, 2025
11 checks passed
@z1-cciauto z1-cciauto deleted the upstream_merge_202512291017 branch December 29, 2025 18:08
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.

10 participants