Home
last modified time | relevance | path

Searched refs:simplify_arg (Results 1 – 12 of 12) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/tactic/core/
H A Ddom_simplify_tactic.cpp204 expr_ref new_c = simplify_arg(c); in simplify_ite()
206 r = simplify_arg(t); in simplify_ite()
209 r = simplify_arg(e); in simplify_ite()
217 expr_ref new_t = simplify_arg(t); in simplify_ite()
226 expr_ref new_e = simplify_arg(e); in simplify_ite()
243 expr_ref dom_simplify_tactic::simplify_arg(expr * e) { in simplify_arg() function in dom_simplify_tactic
291 m_args.push_back(m.is_bool(arg) ? arg : simplify_arg(arg)); in simplify_rec()
330 r = simplify_arg(arg); in simplify_and_or()
H A Ddom_simplify_tactic.h103 expr_ref simplify_arg(expr* t);
/dports/math/py-z3-solver/z3-z3-4.8.10/src/tactic/core/
H A Ddom_simplify_tactic.cpp204 expr_ref new_c = simplify_arg(c); in simplify_ite()
206 r = simplify_arg(t); in simplify_ite()
209 r = simplify_arg(e); in simplify_ite()
217 expr_ref new_t = simplify_arg(t); in simplify_ite()
226 expr_ref new_e = simplify_arg(e); in simplify_ite()
243 expr_ref dom_simplify_tactic::simplify_arg(expr * e) { in simplify_arg() function in dom_simplify_tactic
291 m_args.push_back(m.is_bool(arg) ? arg : simplify_arg(arg)); in simplify_rec()
330 r = simplify_arg(arg); in simplify_and_or()
H A Ddom_simplify_tactic.h105 expr_ref simplify_arg(expr* t);
/dports/lang/elixir/elixir-1.12.3/lib/elixir/lib/
H A Dmodule.ex870 {arg, counters} = simplify_arg(arg, counters, env)
878 defp simplify_arg({:\\, _, [left, right]}, counters, env) do function
879 {left, counters} = simplify_arg(left, counters, env)
909 defp simplify_arg({:%, _, [left, _]}, counters, env) do function
916 defp simplify_arg({:%{}, _, _}, counters, _env) do function
920 defp simplify_arg({:@, _, _} = attr, counters, env) do function
921 simplify_arg(Macro.expand_once(attr, env), counters, env)
930 defp simplify_arg(other, counters, _env) when is_atom(other), function
933 defp simplify_arg(other, counters, _env) when is_list(other), function
936 defp simplify_arg(other, counters, _env) when is_float(other), function
[all …]
/dports/lang/elixir-devel/elixir-1.13.1/lib/elixir/lib/
H A Dmodule.ex876 {arg, counters} = simplify_arg(arg, counters, env)
884 defp simplify_arg({:\\, _, [left, right]}, counters, env) do function
885 {left, counters} = simplify_arg(left, counters, env)
915 defp simplify_arg({:%, _, [left, _]}, counters, env) do function
922 defp simplify_arg({:%{}, _, _}, counters, _env) do function
926 defp simplify_arg({:@, _, _} = attr, counters, env) do function
927 simplify_arg(Macro.expand_once(attr, env), counters, env)
936 defp simplify_arg(other, counters, _env) when is_atom(other), function
939 defp simplify_arg(other, counters, _env) when is_list(other), function
942 defp simplify_arg(other, counters, _env) when is_float(other), function
[all …]
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/compiler/src/
H A Dbeam_ssa_type.erl618 Br = beam_ssa:normalize(Br0#b_br{bool=simplify_arg(Bool, Ts, Sub)}),
622 Arg = simplify_arg(Arg0, Ts, Sub),
640 #{} -> Ret#b_ret{arg=simplify_arg(Arg, Ts, Sub)}
1067 case simplify_arg(Src, Ts, Sub) of
1134 Arg = simplify_arg(Arg0, Ts, Sub),
1354 [simplify_arg(Arg, Ts, Sub) || Arg <- Args].
1356 simplify_arg(#b_var{}=Arg0, Ts, Sub) -> function
1366 simplify_arg(#b_remote{mod=Mod,name=Name}=Rem, Ts, Sub) -> function
1367 Rem#b_remote{mod=simplify_arg(Mod, Ts, Sub),
1368 name=simplify_arg(Name, Ts, Sub)};
[all …]
/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/compiler/src/
H A Dbeam_ssa_type.erl238 Br#b_br{bool=simplify_arg(Bool, Sub, Ts)};
240 Sw#b_switch{arg=simplify_arg(Arg, Sub, Ts)};
246 #{} -> Ret#b_ret{arg=simplify_arg(Arg, Sub, Ts)}
253 Args = [{simplify_arg(Arg, Sub0, Ts0),From} ||
655 [simplify_arg(Arg, Sub, Ts) || Arg <- Args].
657 simplify_arg(#b_var{}=Arg0, Sub, Ts) -> function
668 simplify_arg(#b_remote{mod=Mod,name=Name}=Rem, Sub, Ts) -> function
669 Rem#b_remote{mod=simplify_arg(Mod, Sub, Ts),
670 name=simplify_arg(Name, Sub, Ts)};
671 simplify_arg(Arg, _Sub, _Ts) -> Arg. function
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/compiler/src/
H A Dbeam_ssa_type.erl643 Br = beam_ssa:normalize(Br0#b_br{bool=simplify_arg(Bool, Ts, Sub)}),
647 Arg = simplify_arg(Arg0, Ts, Sub),
665 #{} -> Ret#b_ret{arg=simplify_arg(Arg, Ts, Sub)}
1165 Arg = simplify_arg(Arg0, Ts, Sub),
1410 [simplify_arg(Arg, Ts, Sub) || Arg <- Args].
1412 simplify_arg(#b_var{}=Arg0, Ts, Sub) -> function
1422 simplify_arg(#b_remote{mod=Mod,name=Name}=Rem, Ts, Sub) -> function
1423 Rem#b_remote{mod=simplify_arg(Mod, Ts, Sub),
1424 name=simplify_arg(Name, Ts, Sub)};
1425 simplify_arg(Arg, _Ts, _Sub) -> Arg. function
/dports/lang/erlang-wx/otp-OTP-24.1.7/lib/compiler/src/
H A Dbeam_ssa_type.erl643 Br = beam_ssa:normalize(Br0#b_br{bool=simplify_arg(Bool, Ts, Sub)}),
647 Arg = simplify_arg(Arg0, Ts, Sub),
665 #{} -> Ret#b_ret{arg=simplify_arg(Arg, Ts, Sub)}
1165 Arg = simplify_arg(Arg0, Ts, Sub),
1410 [simplify_arg(Arg, Ts, Sub) || Arg <- Args].
1412 simplify_arg(#b_var{}=Arg0, Ts, Sub) -> function
1422 simplify_arg(#b_remote{mod=Mod,name=Name}=Rem, Ts, Sub) -> function
1423 Rem#b_remote{mod=simplify_arg(Mod, Ts, Sub),
1424 name=simplify_arg(Name, Ts, Sub)};
1425 simplify_arg(Arg, _Ts, _Sub) -> Arg. function
/dports/lang/erlang/otp-OTP-24.1.7/lib/compiler/src/
H A Dbeam_ssa_type.erl643 Br = beam_ssa:normalize(Br0#b_br{bool=simplify_arg(Bool, Ts, Sub)}),
647 Arg = simplify_arg(Arg0, Ts, Sub),
665 #{} -> Ret#b_ret{arg=simplify_arg(Arg, Ts, Sub)}
1165 Arg = simplify_arg(Arg0, Ts, Sub),
1410 [simplify_arg(Arg, Ts, Sub) || Arg <- Args].
1412 simplify_arg(#b_var{}=Arg0, Ts, Sub) -> function
1422 simplify_arg(#b_remote{mod=Mod,name=Name}=Rem, Ts, Sub) -> function
1423 Rem#b_remote{mod=simplify_arg(Mod, Ts, Sub),
1424 name=simplify_arg(Name, Ts, Sub)};
1425 simplify_arg(Arg, _Ts, _Sub) -> Arg. function
/dports/lang/erlang-java/otp-OTP-24.1.7/lib/compiler/src/
H A Dbeam_ssa_type.erl643 Br = beam_ssa:normalize(Br0#b_br{bool=simplify_arg(Bool, Ts, Sub)}),
647 Arg = simplify_arg(Arg0, Ts, Sub),
665 #{} -> Ret#b_ret{arg=simplify_arg(Arg, Ts, Sub)}
1165 Arg = simplify_arg(Arg0, Ts, Sub),
1410 [simplify_arg(Arg, Ts, Sub) || Arg <- Args].
1412 simplify_arg(#b_var{}=Arg0, Ts, Sub) -> function
1422 simplify_arg(#b_remote{mod=Mod,name=Name}=Rem, Ts, Sub) -> function
1423 Rem#b_remote{mod=simplify_arg(Mod, Ts, Sub),
1424 name=simplify_arg(Name, Ts, Sub)};
1425 simplify_arg(Arg, _Ts, _Sub) -> Arg. function