[llvm] r277773 - [CloneFunction] Add a testcase for r277691/r277693

David Majnemer via llvm-commits llvm-commits at lists.llvm.org
Thu Aug 4 14:28:59 PDT 2016


Author: majnemer
Date: Thu Aug  4 16:28:59 2016
New Revision: 277773

URL: http://llvm.org/viewvc/llvm-project?rev=277773&view=rev
Log:
[CloneFunction] Add a testcase for r277691/r277693

PR28848 had a very nice reduction of the underlying cause of the bug.
Our ValueMap had, in an entry for an Instruction, a ConstantInt.

This is not at all unexpected but should be handled properly.

Modified:
    llvm/trunk/test/Transforms/Inline/inline_constprop.ll

Modified: llvm/trunk/test/Transforms/Inline/inline_constprop.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/Inline/inline_constprop.ll?rev=277773&r1=277772&r2=277773&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/Inline/inline_constprop.ll (original)
+++ llvm/trunk/test/Transforms/Inline/inline_constprop.ll Thu Aug  4 16:28:59 2016
@@ -301,3 +301,24 @@ entry:
 ; CHECK-LABEL: define i32 @PR28802(
 ; CHECK: call i32 @PR28802.external(i32 0)
 ; CHECK: ret i32 0
+
+define internal i32 @PR28848.callee(i32 %p2, i1 %c) {
+entry:
+  br i1 %c, label %cond.end, label %cond.true
+
+cond.true:
+  br label %cond.end
+
+cond.end:
+  %cond = phi i32 [ 0, %cond.true ], [ %p2, %entry ]
+  %or = or i32 %cond, %p2
+  ret i32 %or
+}
+
+define i32 @PR28848() {
+entry:
+  %call = call i32 @PR28848.callee(i32 0, i1 false)
+  ret i32 %call
+}
+; CHECK-LABEL: define i32 @PR28848(
+; CHECK: ret i32 0




More information about the llvm-commits mailing list