|  | ; RUN: llc -verify-machineinstrs < %s -mattr=+altivec | FileCheck %s | 
|  |  | 
|  | target datalayout = "E-m:e-i64:64-n32:64" | 
|  | target triple = "powerpc64-unknown-linux-gnu" | 
|  |  | 
|  | ; Verify that in the 64-bit Linux ABI, vector arguments take up space | 
|  | ; in the parameter save area. | 
|  |  | 
|  | define i64 @callee(i64 %a, <4 x i32> %b, i64 %c, <4 x i32> %d, i64 %e) { | 
|  | entry: | 
|  | ret i64 %e | 
|  | } | 
|  | ; CHECK-LABEL: callee: | 
|  | ; CHECK: ld 3, 112(1) | 
|  |  | 
|  | define void @caller(i64 %x, <4 x i32> %y) { | 
|  | entry: | 
|  | tail call void @test(i64 %x, <4 x i32> %y, i64 %x, <4 x i32> %y, i64 %x) | 
|  | ret void | 
|  | } | 
|  | ; CHECK-LABEL: caller: | 
|  | ; CHECK: std 3, 112(1) | 
|  |  | 
|  | declare void @test(i64, <4 x i32>, i64, <4 x i32>, i64) | 
|  |  |