Fix constant x propagation of xor.
This commit is contained in:
Wilson Snyder
parent
57a53c014d
commit
66d1754d19
|
|
@ -1267,7 +1267,7 @@ V3Number& V3Number::opXor(const V3Number& lhs, const V3Number& rhs) {
|
|||
setBit(bit, 1);
|
||||
} else if (lhs.bitIs0(bit) && rhs.bitIs1(bit)) {
|
||||
setBit(bit, 1);
|
||||
} else if (lhs.bitIsXZ(bit) && rhs.bitIsXZ(bit)) {
|
||||
} else if (lhs.bitIsXZ(bit) || rhs.bitIsXZ(bit)) {
|
||||
setBit(bit, 'x');
|
||||
}
|
||||
// else zero
|
||||
|
|
|
|||
|
|
@ -9,7 +9,7 @@ module t (/*AUTOARG*/
|
|||
clk
|
||||
);
|
||||
input clk;
|
||||
reg _ranit;
|
||||
reg _ranit;
|
||||
|
||||
reg [2:0] xor3;
|
||||
reg [1:0] xor2;
|
||||
|
|
@ -29,8 +29,8 @@ module t (/*AUTOARG*/
|
|||
|
||||
wire [4:0] cond_check = (( xor2 == 2'b11) ? 5'h1
|
||||
: (xor2 == 2'b00) ? 5'h2
|
||||
: (xor2 == 2'b01) ? 5'h3
|
||||
: 5'h4);
|
||||
: (xor2 == 2'b01) ? 5'h3
|
||||
: 5'h4);
|
||||
|
||||
wire ctrue = 1'b1 ? cond_check[1] : cond_check[0];
|
||||
wire cfalse = 1'b0 ? cond_check[1] : cond_check[0];
|
||||
|
|
@ -49,91 +49,120 @@ module t (/*AUTOARG*/
|
|||
|
||||
always @ (posedge clk) begin
|
||||
if (!_ranit) begin
|
||||
_ranit <= 1;
|
||||
_ranit <= 1;
|
||||
|
||||
if (rep6 != 6'b111111) $stop;
|
||||
if (!one) $stop;
|
||||
if (~one) $stop;
|
||||
if (rep6 != 6'b111111) $stop;
|
||||
if (!one) $stop;
|
||||
if (~one) $stop;
|
||||
|
||||
if (( 1'b0 ? 3'h3 : 1'b0 ? 3'h2 : 1'b1 ? 3'h1 : 3'h0) !== 3'h1) $stop;
|
||||
// verilator lint_off WIDTH
|
||||
if (( 8'h10 + 1'b0 ? 8'he : 8'hf) !== 8'he) $stop; // + is higher than ?
|
||||
// verilator lint_on WIDTH
|
||||
if (( 1'b0 ? 3'h3 : 1'b0 ? 3'h2 : 1'b1 ? 3'h1 : 3'h0) !== 3'h1) $stop;
|
||||
// verilator lint_off WIDTH
|
||||
if (( 8'h10 + 1'b0 ? 8'he : 8'hf) !== 8'he) $stop; // + is higher than ?
|
||||
// verilator lint_on WIDTH
|
||||
|
||||
// surefire lint_off SEQASS
|
||||
xor1 = 1'b1;
|
||||
xor2 = 2'b11;
|
||||
xor3 = 3'b111;
|
||||
// verilator lint_off WIDTH
|
||||
if (1'b1 & | (!xor3)) $stop;
|
||||
// verilator lint_on WIDTH
|
||||
if ({1{xor1}} != 1'b1) $stop;
|
||||
if ({4{xor1}} != 4'b1111) $stop;
|
||||
if (!(~xor1) !== ~(!xor1)) $stop;
|
||||
if ((^xor1) !== 1'b1) $stop;
|
||||
if ((^xor2) !== 1'b0) $stop;
|
||||
if ((^xor3) !== 1'b1) $stop;
|
||||
if (~(^xor2) !== 1'b1) $stop;
|
||||
if (~(^xor3) !== 1'b0) $stop;
|
||||
if ((^~xor1) !== 1'b0) $stop;
|
||||
if ((^~xor2) !== 1'b1) $stop;
|
||||
if ((^~xor3) !== 1'b0) $stop;
|
||||
if ((~^xor1) !== 1'b0) $stop;
|
||||
if ((~^xor2) !== 1'b1) $stop;
|
||||
if ((~^xor3) !== 1'b0) $stop;
|
||||
xor1 = 1'b0;
|
||||
xor2 = 2'b10;
|
||||
xor3 = 3'b101;
|
||||
if ((^xor1) !== 1'b0) $stop;
|
||||
if ((^xor2) !== 1'b1) $stop;
|
||||
if ((^xor3) !== 1'b0) $stop;
|
||||
if (~(^xor2) !== 1'b0) $stop;
|
||||
if (~(^xor3) !== 1'b1) $stop;
|
||||
if ((^~xor1) !== 1'b1) $stop;
|
||||
if ((^~xor2) !== 1'b0) $stop;
|
||||
if ((^~xor3) !== 1'b1) $stop;
|
||||
if ((~^xor1) !== 1'b1) $stop;
|
||||
if ((~^xor2) !== 1'b0) $stop;
|
||||
if ((~^xor3) !== 1'b1) $stop;
|
||||
// surefire lint_off SEQASS
|
||||
xor1 = 1'b1;
|
||||
xor2 = 2'b11;
|
||||
xor3 = 3'b111;
|
||||
// verilator lint_off WIDTH
|
||||
if (1'b1 & | (!xor3)) $stop;
|
||||
// verilator lint_on WIDTH
|
||||
if ({1{xor1}} != 1'b1) $stop;
|
||||
if ({4{xor1}} != 4'b1111) $stop;
|
||||
if (!(~xor1) !== ~(!xor1)) $stop;
|
||||
if ((^xor1) !== 1'b1) $stop;
|
||||
if ((^xor2) !== 1'b0) $stop;
|
||||
if ((^xor3) !== 1'b1) $stop;
|
||||
if (~(^xor2) !== 1'b1) $stop;
|
||||
if (~(^xor3) !== 1'b0) $stop;
|
||||
if ((^~xor1) !== 1'b0) $stop;
|
||||
if ((^~xor2) !== 1'b1) $stop;
|
||||
if ((^~xor3) !== 1'b0) $stop;
|
||||
if ((~^xor1) !== 1'b0) $stop;
|
||||
if ((~^xor2) !== 1'b1) $stop;
|
||||
if ((~^xor3) !== 1'b0) $stop;
|
||||
xor1 = 1'b0;
|
||||
xor2 = 2'b10;
|
||||
xor3 = 3'b101;
|
||||
if ((^xor1) !== 1'b0) $stop;
|
||||
if ((^xor2) !== 1'b1) $stop;
|
||||
if ((^xor3) !== 1'b0) $stop;
|
||||
if (~(^xor2) !== 1'b0) $stop;
|
||||
if (~(^xor3) !== 1'b1) $stop;
|
||||
if ((^~xor1) !== 1'b1) $stop;
|
||||
if ((^~xor2) !== 1'b0) $stop;
|
||||
if ((^~xor3) !== 1'b1) $stop;
|
||||
if ((~^xor1) !== 1'b1) $stop;
|
||||
if ((~^xor2) !== 1'b0) $stop;
|
||||
if ((~^xor3) !== 1'b1) $stop;
|
||||
|
||||
ma = 3'h3;
|
||||
// X propagation
|
||||
if (!1'bx !== 1'bx) $stop;
|
||||
if (~2'bx !== 2'bx) $stop;
|
||||
if (-2'bx !== 2'bx) $stop;
|
||||
if ((2'bxx + 2'b1) !== 2'bxx) $stop;
|
||||
if ((2'bxx - 2'b1) !== 2'bxx) $stop;
|
||||
if ((2'bxx * 2'b1) !== 2'bxx) $stop;
|
||||
if ((2'bxx / 2'b1) !== 2'bxx) $stop;
|
||||
if ((2'bxx % 2'b1) !== 2'bxx) $stop;
|
||||
if ((2'sbxx * 2'sb1) !== 2'bxx) $stop;
|
||||
if ((2'sbxx / 2'sb1) !== 2'bxx) $stop;
|
||||
if ((2'sbxx % 2'sb1) !== 2'bxx) $stop;
|
||||
if ((1'bx & 1'b1) !== 1'bx) $stop;
|
||||
if ((1'bx & 1'b0) !== 1'b0) $stop;
|
||||
if ((1'bx | 1'b0) !== 1'bx) $stop;
|
||||
if ((1'bx | 1'b1) !== 1'b1) $stop;
|
||||
if ((1'bx && 1'b1) !== 1'bx) $stop;
|
||||
if ((1'bx && 1'b0) !== 1'b0) $stop;
|
||||
if ((1'bx || 1'b0) !== 1'bx) $stop;
|
||||
if ((1'bx || 1'b1) !== 1'b1) $stop;
|
||||
if ((2'bxx ^ 2'b1) !== 2'bxx) $stop;
|
||||
if ((2'bxx > 2'b1) !== 1'bx) $stop;
|
||||
if ((2'bxx < 2'b1) !== 1'bx) $stop;
|
||||
if ((2'bxx == 2'b1) !== 1'bx) $stop;
|
||||
if ((2'bxx <= 2'b1) !== 1'bx) $stop;
|
||||
if ((2'bxx >= 2'b1) !== 1'bx) $stop;
|
||||
if ((2'sbxx <= 2'sb1) !== 1'bx) $stop;
|
||||
if ((2'sbxx >= 2'sb1) !== 1'bx) $stop;
|
||||
|
||||
ma = 3'h3;
|
||||
mb = 3'h4;
|
||||
mc = 10'h5;
|
||||
mc = 10'h5;
|
||||
|
||||
mr1 = ma * mb; // Lint ASWESB: Assignment width mismatch
|
||||
mr2 = 30'h5 * mc; // Lint ASWESB: Assignment width mismatch
|
||||
if (mr1 !== 5'd12) $stop;
|
||||
if (mr2 !== 31'd25) $stop; // Lint CWECBB: Comparison width mismatch
|
||||
mr1 = ma * mb; // Lint ASWESB: Assignment width mismatch
|
||||
mr2 = 30'h5 * mc; // Lint ASWESB: Assignment width mismatch
|
||||
if (mr1 !== 5'd12) $stop;
|
||||
if (mr2 !== 31'd25) $stop; // Lint CWECBB: Comparison width mismatch
|
||||
|
||||
sh1 = 68'hf_def1_9abc_5678_1234;
|
||||
shq = sh1 >> 16;
|
||||
if (shq !== 68'hf_def1_9abc_5678) $stop;
|
||||
shq = sh1 << 16; // Lint ASWESB: Assignment width mismatch
|
||||
if (shq !== 68'h1_9abc_5678_1234_0000) $stop;
|
||||
sh1 = 68'hf_def1_9abc_5678_1234;
|
||||
shq = sh1 >> 16;
|
||||
if (shq !== 68'hf_def1_9abc_5678) $stop;
|
||||
shq = sh1 << 16; // Lint ASWESB: Assignment width mismatch
|
||||
if (shq !== 68'h1_9abc_5678_1234_0000) $stop;
|
||||
|
||||
// surefire lint_on SEQASS
|
||||
// surefire lint_on SEQASS
|
||||
|
||||
// Test display extraction widthing
|
||||
$display("[%0t] %x %x %x(%d)", $time, shq[2:0], shq[2:0]<<2, xor3[2:0], xor3[2:0]);
|
||||
// Test display extraction widthing
|
||||
$display("[%0t] %x %x %x(%d)", $time, shq[2:0], shq[2:0]<<2, xor3[2:0], xor3[2:0]);
|
||||
|
||||
// bug736
|
||||
//verilator lint_off WIDTH
|
||||
if ((~| 4'b0000) != 4'b0001) $stop;
|
||||
if ((~| 4'b0010) != 4'b0000) $stop;
|
||||
if ((~& 4'b1111) != 4'b0000) $stop;
|
||||
if ((~& 4'b1101) != 4'b0001) $stop;
|
||||
//verilator lint_on WIDTH
|
||||
// bug736
|
||||
//verilator lint_off WIDTH
|
||||
if ((~| 4'b0000) != 4'b0001) $stop;
|
||||
if ((~| 4'b0010) != 4'b0000) $stop;
|
||||
if ((~& 4'b1111) != 4'b0000) $stop;
|
||||
if ((~& 4'b1101) != 4'b0001) $stop;
|
||||
//verilator lint_on WIDTH
|
||||
|
||||
// bug764
|
||||
//verilator lint_off WIDTH
|
||||
// X does not sign extend
|
||||
if (bug764_p11 !== 4'b000x) $stop;
|
||||
if (~& bug764_p11 !== 1'b1) $stop;
|
||||
//verilator lint_on WIDTH
|
||||
// However IEEE 2017 5.7.1 says for constants that smaller-sizes do extend
|
||||
if (4'bx !== 4'bxxxx) $stop;
|
||||
if (4'bz !== 4'bzzzz) $stop;
|
||||
if (4'b1 !== 4'b0001) $stop;
|
||||
// bug764
|
||||
//verilator lint_off WIDTH
|
||||
// X does not sign extend
|
||||
if (bug764_p11 !== 4'b000x) $stop;
|
||||
if (~& bug764_p11 !== 1'b1) $stop;
|
||||
//verilator lint_on WIDTH
|
||||
// However IEEE 2017 5.7.1 says for constants that smaller-sizes do extend
|
||||
if (4'bx !== 4'bxxxx) $stop;
|
||||
if (4'bz !== 4'bzzzz) $stop;
|
||||
if (4'b1 !== 4'b0001) $stop;
|
||||
|
||||
if ((0 -> 0) != 1'b1) $stop;
|
||||
if ((0 -> 1) != 1'b1) $stop;
|
||||
|
|
@ -156,13 +185,13 @@ module t (/*AUTOARG*/
|
|||
reg [7:0] m_corr_data_b8;
|
||||
initial begin
|
||||
m_data_pipe2_r = 64'h1234_5678_9abc_def0;
|
||||
{m_corr_data_b8, m_corr_data_w1, m_corr_data_w0} = { m_data_pipe2_r[63:57], 1'b0, //m_corr_data_b8 [7:0]
|
||||
m_data_pipe2_r[56:26], 1'b0, //m_corr_data_w1 [31:0]
|
||||
m_data_pipe2_r[25:11], 1'b0, //m_corr_data_w0 [31:16]
|
||||
m_data_pipe2_r[10:04], 1'b0, //m_corr_data_w0 [15:8]
|
||||
m_data_pipe2_r[03:01], 1'b0, //m_corr_data_w0 [7:4]
|
||||
m_data_pipe2_r[0], 3'b000 //m_corr_data_w0 [3:0]
|
||||
};
|
||||
{m_corr_data_b8, m_corr_data_w1, m_corr_data_w0} = { m_data_pipe2_r[63:57], 1'b0, //m_corr_data_b8 [7:0]
|
||||
m_data_pipe2_r[56:26], 1'b0, //m_corr_data_w1 [31:0]
|
||||
m_data_pipe2_r[25:11], 1'b0, //m_corr_data_w0 [31:16]
|
||||
m_data_pipe2_r[10:04], 1'b0, //m_corr_data_w0 [15:8]
|
||||
m_data_pipe2_r[03:01], 1'b0, //m_corr_data_w0 [7:4]
|
||||
m_data_pipe2_r[0], 3'b000 //m_corr_data_w0 [3:0]
|
||||
};
|
||||
if (m_corr_data_w0 != 32'haf36de00) $stop;
|
||||
if (m_corr_data_w1 != 32'h1a2b3c4c) $stop;
|
||||
if (m_corr_data_b8 != 8'h12) $stop;
|
||||
|
|
|
|||
Loading…
Reference in New Issue