summaryrefslogtreecommitdiff
path: root/src/test/regbits.sail
blob: e52d5ff9ee7ee81d7c5fb03dfbdc0de3a341272d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
 typedef xer = register bits [ 0 : 63 ] {
  32 : SO;
  33 : OV;
  34 : CA;
 }

register (xer) XER
register (bit[1]) query

function bit main _ = {
  XER := 0b010101010101010101010101010101010101010101010101010101010101001;
  f := XER;
  (bit[7]) foo := XER[57..63];
  query := XER.SO;
(*  XER.SO := query;*)
  bitzero }