← Back to branch summary

~ubuntu-branches/ubuntu/utopic/binutils-arm64-cross/utopic

« back to all changes in this revision

Viewing changes to binutils-2.23.52.20130611/gas/testsuite/gas/ia64/dv-waw-err.s

  • Committer: Package Import Robot
  • Author(s): Matthias Klose
  • Date: 2013-06-20 17:38:09 UTC
  • Revision ID: package-import@ubuntu.com-20130620173809-app8lzgvymy5fg6c
Tags: 0.7
Build-depend on binutils-source (>= 2.23.52.20130620-1~).

Show diffs side-by-side

added added

removed removed

Lines of Context:
binutils-2.23.52.20130611/gas/testsuite/gas/ia64/dv-waw-err.s
 
1
//      
 
2
// Detect WAW violations.  Cases taken from DV tables.
 
3
//      
 
4
.text
 
5
        .explicit
 
6
// AR[BSP]
 
7
        mov     ar.bsp = r0
 
8
        mov     ar.bsp = r1
 
9
        ;;
 
10
// AR[BSPSTORE] 
 
11
        mov     ar.bspstore = r2
 
12
        mov     ar.bspstore = r3
 
13
        ;;
 
14
        
 
15
// AR[CCV]
 
16
        mov     ar.ccv = r4
 
17
        mov     ar.ccv = r4
 
18
        ;;
 
19
        
 
20
// AR[EC]       
 
21
        br.wtop.sptk    L
 
22
        mov     ar.ec = r0
 
23
        ;;
 
24
 
 
25
// AR[FPSR].sf0.controls 
 
26
        mov             ar.fpsr = r0
 
27
        fsetc.s0        0x7f, 0x0f
 
28
        ;;
 
29
 
 
30
// AR[FPSR].sf1.controls
 
31
        mov             ar.fpsr = r0
 
32
        fsetc.s1        0x7f, 0x0f
 
33
        ;;
 
34
 
 
35
// AR[FPSR].sf2.controls
 
36
        mov             ar.fpsr = r0
 
37
        fsetc.s2        0x7f, 0x0f
 
38
        ;;
 
39
 
 
40
// AR[FPSR].sf3.controls
 
41
        mov             ar.fpsr = r0
 
42
        fsetc.s3        0x7f, 0x0f
 
43
        ;;
 
44
 
 
45
// AR[FPSR].sf0.flags
 
46
        fcmp.eq.s0      p1, p2 = f3, f4
 
47
        fcmp.eq.s0      p3, p4 = f3, f4 // no DV here
 
48
        ;;
 
49
        fcmp.eq.s0      p1, p2 = f3, f4
 
50
        fclrf.s0
 
51
        ;;
 
52
 
 
53
// AR[FPSR].sf1.flags
 
54
        fcmp.eq.s1      p1, p2 = f3, f4
 
55
        fcmp.eq.s1      p3, p4 = f3, f4 // no DV here
 
56
        ;;
 
57
        fcmp.eq.s1      p1, p2 = f3, f4
 
58
        fclrf.s1
 
59
        ;;
 
60
 
 
61
// AR[FPSR].sf2.flags
 
62
        fcmp.eq.s2      p1, p2 = f3, f4
 
63
        fcmp.eq.s2      p3, p4 = f3, f4 // no DV here
 
64
        ;;
 
65
        fcmp.eq.s2      p1, p2 = f3, f4
 
66
        fclrf.s2
 
67
        ;;
 
68
 
 
69
// AR[FPSR].sf3.flags
 
70
        fcmp.eq.s3      p1, p2 = f3, f4
 
71
        fcmp.eq.s3      p3, p4 = f3, f4 // no DV here
 
72
        ;;
 
73
        fcmp.eq.s3      p1, p2 = f3, f4
 
74
        fclrf.s3
 
75
        ;;
 
76
 
 
77
// AR[FPSR].traps/rv plus all controls/flags
 
78
        mov     ar.fpsr = r0
 
79
        mov     ar.fpsr = r0
 
80
        ;;
 
81
 
 
82
// AR[ITC]
 
83
        mov     ar.itc = r1
 
84
        mov     ar.itc = r1
 
85
        ;;
 
86
 
 
87
// AR[RUC]
 
88
        mov     ar.ruc = r1
 
89
        mov     ar.ruc = r1
 
90
        ;;
 
91
 
 
92
// AR[K]
 
93
        mov     ar.k2 = r3
 
94
        mov     ar.k2 = r3
 
95
        ;;
 
96
        
 
97
// AR[LC]
 
98
        br.cloop.sptk   L
 
99
        mov     ar.lc = r0
 
100
        ;;
 
101
        
 
102
// AR[PFS]
 
103
        mov     ar.pfs = r0
 
104
        br.call.sptk    b0 = L
 
105
        ;;
 
106
 
 
107
// AR[RNAT] (see also AR[BSPSTORE])
 
108
        mov     ar.rnat = r8
 
109
        mov     ar.rnat = r8
 
110
        ;;
 
111
        
 
112
// AR[RSC]
 
113
        mov     ar.rsc = r10
 
114
        mov     ar.rsc = r10
 
115
        ;;      
 
116
        
 
117
// AR[UNAT]     
 
118
        mov     ar.unat = r12
 
119
        st8.spill       [r0] = r1
 
120
        ;;
 
121
        
 
122
// AR%
 
123
        mov     ar48 = r0
 
124
        mov     ar48 = r0
 
125
        ;;
 
126
 
 
127
// BR%
 
128
        mov     b1 = r0
 
129
        mov     b1 = r1
 
130
        ;;
 
131
        
 
132
// CFM (and others)
 
133
        br.wtop.sptk    L
 
134
        br.wtop.sptk    L
 
135
        ;;
 
136
        
 
137
// CR[CMCV]
 
138
        mov     cr.cmcv = r1
 
139
        mov     cr.cmcv = r2
 
140
        ;;
 
141
 
 
142
// CR[DCR]
 
143
        mov     cr.dcr = r3
 
144
        mov     cr.dcr = r3
 
145
        ;;
 
146
 
 
147
// CR[EOI] (and InService)
 
148
        mov     cr.eoi = r0
 
149
        mov     cr.eoi = r0
 
150
        ;;
 
151
        srlz.d
 
152
        
 
153
// CR[GPTA]
 
154
        mov     cr.gpta = r6
 
155
        mov     cr.gpta = r7
 
156
        ;;
 
157
 
 
158
// CR[IFA]
 
159
        mov     cr.ifa = r9
 
160
        mov     cr.ifa = r10
 
161
        ;;
 
162
 
 
163
// CR[IFS]
 
164
        mov     cr.ifs = r11
 
165
        cover
 
166
        ;;
 
167
 
 
168
// CR[IHA]
 
169
        mov     cr.iha = r13
 
170
        mov     cr.iha = r14
 
171
        ;;
 
172
 
 
173
// CR[IIB%]
 
174
        mov     cr.iib0 = r15
 
175
        mov     cr.iib0 = r16
 
176
        ;;
 
177
 
 
178
        mov     cr.iib1 = r15
 
179
        mov     cr.iib1 = r16
 
180
        ;;
 
181
 
 
182
// CR[IIM]
 
183
        mov     cr.iim = r15
 
184
        mov     cr.iim = r16
 
185
        ;;
 
186
 
 
187
// CR[IIP] 
 
188
        mov     cr.iip = r17
 
189
        mov     cr.iip = r17
 
190
        ;;
 
191
 
 
192
// CR[IIPA]
 
193
        mov     cr.iipa = r19
 
194
        mov     cr.iipa = r20
 
195
        ;;
 
196
 
 
197
// CR[IPSR]
 
198
        mov     cr.ipsr = r21
 
199
        mov     cr.ipsr = r22
 
200
        ;;
 
201
 
 
202
// CR[IRR%] (and others)
 
203
        mov     r2 = cr.ivr
 
204
        mov     r3 = cr.ivr
 
205
        ;;
 
206
        
 
207
// CR[ISR]
 
208
        mov     cr.isr = r24
 
209
        mov     cr.isr = r25
 
210
        ;;      
 
211
        
 
212
// CR[ITIR]
 
213
        mov     cr.itir = r26
 
214
        mov     cr.itir = r27
 
215
        ;;      
 
216
        
 
217
// CR[ITM]
 
218
        mov     cr.itm = r28
 
219
        mov     cr.itm = r29
 
220
        ;;      
 
221
        
 
222
// CR[ITV]
 
223
        mov     cr.itv = r0
 
224
        mov     cr.itv = r1
 
225
        ;;      
 
226
        
 
227
// CR[IVA]
 
228
        mov     cr.iva = r0
 
229
        mov     cr.iva = r1
 
230
        ;;      
 
231
        
 
232
// CR[IVR] (no explicit writers)
 
233
        
 
234
// CR[LID]
 
235
        mov     cr.lid = r0
 
236
        mov     cr.lid = r1
 
237
        ;;
 
238
        
 
239
// CR[LRR%]
 
240
        mov     cr.lrr0 = r0
 
241
        mov     cr.lrr1 = r0 // no DV here
 
242
        ;;
 
243
        mov     cr.lrr0 = r0
 
244
        mov     cr.lrr0 = r0
 
245
        ;;
 
246
        
 
247
// CR[PMV]
 
248
        mov     cr.pmv = r0
 
249
        mov     cr.pmv = r1
 
250
        ;;
 
251
        
 
252
// CR[PTA]
 
253
        mov     cr.pta = r0
 
254
        mov     cr.pta = r1
 
255
        ;;
 
256
        
 
257
// CR[TPR]
 
258
        mov     cr.tpr = r0
 
259
        mov     cr.tpr = r1
 
260
        ;;
 
261
        
 
262
// DBR# 
 
263
        mov     dbr[r1] = r1
 
264
        mov     dbr[r1] = r2
 
265
        ;;
 
266
        srlz.d
 
267
        
 
268
// DTC
 
269
        ptc.e   r0
 
270
        ptc.e   r1      // no DVs here
 
271
        ;;
 
272
        ptc.e   r0      // (and others)
 
273
        itc.i   r0
 
274
        ;;
 
275
        srlz.d
 
276
        
 
277
// DTC_LIMIT
 
278
        ptc.g   r0, r1          // NOTE: GAS automatically emits stops after 
 
279
        ptc.ga  r2, r3          //  ptc.g/ptc.ga, so this conflict is no     
 
280
        ;;                      //  longer possible in GAS-generated assembly
 
281
        srlz.d
 
282
        
 
283
// DTR 
 
284
        itr.d   dtr[r0] = r1    // (and others)
 
285
        ptr.d   r2, r3
 
286
        ;;
 
287
        srlz.d
 
288
        
 
289
// FR%
 
290
        mov             f3 = f2
 
291
        ldfs.c.clr      f3 = [r1]
 
292
        ;;
 
293
 
 
294
// GR%
 
295
        mov             r2 = r0         
 
296
        ld8.c.clr       r2 = [r1]
 
297
        ;;
 
298
 
 
299
// IBR#
 
300
        mov     ibr[r0] = r2
 
301
        mov     ibr[r1] = r2
 
302
        ;;
 
303
 
 
304
// InService            
 
305
        mov     cr.eoi = r0
 
306
        mov     r1 = cr.ivr
 
307
        ;;
 
308
        srlz.d
 
309
        
 
310
// ITC          
 
311
        ptc.e   r0
 
312
        itc.i   r1
 
313
        ;;
 
314
        srlz.i
 
315
        ;;
 
316
        
 
317
// ITR  
 
318
        itr.i   itr[r0] = r1
 
319
        ptr.i   r2, r3
 
320
        ;;
 
321
        srlz.i
 
322
        ;;
 
323
        
 
324
// PKR#
 
325
        .reg.val r1, 0x1
 
326
        .reg.val r2, ~0x1
 
327
        mov     pkr[r1] = r1
 
328
        mov     pkr[r2] = r1    // no DV here
 
329
        ;;
 
330
        mov     pkr[r1] = r1
 
331
        mov     pkr[r1] = r1
 
332
        ;;
 
333
        
 
334
// PMC#
 
335
        mov     pmc[r3] = r1
 
336
        mov     pmc[r4] = r1
 
337
        ;;
 
338
        
 
339
// PMD#
 
340
        mov     pmd[r3] = r1
 
341
        mov     pmd[r4] = r1
 
342
        ;;
 
343
        
 
344
// PR%, 1 - 15
 
345
        cmp.eq  p1, p0 = r0, r1
 
346
        cmp.eq  p1, p0 = r2, r3
 
347
        ;;
 
348
        fcmp.eq p1, p2 = f2, f3
 
349
        fcmp.eq p1, p3 = f2, f3
 
350
        ;;
 
351
        cmp.eq.and p1, p2 = r0, r1
 
352
        cmp.eq.or  p1, p3 = r2, r3
 
353
        ;;
 
354
        cmp.eq.or  p1, p3 = r2, r3
 
355
        cmp.eq.and p1, p2 = r0, r1
 
356
        ;;
 
357
        cmp.eq.and p1, p2 = r0, r1
 
358
        cmp.eq.and p1, p3 = r2, r3 // no DV here
 
359
        ;;
 
360
        cmp.eq.or p1, p2 = r0, r1
 
361
        cmp.eq.or p1, p3 = r2, r3 // no DV here
 
362
        ;;
 
363
        
 
364
// PR63
 
365
        br.wtop.sptk    L
 
366
        br.wtop.sptk    L
 
367
        ;;
 
368
        cmp.eq  p63, p0 = r0, r1
 
369
        cmp.eq  p63, p0 = r2, r3
 
370
        ;;
 
371
        fcmp.eq p63, p2 = f2, f3
 
372
        fcmp.eq p63, p3 = f2, f3
 
373
        ;;
 
374
        cmp.eq.and p63, p2 = r0, r1
 
375
        cmp.eq.or  p63, p3 = r2, r3
 
376
        ;;
 
377
        cmp.eq.or  p63, p3 = r2, r3
 
378
        cmp.eq.and p63, p2 = r0, r1
 
379
        ;;
 
380
        cmp.eq.and p63, p2 = r0, r1
 
381
        cmp.eq.and p63, p3 = r2, r3 // no DV here
 
382
        ;;
 
383
        cmp.eq.or p63, p2 = r0, r1
 
384
        cmp.eq.or p63, p3 = r2, r3 // no DV here
 
385
        ;;
 
386
 
 
387
// PSR.ac
 
388
        rum     (1<<3)
 
389
        rum     (1<<3)
 
390
        ;;
 
391
 
 
392
// PSR.be
 
393
        rum     (1<<1)
 
394
        rum     (1<<1)
 
395
        ;;
 
396
        
 
397
// PSR.bn
 
398
        bsw.0                   // GAS automatically emits a stop after bsw.n
 
399
        bsw.0                   // so this conflict is avoided               
 
400
        ;;
 
401
 
 
402
// PSR.cpl
 
403
        epc
 
404
        br.ret.sptk     b0
 
405
        ;;
 
406
 
 
407
// PSR.da (rfi is the only writer)
 
408
// PSR.db (and others)
 
409
        mov     psr.l = r0
 
410
        mov     psr.l = r1
 
411
        ;;
 
412
        srlz.d
 
413
 
 
414
// PSR.dd (rfi is the only writer)
 
415
        
 
416
// PSR.dfh
 
417
        ssm     (1<<19)
 
418
        ssm     (1<<19)
 
419
        ;;
 
420
        srlz.d
 
421
 
 
422
// PSR.dfl
 
423
        ssm     (1<<18)
 
424
        ssm     (1<<18)
 
425
        ;;
 
426
        srlz.d
 
427
        
 
428
// PSR.di
 
429
        rsm     (1<<22)
 
430
        rsm     (1<<22)
 
431
        ;;
 
432
 
 
433
// PSR.dt
 
434
        rsm     (1<<17)
 
435
        rsm     (1<<17)
 
436
        ;;
 
437
        
 
438
// PSR.ed (rfi is the only writer)
 
439
// PSR.i
 
440
        ssm     (1<<14)
 
441
        ssm     (1<<14)
 
442
        ;;
 
443
        
 
444
// PSR.ia (no DV semantics)
 
445
// PSR.ic
 
446
        ssm     (1<<13)
 
447
        ssm     (1<<13)
 
448
        ;;
 
449
 
 
450
// PSR.id (rfi is the only writer)
 
451
// PSR.is (br.ia and rfi are the only writers)
 
452
// PSR.it (rfi is the only writer)
 
453
// PSR.lp (see PSR.db)
 
454
 
 
455
// PSR.mc (rfi is the only writer)
 
456
// PSR.mfh
 
457
        mov     f32 = f33
 
458
        mov     r10 = psr
 
459
        ;;
 
460
        ssm     (1<<5)
 
461
        ssm     (1<<5)
 
462
        ;;
 
463
        ssm     (1<<5)
 
464
        mov     psr.um = r10
 
465
        ;;
 
466
        rum     (1<<5)
 
467
        rum     (1<<5)
 
468
        ;;
 
469
        mov     f32 = f33
 
470
        mov     f34 = f35       // no DV here
 
471
        ;;
 
472
 
 
473
// PSR.mfl
 
474
        mov     f2 = f3
 
475
        mov     r10 = psr
 
476
        ;;
 
477
        ssm     (1<<4)
 
478
        ssm     (1<<4)
 
479
        ;;
 
480
        ssm     (1<<4)
 
481
        mov     psr.um = r10
 
482
        ;;
 
483
        rum     (1<<4)
 
484
        rum     (1<<4)
 
485
        ;;
 
486
        mov     f2 = f3
 
487
        mov     f4 = f5 // no DV here
 
488
        ;;
 
489
 
 
490
// PSR.pk
 
491
        rsm     (1<<15)
 
492
        rsm     (1<<15)
 
493
        ;;
 
494
 
 
495
// PSR.pp
 
496
        rsm     (1<<21)
 
497
        rsm     (1<<21)
 
498
        ;;
 
499
 
 
500
// PSR.ri (no DV semantics)
 
501
// PSR.rt (see PSR.db)
 
502
 
 
503
// PSR.si
 
504
        rsm     (1<<23)
 
505
        ssm     (1<<23)
 
506
        ;;
 
507
 
 
508
// PSR.sp
 
509
        ssm     (1<<20)
 
510
        rsm     (1<<20)
 
511
        ;;
 
512
        srlz.d
 
513
 
 
514
// PSR.ss (rfi is the only writer)
 
515
// PSR.tb (see PSR.db)
 
516
 
 
517
// PSR.up
 
518
        rsm     (1<<2)
 
519
        rsm     (1<<2)
 
520
        ;;
 
521
        rum     (1<<2)
 
522
        mov     psr.um = r0
 
523
        ;;
 
524
 
 
525
// RR#
 
526
        mov     rr[r2] = r1
 
527
        mov     rr[r2] = r3
 
528
        ;;
 
529
 
 
530
// PR, additional cases (or.andcm and and.orcm interaction)
 
531
        cmp.eq.or.andcm p6, p7 = 1, r32
 
532
        cmp.eq.or.andcm p6, p7 = 5, r36 // no DV here
 
533
        ;;
 
534
        cmp.eq.and.orcm p6, p7 = 1, r32
 
535
        cmp.eq.and.orcm p6, p7 = 5, r36 // no DV here
 
536
        ;;
 
537
        cmp.eq.or.andcm p63, p7 = 1, r32
 
538
        cmp.eq.or.andcm p63, p7 = 5, r36 // no DV here
 
539
        ;;
 
540
        cmp.eq.or.andcm p6, p63 = 1, r32
 
541
        cmp.eq.or.andcm p6, p63 = 5, r36 // no DV here
 
542
        ;;
 
543
        cmp.eq.and.orcm p63, p7 = 1, r32
 
544
        cmp.eq.and.orcm p63, p7 = 5, r36 // no DV here
 
545
        ;;
 
546
        cmp.eq.and.orcm p6, p63 = 1, r32
 
547
        cmp.eq.and.orcm p6, p63 = 5, r36 // no DV here
 
548
        ;;
 
549
        cmp.eq.or.andcm p6, p7 = 1, r32
 
550
        cmp.eq.and.orcm p6, p7 = 5, r36 
 
551
        ;;
 
552
        cmp.eq.or.andcm p63, p7 = 1, r32
 
553
        cmp.eq.and.orcm p63, p7 = 5, r36        
 
554
        ;;
 
555
        cmp.eq.or.andcm p6, p63 = 1, r32
 
556
        cmp.eq.and.orcm p6, p63 = 5, r36        
 
557
        ;;
 
558
 
 
559
// PR%, 16 - 62
 
560
        cmp.eq  p21, p0 = r0, r1
 
561
        cmp.eq  p21, p0 = r2, r3
 
562
        ;;
 
563
        fcmp.eq p21, p22 = f2, f3
 
564
        fcmp.eq p21, p23 = f2, f3
 
565
        ;;
 
566
        cmp.eq.and p21, p22 = r0, r1
 
567
        cmp.eq.or  p21, p23 = r2, r3
 
568
        ;;
 
569
        cmp.eq.or  p21, p23 = r2, r3
 
570
        cmp.eq.and p21, p22 = r0, r1
 
571
        ;;
 
572
        cmp.eq.and p21, p22 = r0, r1
 
573
        cmp.eq.and p21, p23 = r2, r3 // no DV here
 
574
        ;;
 
575
        cmp.eq.or p21, p22 = r0, r1
 
576
        cmp.eq.or p21, p23 = r2, r3 // no DV here
 
577
        ;;
 
578
 
 
579
// RSE
 
580
 
 
581
L: