[GlobalISel] Add `or_and_xor_to_or` pattern from SelectionDAG (#201108)
This PR adds the `fold (or (and X, (xor Y, -1)), Y) -> (or X, Y)`
pattern from SelectionDAG to GlobalISel.
---------
Co-authored-by: Matt Arsenault <arsenm2 at gmail.com>
[NFC][SpecialCaseList] Introduce Matcher::matchInternal helper (#203097)
Extract the core matching logic (std::visit on the variant) from
Matcher::match
into a private Matcher::matchInternal helper method. This is a
preparation step
for implementing warning logic that will need to call the matching logic
multiple times.
Also make Matcher's M and Options member variables private as part of
this
refactoring.
Assisted-by: Gemini
[NFC][SpecialCaseList] Introduce QueryOptions struct (#203098)
Refactor the RemoveDotSlash boolean parameter into a QueryOptions
struct.
This struct will hold all matching options and simplifies the Matcher
constructor signature. This is a preparation step for adding more
options
in subsequent patches.
Assisted-by: Gemini
[flang][acc] Add tests for implicit `acc declare` of type descriptors (#203100)
Adds 4 tests to cover different cases which requires implicit `acc
declare` for type descriptors.
[CIR] NFC: Address byval review feedback in CallConvLowering
Second-pass review cleanup on the byval/byref argument lowering in
CIRABIRewriteContext, no functional change.
updateArgAttrs now builds its attributes through an mlir::Builder, so the
arg-attr construction reads as getNamedAttr / getI64IntegerAttr /
getUnitAttr instead of spelling out StringAttr::get and the IntegerType
plumbing by hand; the Extend branch loses its empty-vs-nonempty special
case since the append path handles both. The llvm.byval / llvm.byref
comment now says why the pointee type is carried explicitly: it is a
typed attribute and the type cannot be recovered from the opaque LLVM
pointer after lowering.
insertArgCoercion gains an early continue for the classifications that
need no entry-block fixup (Extend, Ignore, and Direct without coercion),
so the remaining if/else covers exactly the two cases that do work
(Direct-with-coercion and Indirect) with no silent do-nothing branch.
[3 lines not shown]
[NFC][Support] Define Prefix/SuffixMetacharacters constants (#202850)
Extract literal metacharacter strings used in GlobPattern into static
constexpr arrays to improve consistency and maintainability.
Assisted-by: Gemini
[libc][math] Add isnanf128 (#199206)
## Summary
- Add a fputil-based isnanf128 implementation and wire it into libc math
entrypoints, public math header generation, and shared math wrappers.
- Add smoke test coverage for float128 NaN classification and shared
math runtime/constexpr coverage.
Part of #195400
---------
Signed-off-by: Vedant Neve <vedantneve13 at gmail.com>
[CIR] NFC: Extract rewriteIndirectReturnCall helper
The sret call-site rewrite was a large block inside rewriteCallSite.
Move it into a dedicated rewriteIndirectReturnCall helper in the
anonymous namespace, leaving rewriteCallSite to dispatch to it when the
return is indirect.
Pure code motion: the Indirect-and-has-result guard stays at the call
site (the moved block dereferences the call result, so the guard cannot
fold into the helper), and the helper derives its MLIR context from the
call. No behavior change.
[CIR] Lower pointer const_array globals without insertvalue chains (#198427)
`cir.global` initializers that are `const_array` of `global_view` (no
indices) or null pointers were lowered through an initializer region
full of `llvm.insertvalue` ops even though the elements are all
attribute-representable. That forced the O(N²) MLIR-to-LLVM IR path
on large tables (SPEC CPU 2026 `gcc/insn-automata.cc`).
When `lowerConstArrayAttr` can build the whole initializer, emit the
global with one aggregate attribute instead. String literals with
`trailing_zeros` are padded into `DenseElementsAttr` so C string tables
take the same bulk path. Indexed `global_view`, `#cir.zero` arrays, and
other non-bulk cases still use the insertvalue path.
MLIR prerequisite
[#198424](https://github.com/llvm/llvm-project/pull/198424) is merged on
`main`; this branch is rebased and CIR-only.
---------
Co-authored-by: Claude Sonnet 4.6 <noreply at anthropic.com>
