[all-commits] [llvm/llvm-project] 93a0ff: [profile] Update test to make condition non-redund...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 93a0ff232849b22278945a06ef9c84cf404c1074
      https://github.com/llvm/llvm-project/commit/93a0ff232849b22278945a06ef9c84cf404c1074
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2023-01-05 (Thu, 05 Jan 2023)

  Changed paths:
    M compiler-rt/test/profile/Linux/counter_promo_for.c
    M compiler-rt/test/profile/Linux/counter_promo_while.c

  Log Message:
  -----------
  [profile] Update test to make condition non-redundant.

The tests contain a redundant condition in the else if branch that can
be simplified with fb13dcf3431c.

Update the condition used to prevent it from getting removed.

Alive2 proof for check removal:
https://alive2.llvm.org/ce/z/iFBnsy