133 lines
5.5 KiB
Makefile
133 lines
5.5 KiB
Makefile
# SPDX-License-Identifier: AGPL-3.0-or-later
|
|
# Copyright (C) 2026 David (Corey) Herrera
|
|
# Foundry Blackhole backend — Phase 6's SAMPLING op pair (top-k + the token draw).
|
|
#
|
|
# TWO BINARIES, TWO BUILD TREES, AND THE FENCE BETWEEN THEM IS THE POINT.
|
|
#
|
|
# make -f Makefile.topk all -> build-topk/test_topk_ops
|
|
# The OFF-HARDWARE gate. Built WITHOUT -DFT_TT_PHASE1B_NOC_ENABLED, so every device
|
|
# call in the objects it links returns FT_TT_EPERM before touching the NoC. That is not
|
|
# a formality: it means this binary cannot reach the card even if it is wrong, which is
|
|
# what makes it safe to run while somebody else owns the silicon.
|
|
#
|
|
# make -f Makefile.topk PHASE1B=1 card -> build-topk-card/test_phase6_topk
|
|
# The ON-CARD acceptance. PHASE1B=1 is mandatory and deliberate (spec §7.3 — a wrong NoC
|
|
# coordinate hangs the chip and costs a physical power cycle).
|
|
#
|
|
# Run the off-hardware gate from this directory, so FT_TT_KERNEL_DIR's default resolves:
|
|
# ./build-topk/test_topk_ops
|
|
#
|
|
# Run the on-card acceptance (detached, and never with these cores in use by another
|
|
# worker):
|
|
# FT_TT_FIRMWARE_DIR=../programs/topk FT_TT_TENSIX_INDEX=50 \
|
|
# ./build-topk-card/test_phase6_topk ../programs/topk
|
|
#
|
|
# The program directory is a RELOCATE_KERNEL_TEXT=1 build:
|
|
#
|
|
# RELOCATE_KERNEL_TEXT=1 READER_CTARGS=0,2048,1 COMPUTE_CTARGS=1 WRITER_CTARGS=0,2048,1 \
|
|
# CB_TABLE=kernels/cb_tables/topk_float16b.cbtable \
|
|
# build_tensix_program.sh kernels/resident_topk_reader.c \
|
|
# kernels/resident_topk_compute.c kernels/resident_topk_select.c \
|
|
# programs/topk
|
|
#
|
|
# NOTE the WRITER_CTARGS: the "writer" of this triad is the SELECTOR, and it consumes the
|
|
# same CB the reader fills, so it takes the CB index and the tile size rather than an output
|
|
# CB. Top-k is a stream between two DATA-MOVEMENT processors with the compute thread idle;
|
|
# resident_topk_protocol.h §2 has the argument.
|
|
|
|
CC ?= cc
|
|
SRC_DIR := ..
|
|
|
|
# The on-card harness opens the card through the product transport seam.
|
|
include hardware_session_sources.mk
|
|
CONVERT := ../convert
|
|
BUILD := build-topk
|
|
CARD_BUILD := build-topk-card
|
|
|
|
WARNINGS := -Wall -Wextra -Werror -pedantic \
|
|
-Wshadow -Wconversion -Wstrict-prototypes -Wformat=2 \
|
|
-fstack-protector-strong
|
|
|
|
CFLAGS := -std=c99 -O1 -g $(WARNINGS) -I$(SRC_DIR)
|
|
LDLIBS := -lm
|
|
|
|
# `card` and `all` are separate invocations on purpose: the PHASE1B flag changes what the
|
|
# backend objects DO, so one command line cannot honestly produce both.
|
|
ifeq ($(filter card,$(MAKECMDGOALS)),card)
|
|
ifneq ($(filter all,$(MAKECMDGOALS)),)
|
|
$(error build `all` and `card` in separate invocations — they are different configurations)
|
|
endif
|
|
ifndef PHASE1B
|
|
$(error the on-card acceptance drives the card: build with PHASE1B=1, or every device call \
|
|
is refused before it reaches the NoC)
|
|
endif
|
|
CFLAGS += -DFT_TT_PHASE1B_NOC_ENABLED
|
|
endif
|
|
|
|
# Header dependency tracking. Without it, editing a HEADER rebuilds nothing and the link
|
|
# silently mixes objects compiled against two different struct layouts — not a build error,
|
|
# a wrong offset.
|
|
DEPFLAGS := -MMD -MP
|
|
|
|
BACKEND := $(SRC_DIR)/ft_tt_kmd.c \
|
|
$(SRC_DIR)/ft_tt_arch.c \
|
|
$(SRC_DIR)/ft_tt_arch_blackhole.c \
|
|
$(SRC_DIR)/ft_tt_device.c \
|
|
$(SRC_DIR)/ft_tt_tlb.c \
|
|
$(SRC_DIR)/ft_tt_arc_telemetry.c \
|
|
$(SRC_DIR)/ft_tt_coord.c \
|
|
$(SRC_DIR)/ft_tt_noc.c \
|
|
$(SRC_DIR)/ft_tt_buffer.c \
|
|
$(SRC_DIR)/ft_tt_elf.c \
|
|
$(SRC_DIR)/ft_tt_kernel_blob.c \
|
|
$(SRC_DIR)/ft_tt_tensix_claim.c \
|
|
$(SRC_DIR)/ft_tt_udrv_claim.c \
|
|
$(SRC_DIR)/ft_tt_launch.c \
|
|
$(SRC_DIR)/ft_tt_tilize.c \
|
|
$(SRC_DIR)/ft_tt_op_dispatch.c \
|
|
$(SRC_DIR)/ft_tt_op_matmul.c \
|
|
$(SRC_DIR)/ft_tt_op_sample.c \
|
|
$(SRC_DIR)/ft_tt_queue.c \
|
|
$(SRC_DIR)/ft_tt_group.c \
|
|
$(SRC_DIR)/ft_tt_watchdog.c
|
|
|
|
# ft_float_convert is READ, not modified: the reference needs the same bf16 rounding the
|
|
# card will apply, and compiling it in rather than reimplementing it is what keeps the
|
|
# reference honest about rounding while staying independent about the OP.
|
|
CONVERT_SRC := $(CONVERT)/ft_float_convert.c
|
|
|
|
SUPPORT := ft_tt_test_report.c ft_tt_topk_reference.c
|
|
# The session list also names ft_tt_udrv_claim.c, which BACKEND links (the Mac build needs
|
|
# it for ft_tt_tensix_claim.c): filtered out here, or the card link has duplicate symbols.
|
|
CARD_SUPPORT := $(filter-out $(BACKEND),$(HARDWARE_SESSION_SOURCES)) ft_tt_program_directory.c
|
|
|
|
TARGET := $(BUILD)/test_topk_ops
|
|
CARD_TARGET := $(CARD_BUILD)/test_phase6_topk
|
|
|
|
.PHONY: all card red clean
|
|
|
|
all: $(TARGET)
|
|
|
|
card: $(CARD_TARGET)
|
|
|
|
$(BUILD) $(CARD_BUILD):
|
|
mkdir -p $@
|
|
|
|
# Whole-program links, not incremental objects. `red` deletes the tree first, because
|
|
# Apple's GNU make 3.81 compares mtimes at one-second granularity and will silently skip a
|
|
# rebuild of a source edited in the same second as its object (best-practices §9).
|
|
$(TARGET): test_topk_ops.c $(BACKEND) $(CONVERT_SRC) $(SUPPORT) | $(BUILD)
|
|
$(CC) $(CFLAGS) $(DEPFLAGS) -o $@ $< $(BACKEND) $(CONVERT_SRC) $(SUPPORT) $(LDLIBS)
|
|
|
|
$(CARD_TARGET): test_phase6_topk.c $(BACKEND) $(CONVERT_SRC) $(SUPPORT) $(CARD_SUPPORT) \
|
|
| $(CARD_BUILD)
|
|
$(CC) $(CFLAGS) $(DEPFLAGS) -o $@ $< $(BACKEND) $(CONVERT_SRC) $(SUPPORT) $(CARD_SUPPORT) \
|
|
$(LDLIBS)
|
|
|
|
red: clean all
|
|
|
|
clean:
|
|
rm -rf $(BUILD) $(CARD_BUILD)
|
|
|
|
-include $(wildcard $(BUILD)/*.d) $(wildcard $(CARD_BUILD)/*.d)
|