BSD Commit Log Search

[ELF,test] Modernize --retain-symbols-file tests (#209062)

Switch to llvm-readelf, compact FileCheck directives, and
split-file-style naming. Prepares for a --retain-symbols-file behavior
change.

[SLP] Fix miscompile from truncating signed icmp constant

getActiveBits() ignores sign, so a positive constant needing the
narrower type's top bit was truncated to a negative value. Use
getSignificantBits() for signed comparisons.

Fixes #209010

Reviewers: 

Pull Request: https://github.com/llvm/llvm-project/pull/209061

[SLP][NFC]Add a test with the incorrect const trunc in signed compare, NFC



Reviewers: 

Pull Request: https://github.com/llvm/llvm-project/pull/209059

[test] Add REQUIRES: aarch64 (#209058)

[SCEV,GVN] Add additional ptrtoaddr tests (NFC) (#209049)

Extend test coverage with files with mixied ptrtoaddr/ptrtoint, as well
as wide pointers.

Extra test coverage for
https://github.com/llvm/llvm-project/pull/180244.

[VPlan] Handle AtomicRMW/AtomicCmpXchg/Fence in outer loop creation. (#209031)

Teach VPInstruction::getNumOperandsForOpcode about AtomicRMW,
AtomicCmpXchg and Fence, so VPlan construction over an outer loop that
still contains these operations does not crash before later legality
rejects the loop.

Fixes crashes in the added tests.

[AArch64] Add an OPERAND_IMM_UINT5 operand type. (#209057)

This helps verify that certain operands are in the correct range, in
this case
0-31.

[VPlan] Add strided access test with disjoint or. (NFC) (#209051)

Currently this is missed by VPlan SCEV due to disjoint OR not being
handled.

fix

Created using spr 1.3.7

[𝘀𝗽𝗿] changes to main this commit is based on

Created using spr 1.3.7

[skip ci]

[𝘀𝗽𝗿] initial version

Created using spr 1.3.7

[LAA] Bail out of dependence analysis when distance exceeds 64 bits. (#209052)

isDependent extracts the dependence distance into 64 bit integers.

Bail out conservatively when the constant distance or the signed minimum
distance needs more than 64 bits.

[𝘀𝗽𝗿] changes to main this commit is based on

Created using spr 1.3.7

[skip ci]

[𝘀𝗽𝗿] initial version

Created using spr 1.3.7

fix

Created using spr 1.3.7

[AArch64] Add an OPERAND_IMM_UINT8 operand type. (#209050)

This helps verify that certain operands are in the correct range, in
this case
0-255.

fix

Created using spr 1.3.7

[SLP] Drop nuw when add/sub interchange negates a nonzero constant

sub nuw X, C requires X u>= C, but add nuw X, -C requires X u< C, so
nuw must always be dropped on interchange.

Fixes #209023

Reviewers: 

Pull Request: https://github.com/llvm/llvm-project/pull/209047

[𝘀𝗽𝗿] changes to main this commit is based on

Created using spr 1.3.7

[skip ci]

[𝘀𝗽𝗿] initial version

Created using spr 1.3.7

[SLP][NFC]Add a test with incorrect nuw propagation in add/sub vectorization, NFC



Reviewers: 

Pull Request: https://github.com/llvm/llvm-project/pull/209045

[𝘀𝗽𝗿] initial version

Created using spr 1.3.7

[𝘀𝗽𝗿] changes to main this commit is based on

Created using spr 1.3.7

[skip ci]

fix

Created using spr 1.3.7

[llvm][HTTP] Increase request handler sleep (#209038)

Fixup for
https://github.com/llvm/llvm-project/pull/188969#issuecomment-4952185708.
The issue is likely the same as I described in
https://github.com/llvm/llvm-project/pull/192061#issuecomment-4926882131
where WinHTTP doesn't time out immediately but adds some delay. The fix
here is to increase the sleep in the mock server.

[𝘀𝗽𝗿] initial version

Created using spr 1.3.7

[𝘀𝗽𝗿] changes to main this commit is based on

Created using spr 1.3.7

[skip ci]

[ELF] --discard-{locals,all}: mark local symbols referenced by retained non-SHF_ALLOC sections (#209042)

With --gc-sections, mark() does not scan relocations of retained
non-SHF_ALLOC sections, so local symbols referenced only by such
sections (e.g. .L symbols in .debug_str_offsets referenced by
.debug_info) do not get the USED flag.

-r/--emit-relocs with --discard-{locals,all} would discard the symbols
and rewrite relocations to reference the null symbol, corrupting DWARF
in the output. This is common on RISC-V, where
RISCVELFObjectWriter::needsRelocateWithSymbol returns true, but is also
possible on other targets with --reloc-section-sym=none.

Call markUsedLocalSymbols from the retention loop (introduced by
#209035)
to set the flag.

Fix #160789

[SLP] Fix miscompile from unsafe operand-order normalization

IsCommutative(MainOp) is also true for a Sub/FSub feeding only
fabs/icmp-eq-0, but that doesn't make every lane swappable: a
converted Add/FAdd lane's operand order is fixed to preserve its
value, and swapping it into a native Sub/FSub's layout negates it.
Re-check each lane before swapping instead of trusting MainOp's.

Fixes #208944

Reviewers: 

Pull Request: https://github.com/llvm/llvm-project/pull/209041

[𝘀𝗽𝗿] changes to main this commit is based on

Created using spr 1.3.7

[skip ci]