[all-commits] [llvm/llvm-project] 7f06d8: [SCEV] Retain SCEVSequentialMinMaxExpr if an opera...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 7f06d8afb03383dea33379f9c06d010d6ee3f14e
      https://github.com/llvm/llvm-project/commit/7f06d8afb03383dea33379f9c06d010d6ee3f14e
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2024-10-14 (Mon, 14 Oct 2024)

  Changed paths:
    M llvm/include/llvm/Analysis/ScalarEvolution.h
    M llvm/include/llvm/Analysis/ScalarEvolutionExpressions.h
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/test/Analysis/ScalarEvolution/umin-seq-operand-may-trigger-ub.ll
    M llvm/test/Transforms/LoopVectorize/trip-count-expansion-may-introduce-ub.ll

  Log Message:
  -----------
  [SCEV] Retain SCEVSequentialMinMaxExpr if an operand may trigger UB. (#110824)

Retain SCEVSequentialMinMaxExpr if an operand may trigger UB, e.g. if
there is an UDiv operand that may divide by 0 or poison

PR: https://github.com/llvm/llvm-project/pull/110824



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