RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-01-18 01:35:44 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Add a basic test for the SRETPromotion pass.

Browse Source 
llvm-svn: 54466
This commit is contained in:
Matthijs Kooijman 2008-08-07 15:55:18 +00:00
parent 7f32ea1320
commit cb2af3cd69
1 changed files with 33 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

33
test/Transforms/SRETPromotion/basictest.ll Normal file
View File

@ -0,0 +1,33 @@
; RUN: llvm-as < %s | opt -sretpromotion | llvm-dis > %t
; RUN: cat %t | grep sret | count 1
; This function is promotable
define internal void @promotable({i32, i32}* sret %s) {
%A = getelementptr {i32, i32}* %s, i32 0, i32 0
store i32 0, i32* %A
%B = getelementptr {i32, i32}* %s, i32 0, i32 0
store i32 1, i32* %B
ret void
}
; This function is not promotable (due to it's use below)
define internal void @notpromotable({i32, i32}* sret %s) {
%A = getelementptr {i32, i32}* %s, i32 0, i32 0
store i32 0, i32* %A
%B = getelementptr {i32, i32}* %s, i32 0, i32 0
store i32 1, i32* %B
ret void
}
define void @caller({i32, i32}* %t) {
%s = alloca {i32, i32}
call void @promotable({i32, i32}* %s)
%A = getelementptr {i32, i32}* %s, i32 0, i32 0
%a = load i32* %A
%B = getelementptr {i32, i32}* %s, i32 0, i32 0
%b = load i32* %B
; This passes in something that's not an alloca, which makes the argument not
; promotable
call void @notpromotable({i32, i32}* %t)
ret void
}