Simplify_quaternary_primitive (p.oxcaml-compiler.5.2.0minus39.doc.compiler-libs.optcomp.Flambda2_simplify.Simplify_quaternary

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.t

val 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.t

val 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.t

val 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