← Back to branch summary

~ubuntu-branches/ubuntu/quantal/llvm-3.1/quantal

« back to all changes in this revision

Viewing changes to test/Transforms/ScalarRepl/2008-06-05-loadstore-agg.ll

  • Committer: Package Import Robot
  • Author(s): Sylvestre Ledru
  • Date: 2012-03-29 19:09:51 UTC
  • Revision ID: package-import@ubuntu.com-20120329190951-aq83ivog4cg8bxun
Tags: upstream-3.1~svn153643
Import upstream version 3.1~svn153643

Show diffs side-by-side

added added

removed removed

Lines of Context:
test/Transforms/ScalarRepl/2008-06-05-loadstore-agg.ll
 
1
; This test shows an alloca of a struct and an array that can be reduced to
 
2
; multiple variables easily. However, the alloca is used by a store
 
3
; instruction, which was not possible before aggregrates were first class
 
4
; values. This checks of scalarrepl splits up the struct and array properly.
 
5
 
 
6
; RUN: opt < %s -scalarrepl -S | not grep alloca
 
7
target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64"
 
8
 
 
9
define i32 @foo() {
 
10
        %target = alloca { i32, i32 }           ; <{ i32, i32 }*> [#uses=1]
 
11
        ; Build a first class struct to store
 
12
        %res1 = insertvalue { i32, i32 } undef, i32 1, 0                ; <{ i32, i32 }> [#uses=1]
 
13
        %res2 = insertvalue { i32, i32 } %res1, i32 2, 1                ; <{ i32, i32 }> [#uses=1]
 
14
        ; And store it
 
15
        store { i32, i32 } %res2, { i32, i32 }* %target
 
16
        ; Actually use %target, so it doesn't get removed altogether
 
17
        %ptr = getelementptr { i32, i32 }* %target, i32 0, i32 0
 
18
        %val = load i32* %ptr
 
19
        ret i32 %val
 
20
}
 
21
 
 
22
define i32 @bar() {
 
23
        %target = alloca [ 2 x i32 ]            ; <{ i32, i32 }*> [#uses=1]
 
24
        ; Build a first class array to store
 
25
        %res1 = insertvalue [ 2 x i32 ] undef, i32 1, 0         ; <{ i32, i32 }> [#uses=1]
 
26
        %res2 = insertvalue [ 2 x i32 ] %res1, i32 2, 1         ; <{ i32, i32 }> [#uses=1]
 
27
        ; And store it
 
28
        store [ 2 x i32 ] %res2, [ 2 x i32 ]* %target
 
29
        ; Actually use %target, so it doesn't get removed altogether
 
30
        %ptr = getelementptr [ 2 x i32 ]* %target, i32 0, i32 0
 
31
        %val = load i32* %ptr
 
32
        ret i32 %val
 
33
}