Add some tests for NVPTX lowering of cmpxchg