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
14define i32 @f32(i32 %a, i32 %b, i32 %c, i32 %d) {
15entry:
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
23preexit:
24  %product = phi i32 [%ef, %first], [%sum, %0]
25  %backto0 = icmp slt i32 %product, -9
26  br i1 %backto0, label %0, label %exit
27
28exit:
29  ret i32 %product
30
31first:
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
49define i1 @loada() {
50entry:
51  %a = load i1, i1* getelementptr ([4 x i1], [4 x i1]* @a, i64 0, i64 2)
52  ret i1 %a
53}
54
55uselistorder i5 7, { 1, 0, 2 }
56uselistorder i1* getelementptr ([4 x i1], [4 x i1]* @a, i64 0, i64 2), { 1, 0 }
57