blob: 8b41a3f4313e68c682e4fd2820c57146738fee94 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
default Order dec
$include <prelude.sail>
val zeros : forall 'n, 'n >= 0. (implicit('n), unit) -> bits('n)
function zeros(n, _) = {
sail_zeros(n)
}
register configuration R : bits(32) = zeros()
register S : bits(32)
function main(() : unit) -> unit = {
R = zeros();
print_bits("R = ", R)
}
|
