[WinEH] Verify unwind edges against EH pad tree
Summary:
Funclet EH personalities require a tree-like nesting among funclets
(enforced by the ParentPad linkage in the IR), and also require that
unwind edges conform to certain rules with respect to the tree:
- An unwind edge may exit 0 or more ancestor pads
- An unwind edge must enter exactly one EH pad, which must be distinct
from any exited pads
- A cleanupret's edge must exit its cleanuppad
Describe these rules in the LangRef, and enforce them in the verifier.
Reviewers: rnk, majnemer, andrew.w.kaylor
Subscribers: llvm-commits
Differential Revision: http://reviews.llvm.org/D15961
llvm-svn: 257272
diff --git a/llvm/test/Feature/exception.ll b/llvm/test/Feature/exception.ll
index 2634692..cbe2d03 100644
--- a/llvm/test/Feature/exception.ll
+++ b/llvm/test/Feature/exception.ll
@@ -43,7 +43,7 @@
invoke void @_Z3quxv() optsize
to label %exit unwind label %pad
cleanup:
- cleanupret from %cp unwind label %pad
+ cleanupret from %cp unwind to caller
pad:
%cp = cleanuppad within none []
br label %cleanup
@@ -57,7 +57,7 @@
invoke void @_Z3quxv() optsize
to label %exit unwind label %pad
cleanup:
- cleanupret from %0 unwind label %pad
+ cleanupret from %0 unwind to caller
pad:
%0 = cleanuppad within none []
br label %cleanup