Module Flambda2_simplify.Simplify_quaternary_primitive
val simplify_atomic_compare_and_set_or_exchange_args :
Flambda2_simplify.Simplify_import.P.Block_access_field_kind.t ->
Flambda2_simplify.Simplify_import.DA.t ->
comparison_value_ty:Flambda2_simplify.Simplify_import.T.t ->
new_value_ty:Flambda2_simplify.Simplify_import.T.t ->
Flambda2_simplify.Simplify_import.P.Block_access_field_kind.tval simplify_atomic_compare_and_set_field :
Flambda2_simplify.Simplify_import.P.Block_access_field_kind.t ->
original_prim:'a ->
Flambda2_simplify.Simplify_import.DA.t ->
original_term:'b ->
Debuginfo.t ->
arg1:Flambda2_term_basics.Simple.t ->
arg1_ty:'c ->
arg2:Flambda2_term_basics.Simple.t ->
arg2_ty:'d ->
arg3:Flambda2_term_basics.Simple.t ->
arg3_ty:Flambda2_simplify.Simplify_import.T.t ->
arg4:Flambda2_term_basics.Simple.t ->
arg4_ty:Flambda2_simplify.Simplify_import.T.t ->
result_var:Flambda2_bound_identifiers.Bound_var.t ->
Flambda2_simplify.Simplify_import.SPR.tval simplify_atomic_compare_exchange_field :
atomic_kind:Flambda2_simplify.Simplify_import.P.Block_access_field_kind.t ->
args_kind:Flambda2_simplify.Simplify_import.P.Block_access_field_kind.t ->
original_prim:'a ->
Flambda2_simplify.Simplify_import.DA.t ->
original_term:'b ->
Debuginfo.t ->
arg1:Flambda2_term_basics.Simple.t ->
arg1_ty:'c ->
arg2:Flambda2_term_basics.Simple.t ->
arg2_ty:'d ->
arg3:Flambda2_term_basics.Simple.t ->
arg3_ty:Flambda2_simplify.Simplify_import.T.t ->
arg4:Flambda2_term_basics.Simple.t ->
arg4_ty:Flambda2_simplify.Simplify_import.T.t ->
result_var:Flambda2_bound_identifiers.Bound_var.t ->
Flambda2_simplify.Simplify_import.SPR.tval simplify_quaternary_primitive :
Flambda2_simplify.Simplify_import.DA.t ->
Flambda2_terms.Flambda_primitive.t ->
Flambda2_simplify.Simplify_import.P.quaternary_primitive ->
arg1:Flambda2_term_basics.Simple.t ->
arg1_ty:'a ->
arg2:Flambda2_term_basics.Simple.t ->
arg2_ty:'b ->
arg3:Flambda2_term_basics.Simple.t ->
arg3_ty:Flambda2_simplify.Simplify_import.T.t ->
arg4:Flambda2_term_basics.Simple.t ->
arg4_ty:Flambda2_simplify.Simplify_import.T.t ->
Debuginfo.t ->
result_var:Flambda2_bound_identifiers.Bound_var.t ->
Flambda2_simplify.Simplify_import.SPR.t