| James Molloy | 3613205 | 2014-05-07 12:33:48 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s | FileCheck %s |
| 2 | |
| 3 | ; Vararg saving must save Q registers using the equivalent of STR/STP. |
| 4 | |
| 5 | target datalayout = "E-m:e-i64:64-i128:128-n32:64-S128" |
| Tim Northover | 35910d7 | 2014-07-23 12:58:11 +0000 | [diff] [blame] | 6 | target triple = "aarch64_be-arm-none-eabi" |
| James Molloy | 3613205 | 2014-05-07 12:33:48 +0000 | [diff] [blame] | 7 | |
| 8 | %struct.__va_list = type { i8*, i8*, i8*, i32, i32 } |
| 9 | |
| 10 | declare void @llvm.va_start(i8*) nounwind |
| 11 | declare void @llvm.va_end(i8*) nounwind |
| 12 | |
| 13 | define double @callee(i32 %a, ...) { |
| 14 | ; CHECK: stp |
| 15 | ; CHECK: stp |
| 16 | ; CHECK: stp |
| 17 | ; CHECK: stp |
| 18 | ; CHECK: stp |
| 19 | ; CHECK: stp |
| 20 | entry: |
| 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 Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 24 | %vr_offs_p = getelementptr inbounds %struct.__va_list, %struct.__va_list* %vl, i64 0, i32 4 |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 25 | %vr_offs = load i32, i32* %vr_offs_p, align 4 |
| James Molloy | 3613205 | 2014-05-07 12:33:48 +0000 | [diff] [blame] | 26 | %0 = icmp sgt i32 %vr_offs, -1 |
| 27 | br i1 %0, label %vaarg.on_stack, label %vaarg.maybe_reg |
| 28 | |
| 29 | vaarg.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 | |
| 35 | vaarg.in_reg: ; preds = %vaarg.maybe_reg |
| David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 36 | %reg_top_p = getelementptr inbounds %struct.__va_list, %struct.__va_list* %vl, i64 0, i32 2 |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 37 | %reg_top = load i8*, i8** %reg_top_p, align 8 |
| James Molloy | 3613205 | 2014-05-07 12:33:48 +0000 | [diff] [blame] | 38 | %1 = sext i32 %vr_offs to i64 |
| David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 39 | %2 = getelementptr i8, i8* %reg_top, i64 %1 |
| James Molloy | 3613205 | 2014-05-07 12:33:48 +0000 | [diff] [blame] | 40 | %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 | |
| 45 | vaarg.on_stack: ; preds = %vaarg.maybe_reg, %entry |
| David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 46 | %stack_p = getelementptr inbounds %struct.__va_list, %struct.__va_list* %vl, i64 0, i32 0 |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 47 | %stack = load i8*, i8** %stack_p, align 8 |
| David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 48 | %new_stack = getelementptr i8, i8* %stack, i64 8 |
| James Molloy | 3613205 | 2014-05-07 12:33:48 +0000 | [diff] [blame] | 49 | store i8* %new_stack, i8** %stack_p, align 8 |
| 50 | br label %vaarg.end |
| 51 | |
| 52 | vaarg.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 Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 55 | %6 = load double, double* %5, align 8 |
| James Molloy | 3613205 | 2014-05-07 12:33:48 +0000 | [diff] [blame] | 56 | call void @llvm.va_end(i8* %vl1) |
| 57 | ret double %6 |
| 58 | } |