[all-commits] [llvm/llvm-project] aa6bb1: [CVP] Add test for #76705 (NFC)

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: aa6bb1697f2ef0881ae11cd5351d980fc98a4a14
      https://github.com/llvm/llvm-project/commit/aa6bb1697f2ef0881ae11cd5351d980fc98a4a14
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2024-01-02 (Tue, 02 Jan 2024)

  Changed paths:
    M llvm/test/Transforms/CorrelatedValuePropagation/basic.ll

  Log Message:
  -----------
  [CVP] Add test for #76705 (NFC)


  Commit: d5db2cdb22ab302acbb6e1a066e791f25dc612de
      https://github.com/llvm/llvm-project/commit/d5db2cdb22ab302acbb6e1a066e791f25dc612de
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2024-01-02 (Tue, 02 Jan 2024)

  Changed paths:
    M llvm/lib/Analysis/LazyValueInfo.cpp
    M llvm/test/Transforms/CorrelatedValuePropagation/basic.ll

  Log Message:
  -----------
  [LVI] Don't push both binop operands at once

If one of the binop operands depends on the other, this may end
up evaluating them in the wrong order, producing sub-optimal
results.

Make sure that only one unevaluated operand gets pushed per
iteration.

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


Compare: https://github.com/llvm/llvm-project/compare/ac8b53fc9232...d5db2cdb22ab