llvm/test/Verifier/initializes-attr.ll

   1 ; RUN: split-file %s %t
   2 ; RUN: not llvm-as < %s %t/lower_greater_than_upper1.ll -o /dev/null 2>&1 | FileCheck %s --check-prefix=Lower-GT-Upper1
   3 ; RUN: not llvm-as < %s %t/lower_greater_than_upper2.ll -o /dev/null 2>&1 | FileCheck %s --check-prefix=Lower-GT-Upper2
   4 ; RUN: not llvm-as < %s %t/descending_order.ll -o /dev/null 2>&1 | FileCheck %s --check-prefix=DescOrder
   5 ; RUN: not llvm-as < %s %t/overlapping1.ll -o /dev/null 2>&1 | FileCheck %s --check-prefix=Overlapping1
   6 ; RUN: not llvm-as < %s %t/overlapping2.ll -o /dev/null 2>&1 | FileCheck %s --check-prefix=Overlapping2
   7
   8 ;--- lower_greater_than_upper1.ll
   9 ; Lower-GT-Upper1: error: Invalid (unordered or overlapping) range list
  10 define void @lower_greater_than_upper1(ptr initializes((4, 0)) %a) {
  11   ret void
  12 }
  13
  14 ;--- lower_greater_than_upper2.ll
  15 ; Lower-GT-Upper2: error: Invalid (unordered or overlapping) range list
  16 define void @lower_greater_than_upper2(ptr initializes((0, 4), (8, 6)) %a) {
  17   ret void
  18 }
  19
  20 ;--- descending_order.ll
  21 ; DescOrder: error: Invalid (unordered or overlapping) range list
  22 define void @descending_order(ptr initializes((8, 12), (0, 4)) %a) {
  23   ret void
  24 }
  25
  26 ;--- overlapping1.ll
  27 ; Overlapping1: error: Invalid (unordered or overlapping) range list
  28 define void @overlapping1(ptr initializes((0, 4), (4, 8)) %a) {
  29   ret void
  30 }
  31
  32 ;--- overlapping2.ll
  33 ; Overlapping2: error: Invalid (unordered or overlapping) range list
  34 define void @overlapping2(ptr initializes((0, 4), (2, 8)) %a) {
  35   ret void
  36 }