val set_field_lexp :
Ast.index_range ->
Ast_util.uannot Ast.lexp ->
Ast_util.uannot Ast.lexpCreate an L-expression for setting the bits of a bitfield defined by an index_range type.
val set_bits_field_lexp : Ast_util.uannot Ast.lexp -> Ast_util.uannot Ast.lexpCreate an L-expression for setting all the bits of a bitfield
val get_bits_field : Ast_util.uannot Ast.exp -> Ast_util.uannot Ast.expCreate an expression converting the given expression from a bitfield to a bitvector
val construct_bitfield_exp :
Ast.id ->
Ast_util.uannot Ast.exp ->
Ast_util.uannot Ast.expCreate an expression converting the given expression from a bitvector to a bitfield
val construct_bitfield_struct :
Ast.id ->
Ast_util.uannot Ast.exp ->
Ast_util.uannot Ast.expCreate an expression converting the given expression from a bitvector to a bitfield, but using a struct expression rather than a constructor function
val field_accessor_ids : Ast.id -> Ast.id -> field_accessor_idsThe macro function generates multiple definitions to get, set, and update fields, so we can use this function to find the names of those functions in a consistent way.
val macro :
Ast.id ->
Libsail.Ast_util.Big_int.num ->
Ast.order ->
Ast.index_range Ast_util.Bindings.t ->
Ast_util.untyped_def listBitfields work a bit like a macro, which generate a struct wrapper around a simple bitvector type, along with a host of accessor functions.