[PATCH] D111450: [FPEnv][InstSimplify] Fold fadd X, 0 ==> X, when we know X is not -0

[Sanjay Patel via Phabricator via llvm-commits]

spatel added inline comments.


================
Comment at: llvm/test/Transforms/InstSimplify/strictfp-fadd.ll:287
 ;
   %add = call nsz nnan float @llvm.experimental.constrained.fadd.f32(float %a, float 0.0, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
   ret float %add
----------------
Don't we want a test without `nnan` where exceptions are ignored but is not the default FP env?

Ie, this should fold?
  %add = call nsz float @llvm.experimental.constrained.fadd.f32(float %a, float 0.0, metadata !"round.downward", metadata !"fpexcept.ignore") #0



Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D111450/new/

https://reviews.llvm.org/D111450