83 lines · plain
1; RUN: split-file %s %t2; RUN: not llvm-as < %t/parse-fail.ll 2>&1 | FileCheck %s --check-prefix=CHECK-PARSE-FAIL3; RUN: not llvm-as < %t/input-before-output.ll 2>&1 | FileCheck %s --check-prefix=CHECK-INPUT-BEFORE-OUTPUT4; RUN: not llvm-as < %t/input-after-clobber.ll 2>&1 | FileCheck %s --check-prefix=CHECK-INPUT-AFTER-CLOBBER5; RUN: not llvm-as < %t/must-return-void.ll 2>&1 | FileCheck %s --check-prefix=CHECK-MUST-RETURN-VOID6; RUN: not llvm-as < %t/cannot-be-struct.ll 2>&1 | FileCheck %s --check-prefix=CHECK-CANNOT-BE-STRUCT7; RUN: not llvm-as < %t/incorrect-struct-elements.ll 2>&1 | FileCheck %s --check-prefix=CHECK-INCORRECT-STRUCT-ELEMENTS8; RUN: not llvm-as < %t/incorrect-arg-num.ll 2>&1 | FileCheck %s --check-prefix=CHECK-INCORRECT-ARG-NUM9; RUN: not llvm-as < %t/label-after-clobber.ll 2>&1 | FileCheck %s --check-prefix=CHECK-LABEL-AFTER-CLOBBER10; RUN: not llvm-as < %t/output-after-label.ll 2>&1 | FileCheck %s --check-prefix=CHECK-OUTPUT-AFTER-LABEL11 12;--- parse-fail.ll13; CHECK-PARSE-FAIL: failed to parse constraints14define 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 void18}19 20;--- input-before-output.ll21; CHECK-INPUT-BEFORE-OUTPUT: output constraint occurs after input, clobber or label constraint22define void @foo() {23 call void asm sideeffect "mov x0, #42", "r,=r"()24 ret void25}26 27;--- input-after-clobber.ll28; CHECK-INPUT-AFTER-CLOBBER: input constraint occurs after clobber constraint29define void @foo() {30 call void asm sideeffect "mov x0, #42", "~{x0},r"()31 ret void32}33 34;--- must-return-void.ll35; CHECK-MUST-RETURN-VOID: inline asm without outputs must return void36define void @foo() {37 call i32 asm sideeffect "mov x0, #42", ""()38 ret void39}40 41;--- cannot-be-struct.ll42; CHECK-CANNOT-BE-STRUCT: inline asm with one output cannot return struct43define void @foo() {44 call { i32 } asm sideeffect "mov x0, #42", "=r"()45 ret void46}47 48;--- incorrect-struct-elements.ll49; CHECK-INCORRECT-STRUCT-ELEMENTS: number of output constraints does not match number of return struct elements50define void @foo() {51 call { i32 } asm sideeffect "mov x0, #42", "=r,=r"()52 ret void53}54 55;--- incorrect-arg-num.ll56; CHECK-INCORRECT-ARG-NUM: number of input constraints does not match number of parameters57define void @foo() {58 call void asm sideeffect "mov x0, #42", "r"()59 ret void60}61 62;--- label-after-clobber.ll63; CHECK-LABEL-AFTER-CLOBBER: label constraint occurs after clobber constraint64define void @foo() {65 callbr void asm sideeffect "", "~{flags},!i"()66 to label %1 [label %2]671:68 ret void692:70 ret void71}72 73;--- output-after-label.ll74; CHECK-OUTPUT-AFTER-LABEL: output constraint occurs after input, clobber or label constraint75define void @foo() {76 %res = callbr i32 asm sideeffect "", "!i,=r,~{flags}"()77 to label %1 [label %2]781:79 ret void802:81 ret void82}83