https://bugs.llvm.org/show_bug.cgi?id=31897
Florian Hahn <florian.h...@arm.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |FIXED
Fixed By Commit(s)| |r337507
CC| |efrie...@codeaurora.org,
| |florian.h...@arm.com
Status|NEW |RESOLVED
--- Comment #8 from Florian Hahn <florian.h...@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._______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
