1 ; RUN: sed -e s/.T1:// %s | not llvm-as -disable-output 2>&1 | FileCheck --check-prefix=CHECK1 %s
2 ; RUN: sed -e s/.T2:// %s | not llvm-as -disable-output 2>&1 | FileCheck --check-prefix=CHECK2 %s
3 ; RUN: sed -e s/.T3:// %s | not llvm-as -disable-output 2>&1 | FileCheck --check-prefix=CHECK3 %s
4 ; RUN: sed -e s/.T4:// %s | not llvm-as -disable-output 2>&1 | FileCheck --check-prefix=CHECK4 %s
5 ; RUN: sed -e s/.T5:// %s | not llvm-as -disable-output 2>&1 | FileCheck --check-prefix=CHECK5 %s
6 ; RUN: sed -e s/.T6:// %s | not llvm-as -disable-output 2>&1 | FileCheck --check-prefix=CHECK6 %s
8 ;T1: define void @f() {
10 ;T1: ; operator constraint requires an operator
11 ;T1: catchret undef to label %entry
12 ;T1: ; CHECK1: [[@LINE-1]]:15: error: Catchpad value required in this position
15 ;T2: define void @f() {
17 ;T2: %x = cleanuppad []
18 ;T2: ; catchret's first operand's operator must be catchpad
19 ;T2: catchret %x to label %entry
20 ;T2: ; CHECK2: [[@LINE-1]]:15: error: '%x' is not a catchpad
23 ;T3: define void @f() {
25 ;T3: ; catchret's first operand's operator must be catchpad
26 ;T3: ; (forward reference case)
27 ;T3: catchret %x to label %next
28 ;T3: ; CHECK3: [[@LINE-1]]:15: error: '%x' is not a catchpad
30 ;T3: %x = cleanuppad []
34 ;T4: define void @f() {
36 ;T4: ; operator constraint requires an operator
37 ;T4: cleanupret undef unwind label %entry
38 ;T4: ; CHECK4: [[@LINE-1]]:17: error: Cleanuppad value required in this position
41 ;T5: define void @f() {
44 ;T5: to label %next unwind label %entry
46 ;T5: ; cleanupret first operand's operator must be cleanuppad
47 ;T5: cleanupret %x unwind to caller
48 ;T5: ; CHECK5: [[@LINE-1]]:17: error: '%x' is not a cleanuppad
51 ;T6: define void @f() {
53 ;T6: ; cleanupret's first operand's operator must be cleanuppad
54 ;T6: ; (forward reference case)
55 ;T6: cleanupret %x unwind label %next
56 ;T6: ; CHECK6: [[@LINE-1]]:17: error: '%x' is not a cleanuppad
58 ;T6: %x = catchpad [] to label %entry unwind label %next