cxx2a-compare.cpp
3.62 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
// RUN: %clang_cc1 -std=c++2a -emit-llvm %s -o - -triple %itanium_abi_triple | \
// RUN: FileCheck %s \
// RUN: '-DSO="class.std::__1::strong_ordering"' \
// RUN: '-DPO="class.std::__1::partial_ordering"' \
// RUN: -DEQ=0 -DLT=-1 -DGT=1 -DUNORD=-127 -DNE=1
#include "Inputs/std-compare.h"
// Ensure we don't emit definitions for the global variables
// since the builtins shouldn't ODR use them.
// CHECK-NOT: constant %[[SO]]
// CHECK-NOT: constant %[[SE]]
// CHECK-NOT: constant %[[WE]]
// CHECK-NOT: constant %[[PO]]
// CHECK-LABEL: @_Z11test_signedii
auto test_signed(int x, int y) {
// CHECK: %[[DEST:retval|agg.result]]
// CHECK: %cmp.lt = icmp slt i32 %{{.+}}, %{{.+}}
// CHECK: %sel.lt = select i1 %cmp.lt, i8 [[LT]], i8 [[GT]]
// CHECK: %cmp.eq = icmp eq i32 %{{.+}}, %{{.+}}
// CHECK: %sel.eq = select i1 %cmp.eq, i8 [[EQ]], i8 %sel.lt
// CHECK: %__value_ = getelementptr inbounds %[[SO]], %[[SO]]* %[[DEST]]
// CHECK: store i8 %sel.eq, i8* %__value_, align 1
// CHECK: ret
return x <=> y;
}
// CHECK-LABEL: @_Z13test_unsignedjj
auto test_unsigned(unsigned x, unsigned y) {
// CHECK: %[[DEST:retval|agg.result]]
// CHECK: %cmp.lt = icmp ult i32 %{{.+}}, %{{.+}}
// CHECK: %sel.lt = select i1 %cmp.lt, i8 [[LT]], i8 [[GT]]
// CHECK: %cmp.eq = icmp eq i32 %{{.+}}, %{{.+}}
// CHECK: %sel.eq = select i1 %cmp.eq, i8 [[EQ]], i8 %sel.lt
// CHECK: %__value_ = getelementptr inbounds %[[SO]], %[[SO]]* %[[DEST]]
// CHECK: store i8 %sel.eq, i8* %__value_
// CHECK: ret
return x <=> y;
}
// CHECK-LABEL: @_Z10float_testdd
auto float_test(double x, double y) {
// CHECK: %[[DEST:retval|agg.result]]
// CHECK: %cmp.eq = fcmp oeq double %{{.+}}, %{{.+}}
// CHECK: %sel.eq = select i1 %cmp.eq, i8 [[EQ]], i8 [[UNORD]]
// CHECK: %cmp.gt = fcmp ogt double %{{.+}}, %{{.+}}
// CHECK: %sel.gt = select i1 %cmp.gt, i8 [[GT]], i8 %sel.eq
// CHECK: %cmp.lt = fcmp olt double %{{.+}}, %{{.+}}
// CHECK: %sel.lt = select i1 %cmp.lt, i8 [[LT]], i8 %sel.gt
// CHECK: %__value_ = getelementptr inbounds %[[PO]], %[[PO]]* %[[DEST]]
// CHECK: store i8 %sel.lt, i8* %__value_
// CHECK: ret
return x <=> y;
}
// CHECK-LABEL: @_Z8ptr_testPiS_
auto ptr_test(int *x, int *y) {
// CHECK: %[[DEST:retval|agg.result]]
// CHECK: %cmp.lt = icmp ult i32* %{{.+}}, %{{.+}}
// CHECK: %sel.lt = select i1 %cmp.lt, i8 [[LT]], i8 [[GT]]
// CHECK: %cmp.eq = icmp eq i32* %{{.+}}, %{{.+}}
// CHECK: %sel.eq = select i1 %cmp.eq, i8 [[EQ]], i8 %sel.lt
// CHECK: %__value_ = getelementptr inbounds %[[SO]], %[[SO]]* %[[DEST]]
// CHECK: store i8 %sel.eq, i8* %__value_, align 1
// CHECK: ret
return x <=> y;
}
// CHECK-LABEL: @_Z13test_constantv
auto test_constant() {
// CHECK: %[[DEST:retval|agg.result]]
// CHECK-NOT: icmp
// CHECK: %__value_ = getelementptr inbounds %[[SO]], %[[SO]]* %[[DEST]]
// CHECK-NEXT: store i8 -1, i8* %__value_
// CHECK: ret
const int x = 42;
const int y = 101;
return x <=> y;
}
// CHECK-LABEL: @_Z18unscoped_enum_testijxy
void unscoped_enum_test(int i, unsigned u, long long l, unsigned long long ul) {
enum EnumA : int { A };
enum EnumB : unsigned { B };
// CHECK: %[[I:.*]] = load {{.*}} %i.addr
// CHECK: icmp slt i32 {{.*}} %[[I]]
(void)(A <=> i);
// CHECK: %[[U:.*]] = load {{.*}} %u.addr
// CHECK: icmp ult i32 {{.*}} %[[U]]
(void)(A <=> u);
// CHECK: %[[L:.*]] = load {{.*}} %l.addr
// CHECK: icmp slt i64 {{.*}} %[[L]]
(void)(A <=> l);
// CHECK: %[[U2:.*]] = load {{.*}} %u.addr
// CHECK: icmp ult i32 {{.*}} %[[U2]]
(void)(B <=> u);
// CHECK: %[[UL:.*]] = load {{.*}} %ul.addr
// CHECK: icmp ult i64 {{.*}} %[[UL]]
(void)(B <=> ul);
}