Commit 7aad290
committed
fix: initialize the last 4 bytes of
These last 4 bytes are, in fact, used for register `x0`, and must be
zero. In multi-valued simulators, however, without an explicit init,
these bytes start as undefined. Moving `x0` to anywhere results in
those undefined bytes "infecting" other registers.
Issue: #148mem to zero1 parent 24006a7 commit 7aad290
1 file changed
Lines changed: 9 additions & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
37 | 37 | | |
38 | 38 | | |
39 | 39 | | |
40 | | - | |
| 40 | + | |
41 | 41 | | |
42 | 42 | | |
43 | 43 | | |
44 | 44 | | |
| 45 | + | |
| 46 | + | |
| 47 | + | |
| 48 | + | |
| 49 | + | |
| 50 | + | |
| 51 | + | |
| 52 | + | |
45 | 53 | | |
0 commit comments