1 ; RUN: llc -verify-machineinstrs -mcpu=corei7-avx %s -o - | FileCheck %s --check-prefix=CHECK --check-prefix=NO-FLAGS
2 target 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-S128"
3 target triple = "x86_64-apple-macosx10.9.0"
5 %struct.__va_list_tag = type { i32, i32, ptr, ptr }
7 ; Check that vastart gets the right thing.
8 define i32 @sum(i32 %count, ...) nounwind optsize ssp uwtable {
9 ; CHECK: testb %al, %al
11 ; CHECK-NEXT: ## %bb.{{[0-9]+}}:
12 ; CHECK-NEXT: vmovaps %xmm0, 48(%rsp)
13 ; CHECK-NEXT: vmovaps %xmm1, 64(%rsp)
14 ; CHECK-NEXT: vmovaps %xmm2, 80(%rsp)
15 ; CHECK-NEXT: vmovaps %xmm3, 96(%rsp)
16 ; CHECK-NEXT: vmovaps %xmm4, 112(%rsp)
17 ; CHECK-NEXT: vmovaps %xmm5, 128(%rsp)
18 ; CHECK-NEXT: vmovaps %xmm6, 144(%rsp)
19 ; CHECK-NEXT: vmovaps %xmm7, 160(%rsp)
21 ; Check that [EFLAGS] hasn't been pulled in.
22 ; NO-FLAGS-NOT: %flags
24 %ap = alloca [1 x %struct.__va_list_tag], align 16
25 call void @llvm.va_start(ptr %ap)
26 %1 = icmp sgt i32 %count, 0
27 br i1 %1, label %.lr.ph, label %._crit_edge
30 %2 = getelementptr inbounds [1 x %struct.__va_list_tag], ptr %ap, i64 0, i64 0, i32 2
31 %.pre = load i32, ptr %ap, align 16
34 ; <label>:5 ; preds = %.lr.ph, %11
35 %4 = phi i32 [ %.pre, %.lr.ph ], [ %12, %11 ]
36 %.01 = phi i32 [ %count, %.lr.ph ], [ %13, %11 ]
37 %5 = icmp ult i32 %4, 41
38 br i1 %5, label %6, label %8
40 ; <label>:8 ; preds = %3
42 store i32 %7, ptr %ap, align 16
45 ; <label>:10 ; preds = %3
46 %9 = load ptr, ptr %2, align 8
47 %10 = getelementptr i8, ptr %9, i64 8
48 store ptr %10, ptr %2, align 8
51 ; <label>:13 ; preds = %8, %6
52 %12 = phi i32 [ %4, %8 ], [ %7, %6 ]
53 %13 = add nsw i32 %.01, 1
54 %14 = icmp sgt i32 %13, 0
55 br i1 %14, label %3, label %._crit_edge
57 ._crit_edge: ; preds = %11, %0
58 %.0.lcssa = phi i32 [ %count, %0 ], [ %13, %11 ]
59 call void @llvm.va_end(ptr %ap)
63 declare void @llvm.va_start(ptr) nounwind
65 declare void @llvm.va_end(ptr) nounwind