; RUN: opt < %s -deadargelim -die -S > %t | |
; RUN: cat %t | not grep DEAD | |
; RUN: cat %t | grep LIVE | count 4 | |
@P = external global i32 ; <i32*> [#uses=1] | |
; Dead arg only used by dead retval | |
define internal i32 @test(i32 %DEADARG) { | |
ret i32 %DEADARG | |
} | |
define internal i32 @test2(i32 %DEADARG) { | |
%DEADRETVAL = call i32 @test( i32 %DEADARG ) ; <i32> [#uses=1] | |
ret i32 %DEADRETVAL | |
} | |
define void @test3(i32 %X) { | |
%DEADRETVAL = call i32 @test2( i32 %X ) ; <i32> [#uses=0] | |
ret void | |
} | |
define internal i32 @foo() { | |
%DEAD = load i32* @P ; <i32> [#uses=1] | |
ret i32 %DEAD | |
} | |
define internal i32 @id(i32 %X) { | |
ret i32 %X | |
} | |
define void @test4() { | |
%DEAD = call i32 @foo( ) ; <i32> [#uses=1] | |
%DEAD2 = call i32 @id( i32 %DEAD ) ; <i32> [#uses=0] | |
ret void | |
} | |
; These test if returning another functions return value properly marks that | |
; other function's return value as live. We do this twice, with the functions in | |
; different orders (ie, first the caller, than the callee and first the callee | |
; and then the caller) since DAE processes functions one by one and handles | |
; these cases slightly different. | |
define internal i32 @test5() { | |
ret i32 123 | |
} | |
define i32 @test6() { | |
%LIVE = call i32 @test5() | |
ret i32 %LIVE | |
} | |
define i32 @test7() { | |
%LIVE = call i32 @test8() | |
ret i32 %LIVE | |
} | |
define internal i32 @test8() { | |
ret i32 124 | |
} |