blob: a8033051c797a20f87943d8b9df0c3939744dd0d [file] [log] [blame]
# Copyright (C) 2017-2020 The Project X-Ray Authors.
#
# Use of this source code is governed by a ISC-style
# license that can be found in the LICENSE file or at
# https://opensource.org/licenses/ISC
#
# SPDX-License-Identifier: ISC
N := 50
include ../fuzzer.mk
database: build/segbits_xioi3.db
build/segbits_xioi3.rdb2: $(SPECIMENS_OK)
${XRAY_SEGMATCH} -c 20 -m 1 -M 1 -o build/segbits_xioi3.rdb2 $$(find -name segdata_*.txt)
build/segbits_xioi3.rdb: build/segbits_xioi3.rdb2
# Keep only solution for ISERDES related features.
grep -e ".ISERDES." $^ >$@
grep -e ".IDDR.IN_USE." $^ >>$@
build/segbits_xioi3.db: build/segbits_xioi3.rdb
${XRAY_DBFIXUP} --db-root build --zero-db bits.dbf --groups tag_groups.txt --seg-fn-in $^ --seg-fn-out $@
${XRAY_MASKMERGE} build/mask_xioi3.db $$(find -name segdata_*.txt)
# running the fuzzers for RIOI tiles yields mostly identical
# results, so reuse the results of IOI3 tiles
build/segbits_rioi.db: build/segbits_xioi3.db
sed 's/IOI3/IOI/g' < $< > $@
pushdb: build/segbits_rioi.db
${XRAY_MERGEDB} lioi3 build/segbits_xioi3.db
${XRAY_MERGEDB} lioi3_tbytesrc build/segbits_xioi3.db
${XRAY_MERGEDB} lioi3_tbyteterm build/segbits_xioi3.db
${XRAY_MERGEDB} rioi3 build/segbits_xioi3.db
${XRAY_MERGEDB} rioi3_tbytesrc build/segbits_xioi3.db
${XRAY_MERGEDB} rioi3_tbyteterm build/segbits_xioi3.db
${XRAY_MERGEDB} mask_lioi3 build/mask_xioi3.db
${XRAY_MERGEDB} mask_lioi3_tbytesrc build/mask_xioi3.db
${XRAY_MERGEDB} mask_lioi3_tbyteterm build/mask_xioi3.db
${XRAY_MERGEDB} mask_rioi3 build/mask_xioi3.db
${XRAY_MERGEDB} mask_rioi3_tbytesrc build/mask_xioi3.db
${XRAY_MERGEDB} mask_rioi3_tbyteterm build/mask_xioi3.db
ifeq ($(XRAY_DATABASE),kintex7)
${XRAY_MERGEDB} rioi build/segbits_rioi.db
${XRAY_MERGEDB} rioi_tbytesrc build/segbits_rioi.db
${XRAY_MERGEDB} rioi_tbyteterm build/segbits_rioi.db
${XRAY_MERGEDB} mask_rioi build/mask_xioi3.db
${XRAY_MERGEDB} mask_rioi_tbytesrc build/mask_xioi3.db
${XRAY_MERGEDB} mask_rioi_tbyteterm build/mask_xioi3.db
endif
.PHONY: database pushdb