summaryrefslogtreecommitdiffstats
path: root/test/MC/Mips/branch-pseudos.s
blob: 56841e29f4259a0dabb650a4532c1985aa592582 (plain)
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
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
# RUN: llvm-mc %s -arch=mips -mcpu=mips32 -show-encoding | FileCheck %s
# RUN: llvm-mc %s -arch=mips -mcpu=mips32 2>&1 | \
# RUN:   FileCheck %s --check-prefix=WARNING

  .text
local_label:
  blt $7, $8, local_label
# CHECK: slt  $1, $7, $8       # encoding: [0x00,0xe8,0x08,0x2a]
# CHECK: bnez $1, local_label  # encoding: [0x14,0x20,A,A]
# CHECK:                       #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop
  blt $7, $8, global_label
# CHECK: slt  $1, $7, $8       # encoding: [0x00,0xe8,0x08,0x2a]
# CHECK: bnez $1, global_label # encoding: [0x14,0x20,A,A]
# CHECK:                       #   fixup A - offset: 0, value: global_label-4, kind: fixup_Mips_PC16
# CHECK: nop
  blt $7, $0, local_label
# CHECK: bltz $7, local_label  # encoding: [0x04,0xe0,A,A]
# CHECK:                       #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop
  blt $0, $8, local_label
# CHECK: bgtz $8, local_label  # encoding: [0x1d,0x00,A,A]
# CHECK:                       #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop
  blt $0, $0, local_label
# CHECK: bltz $zero, local_label # encoding: [0x04,0x00,A,A]
# CHECK:                         #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop

  bltu $7, $8, local_label
# CHECK: sltu $1, $7, $8       # encoding: [0x00,0xe8,0x08,0x2b]
# CHECK: bnez $1, local_label  # encoding: [0x14,0x20,A,A]
# CHECK:                       #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop
  bltu $7, $8, global_label
# CHECK: sltu $1, $7, $8       # encoding: [0x00,0xe8,0x08,0x2b]
# CHECK: bnez $1, global_label # encoding: [0x14,0x20,A,A]
# CHECK:                       #   fixup A - offset: 0, value: global_label-4, kind: fixup_Mips_PC16
# CHECK: nop
  bltu $7, $0, local_label
# CHECK: nop
  bltu $0, $8, local_label
# CHECK: bnez $8, local_label  # encoding: [0x15,0x00,A,A]
# CHECK:                       #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop
  bltu $0, $0, local_label
# CHECK: nop

  ble $7, $8, local_label
# CHECK: slt  $1, $8, $7       # encoding: [0x01,0x07,0x08,0x2a]
# CHECK: beqz $1, local_label  # encoding: [0x10,0x20,A,A]
# CHECK:                       #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop
  ble $7, $8, global_label
# CHECK: slt  $1, $8, $7       # encoding: [0x01,0x07,0x08,0x2a]
# CHECK: beqz $1, global_label # encoding: [0x10,0x20,A,A]
# CHECK:                       #   fixup A - offset: 0, value: global_label-4, kind: fixup_Mips_PC16
# CHECK: nop
  ble $7, $0, local_label
# CHECK: blez $7, local_label  # encoding: [0x18,0xe0,A,A]
# CHECK:                       #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop
  ble $0, $8, local_label
# CHECK: bgez $8, local_label  # encoding: [0x05,0x01,A,A]
# CHECK:                       #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop
  ble $0, $0, local_label
# WARNING: :[[@LINE-1]]:3: warning: branch is always taken
# CHECK: blez $zero, local_label # encoding: [0x18,0x00,A,A]
# CHECK:                         #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop

  bleu $7, $8, local_label
# CHECK: sltu $1, $8, $7       # encoding: [0x01,0x07,0x08,0x2b]
# CHECK: beqz $1, local_label  # encoding: [0x10,0x20,A,A]
# CHECK:                       #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop
  bleu $7, $8, global_label
# CHECK: sltu $1, $8, $7       # encoding: [0x01,0x07,0x08,0x2b]
# CHECK: beqz $1, global_label # encoding: [0x10,0x20,A,A]
# CHECK:                       #   fixup A - offset: 0, value: global_label-4, kind: fixup_Mips_PC16
# CHECK: nop
  bleu $7, $0, local_label
# CHECK: beqz $7, local_label  # encoding: [0x10,0xe0,A,A]
# CHECK:                       #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop
  bleu $0, $8, local_label
# WARNING: :[[@LINE-1]]:3: warning: branch is always taken
# CHECK: b  local_label        # encoding: [0x10,0x00,A,A]
# CHECK:                       #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop
  bleu $0, $0, local_label
# WARNING: :[[@LINE-1]]:3: warning: branch is always taken
# CHECK: b  local_label        # encoding: [0x10,0x00,A,A]
# CHECK:                       #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop

  bge $7, $8, local_label
# CHECK: slt  $1, $7, $8       # encoding: [0x00,0xe8,0x08,0x2a]
# CHECK: beqz $1, local_label  # encoding: [0x10,0x20,A,A]
# CHECK:                       #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop
  bge $7, $8, global_label
# CHECK: slt  $1, $7, $8       # encoding: [0x00,0xe8,0x08,0x2a]
# CHECK: beqz $1, global_label # encoding: [0x10,0x20,A,A]
# CHECK:                       #   fixup A - offset: 0, value: global_label-4, kind: fixup_Mips_PC16
# CHECK: nop
  bge $7, $0, local_label
# CHECK: bgez $7, local_label  # encoding: [0x04,0xe1,A,A]
# CHECK:                       #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop
  bge $0, $8, local_label
# CHECK: blez $8, local_label  # encoding: [0x19,0x00,A,A]
# CHECK:                       #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop
  bge $0, $0, local_label
# WARNING: :[[@LINE-1]]:3: warning: branch is always taken
# CHECK: bgez $zero, local_label # encoding: [0x04,0x01,A,A]
# CHECK:                         #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop

  bgeu $7, $8, local_label
# CHECK: sltu $1, $7, $8       # encoding: [0x00,0xe8,0x08,0x2b]
# CHECK: beqz $1, local_label  # encoding: [0x10,0x20,A,A]
# CHECK:                       #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop
  bgeu $7, $8, global_label
# CHECK: sltu $1, $7, $8       # encoding: [0x00,0xe8,0x08,0x2b]
# CHECK: beqz $1, global_label # encoding: [0x10,0x20,A,A]
# CHECK:                       #   fixup A - offset: 0, value: global_label-4, kind: fixup_Mips_PC16
# CHECK: nop
  bgeu $7, $0, local_label
# WARNING: :[[@LINE-1]]:3: warning: branch is always taken
# CHECK: b  local_label        # encoding: [0x10,0x00,A,A]
# CHECK:                       #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop
  bgeu $0, $8, local_label
# CHECK: beqz $8, local_label  # encoding: [0x11,0x00,A,A]
# CHECK:                       #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop
  bgeu $0, $0, local_label
# WARNING: :[[@LINE-1]]:3: warning: branch is always taken
# CHECK: b  local_label        # encoding: [0x10,0x00,A,A]
# CHECK:                       #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop

  bgt $7, $8, local_label
# CHECK: slt  $1, $8, $7       # encoding: [0x01,0x07,0x08,0x2a]
# CHECK: bnez $1, local_label  # encoding: [0x14,0x20,A,A]
# CHECK:                       #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop
  bgt $7, $8, global_label
# CHECK: slt  $1, $8, $7       # encoding: [0x01,0x07,0x08,0x2a]
# CHECK: bnez $1, global_label # encoding: [0x14,0x20,A,A]
# CHECK:                       #   fixup A - offset: 0, value: global_label-4, kind: fixup_Mips_PC16
# CHECK: nop
  bgt $7, $0, local_label
# CHECK: bgtz $7, local_label  # encoding: [0x1c,0xe0,A,A]
# CHECK:                       #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop
  bgt $0, $8, local_label
# CHECK: bltz $8, local_label  # encoding: [0x05,0x00,A,A]
# CHECK:                       #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop
  bgt $0, $0, local_label
# CHECK: bgtz  $zero, local_label # encoding: [0x1c,0x00,A,A]
# CHECK:                          #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop

  bgtu $7, $8, local_label
# CHECK: sltu $1, $8, $7       # encoding: [0x01,0x07,0x08,0x2b]
# CHECK: bnez $1, local_label  # encoding: [0x14,0x20,A,A]
# CHECK:                       #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop
  bgtu $7, $8, global_label
# CHECK: sltu $1, $8, $7       # encoding: [0x01,0x07,0x08,0x2b]
# CHECK: bnez $1, global_label # encoding: [0x14,0x20,A,A]
# CHECK:                       #   fixup A - offset: 0, value: global_label-4, kind: fixup_Mips_PC16
# CHECK: nop
  bgtu $7, $0, local_label
# CHECK: bnez $7, local_label  # encoding: [0x14,0xe0,A,A]
# CHECK:                       #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop
  bgtu $0, $8, local_label
# CHECK: nop
  bgtu $0, $0, local_label
# CHECK: bnez $zero, local_label # encoding: [0x14,0x00,A,A]
# CHECK:                         #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop

  bltl $7,$8,local_label
# CHECK: slt $1, $7, $8                 # encoding: [0x00,0xe8,0x08,0x2a]
# CHECK: bnel $1, $zero, local_label    # encoding: [0x54,0x20,A,A]
# CHECK:                                #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]
  bltl $7,$8,global_label
# CHECK: slt $1, $7, $8                 # encoding: [0x00,0xe8,0x08,0x2a]
# CHECK: bnel $1, $zero, global_label   # encoding: [0x54,0x20,A,A]
# CHECK:                                #   fixup A - offset: 0, value: global_label-4, kind: fixup_Mips_PC16
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]
  bltl $7,$0,local_label
# CHECK: bltz $7, local_label           # encoding: [0x04,0xe0,A,A]
# CHECK:                                #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]
  bltl $0,$8,local_label
# CHECK: bgtz $8, local_label           # encoding: [0x1d,0x00,A,A]
# CHECK:                                #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]
  bltl $0,$0,local_label
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]

  blel $7,$8,local_label
# CHECK: slt $1, $8, $7                 # encoding: [0x01,0x07,0x08,0x2a]
# CHECK: beql $1, $zero, local_label    # encoding: [0x50,0x20,A,A]
# CHECK:                                #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]
  blel $7,$8,global_label
# CHECK: slt $1, $8, $7                 # encoding: [0x01,0x07,0x08,0x2a]
# CHECK: beql $1, $zero, global_label   # encoding: [0x50,0x20,A,A]
# CHECK:                                #   fixup A - offset: 0, value: global_label-4, kind: fixup_Mips_PC16
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]
  blel $7,$0,local_label
# CHECK: blez $7, local_label           # encoding: [0x18,0xe0,A,A]
# CHECK:                                #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]
  blel $0,$8,local_label
# CHECK: bgez $8, local_label           # encoding: [0x05,0x01,A,A]
# CHECK:                                #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]
  blel $0,$0,local_label
# WARNING: :[[@LINE-1]]:3: warning: branch is always taken
# CHECK: b local_label                  # encoding: [0x10,0x00,A,A]
# CHECK:                                #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]

  bgel $7,$8,local_label
# CHECK: slt $1, $7, $8                 # encoding: [0x00,0xe8,0x08,0x2a]
# CHECK: beql $1, $zero, local_label    # encoding: [0x50,0x20,A,A]
# CHECK:                                #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]
  bgel $7,$8,global_label
# CHECK: slt $1, $7, $8                 # encoding: [0x00,0xe8,0x08,0x2a]
# CHECK: beql $1, $zero, global_label   # encoding: [0x50,0x20,A,A]
# CHECK:                                #   fixup A - offset: 0, value: global_label-4, kind: fixup_Mips_PC16
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]
  bgel $7,$0,local_label
# CHECK: bgez $7, local_label           # encoding: [0x04,0xe1,A,A]
# CHECK:                                #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]
  bgel $0,$8,local_label
# CHECK: blez $8, local_label           # encoding: [0x19,0x00,A,A]
# CHECK:                                #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]
  bgel $0,$0,local_label
# WARNING: :[[@LINE-1]]:3: warning: branch is always taken
# CHECK: b local_label                  # encoding: [0x10,0x00,A,A]
# CHECK:                                #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]

  bgtl $7,$8,local_label
# CHECK: slt $1, $8, $7                 # encoding: [0x01,0x07,0x08,0x2a]
# CHECK: bnel $1, $zero, local_label    # encoding: [0x54,0x20,A,A]
# CHECK:                                #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]
  bgtl $7,$8,global_label
# CHECK: slt $1, $8, $7                 # encoding: [0x01,0x07,0x08,0x2a]
# CHECK: bnel $1, $zero, global_label   # encoding: [0x54,0x20,A,A]
# CHECK:                                #   fixup A - offset: 0, value: global_label-4, kind: fixup_Mips_PC16
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]
  bgtl $7,$0,local_label
# CHECK: bgtz $7, local_label           # encoding: [0x1c,0xe0,A,A]
# CHECK:                                #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]
  bgtl $0,$8,local_label
# CHECK: bltz $8, local_label           # encoding: [0x05,0x00,A,A]
# CHECK:                                #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]
  bgtl $0,$0,local_label
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]

  bltul $7,$8,local_label
# CHECK: sltu $1, $7, $8                # encoding: [0x00,0xe8,0x08,0x2b]
# CHECK: bnel $1, $zero, local_label    # encoding: [0x54,0x20,A,A]
# CHECK:                                #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]
  bltul $7,$8,global_label
# CHECK: sltu $1, $7, $8                # encoding: [0x00,0xe8,0x08,0x2b]
# CHECK: bnel $1, $zero, global_label   # encoding: [0x54,0x20,A,A]
# CHECK:                                #   fixup A - offset: 0, value: global_label-4, kind: fixup_Mips_PC16
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]
  bltul $7,$0,local_label
# CHECK: bnez $7, local_label           # encoding: [0x14,0xe0,A,A]
# CHECK:                                #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]
  bltul $0,$8,local_label
# CHECK: bnez $8, local_label           # encoding: [0x15,0x00,A,A]
# CHECK:                                #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]
  bltul $0,$0,local_label
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]

  bleul $7,$8,local_label
# CHECK: sltu $1, $8, $7                # encoding: [0x01,0x07,0x08,0x2b]
# CHECK: beql $1, $zero, local_label    # encoding: [0x50,0x20,A,A]
# CHECK:                                #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]
  bleul $7,$8,global_label
# CHECK: sltu $1, $8, $7                # encoding: [0x01,0x07,0x08,0x2b]
# CHECK: beql $1, $zero, global_label   # encoding: [0x50,0x20,A,A]
# CHECK:                                #   fixup A - offset: 0, value: global_label-4, kind: fixup_Mips_PC16
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]
  bleul $7,$0,local_label
# CHECK: beqz $7, local_label           # encoding: [0x10,0xe0,A,A]
# CHECK:                                #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]
  bleul $0,$8,local_label
# CHECK: beqz $8, local_label           # encoding: [0x11,0x00,A,A]
# CHECK:                                #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]
  bleul $0,$0,local_label
# WARNING: :[[@LINE-1]]:3: warning: branch is always taken
# CHECK: b local_label                  # encoding: [0x10,0x00,A,A]
# CHECK:                                #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]

  bgeul $7,$8,local_label
# CHECK: sltu $1, $7, $8                # encoding: [0x00,0xe8,0x08,0x2b]
# CHECK: beql $1, $zero, local_label    # encoding: [0x50,0x20,A,A]
# CHECK:                                #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]
  bgeul $7,$8,global_label
# CHECK: sltu $1, $7, $8                # encoding: [0x00,0xe8,0x08,0x2b]
# CHECK: beql $1, $zero, global_label   # encoding: [0x50,0x20,A,A]
# CHECK:                                #   fixup A - offset: 0, value: global_label-4, kind: fixup_Mips_PC16
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]
  bgeul $7,$0,local_label
# CHECK: beqz $7, local_label           # encoding: [0x10,0xe0,A,A]
# CHECK:                                #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]
  bgeul $0,$8,local_label
# CHECK: beqz $8, local_label           # encoding: [0x11,0x00,A,A]
# CHECK:                                #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]
  bgeul $0,$0,local_label
# WARNING: :[[@LINE-1]]:3: warning: branch is always taken
# CHECK: b local_label                  # encoding: [0x10,0x00,A,A]
# CHECK:                                #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]

  bgtul $7,$8,local_label
# CHECK: sltu $1, $8, $7                # encoding: [0x01,0x07,0x08,0x2b]
# CHECK: bnel $1, $zero, local_label    # encoding: [0x54,0x20,A,A]
# CHECK:                                #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]
  bgtul $7,$8,global_label
# CHECK: sltu $1, $8, $7                # encoding: [0x01,0x07,0x08,0x2b]
# CHECK: bnel $1, $zero, global_label   # encoding: [0x54,0x20,A,A]
# CHECK:                                #   fixup A - offset: 0, value: global_label-4, kind: fixup_Mips_PC16
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]
  bgtul $7,$0,local_label
# CHECK: bnez $7, local_label           # encoding: [0x14,0xe0,A,A]
# CHECK:                                #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]
  bgtul $0,$8,local_label
# CHECK: bnez $8, local_label           # encoding: [0x15,0x00,A,A]
# CHECK:                                #   fixup A - offset: 0, value: local_label-4, kind: fixup_Mips_PC16
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]
  bgtul $0,$0,local_label
# CHECK: nop                            # encoding: [0x00,0x00,0x00,0x00]