|  | ; Test vector addition on z14. | 
|  | ; | 
|  | ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z14 | FileCheck %s | 
|  |  | 
|  | ; Test a v4f32 addition. | 
|  | define <4 x float> @f1(<4 x float> %dummy, <4 x float> %val1, | 
|  | <4 x float> %val2) { | 
|  | ; CHECK-LABEL: f1: | 
|  | ; CHECK: vfasb %v24, %v26, %v28 | 
|  | ; CHECK: br %r14 | 
|  | %ret = fadd <4 x float> %val1, %val2 | 
|  | ret <4 x float> %ret | 
|  | } | 
|  |  | 
|  | ; Test an f32 addition that uses vector registers. | 
|  | define float @f2(<4 x float> %val1, <4 x float> %val2) { | 
|  | ; CHECK-LABEL: f2: | 
|  | ; CHECK: wfasb %f0, %v24, %v26 | 
|  | ; CHECK: br %r14 | 
|  | %scalar1 = extractelement <4 x float> %val1, i32 0 | 
|  | %scalar2 = extractelement <4 x float> %val2, i32 0 | 
|  | %ret = fadd float %scalar1, %scalar2 | 
|  | ret float %ret | 
|  | } | 
|  |  | 
|  | ; Test a v1f128 addition. | 
|  | define <1 x fp128> @f3(<1 x fp128> %dummy, <1 x fp128> %val1, | 
|  | <1 x fp128> %val2) { | 
|  | ; CHECK-LABEL: f3: | 
|  | ; CHECK: wfaxb %v24, %v26, %v28 | 
|  | ; CHECK: br %r14 | 
|  | %ret = fadd <1 x fp128> %val1, %val2 | 
|  | ret <1 x fp128> %ret | 
|  | } |