[Bug target/105014] New: [nvptx] FAIL: gcc.dg/pr97459-1.c execution test

[Bug target/105014] New: [nvptx] FAIL: gcc.dg/pr97459-1.c execution test

[vries at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105014

            Bug ID: 105014
           Summary: [nvptx] FAIL: gcc.dg/pr97459-1.c execution test
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: vries at gcc dot gnu.org
  Target Milestone: ---

On a quadro k2000 with driver 470.103.01, I run into:
...
FAIL: gcc.dg/pr97459-1.c execution test
FAIL: gcc.dg/pr97459-2.c execution test
FAIL: gcc.dg/pr97459-3.c execution test
FAIL: gcc.dg/pr97459-4.c execution test
FAIL: gcc.dg/pr97459-5.c execution test
FAIL: gcc.dg/pr97459-6.c execution test
...

[Bug target/105014] [nvptx] FAIL: gcc.dg/pr97459-1.c execution test

[vries at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105014

--- Comment #1 from Tom de Vries <vries at gcc dot gnu.org> ---
First FAIL minimizes to:
...
typedef __uint128_t T;

union u {
  T t;
  struct {
    unsigned long long x;
    unsigned long long y;
  } xy;
};

#define PRINT(VAR)                                      \
  do                                                    \
    {                                                   \
      __builtin_printf (#VAR ": lo: %llx\n", VAR.xy.x); \
      __builtin_printf (#VAR ": hi: %llx\n", VAR.xy.y); \
    } \
  while (0)

extern T __udivmodti4 (T, T, T *);

int
main (void)
{
  union u a, b, mod, div;
  a.t = -4;
  b.t = 1;
  PRINT (a);
  PRINT (b);
  div.t = __udivmodti4 (a.t, b.t, &mod.t);
  PRINT (div);
  PRINT (mod);
  if (mod.t != 0)
    __builtin_abort ();

  return 0;
}
...

Fails like this:
...
$ ./install/bin/nvptx-none-run  ./pr97459-1.exe 
a: lo: fffffffffffffffc
a: hi: ffffffffffffffff
b: lo: 1
b: hi: 0
div: lo: fffffffffffffffd
div: hi: ffffffffffffffff
mod: lo: ffffffffffff
mod: hi: 0
nvptx-run: error getting kernel result: unspecified launch failure
(CUDA_ERROR_LAUNCH_FAILED, 719)
$
...

With -O0 JIT instead:
...
$ ./install/bin/nvptx-none-run -O0  ./pr97459-1.exe 
a: lo: fffffffffffffffc
a: hi: ffffffffffffffff
b: lo: 1
b: hi: 0
div: lo: fffffffffffffffc
div: hi: ffffffffffffffff
mod: lo: 0
mod: hi: 0
...

[Bug target/105014] [nvptx] FAIL: gcc.dg/pr97459-1.c execution test

[vries at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105014

--- Comment #2 from Tom de Vries <vries at gcc dot gnu.org> ---
(In reply to Tom de Vries from comment #0)
> On a quadro k2000 with driver 470.103.01, I run into:

So, sm_30.

> ...
> FAIL: gcc.dg/pr97459-1.c execution test

Reproduced on geforce gt710 (sm_35), with same driver.

[Bug target/105014] [nvptx] FAIL: gcc.dg/pr97459-1.c execution test

[vries at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105014

--- Comment #3 from Tom de Vries <vries at gcc dot gnu.org> ---
(In reply to Tom de Vries from comment #2)
> (In reply to Tom de Vries from comment #0)
> > On a quadro k2000 with driver 470.103.01, I run into:
> 
> So, sm_30.
> 
> > ...
> > FAIL: gcc.dg/pr97459-1.c execution test
> 
> Reproduced on geforce gt710 (sm_35), with same driver.

But not on quadro k620 (sm_50).

[Bug target/105014] [nvptx] FAIL: gcc.dg/pr97459-1.c execution test

[vries at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105014

--- Comment #4 from Tom de Vries <vries at gcc dot gnu.org> ---
(In reply to Tom de Vries from comment #1)
> With -O0 JIT instead:

Also OK with JIT -O1, problems start at JIT -O2.

[Bug target/105014] [nvptx] FAIL: gcc.dg/pr97459-1.c execution test

[vries at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105014

--- Comment #5 from Tom de Vries <vries at gcc dot gnu.org> ---
Minimal test-case:
...
void __attribute__((noinline)) foo (unsigned long long d0) {
  unsigned long long __a;
  __a = 0x38;
  for (; __a > 0; __a -= 8)
    if (((d0 >> __a) & 0xff) != 0)
      break;

   __builtin_printf ("__a: 0x%llx\n", __a);
}

int main (void) {
  foo (1);
  return 0;
}
...

Different value of __a:
...
$ ./install/bin/nvptx-none-run -O0 ./pr97459-1.exe ; echo;
./install/bin/nvptx-none-run ./pr97459-1.exe 
__a: 0x0

__a: 0x30
...

[Bug target/105014] [nvptx] FAIL: gcc.dg/pr97459-1.c execution test

[vries at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105014

--- Comment #6 from Tom de Vries <vries at gcc dot gnu.org> ---
Reproducer filed at https://github.com/vries/nvidia-bugs/tree/master/shift-and

PR filed at nvidia ( https://developer.nvidia.com/nvidia_bug/3585290 ).