// RUN: %clang_cc1 -triple spir64-unknown-unknown -fsycl-is-device -emit-llvm %s -o - | FileCheck %s

// Test to check that readonly attribute is applied to accessors with access mode read.

#include "Inputs/sycl.hpp"

// CHECK-NOT: spir_kernel{{.*}}f0_kernel{{.*}}readonly
void f0(sycl::queue &myQueue, sycl::buffer<int, 1> &in_buf, sycl::buffer<int, 1> &out_buf) {
  myQueue.submit([&](sycl::handler &cgh) {
    auto write_acc = out_buf.get_access<sycl::access::mode::write>(cgh);
    cgh.single_task<class f0_kernel>([write_acc] {});
  });
}

// CHECK: spir_kernel{{.*}}f1_kernel
// CHECK-NOT: readonly
// CHECK-SAME: %_arg_write_acc{{.*}}%_arg_write_acc1{{.*}}%_arg_write_acc2{{.*}}%_arg_write_acc3
// CHECK-SAME:  readonly align 4 %_arg_read_acc
void f1(sycl::queue &myQueue, sycl::buffer<int, 1> &in_buf, sycl::buffer<int, 1> &out_buf) {
  myQueue.submit([&](sycl::handler &cgh) {
    auto write_acc = out_buf.get_access<sycl::access::mode::write>(cgh);
    auto read_acc = in_buf.get_access<sycl::access::mode::read>(cgh);
    cgh.single_task<class f1_kernel>([write_acc, read_acc] {});
  });
}

// CHECK: spir_kernel{{.*}}f2_kernel
// CHECK-SAME: readonly align 4 %_arg_read_acc
// CHECK-NOT: readonly
// CHECK-SAME: %_arg_write_acc
void f2(sycl::queue &myQueue, sycl::buffer<int, 1> &in_buf, sycl::buffer<int, 1> &out_buf) {
  myQueue.submit([&](sycl::handler &cgh) {
    auto read_acc = in_buf.get_access<sycl::access::mode::read>(cgh);
    auto write_acc = out_buf.get_access<sycl::access::mode::write>(cgh);
    cgh.single_task<class f2_kernel>([read_acc, write_acc] {});
  });
}