llvm/test/Analysis/Lint/const-store.ll

   1 ; RUN: not opt --mtriple=amdgcn --passes=lint --lint-abort-on-error %s -disable-output 2>&1 | FileCheck %s
   2 ; RUN: opt --mtriple=amdgcn --mcpu=gfx1030 --passes=lint %s -disable-output 2>&1 | FileCheck %s --check-prefixes=CHECK,CHECK0
   3 ; RUN: opt --mtriple=x86_64 --passes=lint --lint-abort-on-error %s -disable-output 2>&1 | FileCheck %s --allow-empty --check-prefix=NOERR
   4 ; NOERR: {{^$}}
   5
   6 define amdgpu_kernel void @store_const(ptr addrspace(4) %out, i32 %a, i32 %b) {
   7 ; CHECK: Undefined behavior: Write to memory in const addrspace
   8 ; CHECK-NEXT: store i32 %r, ptr addrspace(4) %out
   9   %r = add i32 %a, %b
  10   store i32 %r, ptr addrspace(4) %out
  11   ret void
  12 }
  13
  14 declare void @llvm.memset.p4.i64(ptr addrspace(4) noalias nocapture writeonly, i8, i64, i1)
  15 define amdgpu_kernel void @memset_const(ptr addrspace(4) %dst) {
  16 ; CHECK0: Undefined behavior: Write to memory in const addrspace
  17 ; CHECK0-NEXT: call void @llvm.memset.p4.i64(ptr addrspace(4) %dst, i8 0, i64 256, i1 false)
  18   call void @llvm.memset.p4.i64(ptr addrspace(4) %dst, i8 0, i64 256, i1 false)
  19   ret void
  20 }
  21
  22 declare void @llvm.memcpy.p6.p0.i32(ptr addrspace(6) noalias nocapture writeonly, ptr noalias nocapture readonly, i32, i1)
  23 define amdgpu_kernel void @memcpy_to_const(ptr addrspace(6) %dst, ptr %src) {
  24 ; CHECK0: Undefined behavior: Write to memory in const addrspace
  25 ; CHECK0-NEXT: call void @llvm.memcpy.p6.p0.i32(ptr addrspace(6) %dst, ptr %src, i32 256, i1 false)
  26   call void @llvm.memcpy.p6.p0.i32(ptr addrspace(6) %dst, ptr %src, i32 256, i1 false)
  27   ret void
  28 }
  29
  30 define amdgpu_kernel void @cmpxchg_to_const(ptr addrspace(4) %dst, i32 %src) {
  31 ; CHECK0: Undefined behavior: Write to memory in const addrspace
  32 ; CHECK0-NEXT: %void = cmpxchg ptr addrspace(4) %dst, i32 0, i32 %src seq_cst monotonic
  33   %void = cmpxchg ptr addrspace(4) %dst, i32 0, i32 %src seq_cst monotonic
  34   ret void
  35 }
  36
  37 define amdgpu_kernel void @atomicrmw_to_const(ptr addrspace(4) %dst, i32 %src) {
  38 ; CHECK0: Undefined behavior: Write to memory in const addrspace
  39 ; CHECK0-NEXT: %void = atomicrmw add ptr addrspace(4) %dst, i32 %src acquire
  40   %void = atomicrmw add ptr addrspace(4) %dst, i32 %src acquire
  41   ret void
  42 }
  43
  44 declare void @const_param(ptr addrspace(6))
  45 define amdgpu_kernel void @call_with_const(ptr addrspace(6) %dst) {
  46 ; CHECK0-NOT: call void @const_param(ptr addrspace(6) %dst)
  47   call void @const_param(ptr addrspace(6) %dst)
  48   ret void
  49 }