1; RUN: split-file %s %t 2; RUN: not llvm-as < %t/parse-fail.ll 2>&1 | FileCheck %s --check-prefix=CHECK-PARSE-FAIL 3; RUN: not llvm-as < %t/input-before-output.ll 2>&1 | FileCheck %s --check-prefix=CHECK-INPUT-BEFORE-OUTPUT 4; RUN: not llvm-as < %t/input-after-clobber.ll 2>&1 | FileCheck %s --check-prefix=CHECK-INPUT-AFTER-CLOBBER 5; RUN: not llvm-as < %t/must-return-void.ll 2>&1 | FileCheck %s --check-prefix=CHECK-MUST-RETURN-VOID 6; RUN: not llvm-as < %t/cannot-be-struct.ll 2>&1 | FileCheck %s --check-prefix=CHECK-CANNOT-BE-STRUCT 7; RUN: not llvm-as < %t/incorrect-struct-elements.ll 2>&1 | FileCheck %s --check-prefix=CHECK-INCORRECT-STRUCT-ELEMENTS 8; RUN: not llvm-as < %t/incorrect-arg-num.ll 2>&1 | FileCheck %s --check-prefix=CHECK-INCORRECT-ARG-NUM 9; RUN: not llvm-as < %t/label-after-clobber.ll 2>&1 | FileCheck %s --check-prefix=CHECK-LABEL-AFTER-CLOBBER 10; RUN: not llvm-as < %t/output-after-label.ll 2>&1 | FileCheck %s --check-prefix=CHECK-OUTPUT-AFTER-LABEL 11 12;--- parse-fail.ll 13; CHECK-PARSE-FAIL: failed to parse constraints 14define void @foo() { 15 ; "~x{21}" is not a valid clobber constraint. 16 call void asm sideeffect "mov x0, #42", "~{x0},~{x19},~x{21}"() 17 ret void 18} 19 20;--- input-before-output.ll 21; CHECK-INPUT-BEFORE-OUTPUT: output constraint occurs after input, clobber or label constraint 22define void @foo() { 23 call void asm sideeffect "mov x0, #42", "r,=r"() 24 ret void 25} 26 27;--- input-after-clobber.ll 28; CHECK-INPUT-AFTER-CLOBBER: input constraint occurs after clobber constraint 29define void @foo() { 30 call void asm sideeffect "mov x0, #42", "~{x0},r"() 31 ret void 32} 33 34;--- must-return-void.ll 35; CHECK-MUST-RETURN-VOID: inline asm without outputs must return void 36define void @foo() { 37 call i32 asm sideeffect "mov x0, #42", ""() 38 ret void 39} 40 41;--- cannot-be-struct.ll 42; CHECK-CANNOT-BE-STRUCT: inline asm with one output cannot return struct 43define void @foo() { 44 call { i32 } asm sideeffect "mov x0, #42", "=r"() 45 ret void 46} 47 48;--- incorrect-struct-elements.ll 49; CHECK-INCORRECT-STRUCT-ELEMENTS: number of output constraints does not match number of return struct elements 50define void @foo() { 51 call { i32 } asm sideeffect "mov x0, #42", "=r,=r"() 52 ret void 53} 54 55;--- incorrect-arg-num.ll 56; CHECK-INCORRECT-ARG-NUM: number of input constraints does not match number of parameters 57define void @foo() { 58 call void asm sideeffect "mov x0, #42", "r"() 59 ret void 60} 61 62;--- label-after-clobber.ll 63; CHECK-LABEL-AFTER-CLOBBER: label constraint occurs after clobber constraint 64define void @foo() { 65 callbr void asm sideeffect "", "~{flags},!i"() 66 to label %1 [label %2] 671: 68 ret void 692: 70 ret void 71} 72 73;--- output-after-label.ll 74; CHECK-OUTPUT-AFTER-LABEL: output constraint occurs after input, clobber or label constraint 75define void @foo() { 76 %res = callbr i32 asm sideeffect "", "!i,=r,~{flags}"() 77 to label %1 [label %2] 781: 79 ret void 802: 81 ret void 82} 83