Enforce wait operand to be of type time

fabianschuiki / llhd

Low Level Hardware Description — A foundation for building hardware design tools.

http://www.llhd.io

Apache License 2.0

396 stars 30 forks source link

Closed fabianschuiki closed 3 years ago

fabianschuiki commented 3 years ago

Currently the following passes through verification:

%0 = const i32 1
wait %bb for %1

The verifier should enforce %1 to be of type time.

fabianschuiki commented 3 years ago

Already enforced.