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