Gor Nishanov fa2883261f Part 4c: Coroutine Devirtualization: Devirtualize coro.resume and coro.destroy. ...

Summary:
This is the 4c patch of the coroutine series. CoroElide pass now checks if PostSplit coro.begin
is referenced by coro.subfn.addr intrinsics. If so replace coro.subfn.addrs with an appropriate coroutine
subfunction associated with that coro.begin.

Documentation and overview is here: http://llvm.org/docs/Coroutines.html.

Upstreaming sequence (rough plan)
1.Add documentation. (https://reviews.llvm.org/D22603)
2.Add coroutine intrinsics. (https://reviews.llvm.org/D22659)
3.Add empty coroutine passes. (https://reviews.llvm.org/D22847)
4.Add coroutine devirtualization + tests.
ab) Lower coro.resume and coro.destroy (https://reviews.llvm.org/D22998)
c) Do devirtualization <= we are here
5.Add CGSCC restart trigger + tests.
6.Add coroutine heap elision + tests.
7.Add the rest of the logic (split into more patches)

Reviewers: majnemer

Subscribers: mehdi_amini, llvm-commits

Differential Revision: https://reviews.llvm.org/D23229

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@277908 91177308-0d34-0410-b5e6-96231b3b80d8

2016-08-06 02:16:35 +00:00

..

AsmWriter.cpp

Revert "Don't invoke getName() from Function::isIntrinsic().", rL276942.

2016-07-28 23:58:15 +00:00

AttributeImpl.h

Expose AttributeSetNode, use it to provide aggregate getter for attribute in the C API.

2016-07-21 04:25:06 +00:00

Attributes.cpp

Fix -Wreturn-type with gcc 4.8 and libc++

2016-07-18 22:12:46 +00:00

AttributesCompatFunc.td

…

AttributeSetNode.h

Add missing import to fix the build

2016-07-21 04:31:38 +00:00

AutoUpgrade.cpp

Invariant start/end intrinsics overloaded for address space

2016-07-22 17:49:40 +00:00

BasicBlock.cpp

Apply clang-tidy's modernize-loop-convert to most of lib/IR.

2016-06-26 14:10:56 +00:00

CMakeLists.txt

…

Comdat.cpp

…

ConstantFold.cpp

[ConstantFold] Don't incorrectly infer inbounds on array GEP

2016-07-13 03:24:41 +00:00

ConstantFold.h

…

ConstantRange.cpp

…

Constants.cpp

Apply clang-tidy's modernize-loop-convert to most of lib/IR.

2016-06-26 14:10:56 +00:00

ConstantsContext.h

…

Core.cpp

Expose AttributeSetNode, use it to provide aggregate getter for attribute in the C API.

2016-07-21 04:25:06 +00:00

DataLayout.cpp

[IR] Introduce a non-integral pointer type

2016-07-28 23:43:38 +00:00

DebugInfo.cpp

…

DebugInfoMetadata.cpp

[codeview] Add DISubprogram::ThisAdjustment

2016-07-01 02:41:21 +00:00

DebugLoc.cpp

…

DiagnosticInfo.cpp

[OptRemark,LDist] RFC: Add hotness attribute

2016-07-15 17:23:20 +00:00

DiagnosticPrinter.cpp

…

DIBuilder.cpp

[DIBuilder] Remove dead code. NFC.

2016-07-02 13:18:38 +00:00

Dominators.cpp

…

Function.cpp

[AutoFDO] Fix handling of empty profiles

2016-08-05 18:38:19 +00:00

GCOV.cpp

…

Globals.cpp

…

GVMaterializer.cpp

…

InlineAsm.cpp

…

Instruction.cpp

[IR] andIRFlags and copyIRFlags needs to handle GEP

2016-07-15 05:02:31 +00:00

Instructions.cpp

Add getReturnedArgOperand to Call/InvokeInst, CallSite

2016-07-10 23:01:32 +00:00

IntrinsicInst.cpp

…

IRBuilder.cpp

Add invariant start call creation in IRBuilder.NFC

2016-07-22 20:57:23 +00:00

IRPrintingPasses.cpp

…

LegacyPassManager.cpp

…

LLVMBuild.txt

…

LLVMContext.cpp

[OptRemark,LDist] RFC: Add hotness attribute

2016-07-15 17:23:20 +00:00

LLVMContextImpl.cpp

[OptRemark,LDist] RFC: Add hotness attribute

2016-07-15 17:23:20 +00:00

LLVMContextImpl.h

Fixed "copy-paste" mistake from revision 255245.

2016-07-31 14:41:50 +00:00

Mangler.cpp

…

MDBuilder.cpp

Fix the assertion failure caused by http://reviews.llvm.org/D22118

2016-07-11 17:36:02 +00:00

Metadata.cpp

IR: Drop uniquing when an MDNode Value operand is deleted

2016-08-03 18:19:43 +00:00

MetadataImpl.h

…

Module.cpp

Remove interface to get/set MaxFunctionCount

2016-06-20 21:36:38 +00:00

ModuleSummaryIndex.cpp

…

Operator.cpp

…

OptBisect.cpp

…

Pass.cpp

…

PassManager.cpp

…

PassRegistry.cpp

…

ProfileSummary.cpp

…

Statepoint.cpp

…

SymbolTableListTraitsImpl.h

…

Type.cpp

…

TypeFinder.cpp

Apply clang-tidy's modernize-loop-convert to most of lib/IR.

2016-06-26 14:10:56 +00:00

Use.cpp

…

User.cpp

…

Value.cpp

BasicAA should look through functions with returned arguments

2016-07-11 01:32:20 +00:00

ValueSymbolTable.cpp

Apply clang-tidy's modernize-loop-convert to most of lib/IR.

2016-06-26 14:10:56 +00:00

ValueTypes.cpp

…

Verifier.cpp

Part 4c: Coroutine Devirtualization: Devirtualize coro.resume and coro.destroy.

2016-08-06 02:16:35 +00:00