[all-commits] [llvm/llvm-project] 754c2b: [SCEV][NFC] Precommit tests for MatchRangeCheckIdi...

[Aleksandr Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 754c2bc62d1db7af5e65fe707705606d5482c61e
      https://github.com/llvm/llvm-project/commit/754c2bc62d1db7af5e65fe707705606d5482c61e
  Author: Aleksandr Popov <42888396+aleks-tmb at users.noreply.github.com>
  Date:   2026-07-21 (Tue, 21 Jul 2026)

  Changed paths:
    M llvm/test/Analysis/ScalarEvolution/max-backedge-taken-count-guard-info.ll

  Log Message:
  -----------
  [SCEV][NFC] Precommit tests for MatchRangeCheckIdiom through zext (#210978)

'zext(X - 1) ult C'  =>  'X in [1, C+1)'; 
also ugt case (wrapping range)

Alive2 proof: https://alive2.llvm.org/ce/z/zcdv_2



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