mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2025-02-01 05:01:59 +01:00
f0b3e4d679
Summary: Depends on https://reviews.llvm.org/D71901. The fifth in a series of patches that ports the LLVM coroutines passes to the new pass manager infrastructure. The first 4 patches allow users to run coroutine passes by invoking, for example `opt -passes=coro-early`. However, most of LLVM's tests for coroutines use an option, `opt -enable-coroutines`, which adds all 4 coroutine passes to the appropriate legacy pass manager extension points. This patch does the same, but using the new pass manager: when coroutine features are enabled and the new pass manager is being used, this adds the new-pass-manager-compliant coroutine passes to the pass builder's pipeline. This allows us to run all coroutine tests using the new pass manager (besides those that use the coroutine retcon ABI used by the Swift compiler, which is not yet supported in the new pass manager). Reviewers: GorNishanov, lewissbaker, chandlerc, junparser, wenlei Subscribers: wenlei, EricWF, Prazek, hiraditya, llvm-commits Tags: #llvm Differential Revision: https://reviews.llvm.org/D71902
49 lines
1.8 KiB
LLVM
49 lines
1.8 KiB
LLVM
; Verifies that the restart trigger that is used by legacy coroutine passes
|
|
; forces the legacy pass manager to restart IPO pipelines, thereby causing the
|
|
; same coroutine to be looked at by CoroSplit pass twice.
|
|
; REQUIRES: asserts
|
|
; RUN: opt < %s -S -O0 -enable-coroutines -debug-only=coro-split 2>&1 | FileCheck %s
|
|
; RUN: opt < %s -S -O1 -enable-coroutines -debug-only=coro-split 2>&1 | FileCheck %s
|
|
; The following tests use the new pass manager, and verify that the coroutine
|
|
; passes re-run the CGSCC pipeline.
|
|
; RUN: opt < %s -S -passes='default<O0>' -enable-coroutines -debug-only=coro-split 2>&1 | FileCheck %s
|
|
; RUN: opt < %s -S -passes='default<O1>' -enable-coroutines -debug-only=coro-split 2>&1 | FileCheck %s
|
|
|
|
; CHECK: CoroSplit: Processing coroutine 'f' state: 0
|
|
; CHECK-NEXT: CoroSplit: Processing coroutine 'f' state: 1
|
|
|
|
define void @f() {
|
|
%id = call token @llvm.coro.id(i32 0, i8* null, i8* null, i8* null)
|
|
%size = call i32 @llvm.coro.size.i32()
|
|
%alloc = call i8* @malloc(i32 %size)
|
|
%hdl = call i8* @llvm.coro.begin(token %id, i8* %alloc)
|
|
call void @print(i32 0)
|
|
%s1 = call i8 @llvm.coro.suspend(token none, i1 false)
|
|
switch i8 %s1, label %suspend [i8 0, label %resume
|
|
i8 1, label %cleanup]
|
|
resume:
|
|
call void @print(i32 1)
|
|
br label %cleanup
|
|
|
|
cleanup:
|
|
%mem = call i8* @llvm.coro.free(token %id, i8* %hdl)
|
|
call void @free(i8* %mem)
|
|
br label %suspend
|
|
suspend:
|
|
call i1 @llvm.coro.end(i8* %hdl, i1 0)
|
|
ret void
|
|
}
|
|
|
|
declare token @llvm.coro.id(i32, i8*, i8*, i8*)
|
|
declare i8* @llvm.coro.begin(token, i8*)
|
|
declare i8* @llvm.coro.free(token, i8*)
|
|
declare i32 @llvm.coro.size.i32()
|
|
declare i8 @llvm.coro.suspend(token, i1)
|
|
declare void @llvm.coro.resume(i8*)
|
|
declare void @llvm.coro.destroy(i8*)
|
|
declare i1 @llvm.coro.end(i8*, i1)
|
|
|
|
declare noalias i8* @malloc(i32)
|
|
declare void @print(i32)
|
|
declare void @free(i8*)
|