1; REQUIRES: asserts
2; RUN: llc < %s -O0 -disable-fp-elim -relocation-model=pic -stats 2>&1 | FileCheck %s
3;
4; This test should not cause any spilling with RAFast.
5;
6; CHECK: Number of copies coalesced
7; CHECK-NOT: Number of stores added
8;
9target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
10target triple = "x86_64-apple-darwin10.0.0"
11
12%0 = type { i64, i64, i8*, i8* }
13%1 = type opaque
14%2 = type opaque
15%3 = type <{ i8*, i32, i32, void (%4*)*, i8*, i64 }>
16%4 = type { i8**, i32, i32, i8**, %5*, i64 }
17%5 = type { i64, i64 }
18%6 = type { i8*, i32, i32, i8*, %5* }
19
20@0 = external hidden constant %0
21
22define hidden void @f() ssp {
23bb:
24  %tmp5 = alloca i64, align 8
25  %tmp6 = alloca void ()*, align 8
26  %tmp7 = alloca %3, align 8
27  store i64 0, i64* %tmp5, align 8
28  br label %bb8
29
30bb8:                                              ; preds = %bb23, %bb
31  %tmp15 = getelementptr inbounds %3* %tmp7, i32 0, i32 4
32  store i8* bitcast (%0* @0 to i8*), i8** %tmp15
33  %tmp16 = bitcast %3* %tmp7 to void ()*
34  store void ()* %tmp16, void ()** %tmp6, align 8
35  %tmp17 = load void ()** %tmp6, align 8
36  %tmp18 = bitcast void ()* %tmp17 to %6*
37  %tmp19 = getelementptr inbounds %6* %tmp18, i32 0, i32 3
38  %tmp20 = bitcast %6* %tmp18 to i8*
39  %tmp21 = load i8** %tmp19
40  %tmp22 = bitcast i8* %tmp21 to void (i8*)*
41  call void %tmp22(i8* %tmp20)
42  br label %bb23
43
44bb23:                                             ; preds = %bb8
45  %tmp24 = load i64* %tmp5, align 8
46  %tmp25 = add i64 %tmp24, 1
47  store i64 %tmp25, i64* %tmp5, align 8
48  %tmp26 = icmp ult i64 %tmp25, 10
49  br i1 %tmp26, label %bb8, label %bb27
50
51bb27:                                             ; preds = %bb23
52  ret void
53}
54