Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Shift gives VL_SHIFTR_IIW not declared #1174

Closed
veripoolbot opened this issue Jun 5, 2017 · 2 comments
Closed

Shift gives VL_SHIFTR_IIW not declared #1174

veripoolbot opened this issue Jun 5, 2017 · 2 comments
Assignees

Comments

@veripoolbot
Copy link
Contributor

@veripoolbot veripoolbot commented Jun 5, 2017


Author Name: Wilson Snyder (@wsnyder)
Original Redmine Issue: 1174 from https://www.veripool.org

Original Assignee: Wilson Snyder (@wsnyder)


The following autogenerated test from Clifford Wolf gives an error:

module issue_048(a, b, y);
input [1:0] a;
input [2:0] b;
output [3:0] y;
assign y = {a >> {22{b}}, a << (0 <<< b)};
endmodule

Vrtl.cpp: In static member function =E2=80=98static void Vrtl::_combo__TOP__1(Vrtl__Syms*)=E2=80=99:
Vrtl.cpp:202:77: error: =E2=80=98VL_SHIFTR_IIW=E2=80=99 was not declared in this scope vlTOPp->y = ((0xcU & (VL_SHIFTR_IIW(2,2,66, (IData)(vlTOPp->a), __Vtemp3)

@veripoolbot
Copy link
Contributor Author

@veripoolbot veripoolbot commented Jun 5, 2017


Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2017-06-05T11:57:05Z


Likewise there would be a similar error for shift left or shift right signed (VL_SHIFTL_IIW or VL_SHIFTRS_IIW).

Fixed in git towards 3.905.

@veripoolbot
Copy link
Contributor Author

@veripoolbot veripoolbot commented Jun 22, 2017


Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2017-06-22T22:37:54Z


In 3.906.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked pull requests

Successfully merging a pull request may close this issue.

None yet
2 participants
You can’t perform that action at this time.