1 /* Copyright (C) 2002 Free Software Foundation.
2 by Hans-Peter Nilsson <hp@axis.com>
4 Making sure that asm clobbers conflicting with asm-declared input
5 operands are detected: ``You may not write a clobber description in a
6 way that overlaps with an input or output operand''.
8 You must be this tall ---> fit two long longs in asm-declared registers
9 to enter this amusement. */
11 /* { dg-do compile { target alpha-*-* cris-*-* crisv32-*-* i?86-*-* mmix-*-* powerpc*-*-* rs6000-*-* x86_64-*-* } } */
12 /* { dg-options "-O2" } */
14 /* Constructed examples; input/output (same register), output, input, and
15 input and output (different registers). */
17 /* The long longs are used to test overlap overlap for multi-register
18 registers. REG2 and REG4 must be the second halves (defined as
19 higher-numbered parts) of REG1 and REG3 respectively when two registers
22 #if defined (__alpha__)
25 #elif defined (__CRIS__)
31 #elif defined (__i386__)
34 /* On Darwin -fpic is on by default, so don't use %ebx. */
37 #elif defined (__MMIX__)
40 #elif defined (__powerpc__) || defined (__PPC__) || defined (__ppc__) \
41 || defined (__POWERPC__) || defined (PPC) || defined (_IBMR2)
44 # ifndef __powerpc64__
48 #elif defined (__x86_64__)
53 /* For readability of the tests. */
66 /* REG5 is just another reg if there is one; the difference to REG4 is to
67 keep the original set of registers for CRIS. */
75 register void *q
asm (REG1
) = p
;
76 asm ("foo1 %0" : "=r" (q
) : "0" (q
) : REG1
); /* { dg-error "conflict" } */
83 register void *q
asm (REG1
) = p
;
84 asm ("foo1 %0" : "=r" (q
) : "0" (q
) : REG2
);
89 foolla (long long llp
)
91 register long long ll
asm (REG1a
) = llp
;
92 asm ("foo1a %0" : "=r" (ll
) : "0" (ll
) : REG1a
); /* { dg-error "conflict" } */
97 nfoolla (long long llp
)
99 register long long ll
asm (REG1a
) = llp
;
100 asm ("foo1a %0" : "=r" (ll
) : "0" (ll
) : REG2a
);
105 foollb (long long llp
)
107 register long long ll
asm (REG1a
) = llp
;
108 asm ("foo1b %0" : "=r" (ll
) : "0" (ll
) : REG1b
); /* { dg-error "conflict" } */
115 register void *q
asm (REG1
);
116 register void *w
asm (REG2
) = p
;
117 asm ("bar1 %1,%0" : "=r" (q
) : "r" (w
) : REG1
); /* { dg-error "conflict" } */
122 barlla (long long llp
)
124 register long long ll
asm (REG1a
);
125 register long long mm
asm (REG2a
) = llp
;
126 asm ("bar1a %1,%0" : "=r" (ll
) : "r" (mm
) : REG1b
); /* { dg-error "conflict" } */
131 barllb (long long llp
)
133 register long long ll
asm (REG1a
);
134 register long long mm
asm (REG2a
) = llp
;
135 asm ("bar1b %1,%0" : "=r" (ll
) : "r" (mm
) : REG2b
); /* { dg-error "conflict" } */
142 register void *q
asm (REG1
);
143 register void *w
asm (REG2
) = p
;
144 asm ("foobar1 %1,%0" : "=r" (q
) : "r" (w
) : REG2
); /* { dg-error "conflict" } */
151 register void *q
asm (REG1
);
152 register void *w
= p
;
153 asm ("foobar1 %1,%0" : "=r" (q
) : "r" (w
) : REG2
);
158 foobarlla (long long llp
)
160 register long long ll
asm (REG1a
);
161 register long long mm
asm (REG2a
) = llp
;
162 asm ("foobar1a %1,%0" : "=r" (ll
) : "r" (mm
) : REG1b
); /* { dg-error "conflict" } */
167 nfoobarlla (long long llp
)
169 register long long ll
asm (REG1a
);
170 register long long mm
= llp
;
171 asm ("foobar1a %1,%0" : "=r" (ll
) : "r" (mm
) : REG2a
);
176 foobarllb (long long llp
)
178 register long long ll
asm (REG1a
);
179 register long long mm
asm (REG2a
) = llp
;
180 asm ("foobar1b %1,%0" : "=r" (ll
) : "r" (mm
) : REG2b
); /* { dg-error "conflict" } */
185 nfoobarllb (long long llp
)
187 register long long ll
asm (REG1a
);
188 register long long mm
= llp
;
189 asm ("foobar1b %1,%0" : "=r" (ll
) : "r" (mm
) : REG2b
);
196 register void *q
asm (REG1
);
197 register void *w
asm (REG2
) = p
;
198 asm ("baz1 %1,%0" : "=r" (q
) : "r" (w
) : REG1
, REG2
); /* { dg-error "conflict" } */
206 register void *w
= p
;
207 asm ("baz1 %1,%0" : "=r" (q
) : "r" (w
) : REG1
, REG2
);
214 register void *q
asm (REG1
);
215 register void *w
asm (REG2
) = p
;
216 asm ("baz1 %1,%0" : "=r" (q
) : "r" (w
));
221 bazlla (long long llp
)
223 register long long ll
asm (REG1a
);
224 register long long mm
asm (REG2a
) = llp
;
225 asm ("baz1a %1,%0" : "=r" (ll
) : "r" (mm
) : REG1a
, REG2a
); /* { dg-error "conflict" } */
230 bazllb (long long llp
)
232 register long long ll
asm (REG1a
);
233 register long long mm
asm (REG2a
) = llp
;
234 asm ("baz2a %1,%0" : "=r" (ll
) : "r" (mm
) : REG1b
, REG2b
); /* { dg-error "conflict" } */
238 /* Real-world example of bug. */
241 typedef unsigned int loc_size_t
__attribute__ ((mode (DI
)));
243 typedef __SIZE_TYPE__ loc_size_t
;
248 _dl_stat (const char *file_name
, struct stat
*buf
)
250 register long a
asm (REG1
) = (long) (loc_size_t
) file_name
;
251 register long b
asm (REG2
) = (long) (loc_size_t
) buf
;
253 asm volatile ("movu.w %1,$r9\n\tbreak 13" : "=r" (a
) : "g" (106), "0" (a
), "r" (b
) : REG1
, REG5
); /* { dg-error "conflict" } */