[all-commits] [llvm/llvm-project] de6a83: [Loads] Add tests for proving deref with assumes a...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: de6a83257c788731e1c8fadf36b7de2a3a433908
      https://github.com/llvm/llvm-project/commit/de6a83257c788731e1c8fadf36b7de2a3a433908
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2025-09-01 (Mon, 01 Sep 2025)

  Changed paths:
    A llvm/test/Transforms/LoopVectorize/dereferenceable-info-from-assumption-constant-size-needs-loop-guards.ll

  Log Message:
  -----------
  [Loads] Add tests for proving deref with assumes and loop guards.

Extra test coverage for using loop guards when reasoning about
dereferenceability with assumes.



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