binaryFloatInstructions.3.2.ll
2.89 KB
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
114
115
116
117
118
119
120
121
; RUN: llvm-dis < %s.bc| FileCheck %s
; RUN: verify-uselistorder < %s.bc
; BinaryFloatOperation.3.2.ll.bc was generated by passing this file to llvm-as-3.2.
; The test checks that LLVM does not misread binary float instructions from
; older bitcode files.
define void @fadd(float %x1, double %x2 ,half %x3, fp128 %x4, x86_fp80 %x5, ppc_fp128 %x6){
entry:
; CHECK: %res1 = fadd float %x1, %x1
%res1 = fadd float %x1, %x1
; CHECK-NEXT: %res2 = fadd double %x2, %x2
%res2 = fadd double %x2, %x2
; CHECK-NEXT: %res3 = fadd half %x3, %x3
%res3 = fadd half %x3, %x3
; CHECK-NEXT: %res4 = fadd fp128 %x4, %x4
%res4 = fadd fp128 %x4, %x4
; CHECK-NEXT: %res5 = fadd x86_fp80 %x5, %x5
%res5 = fadd x86_fp80 %x5, %x5
; CHECK-NEXT: %res6 = fadd ppc_fp128 %x6, %x6
%res6 = fadd ppc_fp128 %x6, %x6
ret void
}
define void @faddFloatVec(<2 x float> %x1, <3 x float> %x2 ,<4 x float> %x3, <8 x float> %x4, <16 x float> %x5){
entry:
; CHECK: %res1 = fadd <2 x float> %x1, %x1
%res1 = fadd <2 x float> %x1, %x1
; CHECK-NEXT: %res2 = fadd <3 x float> %x2, %x2
%res2 = fadd <3 x float> %x2, %x2
; CHECK-NEXT: %res3 = fadd <4 x float> %x3, %x3
%res3 = fadd <4 x float> %x3, %x3
; CHECK-NEXT: %res4 = fadd <8 x float> %x4, %x4
%res4 = fadd <8 x float> %x4, %x4
; CHECK-NEXT: %res5 = fadd <16 x float> %x5, %x5
%res5 = fadd <16 x float> %x5, %x5
ret void
}
define void @faddDoubleVec(<2 x double> %x1, <3 x double> %x2 ,<4 x double> %x3, <8 x double> %x4, <16 x double> %x5){
entry:
; CHECK: %res1 = fadd <2 x double> %x1, %x1
%res1 = fadd <2 x double> %x1, %x1
; CHECK-NEXT: %res2 = fadd <3 x double> %x2, %x2
%res2 = fadd <3 x double> %x2, %x2
; CHECK-NEXT: %res3 = fadd <4 x double> %x3, %x3
%res3 = fadd <4 x double> %x3, %x3
; CHECK-NEXT: %res4 = fadd <8 x double> %x4, %x4
%res4 = fadd <8 x double> %x4, %x4
; CHECK-NEXT: %res5 = fadd <16 x double> %x5, %x5
%res5 = fadd <16 x double> %x5, %x5
ret void
}
define void @faddHalfVec(<2 x half> %x1, <3 x half> %x2 ,<4 x half> %x3, <8 x half> %x4, <16 x half> %x5){
entry:
; CHECK: %res1 = fadd <2 x half> %x1, %x1
%res1 = fadd <2 x half> %x1, %x1
; CHECK-NEXT: %res2 = fadd <3 x half> %x2, %x2
%res2 = fadd <3 x half> %x2, %x2
; CHECK-NEXT: %res3 = fadd <4 x half> %x3, %x3
%res3 = fadd <4 x half> %x3, %x3
; CHECK-NEXT: %res4 = fadd <8 x half> %x4, %x4
%res4 = fadd <8 x half> %x4, %x4
; CHECK-NEXT: %res5 = fadd <16 x half> %x5, %x5
%res5 = fadd <16 x half> %x5, %x5
ret void
}
define void @fsub(float %x1){
entry:
; CHECK: %res1 = fsub float %x1, %x1
%res1 = fsub float %x1, %x1
ret void
}
define void @fmul(float %x1){
entry:
; CHECK: %res1 = fmul float %x1, %x1
%res1 = fmul float %x1, %x1
ret void
}
define void @fdiv(float %x1){
entry:
; CHECK: %res1 = fdiv float %x1, %x1
%res1 = fdiv float %x1, %x1
ret void
}
define void @frem(float %x1){
entry:
; CHECK: %res1 = frem float %x1, %x1
%res1 = frem float %x1, %x1
ret void
}