[PATCH] D116952: [ConstantFolding] Respect denormal handling mode attributes when folding instructions

[ChenZheng via Phabricator via llvm-commits]

shchenz added a comment.

  define zeroext i1 @foo() #0 {
    %_add = fadd fast double 1.264810e-321, 3.789480e-321
    %_res = fcmp fast une double %_add, 5.054290e-321
    ret i1 %_res
  }
  
  attributes #0 = { "denormal-fp-math"="positive-zero" }

llc 1.ll -mtriple=powerpc64le-unknown-linux-gnu

  Hi, this patch causes mis-compile for above case, now `%_res` is true while before this patch it is false. We can not handle the denormal constantFP in fcmp? Will the denormal constantFP be in other opcodes as well?
  
  Thanks.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D116952