# Copyright lowRISC contributors.
# Licensed under the Apache License, Version 2.0, see LICENSE for details.
# SPDX-License-Identifier: Apache-2.0

load("@rules_python//python:defs.bzl", "py_binary")
load("@ot_python_deps//:requirements.bzl", "requirement")

package(default_visibility = ["//visibility:public"])

py_binary(
    name = "otbn_as",
    srcs = ["otbn_as.py"],
    deps = [
        "//hw/ip/otbn/util/shared:bit_ranges",
        "//hw/ip/otbn/util/shared:encoding",
        "//hw/ip/otbn/util/shared:insn_yaml",
        "//hw/ip/otbn/util/shared:operand",
        "//hw/ip/otbn/util/shared:toolchain",
    ],
)

py_binary(
    name = "otbn_ld",
    srcs = ["otbn_ld.py"],
    deps = [
        "//hw/ip/otbn/util/shared:mem_layout",
        "//hw/ip/otbn/util/shared:toolchain",
        requirement("mako"),
    ],
)

py_binary(
    name = "otbn_objdump",
    srcs = ["otbn_objdump.py"],
    deps = [
        "//hw/ip/otbn/util/shared:insn_yaml",
        "//hw/ip/otbn/util/shared:toolchain",
    ],
)

py_binary(
    name = "check_const_time",
    srcs = ["check_const_time.py"],
    deps = [
        "//hw/ip/otbn/util/shared:check",
        "//hw/ip/otbn/util/shared:control_flow",
        "//hw/ip/otbn/util/shared:decode",
        "//hw/ip/otbn/util/shared:information_flow_analysis",
        requirement("pyelftools"),
    ],
)

py_binary(
    name = "get_instruction_count_range",
    srcs = ["get_instruction_count_range.py"],
    deps = [
        "//hw/ip/otbn/util/shared:decode",
        "//hw/ip/otbn/util/shared:instruction_count_range",
    ],
)

py_binary(
    name = "otbn_sim_test",
    srcs = ["otbn_sim_test.py"],
    deps = [
        "//hw/ip/otbn/util/shared:check",
        "//hw/ip/otbn/util/shared:reg_dump",
    ],
)