[PATCH] D103634: [Constants][PowerPC] Check exactlyValue for ppc_fp128 in isNullValue

[Jinsong Ji via Phabricator via llvm-commits]

jsji updated this revision to Diff 349664.
jsji added a comment.

Use isExactlyValue() for all floating-point types.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D103634

Files:
  llvm/lib/IR/Constants.cpp
  llvm/test/CodeGen/PowerPC/ppc_fp128-bcwriter.ll


Index: llvm/test/CodeGen/PowerPC/ppc_fp128-bcwriter.ll
===================================================================
--- llvm/test/CodeGen/PowerPC/ppc_fp128-bcwriter.ll
+++ llvm/test/CodeGen/PowerPC/ppc_fp128-bcwriter.ll
@@ -1,7 +1,7 @@
 ; RUN: llvm-as < %s -o - | llvm-dis - | FileCheck %s
 
 ;CHECK-LABEL: main
-;CHECK: store ppc_fp128 0xM0000000000000000000000000000000
+;CHECK: store ppc_fp128 0xM0000000000000000FFFFFFFFFFFFFFFF
 
 define i32 @main() local_unnamed_addr {
 _main_entry:
Index: llvm/lib/IR/Constants.cpp
===================================================================
--- llvm/lib/IR/Constants.cpp
+++ llvm/lib/IR/Constants.cpp
@@ -90,7 +90,9 @@
 
   // +0.0 is null.
   if (const ConstantFP *CFP = dyn_cast<ConstantFP>(this))
-    return CFP->isZero() && !CFP->isNegative();
+    // ppc_fp128 determine isZero using high order double only
+    // Should check the bitwise value to make sure all bits are zero.
+    return CFP->isExactlyValue(+0.0);
 
   // constant zero is zero for aggregates, cpnull is null for pointers, none for
   // tokens.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D103634.349664.patch
Type: text/x-patch
Size: 1078 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210603/61d3d77a/attachment.bin>