LSCFuncsResolution pass - fail if atomic uses L1 cache

LSC atomics are always uncached in L1. Report error in
LSCFuncsResolution pass for invalid caching options.

(cherry picked from commit 89336c1)

Author: pkwasnie-intel

IGC/Compiler/Optimizer/OpenCLPasses/LSCFuncs/LSCFuncsResolution.cpp

@@ -497,7 +497,7 @@ Instruction* LSCFuncsResolution::CreateLSCAtomicIntrinsicCallInst(
         atomArg2,                      // value [cmpxchg] or zero if unused
         getConstantInt32(atomicOp),    // atomic op
         isLocalMem ?                   // cache options (default for local)
-            getConstantInt32(LSC_L1DEF_L3DEF) : getCacheControlOpts(ccOpndIx)
+            getConstantInt32(LSC_L1DEF_L3DEF) : getCacheControlOpts(ccOpndIx, true)
     };
 
     GenISAIntrinsic::ID id =
@@ -807,10 +807,26 @@ Constant *LSCFuncsResolution::getImmediateElementOffset(
     }
 }
 
-Constant *LSCFuncsResolution::getCacheControlOpts(int i, bool)
+Constant *LSCFuncsResolution::getCacheControlOpts(int i, bool isAtomic)
 {
-    // TODO: error if atomic uses any sort of caching on L1
-    return getImmediateEnum(i, LSC_L1DEF_L3DEF, LSC_L1IAR_WB_L3C_WB);
+    Constant *c = getImmediateEnum(i, LSC_L1DEF_L3DEF, LSC_L1IAR_WB_L3C_WB);
+
+    if (isAtomic)
+    {
+        ConstantInt* ci = dyn_cast<ConstantInt>(c);
+        switch (ci->getZExtValue())
+        {
+        case LSC_L1DEF_L3DEF:
+        case LSC_L1UC_L3UC:
+        case LSC_L1UC_L3C_WB:
+            break;
+        default:
+            reportError("atomic must not use caching on L1");
+            c = getConstantInt32(LSC_L1DEF_L3DEF);
+        }
+    }
+
+    return c;
 }
 
 void LSCFuncsResolution::reportError(const char *what) {

IGC/Compiler/tests/LSCFuncsResolution/atomic_l1c.ll

@@ -0,0 +1,38 @@
+;=========================== begin_copyright_notice ============================
+;
+; Copyright (C) 2022 Intel Corporation
+;
+; SPDX-License-Identifier: MIT
+;
+;============================ end_copyright_notice =============================
+;
+; RUN: igc_opt -enable-debugify --igc-lsc-funcs-translation -platformdg2 -S < %s 2>&1 | FileCheck %s
+; ------------------------------------------------
+; LSCFuncsResolution
+; ------------------------------------------------
+
+; Test checks that lsc atomic can't use L1 cached option
+
+; Debug-info related check
+; CHECK-NOT: WARNING
+; CHECK: CheckModuleDebugify: PASS
+
+define spir_kernel void @test_lsc(i32* %base) {
+; CHECK-LABEL: @test_lsc(
+; CHECK:    [[TMP:%.*]] = call i32 @llvm.genx.GenISA.LSCAtomicInts.i32.p0i32.i32.i32(i32* %base, i32 8, i32 0, i32 0, i32 2, i32 0)
+; CHECK:    ret void
+;
+  %1 = call i32 @__builtin_IB_lsc_atomic_inc_global_uint(i32* %base, i32 8, i32 4)
+  ret void
+}
+
+; CHECK: error: line 1: __builtin_IB_lsc_atomic_inc_global_uint: atomic must not use caching on L1
+
+declare i32 @__builtin_IB_lsc_atomic_inc_global_uint(i32*, i32, i32)
+
+!igc.functions = !{!0}
+
+!0 = !{void (i32*)* @test_lsc, !1}
+!1 = !{!2, !3}
+!2 = !{!"function_type", i32 0}
+!3 = !{!"sub_group_size", i32 16}