[all-commits] [llvm/llvm-project] c41da1: [tests] precommit tests for ValueTracking

[Allen via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c41da1457051f239b153b798017938ce8e3d2405
      https://github.com/llvm/llvm-project/commit/c41da1457051f239b153b798017938ce8e3d2405
  Author: zhongyunde 00443407 <zhongyunde at huawei.com>
  Date:   2024-08-06 (Tue, 06 Aug 2024)

  Changed paths:
    A llvm/test/Transforms/InstSimplify/select-icmp.ll

  Log Message:
  -----------
  [tests] precommit tests for ValueTracking

x-y+1 is positive when x > y, so abs (x-y+1) --> x-y+1

Fixes https://github.com/llvm/llvm-project/issues/54735


  Commit: 30237130145d33be18ffa85b2145110c09d6cb1f
      https://github.com/llvm/llvm-project/commit/30237130145d33be18ffa85b2145110c09d6cb1f
  Author: zhongyunde 00443407 <zhongyunde at huawei.com>
  Date:   2024-08-06 (Tue, 06 Aug 2024)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Transforms/InstSimplify/select-icmp.ll

  Log Message:
  -----------
  [ValueTracking] Infer relationship for the select with ICmp

x -nsw y < -C is false when x > y and C >= 0
Alive2 proof for sgt, sge : https://alive2.llvm.org/ce/z/tupvfi
Note: It only really makes sense in the context of signed comparison for
      "X - Y must be positive if X >= Y and no overflow".

Fixes https://github.com/llvm/llvm-project/issues/54735


  Commit: 2bd568feccff9760938849e79289af67c3e6c231
      https://github.com/llvm/llvm-project/commit/2bd568feccff9760938849e79289af67c3e6c231
  Author: zhongyunde 00443407 <zhongyunde at huawei.com>
  Date:   2024-08-06 (Tue, 06 Aug 2024)

  Changed paths:
    M llvm/lib/Analysis/ValueTracking.cpp
    M llvm/test/Transforms/InstSimplify/select-icmp.ll

  Log Message:
  -----------
  [ValueTracking] Infer relationship for the select with SLT


Compare: https://github.com/llvm/llvm-project/compare/fbee8d5a65de...2bd568feccff

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