mirror of
https://github.com/carbon-language/carbon-lang.git
synced 2026-10-05 09:31:04 +01:00
Jon Ross-Perkins
a23f15e901
This is how I'm interpreting discussion:
- Basic elements are getting set to an ID.
- SetName exists to assign a name (which can then be referred to later with an identifier expression) to an ID.
- Expressions are broken down into a series of operations which operate on IDs.
So with something like the last test:
```
fn Main() { return 12 + 34; }
```
This becomes:
```
Function(%0,
{IntegerLiteral(%3, 12),
IntegerLiteral(%2, 34),
BinaryOperator(%1, +, %3, %2),
Return(%1),
})
SetName(`Main`, %0)
```
Note I'm treating blocks as fairly equal to the top of a file now, and basically eliminating boundaries between things. That's because we have discussed also supporting code like:
```
fn Foo() {
fn Bar() {}
Bar();
}
```
Here a declaration of a function is occurring inside a code block, so it felt like eliminating the difference was the best choice.
I know you'd commented on the separation of nodes to individual files before; I still think we're going to have a lot of different types of nodes, and so separating them out into individual files makes them easier to browse.
63 lines
1.8 KiB
C++
63 lines
1.8 KiB
C++
// Part of the Carbon Language project, under the Apache License v2.0 with LLVM
|
|
// Exceptions. See /LICENSE for license information.
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
|
|
#ifndef CARBON_TOOLCHAIN_SEMANTICS_SEMANTICS_IR_FOR_TEST_H_
|
|
#define CARBON_TOOLCHAIN_SEMANTICS_SEMANTICS_IR_FOR_TEST_H_
|
|
|
|
#include <gmock/gmock.h>
|
|
#include <gtest/gtest.h>
|
|
|
|
#include <sstream>
|
|
|
|
#include "common/check.h"
|
|
#include "llvm/ADT/StringExtras.h"
|
|
//#include "toolchain/semantics/nodes/infix_operator.h"
|
|
#include "toolchain/semantics/semantics_ir.h"
|
|
|
|
namespace Carbon::Testing {
|
|
|
|
// A singleton SemanticsIR instance, used by the test helpers.
|
|
//
|
|
// This provides a singleton so that calls like PrintTo(Semantics::Declaration)
|
|
// have a SemanticsIR to refer back to; PrintTo must be static.
|
|
class SemanticsIRForTest {
|
|
public:
|
|
template <typename NodeT>
|
|
static auto GetNode(Semantics::NodeRef node_ref) -> llvm::Optional<NodeT> {
|
|
if (node_ref.kind() != NodeT::Kind) {
|
|
return llvm::None;
|
|
}
|
|
return semantics().nodes_.Get<NodeT>(node_ref);
|
|
}
|
|
|
|
static auto semantics() -> const SemanticsIR& {
|
|
CARBON_CHECK(g_semantics != llvm::None);
|
|
return *g_semantics;
|
|
}
|
|
|
|
static void set_semantics(SemanticsIR semantics) {
|
|
CARBON_CHECK(g_semantics == llvm::None)
|
|
<< "Call clear() before setting again.";
|
|
g_semantics = std::move(semantics);
|
|
}
|
|
|
|
static void clear() { g_semantics = llvm::None; }
|
|
|
|
private:
|
|
static llvm::Optional<SemanticsIR> g_semantics;
|
|
};
|
|
|
|
} // namespace Carbon::Testing
|
|
|
|
namespace Carbon::Semantics {
|
|
|
|
inline void PrintTo(const NodeRef& node_ref, std::ostream* out) {
|
|
llvm::raw_os_ostream wrapped_out(*out);
|
|
Carbon::Testing::SemanticsIRForTest::semantics().Print(wrapped_out, node_ref);
|
|
}
|
|
|
|
} // namespace Carbon::Semantics
|
|
|
|
#endif // CARBON_TOOLCHAIN_SEMANTICS_SEMANTICS_IR_FOR_TEST_H_
|