Module Fields.FieldData

type t =
  1. | Gpreg of {
    1. asmfld : string;
    2. bitfld : string;
    3. wd : int;
    4. allones : string option;
    5. regwd : (int, string) result;
    6. prefix : (string, string) result;
    7. checks : intrinsic list;
    8. asmdefault : string option;
    }
  2. | SecondGpreg of {
    1. asmfld : string;
    2. basefld : string;
    }
  3. | Imm of {
    1. asmfld : string;
    2. bitfld : string;
    3. lo : int;
    4. hi : int;
    5. mult : int;
    6. signed : signedness;
    7. asmdefault : string option;
    }
  4. | Assocs of {
    1. asmfld : string;
    2. asmdefault : string option;
    }