1 files changed, 59 insertions, 0 deletions
diff --git a/llvm/test/Assembler/invalid-OperatorConstraint.ll b/llvm/test/Assembler/invalid-OperatorConstraint.ll
new file mode 100644
index 00000000000..e21586a51bd
--- /dev/null
+++ b/llvm/test/Assembler/invalid-OperatorConstraint.ll
@@ -0,0 +1,59 @@
+; RUN: sed -e s/.T1:// %s | not llvm-as -disable-output 2>&1 | FileCheck --check-prefix=CHECK1 %s
+; RUN: sed -e s/.T2:// %s | not llvm-as -disable-output 2>&1 | FileCheck --check-prefix=CHECK2 %s
+; RUN: sed -e s/.T3:// %s | not llvm-as -disable-output 2>&1 | FileCheck --check-prefix=CHECK3 %s
+; RUN: sed -e s/.T4:// %s | not llvm-as -disable-output 2>&1 | FileCheck --check-prefix=CHECK4 %s
+; RUN: sed -e s/.T5:// %s | not llvm-as -disable-output 2>&1 | FileCheck --check-prefix=CHECK5 %s
+; RUN: sed -e s/.T6:// %s | not llvm-as -disable-output 2>&1 | FileCheck --check-prefix=CHECK6 %s
+
+;T1: define void @f() {
+;T1:   entry:
+;T1:     ; operator constraint requires an operator
+;T1:     catchret undef to label %entry
+;T1:     ; CHECK1: [[@LINE-1]]:15: error: Catchpad value required in this position
+;T1: }
+
+;T2: define void @f() {
+;T2:   entry:
+;T2:     %x = cleanuppad []
+;T2:     ; catchret's first operand's operator must be catchpad
+;T2:     catchret %x to label %entry
+;T2:     ; CHECK2: [[@LINE-1]]:15: error: '%x' is not a catchpad
+;T2: }
+
+;T3: define void @f() {
+;T3:   entry:
+;T3:     ; catchret's first operand's operator must be catchpad
+;T3:     ; (forward reference case)
+;T3:     catchret %x to label %next
+;T3:     ; CHECK3: [[@LINE-1]]:15: error: '%x' is not a catchpad
+;T3:   next:
+;T3:     %x = cleanuppad []
+;T3:     ret void
+;T3: }
+
+;T4: define void @f() {
+;T4:   entry:
+;T4:     ; operator constraint requires an operator
+;T4:     cleanupret undef unwind label %entry
+;T4:     ; CHECK4: [[@LINE-1]]:17: error: Cleanuppad value required in this position
+;T4: }
+
+;T5: define void @f() {
+;T5:   entry:
+;T5:     %x = catchpad []
+;T5:             to label %next unwind label %entry
+;T5:   next:
+;T5:     ; cleanupret first operand's operator must be cleanuppad
+;T5:     cleanupret %x unwind to caller
+;T5:     ; CHECK5: [[@LINE-1]]:17: error: '%x' is not a cleanuppad
+;T5: }
+
+;T6: define void @f() {
+;T6:   entry:
+;T6:     ; cleanupret's first operand's operator must be cleanuppad
+;T6:     ; (forward reference case)
+;T6:     cleanupret %x unwind label %next
+;T6:     ; CHECK6: [[@LINE-1]]:17: error: '%x' is not a cleanuppad
+;T6:   next:
+;T6:     %x = catchpad [] to label %entry unwind label %next
+;T6: }