[LLVMbugs] [Bug 22823] gvn incorrectly changing sign of floating point zero

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=22823

David Majnemer <david.majnemer at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |david.majnemer at gmail.com
         Resolution|---                         |WORKSFORME

--- Comment #1 from David Majnemer <david.majnemer at gmail.com> ---
I cannot reproduce with r231493:
Args: ~/llvm/Debug+Asserts/bin/opt -gvn pr22823.ll -S -o - -debug
-print-before=gvn 
*** IR Dump Before Global Value Numbering ***
define double @foo(double, double) {
top:
  %2 = fcmp une double %0, %1
  br i1 %2, label %L3, label %L1

L1:                                               ; preds = %top
  %3 = fcmp une double %1, 0.000000e+00
  br i1 %3, label %L3, label %L2

L2:                                               ; preds = %L1
  ret double %1

L3:                                               ; preds = %L1, %top
  %4 = fadd double %1, 1.000000e+00
  ret double %4
}
GVN iteration: 0
; ModuleID = 'pr22823.ll'

define double @foo(double, double) {
top:
  %2 = fcmp une double %0, %1
  br i1 %2, label %L3, label %L1

L1:                                               ; preds = %top
  %3 = fcmp une double %1, 0.000000e+00
  br i1 %3, label %L3, label %L2

L2:                                               ; preds = %L1
  ret double %1

L3:                                               ; preds = %L1, %top
  %4 = fadd double %1, 1.000000e+00
  ret double %4
}

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20150306/cbea008b/attachment.html>