llvm/test/Verifier/get_vector_length.ll

   1 ; RUN: not llvm-as < %s -o /dev/null 2>&1 | FileCheck %s
   2
   3 declare i32 @llvm.experimental.get.vector.length.i32(i32, i32, i1)
   4
   5 define i32 @vector_length_negative_vf(i32 zeroext %tc) {
   6   ; CHECK: get_vector_length: VF must be positive
   7   ; CHECK-NEXT: %a = call i32 @llvm.experimental.get.vector.length.i32(i32 %tc, i32 -1, i1 true)
   8   %a = call i32 @llvm.experimental.get.vector.length.i32(i32 %tc, i32 -1, i1 true)
   9   ret i32 %a
  10 }
  11
  12 define i32 @vector_length_zero_vf(i32 zeroext %tc) {
  13   ; CHECK: get_vector_length: VF must be positive
  14   ; CHECK-NEXT: %a = call i32 @llvm.experimental.get.vector.length.i32(i32 %tc, i32 0, i1 true)
  15   %a = call i32 @llvm.experimental.get.vector.length.i32(i32 %tc, i32 0, i1 true)
  16   ret i32 %a
  17 }