[all-commits] [llvm/llvm-project] 4cfbf8: [ValueTracking] Conservative NoSync check prevents...

[Kshitij Paranjape via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4cfbf8ec82cb7e6f06c3f382a1b4ec082bd42b18
      https://github.com/llvm/llvm-project/commit/4cfbf8ec82cb7e6f06c3f382a1b4ec082bd42b18
  Author: Kshitij Paranjape <kshitijvparanjape at gmail.com>
  Date:   2026-06-02 (Tue, 02 Jun 2026)

  Changed paths:
    M llvm/include/llvm/Analysis/ValueTracking.h
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Transforms/LoopVectorize/dereferenceable-info-from-assumption-constant-size.ll
    M llvm/test/Transforms/LoopVectorize/single-early-exit-deref-assumptions.ll
    M llvm/test/Transforms/SimplifyCFG/speculate-derefable-load.ll

  Log Message:
  -----------
  [ValueTracking] Conservative NoSync check prevents vectorization (#199002)

Conservative nosync check in ValueTracking.cpp returns false causing
potentially faulting load preventing vectorization. Instead check if any
instructions betweenAssume Instruction and Ctx Instruction are synchronizing.

Fixes #180180.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications