test/Assembler/uselistorder.ll

   1 ; RUN: llvm-as < %s -disable-output 2>&1 | FileCheck %s -allow-empty
   2 ; CHECK-NOT: error
   3 ; CHECK-NOT: warning
   4 ; RUN: verify-uselistorder < %s
   5
   6 @a = global [4 x i1] [i1 0, i1 1, i1 0, i1 1]
   7 @b = alias i1, getelementptr ([4 x i1], [4 x i1]* @a, i64 0, i64 2)
   8
   9 ; Check use-list order of constants used by globals.
  10 @glob1 = global i5 7
  11 @glob2 = global i5 7
  12 @glob3 = global i5 7
  13
  14 define i32 @f32(i32 %a, i32 %b, i32 %c, i32 %d) {
  15 entry:
  16   br label %first
  17
  18 ; <label 0>:
  19   %eh = mul i32 %e, %1
  20   %sum = add i32 %eh, %ef
  21   br label %preexit
  22
  23 preexit:
  24   %product = phi i32 [%ef, %first], [%sum, %0]
  25   %backto0 = icmp slt i32 %product, -9
  26   br i1 %backto0, label %0, label %exit
  27
  28 exit:
  29   ret i32 %product
  30
  31 first:
  32   %e = add i32 %a, 7
  33   %f = add i32 %b, 7
  34   %g = add i32 %c, 8
  35   %1 = add i32 %d, 8
  36   %ef = mul i32 %e, %f
  37   %g1 = mul i32 %g, %1
  38   %goto0 = icmp slt i32 %g1, -9
  39   br i1 %goto0, label %0, label %preexit
  40
  41 ; uselistorder directives
  42   uselistorder i32 7, { 1, 0 }
  43   uselistorder i32 %1, { 1, 0 }
  44   uselistorder i32 %e, { 1, 0 }
  45   uselistorder label %0, { 1, 0 }
  46   uselistorder label %preexit, { 1, 0 }
  47 }
  48
  49 define i1 @loada() {
  50 entry:
  51   %a = load i1, i1* getelementptr ([4 x i1], [4 x i1]* @a, i64 0, i64 2)
  52   ret i1 %a
  53 }
  54
  55 uselistorder i5 7, { 1, 0, 2 }
  56 uselistorder i1* getelementptr ([4 x i1], [4 x i1]* @a, i64 0, i64 2), { 1, 0 }