[LLVMbugs] [Bug 16258] New: fadd with undef not folded

[bugzilla-daemon at llvm.org]

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

            Bug ID: 16258
           Summary: fadd with undef not folded
           Product: new-bugs
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: new bugs
          Assignee: unassignedbugs at nondot.org
          Reporter: baldrick at free.fr
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

Testcase:

define double @sm(double %x) {
  %tmp = fadd double %x, undef
  ret double %tmp
}

define double @fm(double %x) {
  %tmp = fadd fast double %x, undef
  ret double %tmp
}

Instcombine doesn't fold this, not even the fast-math version:

$ opt -instcombine math-fold.ll -S -o -
; ModuleID = 'math-fold.ll'

define double @sm(double %x) {
  %tmp = fadd double %x, undef
  ret double %tmp
}

define double @fm(double %x) {
  %tmp = fadd fast double %x, undef
  ret double %tmp
}

-- 
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/20130607/69cfe460/attachment.html>