[all-commits] [llvm/llvm-project] a51ad8: [OpenMP][FIX] Properly check assume only uses

[Johannes Doerfert via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a51ad873bfc9f3ccf7971efce4c5f0a543ee3d5a
      https://github.com/llvm/llvm-project/commit/a51ad873bfc9f3ccf7971efce4c5f0a543ee3d5a
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2023-01-31 (Tue, 31 Jan 2023)

  Changed paths:
    M llvm/lib/Transforms/IPO/AttributorAttributes.cpp
    M llvm/test/Transforms/Attributor/value-simplify-assume.ll
    M llvm/test/Transforms/Attributor/value-simplify-pointer-info.ll

  Log Message:
  -----------
  [OpenMP][FIX] Properly check assume only uses

We improved our simplification and this exposed a bug in the store
elimination. A load that had dead uses and assume uses was thought to be
used by assumes only. Consequently we also deleted the "dead use users".
This was a problem because a dead use just means we will not use the
load there. The user might still be needed.

Exposed by OvO, reported by @ye-luo.