diff options
author | Gor Nishanov <GorNishanov@gmail.com> | 2016-10-03 22:44:48 +0000 |
---|---|---|
committer | Gor Nishanov <GorNishanov@gmail.com> | 2016-10-03 22:44:48 +0000 |
commit | f7aae8377fb4801028b88f7b0e948d2500f9af3b (patch) | |
tree | 8e4a97ff3b3544663b4ae426b059e517a30a8b3e /test/CodeGenCoroutines | |
parent | 4abceaa6304777435caf488959f6d8a1f8d9270a (diff) |
[coroutines] Adding builtins for coroutine intrinsics and backendutil support.
Summary:
With this commit simple coroutines can be created in plain C using coroutine builtins.
Reviewers: rnk, EricWF, rsmith
Subscribers: modocache, mgorny, mehdi_amini, beanz, cfe-commits
Differential Revision: https://reviews.llvm.org/D24373
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@283155 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CodeGenCoroutines')
-rw-r--r-- | test/CodeGenCoroutines/coro-builtins-err.c | 10 | ||||
-rw-r--r-- | test/CodeGenCoroutines/coro-builtins.c | 56 |
2 files changed, 66 insertions, 0 deletions
diff --git a/test/CodeGenCoroutines/coro-builtins-err.c b/test/CodeGenCoroutines/coro-builtins-err.c new file mode 100644 index 0000000000..dfd2542886 --- /dev/null +++ b/test/CodeGenCoroutines/coro-builtins-err.c @@ -0,0 +1,10 @@ +// RUN: %clang_cc1 -triple x86_64-pc-windows-msvc18.0.0 -fcoroutines-ts -emit-llvm %s -o - -verify + +void f() { + __builtin_coro_alloc(); // expected-error {{this builtin expect that __builtin_coro_id}} + __builtin_coro_begin(0); // expected-error {{this builtin expect that __builtin_coro_id}} + __builtin_coro_free(0); // expected-error {{this builtin expect that __builtin_coro_id}} + + __builtin_coro_id(32, 0, 0, 0); + __builtin_coro_id(32, 0, 0, 0); // expected-error {{only one __builtin_coro_id}} +} diff --git a/test/CodeGenCoroutines/coro-builtins.c b/test/CodeGenCoroutines/coro-builtins.c new file mode 100644 index 0000000000..5c3e6c3a6b --- /dev/null +++ b/test/CodeGenCoroutines/coro-builtins.c @@ -0,0 +1,56 @@ +// RUN: %clang_cc1 -triple x86_64-pc-windows-msvc18.0.0 -fcoroutines-ts -emit-llvm %s -o - -disable-llvm-passes | FileCheck %s + +void *myAlloc(long long); + +// CHECK-LABEL: f( +void f(int n) { + // CHECK: %n.addr = alloca i32 + // CHECK: %n_copy = alloca i32 + // CHECK: %promise = alloca i32 + int n_copy; + int promise; + + // CHECK: %[[PROM_ADDR:.+]] = bitcast i32* %promise to i8* + // CHECK-NEXT: %[[COROID:.+]] = call token @llvm.coro.id(i32 32, i8* %[[PROM_ADDR]], i8* null, i8* null) + __builtin_coro_id(32, &promise, 0, 0); + + // CHECK-NEXT: call i1 @llvm.coro.alloc(token %[[COROID]]) + __builtin_coro_alloc(); + + // CHECK-NEXT: %[[SIZE:.+]] = call i64 @llvm.coro.size.i64() + // CHECK-NEXT: %[[MEM:.+]] = call i8* @myAlloc(i64 %[[SIZE]]) + // CHECK-NEXT: %[[BEG:.+]] = call i8* @llvm.coro.begin(token %[[COROID]], i8* %[[MEM]]) + __builtin_coro_begin(myAlloc(__builtin_coro_size())); + + // CHECK-NEXT: %[[FRAME1:.+]] = call i8* @llvm.coro.frame() + // CHECK-NEXT: call void @llvm.coro.resume(i8* %[[FRAME1]]) + __builtin_coro_resume(__builtin_coro_frame()); + + // CHECK-NEXT: %[[FRAME2:.+]] = call i8* @llvm.coro.frame() + // CHECK-NEXT: call void @llvm.coro.destroy(i8* %[[FRAME2]]) + __builtin_coro_destroy(__builtin_coro_frame()); + + // CHECK-NEXT: %[[FRAME3:.+]] = call i8* @llvm.coro.frame() + // CHECK-NEXT: call i1 @llvm.coro.done(i8* %[[FRAME3]]) + __builtin_coro_done(__builtin_coro_frame()); + + // CHECK-NEXT: %[[FRAME4:.+]] = call i8* @llvm.coro.frame() + // CHECK-NEXT: call i8* @llvm.coro.promise(i8* %[[FRAME4]], i32 48, i1 false) + __builtin_coro_promise(__builtin_coro_frame(), 48, 0); + + // CHECK-NEXT: %[[FRAME5:.+]] = call i8* @llvm.coro.frame() + // CHECK-NEXT: call i8* @llvm.coro.free(token %[[COROID]], i8* %[[FRAME5]]) + __builtin_coro_free(__builtin_coro_frame()); + + // CHECK-NEXT: %[[FRAME6:.+]] = call i8* @llvm.coro.frame() + // CHECK-NEXT: call void @llvm.coro.end(i8* %[[FRAME6]], i1 false) + __builtin_coro_end(__builtin_coro_frame(), 0); + + // CHECK-NEXT: call i8 @llvm.coro.suspend(token none, i1 true) + __builtin_coro_suspend(1); + + // CHECK-NEXT: %[[N_ADDR:.+]] = bitcast i32* %n.addr to i8* + // CHECK-NEXT: %[[N_COPY_ADDR:.+]] = bitcast i32* %n_copy to i8* + // CHECK-NEXT: call i1 @llvm.coro.param(i8* %[[N_ADDR]], i8* %[[N_COPY_ADDR]]) + __builtin_coro_param(&n, &n_copy); +} |