Re: [x86] BUG: unable to handle kernel paging request at 00740060

[Oleg Nesterov]

On 10/08, Jakub Jelinek wrote:
>
> On Tue, Oct 08, 2013 at 08:51:54PM +0200, Oleg Nesterov wrote:
> >
> > I do not really understand inline assembly constraints, but I'll ask
> > anyway.
> >
> > 	+#define __GEN_RMWcc(fullop, var, cc, ...) \
> > 	+do { \
> > 	+ asm volatile goto (fullop "; j" cc " %l[cc_label]" \
> > 	+ : : "m" (var), ## __VA_ARGS__ \
> > 	      ^^^^^^^^^
> >
> > don't we need
> >
> > 	"+m" (var)
> >
> > here?
>
> You actually can't have output operands with asm goto, only inputs
> and clobbers.  But the "memory" clobber should be enough here.

Thanks Jakub and Linus.

Cough... sorry for off-topic question,

	static inline int test_and_set_bit(long nr, volatile unsigned long *addr)
	{
		int oldbit;

		asm volatile(LOCK_PREFIX "bts %2,%1\n\t"
			     "sbb %0,%0" : "=r" (oldbit), ADDR : "Ir" (nr) : "memory");

doesn't this mean that "ADDR" doesn't need "+" as well?


> If you suspect a compiler bug, can somebody please narrow it down to
> a single object file (if I've skimmed the patch right, it is just an
> optimization, where object files compiled without and with the patch
> should actually coexist fine in the same kernel), ideally to a single
> routine if possible and post a preprocessed source + gcc command line
> + version of gcc?

Or at least, perhaps it makes sense to identify the include file which
makes the difference. Say, revert the changes in bitops.h, retest, then
in atomic.h if the kernel still fails, etc.

Oleg.

--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/