llvm/test/Assembler/range.ll

   1 ; RUN: llvm-as < %s | llvm-dis | FileCheck %s
   2
   3 define i8 @neg1_zero(ptr %x) {
   4 ; CHECK-LABEL: define i8 @neg1_zero
   5 ; CHECK-SAME: (ptr [[X:%.*]]) {
   6 ; CHECK-NEXT:  entry:
   7 ; CHECK-NEXT:    [[Y:%.*]] = load i8, ptr [[X]], align 1, !range [[RNG0:![0-9]+]]
   8 ; CHECK-NEXT:    ret i8 [[Y]]
   9 ;
  10 entry:
  11   %y = load i8, ptr %x, align 1, !range !0
  12   ret i8 %y
  13 }
  14
  15 define <2 x i8> @neg1_zero_vector(ptr %x) {
  16 ; CHECK-LABEL: define <2 x i8> @neg1_zero_vector
  17 ; CHECK-SAME: (ptr [[X:%.*]]) {
  18 ; CHECK-NEXT:  entry:
  19 ; CHECK-NEXT:    [[Y:%.*]] = load <2 x i8>, ptr [[X]], align 1, !range [[RNG0]]
  20 ; CHECK-NEXT:    ret <2 x i8> [[Y]]
  21 ;
  22 entry:
  23   %y = load <2 x i8>, ptr %x, align 1, !range !0
  24   ret <2 x i8> %y
  25 }
  26
  27 !0 = !{i8 -1, i8 0}
  28
  29 ;.
  30 ; CHECK: [[RNG0]] = !{i8 -1, i8 0}
  31 ;.