1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
|
;; Check that an unknown --target-abi is ignored and the triple-implied ABI is
;; used.
; RUN: llc --mtriple=loongarch32-linux-gnu --target-abi=foo --mattr=+d < %s 2>&1 \
; RUN: | FileCheck %s --check-prefixes=ILP32D,UNKNOWN
; RUN: llc --mtriple=loongarch64-linux-gnu --target-abi=foo --mattr=+d < %s 2>&1 \
; RUN: | FileCheck %s --check-prefixes=LP64D,UNKNOWN
; UNKNOWN: warning: the 'foo' is not a recognized ABI for this target, ignoring and using triple-implied ABI
;; Check that --target-abi takes precedence over triple-supplied ABI modifiers.
; RUN: llc --mtriple=loongarch32-linux-gnusf --target-abi=ilp32d --mattr=+d < %s 2>&1 \
; RUN: | FileCheck %s --check-prefixes=ILP32D,CONFLICT-ILP32D
; RUN: llc --mtriple=loongarch64-linux-gnusf --target-abi=lp64d --mattr=+d < %s 2>&1 \
; RUN: | FileCheck %s --check-prefixes=LP64D,CONFLICT-LP64D
; CONFLICT-ILP32D: warning: triple-implied ABI conflicts with provided target-abi 'ilp32d', using target-abi
; CONFLICT-LP64D: warning: triple-implied ABI conflicts with provided target-abi 'lp64d', using target-abi
;; Check that no warning is reported when there is no environment component in
;; triple-supplied ABI modifiers and --target-abi is used.
; RUN: llc --mtriple=loongarch64-linux --target-abi=lp64d --mattr=+d < %s 2>&1 \
; RUN: | FileCheck %s --check-prefixes=LP64D,NO-WARNING
; NO-WARNING-NOT: warning: triple-implied ABI conflicts with provided target-abi 'lp64d', using target-abi
;; Check that ILP32-on-LA64 and LP64-on-LA32 combinations are handled properly.
; RUN: llc --mtriple=loongarch64-linux-gnu --target-abi=ilp32d --mattr=+d < %s 2>&1 \
; RUN: | FileCheck %s --check-prefixes=LP64D,32ON64
; RUN: llc --mtriple=loongarch32-linux-gnu --target-abi=lp64d --mattr=+d < %s 2>&1 \
; RUN: | FileCheck %s --check-prefixes=ILP32D,64ON32
; 32ON64: warning: 32-bit ABIs are not supported for 64-bit targets, ignoring and using triple-implied ABI
; 64ON32: warning: 64-bit ABIs are not supported for 32-bit targets, ignoring and using triple-implied ABI
;; Check that target-abi is invalid but triple-implied ABI is valid, use triple-implied ABI
; RUN: llc --mtriple=loongarch64-linux-gnusf --target-abi=lp64f --mattr=-f < %s 2>&1 \
; RUN: | FileCheck %s --check-prefixes=LP64S,LP64S-LP64F-NOF
; RUN: llc --mtriple=loongarch64-linux-gnusf --target-abi=lp64d --mattr=-d < %s 2>&1 \
; RUN: | FileCheck %s --check-prefixes=LP64S,LP64S-LP64D-NOD
; LP64S-LP64F-NOF: warning: the 'lp64f' ABI can't be used for a target that doesn't support the 'F' instruction set, ignoring and using triple-implied ABI
; LP64S-LP64D-NOD: warning: the 'lp64d' ABI can't be used for a target that doesn't support the 'D' instruction set, ignoring and using triple-implied ABI
;; Check that both target-abi and triple-implied ABI are invalid, use feature-implied ABI
; RUN: llc --mtriple=loongarch64-linux-gnuf64 --target-abi=lp64f --mattr=-f < %s 2>&1 \
; RUN: | FileCheck %s --check-prefixes=LP64S,LP64D-LP64F-NOF
; RUN: llc --mtriple=loongarch64 --target-abi=lp64f --mattr=-f < %s 2>&1 \
; RUN: | FileCheck %s --check-prefixes=LP64S,LP64D-LP64F-NOF
; LP64D-LP64F-NOF: warning: both target-abi and the triple-implied ABI are invalid, ignoring and using feature-implied ABI
define float @f(float %a) {
; ILP32D-LABEL: f:
; ILP32D: # %bb.0:
; ILP32D-NEXT: addi.w $a0, $zero, 1
; ILP32D-NEXT: movgr2fr.w $fa1, $a0
; ILP32D-NEXT: ffint.s.w $fa1, $fa1
; ILP32D-NEXT: fadd.s $fa0, $fa0, $fa1
; ILP32D-NEXT: ret
;
; LP64D-LABEL: f:
; LP64D: # %bb.0:
; LP64D-NEXT: vldi $vr1, -1168
; LP64D-NEXT: fadd.s $fa0, $fa0, $fa1
; LP64D-NEXT: ret
;
; LP64S-LP64F-NOF-LABEL: f:
; LP64S-LP64F-NOF: pcaddu18i $ra, %call36(__addsf3)
; LP64S-LP64F-NOF-NEXT: jirl $ra, $ra, 0
;
; LP64S-LP64D-NOD-LABEL: f:
; LP64S-LP64D-NOD: # %bb.0:
; LP64S-LP64D-NOD-NEXT: movgr2fr.w $fa0, $a0
; LP64S-LP64D-NOD-NEXT: addi.w $a0, $zero, 1
; LP64S-LP64D-NOD-NEXT: movgr2fr.w $fa1, $a0
; LP64S-LP64D-NOD-NEXT: ffint.s.w $fa1, $fa1
; LP64S-LP64D-NOD-NEXT: fadd.s $fa0, $fa0, $fa1
; LP64S-LP64D-NOD-NEXT: movfr2gr.s $a0, $fa0
; LP64S-LP64D-NOD-NEXT: ret
;
; LP64D-LP64F-NOF-LABEL: f:
; LP64D-LP64F-NOF: pcaddu18i $ra, %call36(__addsf3)
; LP64D-LP64F-NOF-NEXT: jirl $ra, $ra, 0
;
; LP64D-NONE-NOF-LABEL: f:
; LP64D-NONE-NOF: pcaddu18i $ra, %call36(__addsf3)
; LP64D-NONE-NOF-NEXT: jirl $ra, $ra, 0
%1 = fadd float %a, 1.0
ret float %1
}
define double @g(double %a) {
; ILP32D-LABEL: g:
; ILP32D: # %bb.0:
; ILP32D-NEXT: addi.w $a0, $zero, 1
; ILP32D-NEXT: movgr2fr.w $fa1, $a0
; ILP32D-NEXT: ffint.s.w $fa1, $fa1
; ILP32D-NEXT: fcvt.d.s $fa1, $fa1
; ILP32D-NEXT: fadd.d $fa0, $fa0, $fa1
; ILP32D-NEXT: ret
;
; LP64D-LABEL: g:
; LP64D: # %bb.0:
; LP64D-NEXT: vldi $vr1, -912
; LP64D-NEXT: fadd.d $fa0, $fa0, $fa1
; LP64D-NEXT: ret
;
; LP64S-LABEL: g:
; LP64S: pcaddu18i $ra, %call36(__adddf3)
; LP64S-NEXT: jirl $ra, $ra, 0
%1 = fadd double %a, 1.0
ret double %1
}
|
