[llvm-bugs] [Bug 31897] Wrong code bug in ipsccp

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=31897

Florian Hahn <Florian.Hahn at arm.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
 Fixed By Commit(s)|                            |r337507
                 CC|                            |efriedma at codeaurora.org,
                   |                            |Florian.Hahn at arm.com
             Status|NEW                         |RESOLVED

--- Comment #8 from Florian Hahn <Florian.Hahn at arm.com> ---
The test case now produces, with the return value of foo properly propagated to
the store. https://reviews.llvm.org/rL337507 fixed a set of issues related to
markForcedConstant on undef branch values, including  call return value
inference.



source_filename = "test.ll"

%rec = type { i32 }

@g1 = global %rec zeroinitializer
@g2 = global %rec* null

define internal %rec* @foo(%rec %par) {
  br i1 false, label %bar, label %bar

bar:                                              ; preds = %0, %0
  ret %rec* undef
}

define void @gaz() {
  %1 = call %rec* @foo(%rec undef)
  store %rec* @g1, %rec** @g2
  ret void
}

-- 
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/20180828/7f6bea6f/attachment.html>