# MRustC - Rust Compiler
# - By John Hodge (Mutabah/thePowersGang)
#
# Makefile
#
# - Compiles mrustc
# - Downloads rustc source to test against
# - Attempts to compile rust's libstd
#
# DEPENDENCIES
# - zlib (-dev)
# - curl (bin, for downloading libstd source)

EXESUF ?=
CXX ?= g++
V ?= @

TARGET_CC ?= clang

TAIL_COUNT ?= 45

# - Disable implicit rules
.SUFFIXES:
# - Disable deleting intermediate files
.SECONDARY:

# - Final stage for tests run as part of the rust_tests target.
#  VALID OPTIONS: parse, expand, mir, ALL
RUST_TESTS_FINAL_STAGE ?= ALL

LINKFLAGS := -g
LIBS := -lz
CXXFLAGS := -g -Wall
# - Only turn on -Werror when running as `tpg` (i.e. me)
ifeq ($(shell whoami),tpg)
  CXXFLAGS += -Werror
endif
CXXFLAGS += -std=c++14
#CXXFLAGS += -Wextra
CXXFLAGS += -O2
CPPFLAGS := -I src/include/ -I src/

CXXFLAGS += -Wno-pessimizing-move
CXXFLAGS += -Wno-misleading-indentation
#CXXFLAGS += -Wno-unused-private-field


# - Flags to pass to all mrustc invocations
RUST_FLAGS := --cfg debug_assertions
RUST_FLAGS += -g
RUST_FLAGS += -O
RUST_FLAGS += -L output/
RUST_FLAGS += $(RUST_FLAGS_EXTRA)
# > TODO: This is needed for anything that uses libstd. build.rs adds it with cargo magic, no idea how it gets to the rlib
RUST_FLAGS += -lbacktrace -ldl -lrt -lpthread

SHELL = bash

ifeq ($(DBGTPL),)
else ifeq ($(DBGTPL),gdb)
  DBG := echo -e "r\nbt 14\nq" | gdb --args
else ifeq ($(DBGTPL),valgrind)
  DBG := valgrind --leak-check=full --num-callers=35
else ifeq ($(DBGTPL),time)
  DBG := time
else
  $(error "Unknown debug template")
endif

OBJDIR = .obj/

BIN := bin/mrustc$(EXESUF)

OBJ := main.o serialise.o
OBJ += span.o rc_string.o debug.o ident.o
OBJ += ast/ast.o
OBJ +=  ast/types.o ast/crate.o ast/path.o ast/expr.o ast/pattern.o
OBJ +=  ast/dump.o
OBJ += parse/parseerror.o
OBJ +=  parse/token.o parse/tokentree.o parse/interpolated_fragment.o
OBJ +=  parse/tokenstream.o parse/lex.o parse/ttstream.o
OBJ += parse/root.o parse/paths.o parse/types.o parse/expr.o parse/pattern.o
OBJ += expand/mod.o expand/macro_rules.o expand/cfg.o
OBJ +=  expand/format_args.o expand/asm.o
OBJ +=  expand/concat.o expand/stringify.o expand/file_line.o
OBJ +=  expand/derive.o expand/lang_item.o
OBJ +=  expand/std_prelude.o expand/crate_tags.o
OBJ +=  expand/include.o
OBJ +=  expand/env.o
OBJ +=  expand/test.o
OBJ +=  expand/rustc_diagnostics.o
OBJ += expand/test_harness.o
OBJ += macro_rules/mod.o macro_rules/eval.o macro_rules/parse.o
OBJ += resolve/use.o resolve/index.o resolve/absolute.o
OBJ += hir/from_ast.o hir/from_ast_expr.o
OBJ +=  hir/dump.o
OBJ +=  hir/hir.o hir/generic_params.o
OBJ +=  hir/crate_ptr.o hir/type_ptr.o hir/expr_ptr.o
OBJ +=  hir/type.o hir/path.o hir/expr.o hir/pattern.o
OBJ +=  hir/visitor.o hir/crate_post_load.o
OBJ += hir_conv/expand_type.o hir_conv/constant_evaluation.o hir_conv/resolve_ufcs.o hir_conv/bind.o hir_conv/markings.o
OBJ += hir_typeck/outer.o hir_typeck/common.o hir_typeck/helpers.o hir_typeck/static.o hir_typeck/impl_ref.o
OBJ += hir_typeck/expr_visit.o
OBJ += hir_typeck/expr_cs.o
OBJ += hir_typeck/expr_check.o
OBJ += hir_expand/annotate_value_usage.o hir_expand/closures.o
OBJ += hir_expand/ufcs_everything.o
OBJ += hir_expand/reborrow.o hir_expand/erased_types.o hir_expand/vtable.o
OBJ += hir_expand/const_eval_full.o
OBJ += mir/mir.o mir/mir_ptr.o
OBJ +=  mir/dump.o mir/helpers.o mir/visit_crate_mir.o
OBJ +=  mir/from_hir.o mir/from_hir_match.o mir/mir_builder.o
OBJ +=  mir/check.o mir/cleanup.o mir/optimise.o
OBJ +=  mir/check_full.o
OBJ += hir/serialise.o hir/deserialise.o hir/serialise_lowlevel.o
OBJ += trans/trans_list.o trans/mangling.o
OBJ += trans/enumerate.o trans/monomorphise.o trans/codegen.o
OBJ += trans/codegen_c.o trans/codegen_c_structured.o
OBJ += trans/target.o trans/allocator.o

PCHS := ast/ast.hpp

OBJ := $(addprefix $(OBJDIR),$(OBJ))


all: $(BIN)

clean:
	$(RM) -r $(BIN) $(OBJ)


PIPECMD ?= 2>&1 | tee $@_dbg.txt | tail -n $(TAIL_COUNT) ; test $${PIPESTATUS[0]} -eq 0

output/%.ast: samples/%.rs $(BIN)
	@mkdir -p output/
	$(DBG) $(BIN) $< -o $@ $(PIPECMD)

RUSTCSRC := rustc-nightly/
RUSTC_SRC_DL := $(RUSTCSRC)/dl-version

fn_build_lib =\
  $Vecho "--- [MRUSTC] $@" ; \
  mkdir -p $(dir $@); rm -f $@ ; \
  $(DBG) $(ENV_$@) $(BIN) $1 --crate-type rlib --crate-name $2 -o $@ $(RUST_FLAGS) $(ARGS_$@) $(PIPECMD) ; \
  test -e $@

output/lib%.hir: $(RUSTCSRC)src/lib%/lib.rs $(RUSTCSRC) $(BIN)
	@echo "--- [MRUSTC] $@"
	@mkdir -p output/
	@rm -f $@
	$(DBG) $(ENV_$@) $(BIN) $< -o $@ $(RUST_FLAGS) $(ARGS_$@) $(PIPECMD)
#	# HACK: Work around gdb returning success even if the program crashed
	@test -e $@
output/lib%.hir: $(RUSTCSRC)src/lib%/src/lib.rs $(RUSTCSRC) $(BIN)
	@echo "--- [MRUSTC] $@"
	@mkdir -p output/
	@rm -f $@
	$(DBG) $(ENV_$@) $(BIN) $< -o $@ $(RUST_FLAGS) $(ARGS_$@) $(PIPECMD)
#	# HACK: Work around gdb returning success even if the program crashed
	@test -e $@
output/lib%.hir: $(RUSTCSRC)src/vendor/%/src/lib.rs $(RUSTCSRC) $(BIN)
	@echo "--- [MRUSTC] $@"
	@mkdir -p output/
	@rm -f $@
	$(DBG) $(ENV_$@) $(BIN) $< --crate-type rlib --crate-name $* -o $@ $(RUST_FLAGS) $(ARGS_$@) $(PIPECMD)
#	# HACK: Work around gdb returning success even if the program crashed
	@test -e $@

output/librustc_demangle.hir: $(RUSTCSRC)src/vendor/rustc-demangle/src/lib.rs $(RUSTCSRC) $(BIN)
	$(call fn_build_lib, $<, rustc_demangle)
output/librls_data.hir: $(RUSTCSRC)src/vendor/rls-data/src/lib.rs $(RUSTCSRC) $(BIN)
	$(call fn_build_lib, $<, rls_data)
output/librls_span.hir: $(RUSTCSRC)src/vendor/rls-span/src/lib.rs $(RUSTCSRC) $(BIN)
	$(call fn_build_lib, $<, rls_span)
output/librustc_serialize.hir: $(RUSTCSRC)src/vendor/rustc-serialize/src/lib.rs $(RUSTCSRC) $(BIN)
	$(call fn_build_lib, $< rustc_serialize)

output/lib%-test: $(RUSTCSRC)src/lib%/lib.rs $(RUSTCSRC) $(BIN) output/libtest.hir
	@echo "--- [MRUSTC] --test -o $@"
	@mkdir -p output/
	@rm -f $@
	$(DBG) $(ENV_$@) $(BIN) --test $< -o $@ -L output/libs $(RUST_FLAGS) $(ARGS_$@) $(PIPECMD)
#	# HACK: Work around gdb returning success even if the program crashed
	@test -e $@
output/lib%-test: $(RUSTCSRC)src/lib%/src/lib.rs $(RUSTCSRC) $(BIN) output/libtest.hir
	@echo "--- [MRUSTC] $@"
	@mkdir -p output/
	@rm -f $@
	$(DBG) $(ENV_$@) $(BIN) --test $< -o $@ -L output/libs $(RUST_FLAGS) $(ARGS_$@) $(PIPECMD)
#	# HACK: Work around gdb returning success even if the program crashed
	@test -e $@
fcn_extcrate = $(patsubst %,output/lib%.hir,$(1))

fn_getdeps = \
  $(shell cat $1 \
  | sed -n 's/.*extern crate \([a-zA-Z_0-9][a-zA-Z_0-9]*\)\( as .*\)\{0,1\};.*/\1/p' \
  | tr '\n' ' ')


# --- rustc: librustc_llvm ---
RUSTC_TARGET := x86_64-unknown-linux-gnu
RUSTC_HOST := $(shell $(CC) --verbose 2>&1 | grep 'Target' | awk '{print $$2}')
ifeq ($(RUSTC_HOST),x86_64-linux-gnu)
	RUSTC_HOST := x86_64-unknown-linux-gnu
endif
LLVM_LINKAGE_FILE := $(abspath rustc-nightly/$(RUSTC_TARGET)/rt/llvmdeps.rs)
LLVM_CONFIG := $(RUSTCSRC)build/bin/llvm-config

output/librustc_llvm.hir: $(LLVM_LINKAGE_FILE)

#
# librustc_llvm build script
#
RUSTC_LLVM_LINKAGE: $(LLVM_LINKAGE_FILE)
output/librustc_llvm_build: rustc-nightly/src/librustc_llvm/build.rs  $(call fcn_extcrate, std gcc build_helper alloc_system panic_abort)
	@echo "--- [MRUSTC] $@"
	$(BIN) $< -o $@ -L output/libs $(RUST_FLAGS) $(PIPECMD)
output/libgcc.hir: crates.io/gcc-0.3.28/src/lib.rs $(BIN) output/libstd.hir
	@echo "--- [MRUSTC] $@"
	$(BIN) $< -o $@ --crate-type rlib --crate-name gcc $(RUST_FLAGS) $(PIPECMD)
output/libbuild_helper.hir: rustc-nightly/src/build_helper/lib.rs $(BIN) output/libstd.hir output/libfiletime.hir
	@echo "--- [MRUSTC] $@"
	$(BIN) $< -o $@ --crate-type rlib --crate-name build_helper $(RUST_FLAGS) $(PIPECMD)

output/libgetopts.hir: rustc-nightly/src/vendor/getopts/src/lib.rs $(BIN) output/libstd.hir
	@echo "--- [MRUSTC] $@"
	$(BIN) $< -o $@ --crate-type rlib --crate-name getopts $(RUST_FLAGS) $(PIPECMD)

crates.io/%/src/lib.rs: crates.io/%.tar.gz
	tar -xf $< -C crates.io/
	@test -e $@ && touch $@
crates.io/gcc-0.3.28.tar.gz:
	@mkdir -p $(dir $@)
	curl -LsS https://crates.io/api/v1/crates/gcc/0.3.28/download -o $@

output/rustc_link_opts.txt: $(LLVM_LINKAGE_FILE)
	@
$(LLVM_LINKAGE_FILE): output/librustc_llvm_build $(LLVM_CONFIG)
	@mkdir -p $(dir $@)
	@mkdir -p rustc-nightly/$(RUSTC_TARGET)/cargo_out
	@echo "--- [rustc-nightly/src/librustc_llvm]"
	$Vcd rustc-nightly/src/librustc_llvm && (export OUT_DIR=$(abspath rustc-nightly/$(RUSTC_TARGET)/cargo_out) OPT_LEVEL=1 PROFILE=release TARGET=$(RUSTC_TARGET) HOST=$(RUSTC_HOST) LLVM_CONFIG=$(abspath $(LLVM_CONFIG)); $(DBG) ../../../output/librustc_llvm_build > ../../../output/librustc_llvm_build-output.txt)
	$Vcat output/librustc_llvm_build-output.txt | grep '^cargo:' > output/librustc_llvm_build-output_cargo.txt
	$Vcat output/librustc_llvm_build-output_cargo.txt | grep 'cargo:rustc-link-lib=.*=' | grep -v =rustllvm | awk -F = '{ print "-l" $$3 }' > output/rustc_link_opts.txt
	$Vcat output/librustc_llvm_build-output_cargo.txt | grep 'cargo:rustc-link-search=native=' | awk -F = '{ print "-L " $$3 }' >> output/rustc_link_opts.txt
	@touch $@

output/cargo_libflate/libminiz.a: output/libflate_build
	@echo "--- $<"
	$Vmkdir -p $(abspath output/cargo_libflate)
	$Vcd rustc-nightly/src/libflate && (export OUT_DIR=$(abspath output/cargo_libflate) OPT_LEVEL=1 PROFILE=release TARGET=$(RUSTC_TARGET) HOST=$(RUSTC_HOST); $(DBG) ../../../$< > ../../../$<-output.txt)
	$Vcat $<-output.txt | grep '^cargo:' > $<-output_cargo.txt
	$Vcat $<-output_cargo.txt | grep 'cargo:rustc-link-search=native=' | awk -F = '{ print "-L " $$3 }' > output/rustc_link_opts-libflate.txt

output/libflate_build: rustc-nightly/src/libflate/build.rs $(call fcn_extcrate, std gcc alloc_system panic_abort)
	@echo "--- [MRUSTC] $@"
	$(BIN) $< -o $@ -L output/libs $(RUST_FLAGS) $(PIPECMD)

ARGS_output/libstd.hir := --cfg feature=backtrace
ARGS_output/librustc_llvm.hir := --cfg llvm_component=x86 --cfg cargobuild
ARGS_output/liblog.hir := --cfg feature=use_std
ARGS_output/libstable_deref_trait.hir := --cfg feature=stdR
ARGS_output/librustc_allocator.hir := --crate-type rlib --crate-name rustc_allocator
ENV_output/librustc_llvm.hir := CFG_LLVM_LINKAGE_FILE=$(LLVM_LINKAGE_FILE)

ENV_output/librustc.hir := CFG_COMPILER_HOST_TRIPLE=$(RUSTC_HOST)

# Optional: linux only
output/libstd.hir: output/libs/libbacktrace.a

output/libarena.hir: output/libstd.hir
output/liballoc.hir: output/libcore.hir output/libstd_unicode.hir
output/liballoc_system.hir: output/liballoc.hir
output/libstd_unicode.hir: $(call fcn_extcrate, core)
output/libcollections.hir: $(call fcn_extcrate, core alloc)
output/librand.hir: output/libcore.hir
output/liblibc.hir: output/libcore.hir
output/libcompiler_builtins.hir: output/libcore.hir
output/libstd.hir: $(call fcn_extcrate, core collections rand libc unwind compiler_builtins alloc_system)
output/libunwind.hir: $(call fcn_extcrate, core libc)

output/libterm.hir: $(call fcn_extcrate, std)
output/libpanic_unwind.hir: $(call fcn_extcrate, core alloc libc unwind)
output/libpanic_abort.hir: $(call fcn_extcrate, core $(call fn_getdeps, $(RUSTCSRC)src/libpanic_abort/lib.rs))
output/libtest.hir: $(call fcn_extcrate, std getopts term panic_unwind)
output/libgetopts.hir: output/libstd.hir
output/libflate2.hir: $(call fcn_extcrate, std libc miniz_sys)
output/liblog.hir: $(call fcn_extcrate, std $(call fn_getdeps, $(RUSTCSRC)src/vendor/log/src/lib.rs))
output/libenv_logger.hir: $(call fcn_extcrate, std $(call fn_getdeps, $(RUSTCSRC)src/vendor/env_logger/src/lib.rs))
output/libminiz_sys.hir: $(RUSTCSRC)src/vendor/miniz-sys/lib.rs $(call fcn_extcrate, std)
	$(DBG) $(ENV_$@) $(BIN) $< --crate-type rlib --crate-name miniz_sys -o $@ $(RUST_FLAGS) $(ARGS_$@) $(PIPECMD)

output/liballoc_system.hir: $(call fcn_extcrate, core libc)
output/liballoc_jemalloc.hir: $(call fcn_extcrate, core libc)

output/libserialize.hir: $(call fcn_extcrate, std log rustc_i128)
output/librustc_llvm.hir: $(call fcn_extcrate, std rustc_bitflags)
output/librustc_errors.hir: $(call fcn_extcrate, std syntax_pos term)
output/libsyntax.hir: $(call fcn_extcrate, std $(call fn_getdeps, $(RUSTCSRC)src/libsyntax/lib.rs))
# TODO libsyntax wants bitflags-0.8
output/libbitflags.hir: $(RUSTCSRC)src/vendor/bitflags-0.8.2/src/lib.rs $(call fcn_extcrate, std)
	$(DBG) $(ENV_$@) $(BIN) $< --crate-type rlib --crate-name bitflags -o $@ $(RUST_FLAGS) $(ARGS_$@) $(PIPECMD)

output/librustc_back.hir: $(call fcn_extcrate, std syntax)
output/librustc_data_structures.hir: $(call fcn_extcrate, std log serialize libc)
output/librustc_const_math.hir: $(call fcn_extcrate, std log syntax serialize)
output/libfmt_macros.hir: $(call fcn_extcrate, std)
output/libproc_macro.hir: $(call fcn_extcrate, std syntax)
output/libsyntax_ext.hir: $(call fcn_extcrate, std fmt_macros log syntax syntax_pos rustc_errors proc_macro)
output/librustc_metadata.hir: $(call fcn_extcrate, std log flate2 serialize rustc rustc_back rustc_const_math rustc_data_structures rustc_errors syntax syntax_pos syntax_ext)
output/librustc_borrowck.hir: $(call fcn_extcrate, std log syntax syntax_pos rustc_errors graphviz rustc rustc_data_structures rustc_mir core)
output/librustc_mir.hir: $(call fcn_extcrate, std log graphviz rustc rustc_data_structures rustc_back rustc_bitflags syntax syntax_pos rustc_const_math rustc_const_eval)
output/librustc_const_eval.hir: $(call fcn_extcrate, std arena syntax log rustc rustc_back rustc_const_math rustc_data_structures rustc_errors graphviz syntax_pos serialize)
output/libgraphviz.hir: $(call fcn_extcrate, std)
output/libstable_deref_trait.hir: $(call fcn_extcrate, std)
output/libowning_ref.hir: $(call fcn_extcrate, std stable_deref_trait $(call fn_getdeps, $(RUSTCSRC)src/vendor/owning_ref/src/lib.rs))
output/libjobserver.hir: $(call fcn_extcrate, std)

output/libsyntax_pos.hir: $(call fcn_extcrate, std $(call fn_getdeps, $(RUSTCSRC)src/libsyntax_pos/lib.rs))

output/librustc_i128.hir: output/libcore.hir
output/librustc_plugin.hir: $(call fcn_extcrate, std $(call fn_getdeps, $(RUSTCSRC)src/librustc_plugin/lib.rs))
output/librustc_save_analysis.hir: $(call fcn_extcrate, std $(call fn_getdeps, $(RUSTCSRC)src/librustc_save_analysis/lib.rs))
output/librustc_resolve.hir: $(call fcn_extcrate, std $(call fn_getdeps, $(RUSTCSRC)src/librustc_resolve/lib.rs))
output/librustc_plugin.hir: $(call fcn_extcrate, std $(call fn_getdeps, $(RUSTCSRC)src/librustc_plugin/lib.rs))
output/librustc.hir: $(call fcn_extcrate, std $(call fn_getdeps, $(RUSTCSRC)src/librustc/lib.rs))
output/librustc_trans.hir: $(call fcn_extcrate, std $(call fn_getdeps, $(RUSTCSRC)src/librustc_trans/lib.rs))
output/librustc_lint.hir: $(call fcn_extcrate, std $(call fn_getdeps, $(RUSTCSRC)src/librustc_lint/lib.rs))
output/librustc_passes.hir: $(call fcn_extcrate, std $(call fn_getdeps, $(RUSTCSRC)src/librustc_passes/lib.rs))
output/librustc_incremental.hir: $(call fcn_extcrate, std $(call fn_getdeps, $(RUSTCSRC)src/librustc_incremental/lib.rs))
output/librustc_typeck.hir: $(call fcn_extcrate, std $(call fn_getdeps, $(RUSTCSRC)src/librustc_trans/lib.rs))
output/librustc_driver.hir: $(call fcn_extcrate, std $(call fn_getdeps, $(RUSTCSRC)src/librustc_driver/lib.rs))
output/librustc_bitflags.hir: $(call fcn_extcrate, core $(call fn_getdeps, $(RUSTCSRC)src/librustc_bitflags/lib.rs))
output/librustc_privacy.hir: $(call fcn_extcrate, std $(call fn_getdeps, $(RUSTCSRC)src/librustc_privacy/lib.rs))
output/librustc_platform_intrinsics.hir: $(call fcn_extcrate, std $(call fn_getdeps, $(RUSTCSRC)src/librustc_platform_intrinsics/lib.rs))

output/rustc: $(RUSTCSRC)src/rustc/rustc.rs output/librustc_driver.hir output/rustc_link_opts.txt
	@echo "--- [MRUSTC] $@"
	@mkdir -p output/
	@rm -f $@
	$V$(DBG) $(BIN) $< -o $@ -L output/libs $$(cat output/rustc_link_opts.txt output/rustc_link_opts-libflate.txt) -l stdc++ $(RUST_FLAGS) $(PIPECMD)
#	# HACK: Work around gdb returning success even if the program crashed
	@test -e $@

.PHONY: RUSTCSRC
RUSTCSRC: $(RUSTCSRC)

$(RUSTCSRC): rust-nightly-date rust_src.patch
	@export DL_RUST_DATE=$$(cat rust-nightly-date); \
	export DISK_RUST_DATE=$$([ -f $(RUSTC_SRC_DL) ] && cat $(RUSTC_SRC_DL)); \
	if [ "$$DL_RUST_DATE" != "$$DISK_RUST_DATE" ]; then \
		echo "Rust version on disk is '$${DISK_RUST_DATE}'. Downloading $${DL_RUST_DATE}."; \
		rm -f rustc-nightly-src.tar.gz; \
		rm -rf rustc-nightly; \
		curl -sS https://static.rust-lang.org/dist/$${DL_RUST_DATE}/rustc-nightly-src.tar.gz -o rustc-nightly-src.tar.gz; \
		tar -xf rustc-nightly-src.tar.gz --transform 's~^rustc-nightly-src~rustc-nightly~'; \
		patch -p0 < rust_src.patch; \
		echo "$$DL_RUST_DATE" > $(RUSTC_SRC_DL); \
	fi

# - libbacktrace, needed for libstd on linux
output/libs/libbacktrace.a: $(RUSTCSRC)src/libbacktrace/Makefile
	@mkdir -p $(dir $@)
	@cd $(RUSTCSRC)src/libbacktrace && $(MAKE) INCDIR=.
	@cp $(RUSTCSRC)src/libbacktrace/.libs/libbacktrace.a $@
$(RUSTCSRC)src/libbacktrace/Makefile:
	@echo "[configure] $(RUSTCSRC)src/libbacktrace"
	@cd $(RUSTCSRC)src/libbacktrace && ./configure --target=$(RUSTC_HOST) --host=$(RUSTC_HOST) --build=$(RUSTC_HOST)


LLVM_CMAKE_OPTS := LLVM_TARGET_ARCH=$(firstword $(subst -, ,$(RUSTC_TARGET))) LLVM_DEFAULT_TARGET_TRIPLE=$(RUSTC_TARGET)
LLVM_CMAKE_OPTS += LLVM_TARGETS_TO_BUILD=X86#;ARM;AArch64;Mips;PowerPC;SystemZ;JSBackend;MSP430;Sparc;NVPTX
LLVM_CMAKE_OPTS += LLVM_ENABLE_ASSERTIONS=OFF
LLVM_CMAKE_OPTS += LLVM_INCLUDE_EXAMPLES=OFF LLVM_INCLUDE_TESTS=OFF LLVM_INCLUDE_DOCS=OFF
LLVM_CMAKE_OPTS += LLVM_ENABLE_ZLIB=OFF LLVM_ENABLE_TERMINFO=OFF LLVM_ENABLE_LIBEDIT=OFF WITH_POLLY=OFF
LLVM_CMAKE_OPTS += CMAKE_CXX_COMPILER="g++" CMAKE_C_COMPILER="gcc"

$(LLVM_CONFIG): $(RUSTCSRC)build/Makefile
		$Vcd $(RUSTCSRC)build && $(MAKE)
$(RUSTCSRC)build/Makefile: $(RUSTCSRC)src/llvm/CMakeLists.txt
		@mkdir -p $(RUSTCSRC)build
		$Vcd $(RUSTCSRC)build && cmake $(addprefix -D , $(LLVM_CMAKE_OPTS)) ../src/llvm


# MRUSTC-specific tests
.PHONY: local_tests
local_tests: $(patsubst samples/test/%.rs,output/local_test/%_out.txt,$(wildcard samples/test/*.rs))

output/local_test/%_out.txt: output/local_test/%
	./$< > $@
output/local_test/%: samples/test/%.rs $(BIN) output/libtest.hir output/libpanic_abort.hir output/liballoc_system.hir
	mkdir -p $(dir $@)
	$(BIN) -L output/libs -g $< -o $@ $(RUST_FLAGS) --test $(PIPECMD)

# 
# RUSTC TESTS
# 
.PHONY: rust_tests local_tests
RUST_TESTS_DIR := $(RUSTCSRC)src/test/
rust_tests: rust_tests-run-pass
# rust_tests-run-fail
# rust_tests-compile-fail

DISABLED_TESTS := 
# - NOT A TEST
DISABLED_TESTS += run-pass/backtrace-debuginfo-aux
DISABLED_TESTS += run-pass/mod_file_aux
# - asm! is hard to translate
DISABLED_TESTS += run-pass/abi-sysv64-register-usage
DISABLED_TESTS += run-pass/asm-in-out-operand
DISABLED_TESTS += run-pass/asm-indirect-memory
DISABLED_TESTS += run-pass/asm-out-assign
DISABLED_TESTS += run-pass/i128	# Unknown leader 'r'
DISABLED_TESTS += run-pass/issue-14936
DISABLED_TESTS += run-pass/issue-32947
DISABLED_TESTS += run-pass/num-wrapping
DISABLED_TESTS += run-pass/out-of-stack
# - Requires jemalloc
DISABLED_TESTS += run-pass/allocator-default
DISABLED_TESTS += run-pass/allocator-override
# - Really odd behavior:
DISABLED_TESTS += run-pass/move-guard-const	# Moves are allowed in match arm guards (should error in mrustc)
# - Lazy.
DISABLED_TESTS += run-pass/associated-types-projection-in-where-clause	# Not normalizing bounds
DISABLED_TESTS += run-pass/cast	# Disallows cast from char to i32
DISABLED_TESTS += run-pass/empty-struct-braces	# HIR Gen - Empty struct support
DISABLED_TESTS += run-pass/explicit-self-generic	# Method Selection: Picks ExactSizeIterator::len instead of Self::len
DISABLED_TESTS += run-pass/extern-compare-with-return-type	# TODO Specialisation with function pointers
DISABLED_TESTS += run-pass/issue-14399	# Inferrence ran though a coercion point.
DISABLED_TESTS += run-pass/issue-26709	# ^ (integer literal)
DISABLED_TESTS += run-pass/issue-20797	# Failed to find impl with associated type, possible incorrect coerce?
DISABLED_TESTS += run-pass/issue-21245	# IntoIterator on core::slice::Iterator ?
DISABLED_TESTS += run-pass/issue-21486	# Type mismatch
DISABLED_TESTS += run-pass/issue-21410	# Infinite recursion
DISABLED_TESTS += run-pass/issue-25439	# ^
DISABLED_TESTS += run-pass/issue-22629	# Auto trait + UFCS todo
DISABLED_TESTS += run-pass/send-is-not-static-par-for	# ^
DISABLED_TESTS += run-pass/issue-22828	# ^
DISABLED_TESTS += run-pass/issue-23699	# fn() inferrence
DISABLED_TESTS += run-pass/issue-30371	# destructuring pattern on !
DISABLED_TESTS += run-pass/issue-33687	# Unit struct implementing FnOnce call
DISABLED_TESTS += run-pass/issue-38033	# Not equating associated type of type param.
DISABLED_TESTS += run-pass/issue-7784	# PartialEq impl and deref
DISABLED_TESTS += run-pass/traits-issue-26339	# ^
DISABLED_TESTS += run-pass/builtin-superkinds-self-type	# ^
DISABLED_TESTS += run-pass/intrinsic-move-val	# ^
DISABLED_TESTS += run-pass/trait-default-method-xc	# Trait impled for i32
DISABLED_TESTS += run-pass/issue-11205	# ^
DISABLED_TESTS += run-pass/mir_coercions	# Coercion to unsafe fn
DISABLED_TESTS += run-pass/typeck-fn-to-unsafe-fn-ptr	# ^
DISABLED_TESTS += run-pass/unsafe-coercion	# ^
DISABLED_TESTS += run-pass/mir_misc_casts	# Cast fn to *const isize
DISABLED_TESTS += run-pass/never-result	# ! not correctly unifiying
DISABLED_TESTS += run-pass/self-impl	# Unable to infer
DISABLED_TESTS += run-pass/trait-copy-guessing	# ^
DISABLED_TESTS += run-pass/issue-20575	# ^
DISABLED_TESTS += run-pass/sync-send-iterators-in-libcore	# Send for Range<_>
DISABLED_TESTS += run-pass/traits-repeated-supertrait	# Type mismatch, i64 and u64
DISABLED_TESTS += run-pass/trans-object-shim	# fn cast to other fn as type annotation
DISABLED_TESTS += run-pass/variadic-ffi	# variadics not supported
DISABLED_TESTS += run-pass/weird-exprs	# Line 17, let _ = return; result type
DISABLED_TESTS += run-pass/where-for-self	# Failed deref coercion?
DISABLED_TESTS += run-pass/union/union-backcomp	# ? discarded value?
DISABLED_TESTS += run-pass/coerce-expect-unsized	 # Can't infer ivar in associated
DISABLED_TESTS += run-pass/issue-26805	# ^
DISABLED_TESTS += run-pass/associated-types-doubleendediterator-object	# Failed to propagate associated type from trait object
DISABLED_TESTS += run-pass/issue-26905	# ^
DISABLED_TESTS += run-pass/last-use-in-cap-clause	# ^
DISABLED_TESTS += run-pass/last-use-is-capture	# TODO: Unsize of closure to FnMut
DISABLED_TESTS += run-pass/overloaded-calls-object-zero-args
# - Lazy (Typecheck - Leftover rules)
DISABLED_TESTS += run-pass/regions-infer-borrow-scope-addr-of	# Didn't unify literal ivar
DISABLED_TESTS += run-pass/swap-2	# ^
DISABLED_TESTS += run-pass/slice_binary_search	# Didn't detect infer possiblity (&str, &String)
# - Lazy (Typecheck - Array unsize)
DISABLED_TESTS += run-pass/associated-types-conditional-dispatch	# Ran through coercion point
DISABLED_TESTS += run-pass/byte-literals	# Over-eager inferrence
DISABLED_TESTS += run-pass/never_coercions	# Over-eager inferrence (ran through coercion)
DISABLED_TESTS += run-pass/cast-rfc0401-vtable-kinds # Spare rules (struct Unsize)
DISABLED_TESTS += run-pass/dst-struct-sole           # ^
DISABLED_TESTS += run-pass/dst-struct                # ^
DISABLED_TESTS += run-pass/issue-23261               # ^
DISABLED_TESTS += run-pass/cast-rfc0401	# Skipped coerce unsized - Cast to raw pointer causing unsize
DISABLED_TESTS += run-pass/fat-ptr-cast    # Skipped coerce unsized - ERROR - coerce Borrow->Pointer and Unsize in one
DISABLED_TESTS += run-pass/issue-21562     # ^
DISABLED_TESTS += run-pass/mir_raw_fat_ptr # ^
DISABLED_TESTS += run-pass/raw-fat-ptr     # ^
## - Lazy (Typecheck - Trait unsize)
DISABLED_TESTS += run-pass/dst-coercions	# Skipped CoerceUnsize
DISABLED_TESTS += run-pass/dst-raw	# Skipped CoerceUnsize
DISABLED_TESTS += run-pass/issue-11677	# Skipped
# - Lazy (MIR)
DISABLED_TESTS += run-pass/if-ret	# If condition wasn't a bool
DISABLED_TESTS += run-pass/issue-11940	# todo: Match literal Borrow
DISABLED_TESTS += run-pass/mir_build_match_comparisons	# - ^
DISABLED_TESTS += run-pass/issue-18352	# - ^
DISABLED_TESTS += run-pass/issue-13620	# - Todo in cleanup of dependency
DISABLED_TESTS += run-pass/vec-matching-fold	# todo: Match SplitSlice with tailing (rule gen)
DISABLED_TESTS += run-pass/match-vec-alternatives	# &
DISABLED_TESTS += run-pass/issue-17877	# - SplitSlice + array
DISABLED_TESTS += run-pass/vec-matching-fixed	# ^
DISABLED_TESTS += run-pass/vec-tail-matching	# SplitSlice destructure array
DISABLED_TESTS += run-pass/zero_sized_subslice_match	# ^
DISABLED_TESTS += run-pass/issue-28839	# - Move &mut ?
DISABLED_TESTS += run-pass/union/union-inherent-method	# ^ ?
DISABLED_TESTS += run-pass/issue-21306	# ^
DISABLED_TESTS += run-pass/issue-28950	# - Stack overflow in vec!
DISABLED_TESTS += run-pass/mir_heavy_promoted	# Stack overflow in array constant
DISABLED_TESTS += run-pass/issue-29227	# - Excessive time in MIR lowering
DISABLED_TESTS += run-pass/issue-15763	# No value avaliable (return in _StructLiteral)
DISABLED_TESTS += run-pass/issue-18110	# ^ (return in _Tuple)
DISABLED_TESTS += run-pass/issue-30018-nopanic	# ^
DISABLED_TESTS += run-pass/match-bot-2	# ^
DISABLED_TESTS += run-pass/unreachable-code	# ^
DISABLED_TESTS += run-pass/struct-order-of-eval-1	# Struct init order (fails validation)
DISABLED_TESTS += run-pass/struct-order-of-eval-3	# ^
DISABLED_TESTS += run-pass/const-enum-vec-index	# This is valid code?
DISABLED_TESTS += run-pass/match-byte-array-patterns	# Byte string match (match gen assertion)
# - Lazy (trans)
DISABLED_TESTS += run-pass/issue-21058	# Empty trait object vtable
DISABLED_TESTS += run-pass/issue-25515	# ^
DISABLED_TESTS += run-pass/issue-35815	# ^
DISABLED_TESTS += run-pass/issue-29663	# Missing volatile_(load|store) intrinsic
DISABLED_TESTS += run-pass/intrinsic-alignment	# Missing pref_align_of intrinsic
DISABLED_TESTS += run-pass/volatile-fat-ptr	# ^
DISABLED_TESTS += run-pass/newtype	# Can't handle mutally recursive definitions
DISABLED_TESTS += run-pass/transmute-specialization	# Opaque type hit?
DISABLED_TESTS += run-pass/unit-fallback	# ! didn't default to ()
DISABLED_TESTS += run-pass/issue-33387	# Missing vtable for array
# - HIR resolve
DISABLED_TESTS += run-pass/union/union-generic	# Can't find associated type on type param
# - Lazy (misc)
DISABLED_TESTS += run-pass/issue-13494
DISABLED_TESTS += run-pass/issue-6919	# Literal function pointer
DISABLED_TESTS += run-pass/item-attributes	# Attributed function after last statement leads to last statement yielded
DISABLED_TESTS += run-pass/new-box-syntax	# todo - placement syntax
DISABLED_TESTS += run-pass/placement-in-syntax	# ^
DISABLED_TESTS += run-pass/pat-tuple-1	# assertion in "Annotate Value Usage"
DISABLED_TESTS += run-pass/pat-tuple-2	# ^
DISABLED_TESTS += run-pass/pat-tuple-3	# ^
DISABLED_TESTS += run-pass/pat-tuple-4	# ^
DISABLED_TESTS += run-pass/paths-in-macro-invocations	# MISSING: qualified macro paths
DISABLED_TESTS += run-pass/struct-path-associated-type	# non-absolute path for HIR::GenericPath
DISABLED_TESTS += run-pass/struct-path-self	# ^
DISABLED_TESTS += run-pass/ufcs-polymorphic-paths	# ^
# - Resolve
DISABLED_TESTS += run-pass/issue-22546	# None::<u8> handling in patterns
DISABLED_TESTS += run-pass/issue-29540	# Infinite recursion
DISABLED_TESTS += run-pass/issue-38002	# Enum::StructVariant
DISABLED_TESTS += run-pass/match-arm-statics	# ^
DISABLED_TESTS += run-pass/mir_ascription_coercion	# Missed item
DISABLED_TESTS += run-pass/type-ascription	# Relative path in lowering
DISABLED_TESTS += run-pass/issue-15221	# Macros in patterns
# - Overly-restrictive consteval
DISABLED_TESTS += run-pass/const-cast	# Cast from fn() to pointer
DISABLED_TESTS += run-pass/const-autoderef	# Expected [u8]
DISABLED_TESTS += run-pass/check-static-mut-slices
DISABLED_TESTS += run-pass/check-static-slice
DISABLED_TESTS += run-pass/const-binops
DISABLED_TESTS += run-pass/const-contents
DISABLED_TESTS += run-pass/const-deref
DISABLED_TESTS += run-pass/const-enum-cast
DISABLED_TESTS += run-pass/const-err
DISABLED_TESTS += run-pass/const-fields-and-indexing
DISABLED_TESTS += run-pass/const-fn-method
DISABLED_TESTS += run-pass/const-fn
DISABLED_TESTS += run-pass/const-str-ptr
DISABLED_TESTS += run-pass/const-vec-of-fns
DISABLED_TESTS += run-pass/diverging-fn-tail-35849
DISABLED_TESTS += run-pass/enum-vec-initializer
DISABLED_TESTS += run-pass/huge-largest-array
DISABLED_TESTS += run-pass/issue-17233
DISABLED_TESTS += run-pass/issue-19244	# Missing type info
DISABLED_TESTS += run-pass/issue-22894	# TODO: Deref
DISABLED_TESTS += run-pass/issue-25180	# Closure in const
DISABLED_TESTS += run-pass/issue-27268	# ^
DISABLED_TESTS += run-pass/issue-28189	# ^
DISABLED_TESTS += run-pass/issue-25757	# UFCS function pointer
DISABLED_TESTS += run-pass/mir_refs_correct
DISABLED_TESTS += run-pass/vec-fixed-length	# Overflow in costeval
DISABLED_TESTS += run-pass/union/union-const-trans	# Union literal
# - Type defaults not supported
DISABLED_TESTS += run-pass/default-associated-types
DISABLED_TESTS += run-pass/default_ty_param_default_dependent_associated_type
DISABLED_TESTS += run-pass/default_ty_param_dependent_defaults
DISABLED_TESTS += run-pass/default_ty_param_method_call_test
DISABLED_TESTS += run-pass/default_ty_param_struct_and_type_alias
DISABLED_TESTS += run-pass/default_ty_param_struct
DISABLED_TESTS += run-pass/default_ty_param_trait_impl
DISABLED_TESTS += run-pass/default_ty_param_trait_impl_simple
DISABLED_TESTS += run-pass/default_ty_param_type_alias
DISABLED_TESTS += run-pass/generic-default-type-params-cross-crate
DISABLED_TESTS += run-pass/generic-default-type-params
# - ERROR: Function pointers in consants/statics don't trigger calls
DISABLED_TESTS += run-pass/issue-17718
DISABLED_TESTS += run-pass/rfc1623
DISABLED_TESTS += run-pass/static-function-pointer-xc
DISABLED_TESTS += run-pass/static-function-pointer
DISABLED_TESTS += run-pass/const-block-cross-crate-fn
DISABLED_TESTS += run-pass/const-block-item
DISABLED_TESTS += run-pass/const-block
# - Quirks
DISABLED_TESTS += run-pass/autoderef-privacy	# No privacy with autoderef
DISABLED_TESTS += run-pass/fn-item-type-zero-sized	# fn() items are not ZSTs
DISABLED_TESTS += run-pass/int-abs-overflow	# No overflow checks
DISABLED_TESTS += run-pass/issue-18859	# module_path output is differend
DISABLED_TESTS += run-pass/issue-8709	# stringify! output
DISABLED_TESTS += run-pass/tydesc-name	# ^
DISABLED_TESTS += run-pass/concat	# ^
DISABLED_TESTS += run-pass/type-id-higher-rank-2	# lifetimes don't apply in type_id
DISABLED_TESTS += run-pass/type-id-higher-rank	# ^
# - BUG-Expand: macro_rules
DISABLED_TESTS += run-pass/macro-of-higher-order
DISABLED_TESTS += run-pass/macro-pat	# :pat doesn't allow MACRO
DISABLED_TESTS += run-pass/macro-reexport-no-intermediate-use	# macro_reexport failed
DISABLED_TESTS += run-pass/macro-with-attrs1	# cfg on macro_rules
DISABLED_TESTS += run-pass/shift-near-oflo	# Scoping rules
DISABLED_TESTS += run-pass/type-macros-simple	# ^
DISABLED_TESTS += run-pass/stmt_expr_attr_macro_parse	# Orderign with :expr and #[]
DISABLED_TESTS += run-pass/sync-send-iterators-in-libcollections	# .. should match :expr
DISABLED_TESTS += run-pass/type-macros-hlist	# Mismatched arms
# - BUG-Expand: format_args!
DISABLED_TESTS += run-pass/ifmt	# Unknown formatting type specifier '*'
# - BUG-Expand: line/column macros don't work properly
DISABLED_TESTS += run-pass/issue-26322
# - Expand
DISABLED_TESTS += run-pass/issue-11085	# No support for cfg() on enum variants
DISABLED_TESTS += run-pass/lexer-crlf-line-endings-string-literal-doc-comment	# Missing include_str!
DISABLED_TESTS += run-pass/syntax-extension-source-utils	# ^
DISABLED_TESTS += run-pass/link-cfg-works	# cfg in #[link]
DISABLED_TESTS += run-pass/linkage1	# #[linkage]
DISABLED_TESTS += run-pass/log_syntax-trace_macros-macro-locations	# no trace_macros!
DISABLED_TESTS += run-pass/macro-use-all-and-none	# missing macro_use feature
DISABLED_TESTS += run-pass/macro-use-both	# ^
DISABLED_TESTS += run-pass/macro-use-one	# ^
DISABLED_TESTS += run-pass/two-macro-use	# ^
DISABLED_TESTS += run-pass/simd-intrinsic-generic-cast	# Missing concat_idents!
DISABLED_TESTS += run-pass/simd-intrinsic-generic-comparison	# ^
DISABLED_TESTS += run-pass/smallest-hello-world	# missing lang item
DISABLED_TESTS += run-pass/trait-item-inside-macro	# macro invocations in traits
DISABLED_TESTS += run-pass/try-operator-custom	# `?` carrier
DISABLED_TESTS += run-pass/wrapping-int-api	# cfg on match arms
DISABLED_TESTS += run-pass/union/union-c-interop	# union derive
DISABLED_TESTS += run-pass/union/union-derive	# ^
DISABLED_TESTS += run-pass/union/union-overwrite	# ? MetaItem::as_String()
DISABLED_TESTS += run-pass/union/union-packed	# ^
DISABLED_TESTS += run-pass/union/union-pat-refutability	# ^
# - Parse
DISABLED_TESTS += run-pass/issue-37733	# for<'a,>
DISABLED_TESTS += run-pass/loop-break-value	# `break value`
DISABLED_TESTS += run-pass/macro-attribute-expansion	# No handling of $expr in attributes
DISABLED_TESTS += run-pass/macro-doc-escapes	# Doc comments aren't attributes
DISABLED_TESTS += run-pass/macro-doc-raw-str-hashes	# ^
DISABLED_TESTS += run-pass/macro-interpolation	# $block not allowed in place of function body
DISABLED_TESTS += run-pass/macro-stmt	# ^
DISABLED_TESTS += run-pass/macro-tt-followed-by-seq	# Mismatched arms?
DISABLED_TESTS += run-pass/struct-field-shorthand	# Struct field shorthand
DISABLED_TESTS += run-pass/vec-matching	# [a, [b,..].., c]
# HIR Lowering
DISABLED_TESTS += run-pass/union/union-basic	# Union struct pattern
# - BUG-Parse: `use *`
DISABLED_TESTS += run-pass/import-glob-crate
DISABLED_TESTS += run-pass/import-prefix-macro
# - BUG-CODEGEN: Missing symbol
DISABLED_TESTS += run-pass/const-enum-ptr
DISABLED_TESTS += run-pass/const-enum-vec-ptr
DISABLED_TESTS += run-pass/const-vecs-and-slices
DISABLED_TESTS += run-pass/issue-5688
DISABLED_TESTS += run-pass/issue-5917
DISABLED_TESTS += run-pass/issue-7012
DISABLED_TESTS += run-pass/issue-29147	# Missing type
DISABLED_TESTS += run-pass/issue-30081	# ^
DISABLED_TESTS += run-pass/issue-3447	# ^
DISABLED_TESTS += run-pass/issue-34796	# Missing vtable type (in dep)
DISABLED_TESTS += run-pass/simd-generics	# "platform-intrinsics"
DISABLED_TESTS += run-pass/simd-intrinsic-generic-arithmetic	# ^
DISABLED_TESTS += run-pass/simd-intrinsic-generic-elements	# ^
DISABLED_TESTS += run-pass/thread-local-extern-static	# Extern static not generated?
# - BUG: Codegen
DISABLED_TESTS += run-pass/unsized3	# Pointer instead of fat pointer
DISABLED_TESTS += run-pass/utf8_idents	# C backend doesn't support utf8 idents
# - BUG: Hygine
DISABLED_TESTS += run-pass/hygiene
DISABLED_TESTS += run-pass/hygienic-labels-in-let
DISABLED_TESTS += run-pass/hygienic-labels
DISABLED_TESTS += run-pass/macro-nested_stmt_macros	# hygine fires when it shouldn't
# - Test framework required
DISABLED_TESTS += run-pass/core-run-destroy
DISABLED_TESTS += run-pass/exec-env
DISABLED_TESTS += run-pass/issue-16597-empty
DISABLED_TESTS += run-pass/issue-16597	# NOTE: Crashes in resolve
DISABLED_TESTS += run-pass/issue-20823
DISABLED_TESTS += run-pass/issue-34932
DISABLED_TESTS += run-pass/issue-36768
DISABLED_TESTS += run-pass/reexport-test-harness-main
DISABLED_TESTS += run-pass/test-fn-signature-verification-for-explicit-return-type
DISABLED_TESTS += run-pass/test-main-not-dead-attr
DISABLED_TESTS += run-pass/test-main-not-dead
DISABLED_TESTS += run-pass/test-runner-hides-buried-main
DISABLED_TESTS += run-pass/test-runner-hides-main
DISABLED_TESTS += run-pass/test-runner-hides-start
DISABLED_TESTS += run-pass/test-should-fail-good-message
DISABLED_TESTS += run-pass/test-should-panic-attr
# - Makefile test framework quirks
DISABLED_TESTS += run-pass/issue-18913
DISABLED_TESTS += run-pass/issue-2380-b
DISABLED_TESTS += run-pass/issue-29485
DISABLED_TESTS += run-pass/svh-add-comment
DISABLED_TESTS += run-pass/svh-add-doc
DISABLED_TESTS += run-pass/svh-add-macro
DISABLED_TESTS += run-pass/svh-add-nothing
DISABLED_TESTS += run-pass/svh-add-redundant-cfg
DISABLED_TESTS += run-pass/svh-add-whitespace
# - Target Features
DISABLED_TESTS += run-pass/crt-static-on-works
DISABLED_TESTS += run-pass/sse2
# - Infinite loops
DISABLED_TESTS += run-pass/issue-27890	# - Stack exhausted : Resolve
DISABLED_TESTS += run-pass/project-cache-issue-31849
# - Impl selection
DISABLED_TESTS += run-pass/issue-23208	# Couldn't find an impl for <T/*M:0*/ as ::TheSuperTrait<u32,>>::get
DISABLED_TESTS += run-pass/xcrate-associated-type-defaults	# Failed to find an impl
# --- Runtime Errors ---
# - Line information that isn't avaliable due to codegen
DISABLED_TESTS += run-pass/backtrace-debuginfo
DISABLED_TESTS += run-pass/backtrace
# - No unwind catching support
DISABLED_TESTS += run-pass/binary-heap-panic-safe
DISABLED_TESTS += run-pass/box-of-array-of-drop-1
DISABLED_TESTS += run-pass/box-of-array-of-drop-2
DISABLED_TESTS += run-pass/cleanup-rvalue-temp-during-incomplete-alloc
DISABLED_TESTS += run-pass/drop-trait-enum
DISABLED_TESTS += run-pass/intrinsic-move-val-cleanups
DISABLED_TESTS += run-pass/issue-14875
DISABLED_TESTS += run-pass/issue-25089
DISABLED_TESTS += run-pass/issue-26655
DISABLED_TESTS += run-pass/issue-30018-panic
DISABLED_TESTS += run-pass/issue-8460
DISABLED_TESTS += run-pass/iter-step-overflow-debug
DISABLED_TESTS += run-pass/iter-sum-overflow-debug
DISABLED_TESTS += run-pass/multi-panic
DISABLED_TESTS += run-pass/nested-vec-3
DISABLED_TESTS += run-pass/no-landing-pads
DISABLED_TESTS += run-pass/panic-handler-chain
DISABLED_TESTS += run-pass/panic-handler-flail-wildly
DISABLED_TESTS += run-pass/panic-handler-set-twice
DISABLED_TESTS += run-pass/panic-in-dtor-drops-fields
DISABLED_TESTS += run-pass/panic-recover-propagate
DISABLED_TESTS += run-pass/sepcomp-unwind
DISABLED_TESTS += run-pass/slice-panic-1
DISABLED_TESTS += run-pass/slice-panic-2
DISABLED_TESTS += run-pass/task-stderr
DISABLED_TESTS += run-pass/terminate-in-initializer
DISABLED_TESTS += run-pass/unit-like-struct-drop-run
DISABLED_TESTS += run-pass/unwind-resource
DISABLED_TESTS += run-pass/unwind-unique
DISABLED_TESTS += run-pass/vector-sort-panic-safe
DISABLED_TESTS += run-pass/dynamic-drop
DISABLED_TESTS += run-pass/reachable-unnameable-items
# - Misc
DISABLED_TESTS += run-pass/issue-16671	# Blocks forever
DISABLED_TESTS += run-pass/issue-13027	# Infinite loop (match?)
DISABLED_TESTS += run-pass/issue-36936	# assert_eq failing on equal values
# - BUG: signed ctpop/cttz/ctlz
DISABLED_TESTS += run-pass/intrinsics-integer	# todo - bswap<i8>
# - BUG: Incorrect drop ordering
DISABLED_TESTS += run-pass/issue-23338-ensure-param-drop-order
# - BUG: Incorrect consteval
DISABLED_TESTS += run-pass/issue-23968-const-not-overflow	# !0 / 2 incorrect value
# - BUG: Incorrect ordering of read in binops
DISABLED_TESTS += run-pass/issue-27054-primitive-binary-ops
# - BUG: Enum variants not getting correct integer values (negatives)
DISABLED_TESTS += run-pass/discriminant_value
DISABLED_TESTS += run-pass/enum-discr
DISABLED_TESTS += run-pass/enum-disr-val-pretty
DISABLED_TESTS += run-pass/issue-15523-big
DISABLED_TESTS += run-pass/issue-9837
DISABLED_TESTS += run-pass/signed-shift-const-eval
DISABLED_TESTS += run-pass/tag-variant-disr-val
# - BUG: repr(size) not working
DISABLED_TESTS += run-pass/enum-univariant-repr
DISABLED_TESTS += run-pass/issue-15523
# - ConstEval: Handling of enum variant casts
DISABLED_TESTS += run-pass/issue-23304-1
DISABLED_TESTS += run-pass/issue-23304-2
# - BUG: Null pointer opt not fully correct
DISABLED_TESTS += run-pass/enum-null-pointer-opt
DISABLED_TESTS += run-pass/nonzero-enum
DISABLED_TESTS += run-pass/nullable-pointer-opt-closures
DISABLED_TESTS += run-pass/nullable-pointer-size
# - BUG: Incorrect enum sizing
DISABLED_TESTS += run-pass/enum-discrim-autosizing
DISABLED_TESTS += run-pass/enum-discrim-manual-sizing
DISABLED_TESTS += run-pass/enum-discrim-width-stuff
DISABLED_TESTS += run-pass/multiple-reprs	# no repr handling
DISABLED_TESTS += run-pass/small-enums-with-fields
DISABLED_TESTS += run-pass/type-sizes
DISABLED_TESTS += run-pass/discrim-explicit-23030
DISABLED_TESTS += run-pass/issue-13902
# - BUG: Bad floats
DISABLED_TESTS += run-pass/float_math	# Missing intrinsic
DISABLED_TESTS += run-pass/intrinsics-math
DISABLED_TESTS += run-pass/issue-32805	# Possible f32 literal rounding isue
# - BUG: MIR Generation
DISABLED_TESTS += run-pass/union/union-drop-assign	# No drop when assiging to union field
DISABLED_TESTS += run-pass/issue-4734	# Destructor on unused rvalue
DISABLED_TESTS += run-pass/issue-8860	# No drop of un-moved arguments
DISABLED_TESTS += run-pass/issue-15080	# Infinte loop from incorrect match generation
# - BUG: Codegen
DISABLED_TESTS += run-pass/union/union-transmute	# Incorrect union behavior, likey backend UB
DISABLED_TESTS += run-pass/mir_overflow_off	# out-of-range shift behavior
DISABLED_TESTS += run-pass/dst-field-align	# DST Fields aren't aligned correctly
# - BUG: Codegen - No handling of repr()
DISABLED_TESTS += run-pass/packed-struct-generic-layout
DISABLED_TESTS += run-pass/packed-struct-generic-size
DISABLED_TESTS += run-pass/packed-struct-layout
DISABLED_TESTS += run-pass/packed-struct-size-xc
DISABLED_TESTS += run-pass/packed-struct-size
DISABLED_TESTS += run-pass/packed-struct-vec
DISABLED_TESTS += run-pass/packed-tuple-struct-layout
DISABLED_TESTS += run-pass/packed-tuple-struct-size
# - BUG-Expand: format_args!
DISABLED_TESTS += run-pass/format-ref-cell
# - BUG-Expand: Copy,Clone calls Clone for inner values instead of copying
DISABLED_TESTS += run-pass/deriving-copyclone
# - BUG: Unknown
DISABLED_TESTS += run-pass/process-spawn-with-unicode-params	# Bad path for process spawn
DISABLED_TESTS += run-pass/u128	# u128 not very good, unknown where error is
# - TODO:
DISABLED_TESTS += run-pass/align-struct	# Literals in attributes
DISABLED_TESTS += run-pass/issue-42747	# Inifinite loop in _gcc_

DEF_RUST_TESTS = $(sort $(patsubst $(RUST_TESTS_DIR)%.rs,output/rust/%_out.txt,$(wildcard $(RUST_TESTS_DIR)$1/*.rs)))
rust_tests-run-pass: $(filter-out $(patsubst %,output/rust/%_out.txt,$(DISABLED_TESTS)), $(call DEF_RUST_TESTS,run-pass) $(call DEF_RUST_TESTS,run-pass/union))
rust_tests-run-fail: $(call DEF_RUST_TESTS,run-fail)

LIB_TESTS := collections collectionstest rustc_data_structures
RUNTIME_ARGS_output/libcollectionstest-test := --test-threads 1 --skip linked_list::test_ord_nan --skip ::slice::test_box_slice_clone_panics
RUNTIME_ARGS_output/libstd-test := --test-threads 1 --skip :collections::hash::map::test_map::test_index_nonexistent
RUNTIME_ARGS_output/libstd-test += --skip ::collections::hash::map::test_map::test_drops
rust_tests-libs: $(patsubst %,output/lib%-test_out.txt, $(LIB_TESTS))

#rust_tests-compile-fail: $(call DEF_RUST_TESTS,compile-fail)

output/rust/test_run-pass_hello: $(RUST_TESTS_DIR)run-pass/hello.rs output/libstd.hir $(BIN) output/liballoc_system.hir output/libpanic_abort.hir
	@mkdir -p $(dir $@)
	@echo "--- [MRUSTC] -o $@"
	$(DBG) $(BIN) $< -L output/libs -o $@ $(RUST_FLAGS) $(PIPECMD)
output/rust/test_run-pass_hello_out.txt: output/rust/test_run-pass_hello
	@echo "--- [$<]"
	@./$< | tee $@

TEST_ARGS_run-pass/cfg-in-crate-1 := --cfg bar
TEST_ARGS_run-pass/cfgs-on-items := --cfg fooA --cfg fooB
TEST_ARGS_run-pass/cfg-macros-foo := --cfg foo
TEST_ARGS_run-pass/cfg_attr := --cfg set1 --cfg set2
TEST_ARGS_run-pass/issue-11085 := --cfg foo
TEST_ARGS_run-pass/macro-meta-items := --cfg foo
TEST_ARGS_run-pass/issue-21361 := -g
TEST_ARGS_run-pass/syntax-extension-cfg := --cfg foo --cfg 'qux=foo'

output/rust/%: $(RUST_TESTS_DIR)%.rs $(RUSTCSRC) $(BIN) output/libstd.hir output/libtest.hir output/test_deps/librust_test_helpers.a
	@mkdir -p $(dir $@)
	@echo "=== TEST $(patsubst output/rust/%,%,$@)"
	@echo "--- [MRUSTC] -o $@"
	$V$(BIN) $< -o $@ -L output/libs -L output/test_deps $(RUST_FLAGS) --stop-after $(RUST_TESTS_FINAL_STAGE) $(TEST_ARGS_$*) > $@.txt 2>&1 || (tail -n 1 $@.txt; false)
output/%_out.txt: output/%
	@echo "--- [$<]"
	@./$< $(RUNTIME_ARGS_$<) > $@ || (tail -n 1 $@; mv $@ $@_fail; false)

output/test_deps/librust_test_helpers.a: output/test_deps/rust_test_helpers.o
	@mkdir -p $(dir $@)
	ar cur $@ $<
output/test_deps/rust_test_helpers.o: $(RUSTCSRC)src/rt/rust_test_helpers.c
	@mkdir -p $(dir $@)
	$(CC) -c $< -o $@

output/rust/run-pass/allocator-default.o: output/libstd.hir output/liballoc_jemalloc.hir
output/rust/run-pass/allocator-system.o: output/liballoc_system.hir
output/rust/run-pass/anon-extern-mod-cross-crate-2.o: output/test_deps/libanonexternmod.hir
output/test_deps/libsvh_b.hir: output/test_deps/libsvh_a_base.hir

output/test_deps/libanonexternmod.hir: $(RUST_TESTS_DIR)run-pass/auxiliary/anon-extern-mod-cross-crate-1.rs
	$(BIN) $< $(RUST_FLAGS) --crate-type rlib --out-dir output/test_deps > $@.txt 2>&1
output/test_deps/libunion.hir: $(RUST_TESTS_DIR)run-pass/union/auxiliary/union.rs
	mkdir -p $(dir $@)
	$(BIN) $< $(RUST_FLAGS) --crate-type rlib --out-dir output/test_deps > $@.txt 2>&1

test_deps_run-pass.mk: Makefile $(wildcard $(RUST_TESTS_DIR)run_pass/*.rs)
	@echo "--- Generating test dependencies: $@"
	@grep 'aux-build:' rustc-nightly/src/test/run-pass/{*.rs,union/*.rs} | awk -F : '{a=gensub(/.+run-pass\/(.*)\.rs$$/, "\\1", "g", $$1); b=gensub(/(.*)\.rs/,"\\1","g",$$3); gsub(/-/,"_",b); print "output/rust/run-pass/" a ": " "output/test_deps/lib" b ".hir" }' > $@.tmp
	@grep 'aux-build:' rustc-nightly/src/test/run-pass/*.rs | awk -F : '{ print $$3 }' | sort | uniq | awk '{ b=gensub(/(.*)\.rs/,"\\1","g",$$1); gsub(/-/,"_",b); print "output/test_deps/lib" b ".hir: $$(RUST_TESTS_DIR)run-pass/auxiliary/" $$1 " output/libstd.hir" ; print "\t@mkdir -p $$(dir $$@)" ; print "\t@echo \"--- [MRUSTC] $$@\"" ; print "\t@$$(DBG) $$(BIN) $$(RUST_FLAGS) $$< --crate-type rlib --out-dir output/test_deps > $$@.txt 2>&1" ; print "\t@touch $$@" }' >> $@.tmp
	@mv $@.tmp $@


-include test_deps_run-pass.mk


.PHONY: test test_rustos
#
# TEST: Rust standard library and the "hello, world" run-pass test
#
test: $(RUSTCSRC) output/libcore.hir output/liballoc.hir output/libcollections.hir output/libstd.hir output/rust/test_run-pass_hello_out.txt $(BIN)

#
# TEST: Attempt to compile rust_os (Tifflin) from ../rust_os
#
test_rustos: $(addprefix output/rust_os/,libkernel.hir)

RUSTOS_ENV := RUST_VERSION="mrustc 0.1"
RUSTOS_ENV += TK_GITSPEC="unknown"
RUSTOS_ENV += TK_VERSION="0.1"
RUSTOS_ENV += TK_BUILD="mrustc:0"

output/rust_os/libkernel.hir: ../rust_os/Kernel/Core/main.rs output/libcore.hir output/libstack_dst.hir $(BIN)
	@mkdir -p $(dir $@)
	export $(RUSTOS_ENV) ; $(DBG) $(BIN) $(RUST_FLAGS) $< -o $@ --cfg arch=amd64 $(PIPECMD)
output/libstack_dst.hir: ../rust_os/externals/crates.io/stack_dst/src/lib.rs $(BIN)
	@mkdir -p $(dir $@)
	$(DBG) $(BIN) $(RUST_FLAGS) $< -o $@ --cfg feature=no_std $(PIPECMD)


# -------------------------------
# Compile rules for mrustc itself
# -------------------------------
$(BIN): $(OBJ)
	@mkdir -p $(dir $@)
	@echo [CXX] -o $@
	$V$(CXX) -o $@ $(LINKFLAGS) $(OBJ) $(LIBS)
	objcopy --only-keep-debug $(BIN) $(BIN).debug
	objcopy --add-gnu-debuglink=$(BIN).debug $(BIN)
	strip $(BIN)

$(OBJDIR)%.o: src/%.cpp
	@mkdir -p $(dir $@)
	@echo [CXX] -o $@
	$V$(CXX) -o $@ -c $< $(CXXFLAGS) $(CPPFLAGS) -MMD -MP -MF $@.dep

src/main.cpp: $(PCHS:%=src/%.gch)

%.hpp.gch: %.hpp
	@echo [CXX] -o $@
	$V$(CXX) -std=c++14 -o $@ $< $(CPPFLAGS) -MMD -MP -MF $@.dep

-include $(OBJ:%=%.dep)

# vim: noexpandtab ts=4