73 lines · cpp
1// RUN: %clang_cc1 -std=c++2a -emit-llvm %s -o - -triple %itanium_abi_triple | FileCheck %s --check-prefixes=CHECK,ITANIUM2// RUN: %clang_cc1 -std=c++2a -emit-llvm %s -o - -triple x86_64-pc-win32 2>&1 | FileCheck %s --check-prefixes=CHECK,MSABI3 4namespace std {5 struct strong_ordering {6 int n;7 constexpr operator int() const { return n; }8 static const strong_ordering less, equal, greater;9 };10 constexpr strong_ordering strong_ordering::less = {-1};11 constexpr strong_ordering strong_ordering::equal = {0};12 constexpr strong_ordering strong_ordering::greater = {1};13}14 15struct Primary {16 virtual void f();17 std::strong_ordering operator<=>(const Primary&) const = default;18};19struct X {20 virtual struct Y &operator=(Y&&);21 virtual struct Y &operator=(const Y&);22 std::strong_ordering operator<=>(const X&) const = default;23};24// The vtable for Y should contain the following entries in order:25// - Primary::f26// - Y::operator<=>27// - Y::operator=(const Y&) (implicit)28// - Y::operator=(Y&&) (implicit)29// - Y::operator==(const Y&) const (implicit)30// See:31// https://github.com/itanium-cxx-abi/cxx-abi/issues/83 for assignment operator32// https://github.com/itanium-cxx-abi/cxx-abi/issues/88 for equality comparison33// FIXME: What rule does MSVC use?34struct Y : Primary, X {35 virtual std::strong_ordering operator<=>(const Y&) const = default;36};37Y y;38// ITANIUM: @_ZTV1Y = {{.*}}constant {{.*}} null, {{.*}} @_ZTI1Y, {{.*}} @_ZN7Primary1fEv, {{.*}} @_ZNK1YssERKS_, {{.*}} @_ZN1YaSERKS_, {{.*}} @_ZN1YaSEOS_, {{.*}} @_ZNK1YeqERKS_], {{.*}} -[[POINTERSIZE:4|8]]39// ITANIUM-SAME: @_ZTI1Y, {{.*}} @_ZThn[[POINTERSIZE]]_N1YaSERKS_40 41struct A {42 void operator<=>(int);43};44 45// ITANIUM: define {{.*}}@_ZN1AssEi(46// MSABI: define {{.*}}@"??__MA@@QEAAXH@Z"(47void A::operator<=>(int) {}48 49// ITANIUM: define {{.*}}@_Zssi1A(50// MSABI: define {{.*}}@"??__M@YAXHUA@@@Z"(51void operator<=>(int, A) {}52 53int operator<=>(A, A);54 55// ITANIUM: define {{.*}}_Z1f1A(56// MSABI: define {{.*}}@"?f@@YAHUA@@@Z"(57int f(A a) {58 // ITANIUM: %[[RET:.*]] = call {{.*}}_Zss1AS_(59 // ITANIUM: ret i32 %[[RET]]60 // MSABI: %[[RET:.*]] = call {{.*}}"??__M@YAHUA@@0@Z"(61 // MSABI: ret i32 %[[RET]]62 return a <=> a;63}64 65// CHECK-LABEL: define {{.*}}builtin_cmp66void builtin_cmp(int a) {67 // CHECK: icmp slt68 // CHECK: select69 // CHECK: icmp eq70 // CHECK: select71 a <=> a;72}73