[CIR] Add TLS models to CIR and teach GlobalOp about them

Author: bcardosolopes

clang/include/clang/CIR/Dialect/IR/CIROps.td

@@ -1659,6 +1659,22 @@ def SignedOverflowBehaviorEnum : I32EnumAttr<
   let cppNamespace = "::mlir::cir::sob";
 }
 
+/// Definition of TLS related kinds.
+def TLS_GeneralDynamic :
+  I32EnumAttrCase<"GeneralDynamic", 0, "tls_dyn">;
+def TLS_LocalDynamic :
+  I32EnumAttrCase<"LocalDynamic", 1, "tls_local_dyn">;
+def TLS_InitialExec :
+  I32EnumAttrCase<"InitialExec", 2, "tls_init_exec">;
+def TLS_LocalExec :
+  I32EnumAttrCase<"LocalExec", 3, "tls_local_exec">;
+
+def TLSModel : I32EnumAttr<
+    "TLS_Model",
+    "TLS model",
+    [TLS_GeneralDynamic, TLS_LocalDynamic, TLS_InitialExec, TLS_LocalExec]> {
+  let cppNamespace = "::mlir::cir";
+}
 
 def GlobalOp : CIR_Op<"global", [Symbol, DeclareOpInterfaceMethods<RegionBranchOpInterface>, NoRegionArguments]> {
   let summary = "Declares or defines a global variable";
@@ -1694,6 +1710,7 @@ def GlobalOp : CIR_Op<"global", [Symbol, DeclareOpInterfaceMethods<RegionBranchO
                        OptionalAttr<StrAttr>:$sym_visibility,
                        TypeAttr:$sym_type,
                        Arg<GlobalLinkageKind, "linkage type">:$linkage,
+                       OptionalAttr<TLSModel>:$tls_model,
                        // Note this can also be a FlatSymbolRefAttr
                        OptionalAttr<AnyAttr>:$initial_value,
                        UnitAttr:$constant,
@@ -1706,6 +1723,7 @@ def GlobalOp : CIR_Op<"global", [Symbol, DeclareOpInterfaceMethods<RegionBranchO
        ($sym_visibility^)?
        (`constant` $constant^)?
        $linkage
+       ($tls_model^)?
        $sym_name
        custom<GlobalOpTypeAndInitialValue>($sym_type, $initial_value, $ctorRegion, $dtorRegion)
        attr-dict

clang/test/CIR/IR/global.cir

@@ -58,6 +58,11 @@ module {
   cir.func @f34() global_dtor(777) {
     cir.return
   }
+
+  cir.global external tls_dyn @model0 = #cir.int<0> : !s32i
+  cir.global external tls_local_dyn @model1 = #cir.int<0> : !s32i
+  cir.global external tls_init_exec @model2 = #cir.int<0> : !s32i
+  cir.global external tls_local_exec @model3 = #cir.int<0> : !s32i
 }
 
 // CHECK: cir.global external @a = #cir.int<3> : !s32i
@@ -81,4 +86,9 @@ module {
 // CHECK: cir.func @f31() global_ctor
 // CHECK: cir.func @f32() global_ctor(777)
 // CHECK: cir.func @f33() global_dtor
-// CHECK: cir.func @f34() global_dtor(777)
+// CHECK: cir.func @f34() global_dtor(777)
+
+// CHECK: cir.global external tls_dyn @model0 = #cir.int<0> : !s32i
+// CHECK: cir.global external tls_local_dyn @model1 = #cir.int<0> : !s32i
+// CHECK: cir.global external tls_init_exec @model2 = #cir.int<0> : !s32i
+// CHECK: cir.global external tls_local_exec @model3 = #cir.int<0> : !s32i