Forbid arrays of function-type and structures with function-typed fields.
[llvm/avr.git] / test / Transforms / GlobalOpt / 2008-02-16-NestAttr.ll
blob0e70c49adf14fda1fcc91743c444cc6c83e4a633
1 ; RUN: opt < %s -globalopt -S | grep { nest } | count 1
2         %struct.FRAME.nest = type { i32, i32 (i32)* }
3         %struct.__builtin_trampoline = type { [10 x i8] }
4 @.str = internal constant [7 x i8] c"%d %d\0A\00"               ; <[7 x i8]*> [#uses=1]
6 define i32 @process(i32 (i32)* %func) nounwind  {
7 entry:
8         %tmp2 = tail call i32 %func( i32 1 ) nounwind           ; <i32> [#uses=1]
9         ret i32 %tmp2
12 define internal fastcc i32 @g.1478(%struct.FRAME.nest* nest  %CHAIN.1, i32 %m) nounwind  {
13 entry:
14         %tmp3 = getelementptr %struct.FRAME.nest* %CHAIN.1, i32 0, i32 0                ; <i32*> [#uses=1]
15         %tmp4 = load i32* %tmp3, align 4                ; <i32> [#uses=1]
16         %tmp7 = icmp eq i32 %tmp4, %m           ; <i1> [#uses=1]
17         %tmp78 = zext i1 %tmp7 to i32           ; <i32> [#uses=1]
18         ret i32 %tmp78
21 define internal i32 @f.1481(%struct.FRAME.nest* nest  %CHAIN.2, i32 %m) nounwind  {
22 entry:
23         %tmp4 = tail call fastcc i32 @g.1478( %struct.FRAME.nest* nest  %CHAIN.2, i32 %m ) nounwind             ; <i32> [#uses=1]
24         %tmp6 = getelementptr %struct.FRAME.nest* %CHAIN.2, i32 0, i32 0                ; <i32*> [#uses=1]
25         %tmp7 = load i32* %tmp6, align 4                ; <i32> [#uses=1]
26         %tmp9 = icmp eq i32 %tmp4, %tmp7                ; <i1> [#uses=1]
27         %tmp910 = zext i1 %tmp9 to i32          ; <i32> [#uses=1]
28         ret i32 %tmp910
31 define i32 @nest(i32 %n) nounwind  {
32 entry:
33         %TRAMP.316 = alloca [10 x i8]           ; <[10 x i8]*> [#uses=1]
34         %FRAME.0 = alloca %struct.FRAME.nest            ; <%struct.FRAME.nest*> [#uses=3]
35         %TRAMP.316.sub = getelementptr [10 x i8]* %TRAMP.316, i32 0, i32 0              ; <i8*> [#uses=1]
36         %tmp3 = getelementptr %struct.FRAME.nest* %FRAME.0, i32 0, i32 0                ; <i32*> [#uses=1]
37         store i32 %n, i32* %tmp3, align 8
38         %FRAME.06 = bitcast %struct.FRAME.nest* %FRAME.0 to i8*         ; <i8*> [#uses=1]
39         %tramp = call i8* @llvm.init.trampoline( i8* %TRAMP.316.sub, i8* bitcast (i32 (%struct.FRAME.nest*, i32)* @f.1481 to i8*), i8* %FRAME.06 )              ; <i8*> [#uses=1]
40         %tmp7 = getelementptr %struct.FRAME.nest* %FRAME.0, i32 0, i32 1                ; <i32 (i32)**> [#uses=1]
41         %tmp89 = bitcast i8* %tramp to i32 (i32)*               ; <i32 (i32)*> [#uses=2]
42         store i32 (i32)* %tmp89, i32 (i32)** %tmp7, align 4
43         %tmp13 = call i32 @process( i32 (i32)* %tmp89 ) nounwind                ; <i32> [#uses=1]
44         ret i32 %tmp13
47 declare i8* @llvm.init.trampoline(i8*, i8*, i8*) nounwind 
49 define i32 @main() nounwind  {
50 entry:
51         %tmp = tail call i32 @nest( i32 2 ) nounwind            ; <i32> [#uses=1]
52         %tmp1 = tail call i32 @nest( i32 1 ) nounwind           ; <i32> [#uses=1]
53         %tmp3 = tail call i32 (i8*, ...)* @printf( i8* noalias  getelementptr ([7 x i8]* @.str, i32 0, i32 0), i32 %tmp1, i32 %tmp ) nounwind           ; <i32> [#uses=0]
54         ret i32 undef
57 declare i32 @printf(i8*, ...) nounwind