improve IPSCCP to be able to propagate the result of "!mayBeOverridden"

function to calls of that function, regardless of whether it has local
linkage or has its address taken.  Not escaping should only affect 
whether we make an aggressive assumption about the arguments to a 
function, not whether we can track the result of it.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@85795 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner
2009-11-02 07:33:59 +00:00
parent 580e791ded
commit 12c8d5f5fe
2 changed files with 63 additions and 36 deletions
+14
View File
@@ -134,3 +134,17 @@ define internal i64 @test5c({i64,i64} %a) {
ret i64 %b
}
;;======================== test6
define i64 @test6a() {
ret i64 0
}
define i64 @test6b() {
%a = call i64 @test6a()
ret i64 %a
}
; CHECK: define i64 @test6b
; CHECK: ret i64 0