[Lldb-commits] [lldb] [LLDB] Add `ScalarLiteralNode` and literal parsing in DIL (PR #152308)

[Pavel Labath via lldb-commits]

================
@@ -402,4 +404,122 @@ Interpreter::Visit(const BitFieldExtractionNode *node) {
   return child_valobj_sp;
 }
 
+static lldb::TypeSystemSP GetTypeSystemFromCU(std::shared_ptr<StackFrame> ctx) {
+  SymbolContext symbol_context =
+      ctx->GetSymbolContext(lldb::eSymbolContextCompUnit);
+  lldb::LanguageType language = symbol_context.comp_unit->GetLanguage();
+
+  symbol_context = ctx->GetSymbolContext(lldb::eSymbolContextModule);
+  llvm::Expected<lldb::TypeSystemSP> type_system =
+      symbol_context.module_sp->GetTypeSystemForLanguage(language);
+
+  if (type_system)
+    return *type_system;
+
+  return lldb::TypeSystemSP();
+}
+
+static CompilerType GetBasicType(lldb::TypeSystemSP type_system,
+                                 lldb::BasicType basic_type) {
+  if (type_system)
+    if (auto compiler_type = type_system.get()->GetBasicTypeFromAST(basic_type))
+      return compiler_type;
+
+  CompilerType empty_type;
+  return empty_type;
+}
+
+llvm::Expected<CompilerType>
+Interpreter::PickIntegerType(lldb::TypeSystemSP type_system,
+                             std::shared_ptr<ExecutionContextScope> ctx,
+                             const IntegerLiteralNode *literal) {
+  // Binary, Octal, Hexadecimal and literals with a U suffix are allowed to be
+  // an unsigned integer.
+  bool unsigned_is_allowed = literal->IsUnsigned() || literal->GetRadix() != 10;
+
+  // Try int/unsigned int.
+  uint64_t int_byte_size = 0;
+  if (auto temp =
+          GetBasicType(type_system, lldb::eBasicTypeInt).GetByteSize(ctx.get()))
+    int_byte_size = *temp;
+  unsigned int_size = int_byte_size * CHAR_BIT;
+  llvm::APInt apint = literal->GetValue();
+  if (!literal->IsLong() && !literal->IsLongLong() && apint.isIntN(int_size)) {
+    if (!literal->IsUnsigned() && apint.isIntN(int_size - 1))
+      return GetBasicType(type_system, lldb::eBasicTypeInt);
+    if (unsigned_is_allowed)
+      return GetBasicType(type_system, lldb::eBasicTypeUnsignedInt);
+  }
+  // Try long/unsigned long.
+  uint64_t long_byte_size = 0;
+  if (auto temp = GetBasicType(type_system, lldb::eBasicTypeLong)
+                      .GetByteSize(ctx.get()))
+    long_byte_size = *temp;
+  unsigned long_size = long_byte_size * CHAR_BIT;
+  if (!literal->IsLongLong() && apint.isIntN(long_size)) {
+    if (!literal->IsUnsigned() && apint.isIntN(long_size - 1))
+      return GetBasicType(type_system, lldb::eBasicTypeLong);
+    if (unsigned_is_allowed)
+      return GetBasicType(type_system, lldb::eBasicTypeUnsignedLong);
+  }
+  // Try long long/unsigned long long.
+  uint64_t long_long_byte_size = 0;
+  if (auto temp = GetBasicType(type_system, lldb::eBasicTypeLongLong)
+                      .GetByteSize(ctx.get()))
+    long_long_byte_size = *temp;
+  unsigned long_long_size = long_long_byte_size * CHAR_BIT;
+  if (apint.isIntN(long_long_size)) {
+    if (!literal->IsUnsigned() && apint.isIntN(long_long_size - 1))
+      return GetBasicType(type_system, lldb::eBasicTypeLongLong);
+    // If we still couldn't decide a type, we probably have something that
+    // does not fit in a signed long long, but has no U suffix. Also known as:
+    //
+    //  warning: integer literal is too large to be represented in a signed
+    //  integer type, interpreting as unsigned [-Wimplicitly-unsigned-literal]
+    //
+    return GetBasicType(type_system, lldb::eBasicTypeUnsignedLongLong);
----------------
labath wrote:

I have a feeling there should be a way to avoid this duplication with a helper function/lambda.

https://github.com/llvm/llvm-project/pull/152308