Hans Wennborg | 40ccbd3 | 2018-10-26 13:05:45 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -std=c++2a -emit-llvm %s -o - -triple %itanium_abi_triple | FileCheck %s --check-prefix=ITANIUM |
Nico Weber | e4381ee | 2019-04-24 00:48:04 +0000 | [diff] [blame] | 2 | // RUN: %clang_cc1 -std=c++2a -emit-llvm %s -o - -triple x86_64-pc-win32 2>&1 | FileCheck %s --check-prefix=MSABI |
Richard Smith | c70f1d6 | 2017-12-14 15:16:18 +0000 | [diff] [blame] | 3 | // RUN: not %clang_cc1 -std=c++2a -emit-llvm %s -o - -triple %itanium_abi_triple -DBUILTIN 2>&1 | FileCheck %s --check-prefix=BUILTIN |
Richard Smith | d30b23d | 2017-12-01 02:13:10 +0000 | [diff] [blame] | 4 | |
| 5 | struct A { |
| 6 | void operator<=>(int); |
| 7 | }; |
| 8 | |
| 9 | // ITANIUM: define {{.*}}@_ZN1AssEi( |
Nico Weber | 27df409 | 2019-04-23 16:37:42 +0000 | [diff] [blame] | 10 | // MSABI: define {{.*}}@"??__MA@@QEAAXH@Z"( |
Richard Smith | d30b23d | 2017-12-01 02:13:10 +0000 | [diff] [blame] | 11 | void A::operator<=>(int) {} |
| 12 | |
| 13 | // ITANIUM: define {{.*}}@_Zssi1A( |
Nico Weber | 27df409 | 2019-04-23 16:37:42 +0000 | [diff] [blame] | 14 | // MSABI: define {{.*}}@"??__M@YAXHUA@@@Z"( |
Richard Smith | d30b23d | 2017-12-01 02:13:10 +0000 | [diff] [blame] | 15 | void operator<=>(int, A) {} |
Richard Smith | c70f1d6 | 2017-12-14 15:16:18 +0000 | [diff] [blame] | 16 | |
| 17 | int operator<=>(A, A); |
| 18 | |
| 19 | // ITANIUM: define {{.*}}_Z1f1A( |
Nico Weber | 27df409 | 2019-04-23 16:37:42 +0000 | [diff] [blame] | 20 | // MSABI: define {{.*}}@"?f@@YAHUA@@@Z"( |
Richard Smith | c70f1d6 | 2017-12-14 15:16:18 +0000 | [diff] [blame] | 21 | int f(A a) { |
| 22 | // ITANIUM: %[[RET:.*]] = call {{.*}}_Zss1AS_( |
Hans Wennborg | 40ccbd3 | 2018-10-26 13:05:45 +0000 | [diff] [blame] | 23 | // ITANIUM: ret i32 %[[RET]] |
Nico Weber | 27df409 | 2019-04-23 16:37:42 +0000 | [diff] [blame] | 24 | // MSABI: %[[RET:.*]] = call {{.*}}"??__M@YAHUA@@0@Z"( |
| 25 | // MSABI: ret i32 %[[RET]] |
Richard Smith | c70f1d6 | 2017-12-14 15:16:18 +0000 | [diff] [blame] | 26 | return a <=> a; |
| 27 | } |
| 28 | |
| 29 | #ifdef BUILTIN |
| 30 | void builtin(int a) { |
| 31 | a <=> a; // BUILTIN: cannot compile this scalar expression yet |
| 32 | } |
| 33 | #endif |