[Bug target/97005] [nvptx] FAIL: c-c++-common/torture/builtin-arith-overflow-15.c -O0 execution test

[vries at gcc dot gnu.org]

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

--- Comment #4 from Tom de Vries <vries at gcc dot gnu.org> ---
(In reply to Jakub Jelinek from comment #3)
> Is some workaround possible, like instead of emitting cvt.u32.u16 do
> cvt.u32.s16 and add explicit and?

This already works:
...
diff --git a/builtin-arith-overflow-15/src.cu
b/builtin-arith-overflow-15/src.cu
index 7a2535f..96f5f1e 100644
--- a/builtin-arith-overflow-15/src.cu
+++ b/builtin-arith-overflow-15/src.cu
@@ -46,6 +46,7 @@ hello (unsigned int *output)
     //"mov.u16 r33,0xff80;"

     "cvt.u32.u16 r35,r33;"
+    "and.b32 r35,r35,0x0000ffff;"
     //"mov.u32 r35, 0x0000ff80;"

     "st.u32 [rp], r35;"
...

> Do other zero extends work correctly?

I've rewritten the example to cvt.u64.u32, but that one passes fine. 
But cvt.u64.u16 runs into the same problem.