[CodeGen] Cancel attaching '.metadata' to wasm bytecode.

Author: Jinkela

include/soll/Basic/DiagnosticParseKinds.inc

@@ -33,3 +33,4 @@ DIAG(err_multiple_fallbacks, CLASS_ERROR, (unsigned)diag::Severity::Error, "mult
 DIAG(warn_virtual_already_specified, CLASS_WARNING, (unsigned)diag::Severity::Warning, "Virtual already specified.", 0, false, 1)
 DIAG(warn_override_already_specified, CLASS_WARNING, (unsigned)diag::Severity::Warning, "Override already specified.", 0, false, 1)
 DIAG(err_multiinherited_unsupport, CLASS_ERROR, (unsigned)diag::Severity::Error, "Multinherited overrided is not supported!", 0, false, 1)
+DIAG(warn_yul_metadata, CLASS_WARNING, (unsigned)diag::Severity::Warning, "soll currently does not attach '.metadata' to wasm bytecode.", 0, false, 1)

include/soll/Basic/DiagnosticSemaKinds.inc

@@ -33,3 +33,4 @@ DIAG(err_visibility_not_match, CLASS_ERROR, (unsigned)diag::Severity::Error, "vi
 DIAG(err_private_function_can_not_be_virtual, CLASS_ERROR, (unsigned)diag::Severity::Error, "private funtcion %0 can not be virtual", 0, false, 1)
 DIAG(err_mutability_overriding_not_allow, CLASS_ERROR, (unsigned)diag::Severity::Error, "can not change function %0 mutability", 0, false, 1)
 DIAG(err_func_to_var_overrided_unsoupport, CLASS_ERROR, (unsigned)diag::Severity::Error, "function to state variables override is unsupport", 0, false, 1)
+DIAG(err_yul_access_special_object, CLASS_ERROR, (unsigned)diag::Severity::Error, "'%0' can not be access by 'datasize', 'dataoffset' or 'datacopy'.", 0, false, 1)

lib/CodeGen/CodeGenModule.cpp

@@ -1618,6 +1618,10 @@ void CodeGenModule::emitYulObject(const YulObject *YO) {
     */
   }
   assert(nullptr != YO->getCode());
+  if (YO->getName() == ".metadata") {
+    // TODO: attach '.metadata' to wasm bytecode.
+    return;
+  }
   for (const auto *O : YO->getObjectList()) {
     emitYulObject(O);
     getEntry().clear();

lib/Parse/ParseYul.cpp

@@ -1,4 +1,6 @@
 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+#include "soll/Basic/DiagnosticIDs.h"
+#include "soll/Basic/DiagnosticParse.h"
 #include "soll/Parse/Parser.h"
 
 using namespace std;
@@ -51,6 +53,9 @@ unique_ptr<YulObject> Parser::parseYulObject() {
   ConsumeToken();
 
   auto Name = stringUnquote(std::string(Tok.getLiteralData(), Tok.getLength()));
+  if (Name == ".metadata") {
+    Diag(diag::warn_yul_metadata);
+  }
 
   ConsumeStringToken();
   ExpectAndConsume(tok::l_brace);

lib/Sema/SemaExprAsm.cpp

@@ -1,5 +1,6 @@
 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
 #include "soll/AST/AST.h"
+#include "soll/Basic/DiagnosticSema.h"
 #include "soll/Sema/Sema.h"
 
 namespace soll {
@@ -674,6 +675,19 @@ Sema::CreateAsmBuiltinCallExpr(SourceRange L, const AsmIdentifier &Callee,
     return std::make_unique<AsmBinaryOperator>(L, std::move(Args[1]),
                                                std::move(Args[0]),
                                                std::move(ReturnTy), BO_AShr);
+  case AsmIdentifier::SpecialIdentifier::dataoffset:
+  case AsmIdentifier::SpecialIdentifier::datasize: {
+    if (auto *ICE = dynamic_cast<const ImplicitCastExpr *>(Args[0].get())) {
+      if (auto *SL = dynamic_cast<const StringLiteral *>(ICE->getSubExpr())) {
+        std::string Name = SL->getValue();
+        if (Name.size() && Name[0] == '.') {
+          Diag(L.getBegin(), diag::err_yul_access_special_object) << Name;
+          assert(false);
+        }
+      }
+    }
+    [[fallthrough]];
+  }
   default: ///< treated as normal CallExpr
     break;
   }