| ; RUN: opt < %s -S -nvptx-atomic-lower | FileCheck %s | 
 |  | 
 | ; This test ensures that there is a legal way for ptx to lower atomics | 
 | ; on local memory. Here, we demonstrate this by lowering them to simple | 
 | ; load and stores. | 
 |  | 
 | target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v16:16:16-v32:32:32-v64:64:64-v128:128:128-n16:32:64" | 
 | target triple = "nvptx64-unknown-unknown" | 
 |  | 
 | define double @kernel(ptr addrspace(5) %ptr, double %val) { | 
 |   %res = atomicrmw fadd ptr addrspace(5) %ptr, double %val monotonic, align 8 | 
 |   ret double %res | 
 | ; CHECK:   %1 = load double, ptr addrspace(5) %ptr, align 8 | 
 | ; CHECK-NEXT:   %new = fadd double %1, %val | 
 | ; CHECK-NEXT:   store double %new, ptr addrspace(5) %ptr, align 8 | 
 | ; CHECK-NEXT:   ret double %1 | 
 | } | 
 |  |