1 // RUN: %clang_cc1 -std=c++2a -emit-llvm %s -o - -triple %itanium_abi_triple | \ 2 // RUN: FileCheck %s \ 3 // RUN: '-DSO="class.std::__1::strong_ordering"' \ 4 // RUN: '-DPO="class.std::__1::partial_ordering"' \ 5 // RUN: -DEQ=0 -DLT=-1 -DGT=1 -DUNORD=-127 -DNE=1 6 7 #include "Inputs/std-compare.h" 8 9 // Ensure we don't emit definitions for the global variables 10 // since the builtins shouldn't ODR use them. 11 // CHECK-NOT: constant %[[SO]] 12 // CHECK-NOT: constant %[[SE]] 13 // CHECK-NOT: constant %[[WE]] 14 // CHECK-NOT: constant %[[PO]] 15 16 // CHECK-LABEL: @_Z11test_signedii 17 auto test_signed(int x, int y) { 18 // CHECK: %[[DEST:retval|agg.result]] 19 // CHECK: %cmp.lt = icmp slt i32 %{{.+}}, %{{.+}} 20 // CHECK: %sel.lt = select i1 %cmp.lt, i8 [[LT]], i8 [[GT]] 21 // CHECK: %cmp.eq = icmp eq i32 %{{.+}}, %{{.+}} 22 // CHECK: %sel.eq = select i1 %cmp.eq, i8 [[EQ]], i8 %sel.lt 23 // CHECK: %__value_ = getelementptr inbounds %[[SO]], %[[SO]]* %[[DEST]] 24 // CHECK: store i8 %sel.eq, i8* %__value_, align 1 25 // CHECK: ret 26 return x <=> y; 27 } 28 29 // CHECK-LABEL: @_Z13test_unsignedjj 30 auto test_unsigned(unsigned x, unsigned y) { 31 // CHECK: %[[DEST:retval|agg.result]] 32 // CHECK: %cmp.lt = icmp ult i32 %{{.+}}, %{{.+}} 33 // CHECK: %sel.lt = select i1 %cmp.lt, i8 [[LT]], i8 [[GT]] 34 // CHECK: %cmp.eq = icmp eq i32 %{{.+}}, %{{.+}} 35 // CHECK: %sel.eq = select i1 %cmp.eq, i8 [[EQ]], i8 %sel.lt 36 // CHECK: %__value_ = getelementptr inbounds %[[SO]], %[[SO]]* %[[DEST]] 37 // CHECK: store i8 %sel.eq, i8* %__value_ 38 // CHECK: ret 39 return x <=> y; 40 } 41 42 // CHECK-LABEL: @_Z10float_testdd 43 auto float_test(double x, double y) { 44 // CHECK: %[[DEST:retval|agg.result]] 45 // CHECK: %cmp.eq = fcmp oeq double %{{.+}}, %{{.+}} 46 // CHECK: %sel.eq = select i1 %cmp.eq, i8 [[EQ]], i8 [[UNORD]] 47 // CHECK: %cmp.gt = fcmp ogt double %{{.+}}, %{{.+}} 48 // CHECK: %sel.gt = select i1 %cmp.gt, i8 [[GT]], i8 %sel.eq 49 // CHECK: %cmp.lt = fcmp olt double %{{.+}}, %{{.+}} 50 // CHECK: %sel.lt = select i1 %cmp.lt, i8 [[LT]], i8 %sel.gt 51 // CHECK: %__value_ = getelementptr inbounds %[[PO]], %[[PO]]* %[[DEST]] 52 // CHECK: store i8 %sel.lt, i8* %__value_ 53 // CHECK: ret 54 return x <=> y; 55 } 56 57 // CHECK-LABEL: @_Z8ptr_testPiS_ 58 auto ptr_test(int *x, int *y) { 59 // CHECK: %[[DEST:retval|agg.result]] 60 // CHECK: %cmp.lt = icmp ult i32* %{{.+}}, %{{.+}} 61 // CHECK: %sel.lt = select i1 %cmp.lt, i8 [[LT]], i8 [[GT]] 62 // CHECK: %cmp.eq = icmp eq i32* %{{.+}}, %{{.+}} 63 // CHECK: %sel.eq = select i1 %cmp.eq, i8 [[EQ]], i8 %sel.lt 64 // CHECK: %__value_ = getelementptr inbounds %[[SO]], %[[SO]]* %[[DEST]] 65 // CHECK: store i8 %sel.eq, i8* %__value_, align 1 66 // CHECK: ret 67 return x <=> y; 68 } 69 70 // CHECK-LABEL: @_Z13test_constantv 71 auto test_constant() { 72 // CHECK: %[[DEST:retval|agg.result]] 73 // CHECK-NOT: icmp 74 // CHECK: %__value_ = getelementptr inbounds %[[SO]], %[[SO]]* %[[DEST]] 75 // CHECK-NEXT: store i8 -1, i8* %__value_ 76 // CHECK: ret 77 const int x = 42; 78 const int y = 101; 79 return x <=> y; 80 } 81 82 // CHECK-LABEL: @_Z18unscoped_enum_testijxy 83 void unscoped_enum_test(int i, unsigned u, long long l, unsigned long long ul) { 84 enum EnumA : int { A }; 85 enum EnumB : unsigned { B }; 86 // CHECK: %[[I:.*]] = load {{.*}} %i.addr 87 // CHECK: icmp slt i32 {{.*}} %[[I]] 88 (void)(A <=> i); 89 90 // CHECK: %[[U:.*]] = load {{.*}} %u.addr 91 // CHECK: icmp ult i32 {{.*}} %[[U]] 92 (void)(A <=> u); 93 94 // CHECK: %[[L:.*]] = load {{.*}} %l.addr 95 // CHECK: icmp slt i64 {{.*}} %[[L]] 96 (void)(A <=> l); 97 98 // CHECK: %[[U2:.*]] = load {{.*}} %u.addr 99 // CHECK: icmp ult i32 {{.*}} %[[U2]] 100 (void)(B <=> u); 101 102 // CHECK: %[[UL:.*]] = load {{.*}} %ul.addr 103 // CHECK: icmp ult i64 {{.*}} %[[UL]] 104 (void)(B <=> ul); 105 } 106