1; RUN: llc -march=sparcv9 <%s | FileCheck %s
2
3;; Ensures that inline-asm accepts and uses 'f' and 'e' register constraints.
4; CHECK-LABEL: faddd:
5; CHECK: faddd  %f0, %f2, %f0
6define double @faddd(double, double) local_unnamed_addr #2 {
7entry:
8  %2 = tail call double asm sideeffect "faddd  $1, $2, $0;", "=f,f,e"(double %0, double %1) #7
9  ret double %2
10}
11
12; CHECK-LABEL: faddq:
13; CHECK: faddq  %f0, %f4, %f0
14define fp128 @faddq(fp128, fp128) local_unnamed_addr #2 {
15entry:
16  %2 = tail call fp128 asm sideeffect "faddq  $1, $2, $0;", "=f,f,e"(fp128 %0, fp128 %1) #7
17  ret fp128 %2
18}
19
20;; Ensure that 'e' can indeed go in the high area, and 'f' cannot.
21; CHECK-LABEL: faddd_high:
22; CHECK: fmovd  %f2, %f32
23; CHECK: fmovd  %f0, %f2
24; CHECK: faddd  %f2, %f32, %f2
25define double @faddd_high(double, double) local_unnamed_addr #2 {
26entry:
27  %2 = tail call double asm sideeffect "faddd  $1, $2, $0;", "=f,f,e,~{d0},~{q1},~{q2},~{q3},~{q4},~{q5},~{q6},~{q7}"(double %0, double %1) #7
28  ret double %2
29}
30
31