blob: e5e16848a4b0cd4d3e8495c73072bf0de274216c [file] [log] [blame]
James Molloy36132052014-05-07 12:33:48 +00001; RUN: llc < %s | FileCheck %s
2
3; Vararg saving must save Q registers using the equivalent of STR/STP.
4
5target datalayout = "E-m:e-i64:64-i128:128-n32:64-S128"
Tim Northover35910d72014-07-23 12:58:11 +00006target triple = "aarch64_be-arm-none-eabi"
James Molloy36132052014-05-07 12:33:48 +00007
8%struct.__va_list = type { i8*, i8*, i8*, i32, i32 }
9
10declare void @llvm.va_start(i8*) nounwind
11declare void @llvm.va_end(i8*) nounwind
12
13define double @callee(i32 %a, ...) {
14; CHECK: stp
15; CHECK: stp
16; CHECK: stp
17; CHECK: stp
18; CHECK: stp
19; CHECK: stp
20entry:
21 %vl = alloca %struct.__va_list, align 8
22 %vl1 = bitcast %struct.__va_list* %vl to i8*
23 call void @llvm.va_start(i8* %vl1)
David Blaikie79e6c742015-02-27 19:29:02 +000024 %vr_offs_p = getelementptr inbounds %struct.__va_list, %struct.__va_list* %vl, i64 0, i32 4
David Blaikiea79ac142015-02-27 21:17:42 +000025 %vr_offs = load i32, i32* %vr_offs_p, align 4
James Molloy36132052014-05-07 12:33:48 +000026 %0 = icmp sgt i32 %vr_offs, -1
27 br i1 %0, label %vaarg.on_stack, label %vaarg.maybe_reg
28
29vaarg.maybe_reg: ; preds = %entry
30 %new_reg_offs = add i32 %vr_offs, 16
31 store i32 %new_reg_offs, i32* %vr_offs_p, align 4
32 %inreg = icmp slt i32 %new_reg_offs, 1
33 br i1 %inreg, label %vaarg.in_reg, label %vaarg.on_stack
34
35vaarg.in_reg: ; preds = %vaarg.maybe_reg
David Blaikie79e6c742015-02-27 19:29:02 +000036 %reg_top_p = getelementptr inbounds %struct.__va_list, %struct.__va_list* %vl, i64 0, i32 2
David Blaikiea79ac142015-02-27 21:17:42 +000037 %reg_top = load i8*, i8** %reg_top_p, align 8
James Molloy36132052014-05-07 12:33:48 +000038 %1 = sext i32 %vr_offs to i64
David Blaikie79e6c742015-02-27 19:29:02 +000039 %2 = getelementptr i8, i8* %reg_top, i64 %1
James Molloy36132052014-05-07 12:33:48 +000040 %3 = ptrtoint i8* %2 to i64
41 %align_be = add i64 %3, 8
42 %4 = inttoptr i64 %align_be to i8*
43 br label %vaarg.end
44
45vaarg.on_stack: ; preds = %vaarg.maybe_reg, %entry
David Blaikie79e6c742015-02-27 19:29:02 +000046 %stack_p = getelementptr inbounds %struct.__va_list, %struct.__va_list* %vl, i64 0, i32 0
David Blaikiea79ac142015-02-27 21:17:42 +000047 %stack = load i8*, i8** %stack_p, align 8
David Blaikie79e6c742015-02-27 19:29:02 +000048 %new_stack = getelementptr i8, i8* %stack, i64 8
James Molloy36132052014-05-07 12:33:48 +000049 store i8* %new_stack, i8** %stack_p, align 8
50 br label %vaarg.end
51
52vaarg.end: ; preds = %vaarg.on_stack, %vaarg.in_reg
53 %.sink = phi i8* [ %4, %vaarg.in_reg ], [ %stack, %vaarg.on_stack ]
54 %5 = bitcast i8* %.sink to double*
David Blaikiea79ac142015-02-27 21:17:42 +000055 %6 = load double, double* %5, align 8
James Molloy36132052014-05-07 12:33:48 +000056 call void @llvm.va_end(i8* %vl1)
57 ret double %6
58}