[llvm-dev] RFC: LLVM Coroutine Representation, Round 2

[Antoine Pitrou via llvm-dev]

On Wed, 20 Jul 2016 15:11:51 -0700
Gor Nishanov via llvm-dev <llvm-dev at lists.llvm.org> wrote:
> 
> There is a single suspend point at a python level, but not, necessarily, at LLVM
> level. I would inject two more suspend points in your python frontend, so the
> LLVM looks like this:
> 
>   Iterator coroutine(int n) {
>     int current_value;
>     CORO_BEGIN(..., &current_value); // designate current_value as promise
>     SUSPEND(); // coroutine starts suspended
>     for (int i = 0; i < n; ++i) {
>       curren_value = i; SUSPEND(); // yield i
>     }
>     SUSPEND(/*final=*/true);
>     ...
>   }
> 
>   int __next__(void* hdl) {
>     coro.resume(hdl);
>     if (coro.done(hdl)) throw StopIteration();
>     return *(int*)coro.promise(hdl);
>   }
> 
> Essentially, for every generator, you always insert an initial suspend point
> before any user authored code and you insert a final suspend point after all
> the user authored code.

I see, thanks. Perhaps that would be worth mentioning in the document?

Regards

Antoine.