Skip to content

Commit

Permalink
Merge branch 'spdx-identifiers' into 'main'
Browse files Browse the repository at this point in the history
Add license info to sourcefiles

See merge request repositories/verilator-infrastructure-bugpoint!22
  • Loading branch information
sgizler committed Sep 25, 2024
2 parents df6677c + 356c364 commit da310e6
Show file tree
Hide file tree
Showing 32 changed files with 42 additions and 0 deletions.
1 change: 1 addition & 0 deletions examples/caliptra_vcd/sv-bugpoint-check.sh
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
#!/bin/sh
# SPDX-License-Identifier: Apache-2.0

# test script that asserts that suplied file can be verilated, compiled
# and that `timer1_timeout_period` signals are constantly toggling (by scrapping
Expand Down
3 changes: 3 additions & 0 deletions examples/caliptra_vcd/sv-bugpoint-input.sv
Original file line number Diff line number Diff line change
@@ -1,3 +1,6 @@
// SPDX-License-Identifier: Apache-2.0
// Generated from https://github.com/chipsalliance/caliptra-rtl

package kv_defines_pkg;
parameter KV_NUM_DWORDS = 12;
parameter KV_NUM_KEYS = 32;
Expand Down
1 change: 1 addition & 0 deletions examples/caliptra_verilation_err/sv-bugpoint-check.sh
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
#!/bin/sh
# SPDX-License-Identifier: Apache-2.0

# test script that asserts that verilation fails with same error message as in golden file

Expand Down
3 changes: 3 additions & 0 deletions examples/caliptra_verilation_err/sv-bugpoint-input.sv
Original file line number Diff line number Diff line change
@@ -1,3 +1,6 @@
// SPDX-License-Identifier: Apache-2.0
// Generated from https://github.com/chipsalliance/caliptra-rtl

// Dump of all post-preprocessor input
// Blank lines and `line directives have been removed

Expand Down
3 changes: 3 additions & 0 deletions scripts/sv-bugpoint-strip-verilator-cmd
Original file line number Diff line number Diff line change
@@ -1,6 +1,9 @@
#!/bin/bash
# SPDX-License-Identifier: Apache-2.0

# expand references to argument files and remove references to Verilog and "waiver files"
# to make command ready for building preprocessed source.

PARSE_ARG_FILE=0
for i in "$@"; do
if [[ "$PARSE_ARG_FILE" -ne 0 ]]; then
Expand Down
2 changes: 2 additions & 0 deletions scripts/sv-bugpoint-strip-verilator-errmsg
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
#!/bin/sh
# SPDX-License-Identifier: Apache-2.0

# strip volatile metadata like filenames, filelines and redundant whitespace
# from verilator errmsg so it can be reliably compared
sed 's/[/a-z0-9_-]*.sv//g' | sed 's/:[0-9]*//g' | sed 's/[0-9]* |//g' | sed 's/[\t\n ]\+/ /g'
2 changes: 2 additions & 0 deletions scripts/sv-bugpoint-trace-summary
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
#!/bin/sh
# SPDX-License-Identifier: Apache-2.0

# create concise minimization summary from sv-bugpoint-trace provided on stdin
awk '
NR==1{
Expand Down
2 changes: 2 additions & 0 deletions scripts/sv-bugpoint-verilator-gen
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
#!/bin/bash
# SPDX-License-Identifier: Apache-2.0

# best-effort script for auto generating sv-bugpoint-input.sv and template sv-bugpoint-check.sh
# usage:
# 1) issue sv-bugpoint-verilator-gen --init
Expand Down
1 change: 1 addition & 0 deletions source/BodyPartsRemover.cpp
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// SPDX-License-Identifier: Apache-2.0
#include "OneTimeRemover.hpp"

class BodyPartsRemover : public OneTimeRemover<BodyPartsRemover> {
Expand Down
1 change: 1 addition & 0 deletions source/BodyRemover.cpp
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// SPDX-License-Identifier: Apache-2.0
#include "OneTimeRemover.hpp"

class BodyRemover : public OneTimeRemover<BodyRemover> {
Expand Down
1 change: 1 addition & 0 deletions source/ContAssignRemover.cpp
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// SPDX-License-Identifier: Apache-2.0
#include "OneTimeRemover.hpp"

class ContAssignRemover : public OneTimeRemover<ContAssignRemover> {
Expand Down
1 change: 1 addition & 0 deletions source/DeclRemover.cpp
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// SPDX-License-Identifier: Apache-2.0
#include "OneTimeRemover.hpp"

class DeclRemover : public OneTimeRemover<DeclRemover> {
Expand Down
1 change: 1 addition & 0 deletions source/ImportsRemover.cpp
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// SPDX-License-Identifier: Apache-2.0
#include "OneTimeRemover.hpp"

class ImportsRemover : public OneTimeRemover<ImportsRemover> {
Expand Down
1 change: 1 addition & 0 deletions source/InstantationRemover.cpp
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// SPDX-License-Identifier: Apache-2.0
#include "OneTimeRemover.hpp"

class InstantationRemover : public OneTimeRemover<InstantationRemover> {
Expand Down
1 change: 1 addition & 0 deletions source/MemberRemover.cpp
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// SPDX-License-Identifier: Apache-2.0
#include "OneTimeRemover.hpp"

class MemberRemover : public OneTimeRemover<MemberRemover> {
Expand Down
1 change: 1 addition & 0 deletions source/ModportRemover.cpp
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// SPDX-License-Identifier: Apache-2.0
#include "OneTimeRemover.hpp"

class ModportRemover : public OneTimeRemover<ModportRemover> {
Expand Down
1 change: 1 addition & 0 deletions source/OneTimeRemover.hpp
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// SPDX-License-Identifier: Apache-2.0
#include <slang/syntax/SyntaxVisitor.h>
#include <iosfwd>
#include "Utils.hpp"
Expand Down
1 change: 1 addition & 0 deletions source/OneTimeRemoversFwd.hpp
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// SPDX-License-Identifier: Apache-2.0
#include <slang/syntax/SyntaxTree.h>

using namespace slang::syntax;
Expand Down
1 change: 1 addition & 0 deletions source/PairRemovers.cpp
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// SPDX-License-Identifier: Apache-2.0
#include "PairRemovers.hpp"
#include <slang/ast/ASTVisitor.h>
#include <unordered_set>
Expand Down
1 change: 1 addition & 0 deletions source/PairRemovers.hpp
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// SPDX-License-Identifier: Apache-2.0
#include <slang/syntax/SyntaxVisitor.h>
#include "Utils.hpp"

Expand Down
1 change: 1 addition & 0 deletions source/ParamAssignRemover.cpp
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// SPDX-License-Identifier: Apache-2.0
#include "OneTimeRemover.hpp"

class ParamAssignRemover : public OneTimeRemover<ParamAssignRemover> {
Expand Down
1 change: 1 addition & 0 deletions source/StatementsRemover.cpp
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// SPDX-License-Identifier: Apache-2.0
#include "OneTimeRemover.hpp"

class StatementsRemover : public OneTimeRemover<StatementsRemover> {
Expand Down
1 change: 1 addition & 0 deletions source/SvBugpoint.cpp
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// SPDX-License-Identifier: Apache-2.0
#include <slang/syntax/SyntaxTree.h>
#include <iostream>
#include "OneTimeRemoversFwd.hpp"
Expand Down
1 change: 1 addition & 0 deletions source/Utils.cpp
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// SPDX-License-Identifier: Apache-2.0
#include "Utils.hpp"
#include <slang/ast/ASTVisitor.h>
#include <slang/syntax/SyntaxPrinter.h>
Expand Down
1 change: 1 addition & 0 deletions source/Utils.hpp
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// SPDX-License-Identifier: Apache-2.0
#pragma once
#include <slang/syntax/SyntaxTree.h>
#include <chrono>
Expand Down
1 change: 1 addition & 0 deletions tests/checkexit0.sh
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
#!/bin/sh
# SPDX-License-Identifier: Apache-2.0

exit 0
1 change: 1 addition & 0 deletions tests/checkexit1.sh
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
#!/bin/sh
# SPDX-License-Identifier: Apache-2.0

exit 1
1 change: 1 addition & 0 deletions tests/checkgrep.sh
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
#!/bin/sh
# SPDX-License-Identifier: Apache-2.0

# assert that certain part of input wasn't removed

Expand Down
1 change: 1 addition & 0 deletions tests/checkverilator_errmsg_short.sh
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
#!/bin/bash
# SPDX-License-Identifier: Apache-2.0

# Written for verilator v5.016. It might break on other versions

Expand Down
1 change: 1 addition & 0 deletions tests/golden/short_exit1/sv-bugpoint-minimized.sv
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// SPDX-License-Identifier: Apache-2.0
// nonsense code that should error out on access to undefined struct member

module full_adder (
Expand Down
2 changes: 2 additions & 0 deletions tests/run_test
Original file line number Diff line number Diff line change
@@ -1,4 +1,6 @@
#!/bin/sh
# SPDX-License-Identifier: Apache-2.0

# usage: run_test test_name checkscript.sh input.sv
printf "TEST: %s\n" "$1"

Expand Down
1 change: 1 addition & 0 deletions tests/short_in.sv
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
// SPDX-License-Identifier: Apache-2.0
// nonsense code that should error out on access to undefined struct member

module full_adder (
Expand Down

0 comments on commit da310e6

Please sign in to comment.