Swift SIL: add constant checking for ref_element_addr field and global

Author: Anxhelo Xhebraj

SwiftCompilerSources/Sources/SIL/GlobalVariable.swift

@@ -25,6 +25,8 @@ final public class GlobalVariable : CustomStringConvertible, HasShortDescription
 
   public var shortDescription: String { name.string }
 
+  public var isLet: Bool { SILGlobalVariable_isLet(bridged) != 0 }
+
   // TODO: initializer instructions
 
   var bridged: BridgedGlobalVar { BridgedGlobalVar(obj: SwiftObject(self)) }

SwiftCompilerSources/Sources/SIL/Instruction.swift

@@ -448,6 +448,8 @@ final public class UncheckedTakeEnumDataAddrInst : SingleValueInstruction, Unary
 
 final public class RefElementAddrInst : SingleValueInstruction, UnaryInstruction {
   public var fieldIndex: Int { RefElementAddrInst_fieldIndex(bridged) }
+
+  public var fieldIsLet: Bool { RefElementAddrInst_fieldIsLet(bridged) != 0 }
 }
 
 final public class RefTailAddrInst : SingleValueInstruction, UnaryInstruction {}

include/swift/SIL/SILBridging.h

@@ -228,6 +228,7 @@ SwiftInt SILFunction_hasSemanticsAttr(BridgedFunction function,
 
 llvm::StringRef SILGlobalVariable_getName(BridgedGlobalVar global);
 std::string SILGlobalVariable_debugDescription(BridgedGlobalVar global);
+SwiftInt SILGlobalVariable_isLet(BridgedGlobalVar global);
 
 OptionalBridgedBasicBlock SILBasicBlock_next(BridgedBasicBlock block);
 OptionalBridgedBasicBlock SILBasicBlock_previous(BridgedBasicBlock block);
@@ -316,6 +317,7 @@ SwiftInt InitEnumDataAddrInst_caseIndex(BridgedInstruction idea);
 SwiftInt UncheckedTakeEnumDataAddrInst_caseIndex(BridgedInstruction utedi);
 SwiftInt InjectEnumAddrInst_caseIndex(BridgedInstruction ieai);
 SwiftInt RefElementAddrInst_fieldIndex(BridgedInstruction reai);
+SwiftInt RefElementAddrInst_fieldIsLet(BridgedInstruction reai);
 SwiftInt PartialApplyInst_numArguments(BridgedInstruction ai);
 SwiftInt ApplyInst_numArguments(BridgedInstruction ai);
 SwiftInt PartialApply_getCalleeArgIndexOfFirstAppliedArg(BridgedInstruction pai);

lib/SIL/Utils/SILBridging.cpp

@@ -529,6 +529,10 @@ std::string SILGlobalVariable_debugDescription(BridgedGlobalVar global) {
   return str;
 }
 
+SwiftInt SILGlobalVariable_isLet(BridgedGlobalVar global) {
+  return castToGlobal(global)->isLet();
+}
+
 //===----------------------------------------------------------------------===//
 //                               SILInstruction
 //===----------------------------------------------------------------------===//
@@ -673,6 +677,10 @@ SwiftInt RefElementAddrInst_fieldIndex(BridgedInstruction reai) {
   return castToInst<RefElementAddrInst>(reai)->getFieldIndex();
 }
 
+SwiftInt RefElementAddrInst_fieldIsLet(BridgedInstruction reai) {
+  return castToInst<RefElementAddrInst>(reai)->getField()->isLet();
+}
+
 SwiftInt PartialApplyInst_numArguments(BridgedInstruction pai) {
   return castToInst<PartialApplyInst>(pai)->getNumArguments();
 }