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
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
|
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4
; RUN: opt -passes=newgvn -disable-output < %s
define void @test(i1 %arg, i1 %arg1) {
bb:
%alloca = alloca i64, i32 0, align 8
%alloca2 = alloca i64, i32 0, align 8
%load = load i64, ptr null, align 8
%icmp = icmp ult i64 0, %load
br i1 %icmp, label %bb24, label %bb25
bb24: ; preds = %bb
unreachable
bb25: ; preds = %bb
store i64 %load, ptr %alloca, align 8
%load26 = load i64, ptr addrspace(1) null, align 8
%icmp27 = icmp ugt i64 %load26, 1
br i1 %icmp27, label %bb28, label %bb29
bb28: ; preds = %bb25
unreachable
bb29: ; preds = %bb25
%icmp30 = icmp ugt i64 %load26, 0
br i1 %icmp30, label %bb34, label %bb31
bb31: ; preds = %bb38, %bb29
%load32 = load i64, ptr addrspace(1) null, align 8
%icmp33 = icmp ugt i64 %load32, 1
br i1 %icmp33, label %bb42, label %bb43
bb34: ; preds = %bb29
%load35 = load i64, ptr addrspace(1) null, align 8
store i64 %load35, ptr null, align 8
%load36 = load i64, ptr null, align 8
br label %bb37
bb37: ; preds = %bb37, %bb34
%phi = phi i64 [ 0, %bb37 ], [ %load36, %bb34 ]
%inttoptr = inttoptr i64 %phi to ptr addrspace(1)
br i1 false, label %bb37, label %bb38
bb38: ; preds = %bb37
%load39 = load i64, ptr null, align 8
%inttoptr40 = inttoptr i64 %load39 to ptr addrspace(1)
%load41 = load i64, ptr addrspace(1) %inttoptr40, align 8
%shl = shl i64 %load26, 0
%and = and i64 %shl, 0
br label %bb31
bb42: ; preds = %bb31
unreachable
bb43: ; preds = %bb31
%load44 = load i64, ptr null, align 8
%load45 = load i64, ptr null, align 8
%icmp46 = icmp ugt i64 1, %load45
br i1 %icmp46, label %bb51, label %bb60
bb47: ; preds = %bb60, %bb55, %bb51
%load48 = load i64, ptr %alloca, align 8
%inttoptr49 = inttoptr i64 %load48 to ptr addrspace(1)
%load50 = load i64, ptr addrspace(1) %inttoptr49, align 8
br i1 %arg, label %bb63, label %bb75
bb51: ; preds = %bb43
%load52 = load i64, ptr addrspace(1) null, align 8
store i64 %load52, ptr %alloca2, align 8
%load53 = load i64, ptr null, align 8
store i64 %load53, ptr null, align 8
%icmp54 = icmp ult i64 0, %load32
br i1 %icmp54, label %bb55, label %bb47
bb55: ; preds = %bb51
%load56 = load i64, ptr null, align 8
%or = or i64 %load56, 0
%inttoptr57 = inttoptr i64 %or to ptr addrspace(1)
%load58 = load i64, ptr addrspace(1) %inttoptr57, align 8
%and59 = and i64 %load32, 0
br label %bb47
bb60: ; preds = %bb43
%or61 = or i64 %load44, 0
%load62 = load i64, ptr addrspace(1) null, align 8
store i64 %load62, ptr null, align 8
br label %bb47
bb63: ; preds = %bb47
%load64 = load i64, ptr addrspace(1) inttoptr (i64 64 to ptr addrspace(1)), align 8
%inttoptr65 = inttoptr i64 %load64 to ptr addrspace(1)
store i64 0, ptr addrspace(1) %inttoptr65, align 8
%or66 = or i64 %load64, 4
%inttoptr67 = inttoptr i64 %or66 to ptr addrspace(1)
store i64 0, ptr addrspace(1) %inttoptr67, align 8
%or68 = or i64 %load64, 36
%inttoptr69 = inttoptr i64 %or68 to ptr addrspace(1)
store i64 0, ptr addrspace(1) %inttoptr69, align 8
%or70 = or i64 %load64, 68
%inttoptr71 = inttoptr i64 %or70 to ptr addrspace(1)
store i64 0, ptr addrspace(1) %inttoptr71, align 8
%load72 = load i64, ptr null, align 8
%shl73 = shl i64 %load72, 0
%or74 = or i64 %shl73, 0
store i64 %or74, ptr null, align 8
unreachable
bb75: ; preds = %bb47
br i1 %arg1, label %bb88, label %bb76
bb76: ; preds = %bb75
%load77 = load i64, ptr addrspace(1) inttoptr (i64 64 to ptr addrspace(1)), align 8
%inttoptr78 = inttoptr i64 %load77 to ptr addrspace(1)
store i64 0, ptr addrspace(1) %inttoptr78, align 8
%or79 = or i64 %load77, 4
%inttoptr80 = inttoptr i64 %or79 to ptr addrspace(1)
store i64 0, ptr addrspace(1) %inttoptr80, align 8
%or81 = or i64 %load77, 36
%inttoptr82 = inttoptr i64 %or81 to ptr addrspace(1)
store i64 0, ptr addrspace(1) %inttoptr82, align 8
%or83 = or i64 %load77, 68
%inttoptr84 = inttoptr i64 %or83 to ptr addrspace(1)
store i64 0, ptr addrspace(1) %inttoptr84, align 8
%load85 = load i64, ptr null, align 8
%shl86 = shl i64 %load85, 0
%or87 = or i64 %shl86, 0
store i64 %or87, ptr null, align 8
unreachable
bb88: ; preds = %bb75
%load89 = load i64, ptr addrspace(1) null, align 8
%icmp90 = icmp ugt i64 %load89, 0
br i1 %icmp90, label %bb91, label %bb92
bb91: ; preds = %bb88
unreachable
bb92: ; preds = %bb88
br i1 false, label %bb93, label %bb95
bb93: ; preds = %bb93, %bb92
%phi94 = phi i64 [ 0, %bb93 ], [ %load89, %bb92 ]
br label %bb93
bb95: ; preds = %bb92
%load96 = load i64, ptr null, align 8
br label %bb98
bb97: ; preds = %bb98
ret void
bb98: ; preds = %bb98, %bb95
%phi99 = phi i64 [ %load96, %bb95 ], [ 0, %bb98 ]
%inttoptr100 = inttoptr i64 %phi99 to ptr
%load101 = load i64, ptr %inttoptr100, align 8
br i1 false, label %bb98, label %bb97
}
|