From 00a6c1d9a57da0e0b0fef07b2d618847ed93a9fd Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Tue, 9 Jul 2013 14:31:57 +0200 Subject: Major redesign of expr width/sign detecion (verilog/ast frontend) --- tests/simple/signedexpr.v | 18 ++++++++++++++++++ tests/tools/autotest.sh | 4 ++-- 2 files changed, 20 insertions(+), 2 deletions(-) create mode 100644 tests/simple/signedexpr.v (limited to 'tests') diff --git a/tests/simple/signedexpr.v b/tests/simple/signedexpr.v new file mode 100644 index 000000000..3eb5e93df --- /dev/null +++ b/tests/simple/signedexpr.v @@ -0,0 +1,18 @@ +module test01(a, b, xu, xs, yu, ys, zu, zs); + +input signed [1:0] a; +input signed [2:0] b; +output [3:0] xu, xs; +output [3:0] yu, ys; +output zu, zs; + +assign xu = (a + b) + 3'd0; +assign xs = (a + b) + 3'sd0; + +assign yu = {a + b} + 3'd0; +assign ys = {a + b} + 3'sd0; + +assign zu = a + b != 3'd0; +assign zs = a + b != 3'sd0; + +endmodule diff --git a/tests/tools/autotest.sh b/tests/tools/autotest.sh index 6b22f9023..e599db3a1 100755 --- a/tests/tools/autotest.sh +++ b/tests/tools/autotest.sh @@ -51,7 +51,7 @@ create_ref() { ( set +x prefix="$2" - xilver=$( ls -v /opt/Xilinx/ | tail -n1; ) + xilver=$( ls -v /opt/Xilinx/ | grep '^[0-9]' | tail -n1; ) case "$( uname -m )" in x86_64) set --; . /opt/Xilinx/$xilver/ISE_DS/settings64.sh ;; @@ -73,7 +73,7 @@ compile_and_run() { ( set +x files=( "$@" ) - xilver=$( ls -v /opt/Xilinx/ | tail -n1; ) + xilver=$( ls -v /opt/Xilinx/ | grep '^[0-9]' | tail -n1; ) case "$( uname -m )" in x86_64) set --; . /opt/Xilinx/$xilver/ISE_DS/settings64.sh ;; -- cgit v1.2.3