llvm/test/Assembler/inline-asm-constraint-error.ll

   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
  14 define 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
  22 define 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
  29 define 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
  36 define 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
  43 define 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
  50 define 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
  57 define 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
  64 define void @foo() {
  65   callbr void asm sideeffect "", "~{flags},!i"()
  66   to label %1 [label %2]
  67 1:
  68   ret void
  69 2:
  70   ret void
  71 }
  72
  73 ;--- output-after-label.ll
  74 ; CHECK-OUTPUT-AFTER-LABEL: output constraint occurs after input, clobber or label constraint
  75 define void @foo() {
  76   %res = callbr i32 asm sideeffect "", "!i,=r,~{flags}"()
  77   to label %1 [label %2]
  78 1:
  79   ret void
  80 2:
  81   ret void
  82 }