104 lines · cpp
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=16 7#include "Inputs/std-compare.h"8 9// Ensure we don't emit definitions for the global variables10// since the builtins shouldn't ODR use them.11// CHECK-NOT: constant %[[SO]]12// CHECK-NOT: constant %[[PO]]13 14// CHECK-LABEL: @_Z11test_signedii15auto test_signed(int x, int y) {16 // CHECK: %[[DEST:retval|agg.result]]17 // CHECK: %cmp.lt = icmp slt i32 %{{.+}}, %{{.+}}18 // CHECK: %sel.lt = select i1 %cmp.lt, i8 [[LT]], i8 [[GT]]19 // CHECK: %cmp.eq = icmp eq i32 %{{.+}}, %{{.+}}20 // CHECK: %sel.eq = select i1 %cmp.eq, i8 [[EQ]], i8 %sel.lt21 // CHECK: %__value_ = getelementptr inbounds nuw %[[SO]], ptr %[[DEST]]22 // CHECK: store i8 %sel.eq, ptr %__value_, align 123 // CHECK: ret24 return x <=> y;25}26 27// CHECK-LABEL: @_Z13test_unsignedjj28auto test_unsigned(unsigned x, unsigned y) {29 // CHECK: %[[DEST:retval|agg.result]]30 // CHECK: %cmp.lt = icmp ult i32 %{{.+}}, %{{.+}}31 // CHECK: %sel.lt = select i1 %cmp.lt, i8 [[LT]], i8 [[GT]]32 // CHECK: %cmp.eq = icmp eq i32 %{{.+}}, %{{.+}}33 // CHECK: %sel.eq = select i1 %cmp.eq, i8 [[EQ]], i8 %sel.lt34 // CHECK: %__value_ = getelementptr inbounds nuw %[[SO]], ptr %[[DEST]]35 // CHECK: store i8 %sel.eq, ptr %__value_36 // CHECK: ret37 return x <=> y;38}39 40// CHECK-LABEL: @_Z10float_testdd41auto float_test(double x, double y) {42 // CHECK: %[[DEST:retval|agg.result]]43 // CHECK: %cmp.eq = fcmp oeq double %{{.+}}, %{{.+}}44 // CHECK: %sel.eq = select i1 %cmp.eq, i8 [[EQ]], i8 [[UNORD]]45 // CHECK: %cmp.gt = fcmp ogt double %{{.+}}, %{{.+}}46 // CHECK: %sel.gt = select i1 %cmp.gt, i8 [[GT]], i8 %sel.eq47 // CHECK: %cmp.lt = fcmp olt double %{{.+}}, %{{.+}}48 // CHECK: %sel.lt = select i1 %cmp.lt, i8 [[LT]], i8 %sel.gt49 // CHECK: %__value_ = getelementptr inbounds nuw %[[PO]], ptr %[[DEST]]50 // CHECK: store i8 %sel.lt, ptr %__value_51 // CHECK: ret52 return x <=> y;53}54 55// CHECK-LABEL: @_Z8ptr_testPiS_56auto ptr_test(int *x, int *y) {57 // CHECK: %[[DEST:retval|agg.result]]58 // CHECK: %cmp.lt = icmp ult ptr %{{.+}}, %{{.+}}59 // CHECK: %sel.lt = select i1 %cmp.lt, i8 [[LT]], i8 [[GT]]60 // CHECK: %cmp.eq = icmp eq ptr %{{.+}}, %{{.+}}61 // CHECK: %sel.eq = select i1 %cmp.eq, i8 [[EQ]], i8 %sel.lt62 // CHECK: %__value_ = getelementptr inbounds nuw %[[SO]], ptr %[[DEST]]63 // CHECK: store i8 %sel.eq, ptr %__value_, align 164 // CHECK: ret65 return x <=> y;66}67 68// CHECK-LABEL: @_Z13test_constantv69auto test_constant() {70 // CHECK: %[[DEST:retval|agg.result]]71 // CHECK-NOT: icmp72 // CHECK: %__value_ = getelementptr inbounds nuw %[[SO]], ptr %[[DEST]]73 // CHECK-NEXT: store i8 -1, ptr %__value_74 // CHECK: ret75 const int x = 42;76 const int y = 101;77 return x <=> y;78}79 80// CHECK-LABEL: @_Z18unscoped_enum_testijxy81void unscoped_enum_test(int i, unsigned u, long long l, unsigned long long ul) {82 enum EnumA : int { A };83 enum EnumB : unsigned { B };84 // CHECK: %[[I:.*]] = load {{.*}} %i.addr85 // CHECK: icmp slt i32 {{.*}} %[[I]]86 (void)(A <=> i);87 88 // CHECK: %[[U:.*]] = load {{.*}} %u.addr89 // CHECK: icmp ult i32 {{.*}} %[[U]]90 (void)(A <=> u);91 92 // CHECK: %[[L:.*]] = load {{.*}} %l.addr93 // CHECK: icmp slt i64 {{.*}} %[[L]]94 (void)(A <=> l);95 96 // CHECK: %[[U2:.*]] = load {{.*}} %u.addr97 // CHECK: icmp ult i32 {{.*}} %[[U2]]98 (void)(B <=> u);99 100 // CHECK: %[[UL:.*]] = load {{.*}} %ul.addr101 // CHECK: icmp ult i64 {{.*}} %[[UL]]102 (void)(B <=> ul);103}104