Module Arm_bit

val extend : dest:Arm_types.op -> src:Arm_types.op -> ?src2:Arm_types.op -> Arm_types.sign -> [< `B | `H ] -> rot:Arm_types.op -> Arm_types.op -> Bap.Std.stmt list
val bit_field_insert : dest:Arm_types.op -> src:Arm_types.op -> Bap.Std.Word.t -> Arm_types.op -> Bap.Std.stmt list
val bit_extract : dest:Arm_types.op -> src:Arm_types.op -> Arm_types.sign -> lsb:Arm_types.op -> widthminus1:Arm_types.op -> Arm_types.op -> Bap.Std.stmt list