mirror of
https://github.com/encounter/dawn-cmake.git
synced 2025-07-16 01:56:09 +00:00
e5a67ac891
With abstract materialization, any ast::Expression may map to the new sem::Materialize node. Because of this, we can't assume that an ast::CallExpression maps to a sem::Call, as it might be wrapped by a sem::Materialize. Remove the mapping, and fix up all the code that was relying on this. Fixes are done by either: • Calling `UnwrapMaterialize()->As<sem::Call>()` on the semantic expression. This is done when the logic may assume it's possible for the expression to be a Materialize node. • Using the explicit sem::Info::Get<sem::Call>() template argument to cast the semantic type to sem::Call. This is done when the logic either knows it is impossible for the expression to be a Materialize. The backends have been stubbed, as we'll want to emit the constant value for these nodes. It's likely that we'll just use the FoldConstants transform to strip all Materialize nodes from the tree. For now, be defensive. Bug: tint:1504 Change-Id: If9231b300fc30c7fe886c17a804ead8ee2988285 Reviewed-on: https://dawn-review.googlesource.com/c/dawn/+/90533 Commit-Queue: Ben Clayton <bclayton@chromium.org> Reviewed-by: David Neto <dneto@google.com>
82 lines
3.0 KiB
C++
82 lines
3.0 KiB
C++
// Copyright 2022 The Tint Authors.
|
|
//
|
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
|
// you may not use this file except in compliance with the License.
|
|
// You may obtain a copy of the License at
|
|
//
|
|
// http://www.apache.org/licenses/LICENSE-2.0
|
|
//
|
|
// Unless required by applicable law or agreed to in writing, software
|
|
// distributed under the License is distributed on an "AS IS" BASIS,
|
|
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
// See the License for the specific language governing permissions and
|
|
// limitations under the License.
|
|
|
|
#include "src/tint/transform/promote_initializers_to_const_var.h"
|
|
#include "src/tint/program_builder.h"
|
|
#include "src/tint/sem/call.h"
|
|
#include "src/tint/sem/statement.h"
|
|
#include "src/tint/sem/type_constructor.h"
|
|
#include "src/tint/transform/utils/hoist_to_decl_before.h"
|
|
|
|
TINT_INSTANTIATE_TYPEINFO(tint::transform::PromoteInitializersToConstVar);
|
|
|
|
namespace tint::transform {
|
|
|
|
PromoteInitializersToConstVar::PromoteInitializersToConstVar() = default;
|
|
|
|
PromoteInitializersToConstVar::~PromoteInitializersToConstVar() = default;
|
|
|
|
void PromoteInitializersToConstVar::Run(CloneContext& ctx, const DataMap&, DataMap&) const {
|
|
HoistToDeclBefore hoist_to_decl_before(ctx);
|
|
|
|
// Hoists array and structure initializers to a constant variable, declared
|
|
// just before the statement of usage.
|
|
auto type_ctor_to_let = [&](const ast::CallExpression* expr) {
|
|
auto* ctor = ctx.src->Sem().Get(expr)->UnwrapMaterialize()->As<sem::Call>();
|
|
if (!ctor->Target()->Is<sem::TypeConstructor>()) {
|
|
return true;
|
|
}
|
|
auto* sem_stmt = ctor->Stmt();
|
|
if (!sem_stmt) {
|
|
// Expression is outside of a statement. This usually means the
|
|
// expression is part of a global (module-scope) constant declaration.
|
|
// These must be constexpr, and so cannot contain the type of
|
|
// expressions that must be sanitized.
|
|
return true;
|
|
}
|
|
|
|
auto* stmt = sem_stmt->Declaration();
|
|
|
|
if (auto* src_var_decl = stmt->As<ast::VariableDeclStatement>()) {
|
|
if (src_var_decl->variable->constructor == expr) {
|
|
// This statement is just a variable declaration with the
|
|
// initializer as the constructor value. This is what we're
|
|
// attempting to transform to, and so ignore.
|
|
return true;
|
|
}
|
|
}
|
|
|
|
auto* src_ty = ctor->Type();
|
|
if (!src_ty->IsAnyOf<sem::Array, sem::Struct>()) {
|
|
// We only care about array and struct initializers
|
|
return true;
|
|
}
|
|
|
|
return hoist_to_decl_before.Add(ctor, expr, true);
|
|
};
|
|
|
|
for (auto* node : ctx.src->ASTNodes().Objects()) {
|
|
if (auto* call_expr = node->As<ast::CallExpression>()) {
|
|
if (!type_ctor_to_let(call_expr)) {
|
|
return;
|
|
}
|
|
}
|
|
}
|
|
|
|
hoist_to_decl_before.Apply();
|
|
ctx.Clone();
|
|
}
|
|
|
|
} // namespace tint::transform
|