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