[all-commits] [llvm/llvm-project] d48d10: [Attributor][FIX] Replace AANoFPClass MBEC propaga...

[Johannes Doerfert via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d48d108bc66adb31185ee023e1eb0ccdda2065c1
      https://github.com/llvm/llvm-project/commit/d48d108bc66adb31185ee023e1eb0ccdda2065c1
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2024-06-03 (Mon, 03 Jun 2024)

  Changed paths:
    M llvm/include/llvm/Transforms/IPO/Attributor.h
    M llvm/lib/Transforms/IPO/AttributorAttributes.cpp
    M llvm/test/Transforms/Attributor/nofpclass-arithmetic-fence.ll
    M llvm/test/Transforms/Attributor/nofpclass-canonicalize.ll
    M llvm/test/Transforms/Attributor/nofpclass-ceil.ll
    M llvm/test/Transforms/Attributor/nofpclass-copysign.ll
    M llvm/test/Transforms/Attributor/nofpclass-exp.ll
    M llvm/test/Transforms/Attributor/nofpclass-fdiv.ll
    M llvm/test/Transforms/Attributor/nofpclass-floor.ll
    M llvm/test/Transforms/Attributor/nofpclass-fma.ll
    M llvm/test/Transforms/Attributor/nofpclass-fpext.ll
    M llvm/test/Transforms/Attributor/nofpclass-fptrunc.ll
    M llvm/test/Transforms/Attributor/nofpclass-frem.ll
    M llvm/test/Transforms/Attributor/nofpclass-frexp.ll
    M llvm/test/Transforms/Attributor/nofpclass-implied-by-fcmp.ll
    M llvm/test/Transforms/Attributor/nofpclass-ldexp.ll
    M llvm/test/Transforms/Attributor/nofpclass-log.ll
    M llvm/test/Transforms/Attributor/nofpclass-minimum-maximum.ll
    M llvm/test/Transforms/Attributor/nofpclass-minnum-maxnum.ll
    M llvm/test/Transforms/Attributor/nofpclass-nan-fmul.ll
    M llvm/test/Transforms/Attributor/nofpclass-nearbyint.ll
    M llvm/test/Transforms/Attributor/nofpclass-powi.ll
    M llvm/test/Transforms/Attributor/nofpclass-rint.ll
    M llvm/test/Transforms/Attributor/nofpclass-round.ll
    M llvm/test/Transforms/Attributor/nofpclass-roundeven.ll
    M llvm/test/Transforms/Attributor/nofpclass-select.ll
    M llvm/test/Transforms/Attributor/nofpclass-sin-cos.ll
    M llvm/test/Transforms/Attributor/nofpclass-sqrt.ll
    M llvm/test/Transforms/Attributor/nofpclass-trunc.ll
    M llvm/test/Transforms/Attributor/nofpclass-uses-to-defs.ll
    M llvm/test/Transforms/Attributor/nofpclass.ll
    M llvm/test/Transforms/Attributor/nofree.ll
    M llvm/test/Transforms/Attributor/nosync.ll
    M llvm/test/Transforms/Attributor/willreturn.ll

  Log Message:
  -----------
  [Attributor][FIX] Replace AANoFPClass MBEC propagation (#91030)

The old use of must-be-executed-context (MBEC) did propagate
through calls even if that was not allowed. We now only propagate from
call site arguments. If there are calls/intrinsics that allows
propagation, we need to add them explicitly.

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

---------

Co-authored-by: Matt Arsenault <arsenm2 at gmail.com>



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