mirror of
https://github.com/carbon-language/carbon-lang.git
synced 2026-09-28 07:10:10 +01:00
fd96e0e630
* add command-line flag to enable/disable tracing output * adding missing exit for pattern variable in wrong context and a test case for it (#324) * Update executable_semantics/interpreter/interpreter.cpp comment on separate line as code Co-authored-by: Jon Meow <46229924+jonmeow@users.noreply.github.com> * fix interpreter's handling of optional else of if statement (#323) * Update pattern_variable_fail.golden due to error (#334) * Use llvm's CommandLine for parsing (#332) * GitHub testing action (#331) Co-authored-by: Chandler Carruth <chandlerc@gmail.com> * add copyright * Create a Dictionary abstraction over the raw Cons list. (#327) * Create a Dictionary abstraction over the raw Cons list. * renamed Cons and some methods of Dictionary, various other cleanup * Update executable_semantics/tracing_flag.cpp added namespace comment Co-authored-by: Jon Meow <46229924+jonmeow@users.noreply.github.com> * added a comment to cpp file Co-authored-by: Jon Meow <46229924+jonmeow@users.noreply.github.com> Co-authored-by: Dave Abrahams <dabrahams@google.com> Co-authored-by: Chandler Carruth <chandlerc@gmail.com>
131 lines
3.0 KiB
Python
131 lines
3.0 KiB
Python
# 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
|
|
|
|
# TODO(https://github.com/carbon-language/carbon-lang/issues/266):
|
|
# Migrate bison/flex usage to a more hermetic bazel build.
|
|
|
|
load("@rules_cc//cc:defs.bzl", "cc_binary", "cc_library")
|
|
load("//bazel/testing:golden_test.bzl", "golden_test")
|
|
|
|
cc_binary(
|
|
name = "executable_semantics",
|
|
srcs = ["main.cpp"],
|
|
deps = [
|
|
":syntax",
|
|
"@llvm-project//llvm:Support",
|
|
],
|
|
)
|
|
|
|
cc_library(
|
|
name = "tracing_flag",
|
|
srcs = ["tracing_flag.cpp"],
|
|
hdrs = ["tracing_flag.h"],
|
|
visibility = ["//visibility:public"],
|
|
)
|
|
|
|
cc_library(
|
|
name = "syntax",
|
|
srcs = [
|
|
"syntax.tab.cpp",
|
|
"syntax.yy.cpp",
|
|
"syntax_helpers.cpp",
|
|
"syntax_helpers.h",
|
|
],
|
|
hdrs = ["syntax.tab.h"],
|
|
# Disable warnings for generated code.
|
|
copts = [
|
|
"-Wno-unneeded-internal-declaration",
|
|
"-Wno-unused-function",
|
|
"-Wno-writable-strings",
|
|
],
|
|
deps = [
|
|
":tracing_flag",
|
|
"//executable_semantics/ast:declaration",
|
|
"//executable_semantics/ast:expression",
|
|
"//executable_semantics/ast:field_list",
|
|
"//executable_semantics/interpreter",
|
|
],
|
|
)
|
|
|
|
genrule(
|
|
name = "syntax_bison_srcs",
|
|
srcs = ["syntax.ypp"],
|
|
outs = [
|
|
"syntax.tab.cpp",
|
|
"syntax.tab.h",
|
|
],
|
|
cmd = "M4=$(M4) $(BISON) " +
|
|
"--output=$(location syntax.tab.cpp) " +
|
|
"--defines=$(location syntax.tab.h) " +
|
|
"$(location syntax.ypp)",
|
|
toolchains = [
|
|
"@rules_bison//bison:current_bison_toolchain",
|
|
"@rules_m4//m4:current_m4_toolchain",
|
|
],
|
|
)
|
|
|
|
genrule(
|
|
name = "syntax_flex_srcs",
|
|
srcs = ["syntax.lpp"],
|
|
outs = ["syntax.yy.cpp"],
|
|
cmd = "M4=$(M4) $(FLEX) " +
|
|
"--outfile=$(location syntax.yy.cpp) " +
|
|
"$(location syntax.lpp)",
|
|
toolchains = [
|
|
"@rules_flex//flex:current_flex_toolchain",
|
|
"@rules_m4//m4:current_m4_toolchain",
|
|
],
|
|
)
|
|
|
|
EXAMPLES = [
|
|
"block1",
|
|
"break1",
|
|
"choice1",
|
|
"continue1",
|
|
"fun_recur",
|
|
"fun1",
|
|
"fun2",
|
|
"fun3",
|
|
"fun4",
|
|
"fun5",
|
|
"fun6_fail_type",
|
|
"funptr1",
|
|
"if1",
|
|
"if2",
|
|
"if3",
|
|
"match_int_default",
|
|
"match_int",
|
|
"match_type",
|
|
"next",
|
|
"pattern_init",
|
|
"pattern_variable_fail",
|
|
"record1",
|
|
"struct1",
|
|
"struct2",
|
|
"struct3",
|
|
"tuple_assign",
|
|
"tuple_match",
|
|
"tuple1",
|
|
"tuple2",
|
|
"undef1",
|
|
"undef2",
|
|
"while1",
|
|
"zero",
|
|
]
|
|
|
|
[genrule(
|
|
name = "%s_out" % e,
|
|
srcs = ["testdata/%s.6c" % e],
|
|
outs = ["testdata/%s.out" % e],
|
|
# Suppress command errors.
|
|
cmd = "$(location executable_semantics) $< > $@ 2>&1 || echo EXIT CODE: $$? >> $@",
|
|
tools = [":executable_semantics"],
|
|
) for e in EXAMPLES]
|
|
|
|
[golden_test(
|
|
name = "%s_test" % e,
|
|
golden = "testdata/%s.golden" % e,
|
|
subject = "testdata/%s.out" % e,
|
|
) for e in EXAMPLES]
|