Is GPU_PTX still supported?

[hernanponcedeleon]

I am trying to run the test below coming from the ASPLOS'15 paper "GPU Concurrency: Weak Behaviours and Programming Assumptions".

I am wondering if GPU_PTX is still supported.

GPU_PTX CoRR

{
0:.reg .s32 r0;
0:.reg .b64 r1 = x;
1:.reg .s32 r0;
1:.reg .s32 r2;
1:.reg .s32 r5;
1:.reg .b64 r1 = x;
1:.reg .b64 r3 = x;
1:.reg .b64 r4 = x;
3:.reg .s32 r0;
3:.reg .b64 r1 = x;
3:.reg .s32 r2;
3:.reg .b64 r3 = x;
2:.reg .s32 r0;
2:.reg .b64 r1 = x;

}
 P0                | P1                | P2                 | P3                 ;
                   |                   |                    | mov.s32 r2, 3      ;
 mov.s32 r0,1      | ld.cg.s32 r0,[r1] | mov.s32 r0,2       | ld.cg.s32 r0,[r1]  ;
                   | membar.cta        |                    | membar.gl          ;
 st.cg.s32 [r1],r0 | ld.cg.s32 r2,[r3] | st.cg.s32 [r1],r0  | st.cg.s32 [r3], r2 ;
                   |                   |                    |                    ;
                   |                   |                    |                    ;


scopeTree
(device(kernel(cta(warp P0)) (cta (warp P1) (warp P2) (warp P3))))

x: global, y:global

exists
(1:r0=1 /\ 1:r2=0 /\ x=1 /\ 3:r0=2)

The architecture is still listed here and there is one cat file here.

However, I get an error with the following command

> herd7 -model ../herdtools7/catalogue/demo/cats/ptx.cat test.litmus 

Fatal: File "test.litmus" Adios
Fatal error: exception Failure("File \"test.litmus\", line 1, character 12: Uncaught exception in splitter Misc.UserError(\"GPU_PTX is not an implemented architecture\")")

[maranget]

Hi @hernanponcedeleon, GPU_PTX is no longer supported. You can have a look and the old version of herdtools, athough the ptx.cat of this version does not seem to be functional.

[hernanponcedeleon]

Thanks @maranget for the pointers!