Home
last modified time | relevance | path

Searched refs:eq_ptr (Results 1 – 25 of 213) sorted by relevance

123456789

/dports/math/z3/z3-z3-4.8.13/src/ast/rewriter/
H A Dseq_eq_solver.h38 typedef scoped_ptr<eq> eq_ptr; typedef
57 bool reduce_unit(eqr const& e, eq_ptr& r);
60 bool reduce_itos1(eqr const& e, eq_ptr& r);
63 bool reduce_itos2(eqr const& e, eq_ptr& r);
65 bool reduce_itos3(eqr const& e, eq_ptr& r);
69 bool reduce_ubv2s1(eqr const& e, eq_ptr& r);
72 bool reduce_ubv2s2(eqr const& e, eq_ptr& r);
75 bool reduce_binary_eq(eqr const& e, eq_ptr& r);
77 bool reduce_nth_solved(eqr const& e, eq_ptr& r);
142 bool reduce(eqr const& e, eq_ptr& r);
[all …]
H A Dseq_eq_solver.cpp24 bool eq_solver::reduce(expr* s, expr* t, eq_ptr& r) { in reduce()
32 bool eq_solver::reduce(eqr const& e, eq_ptr& r) { in reduce()
96 bool eq_solver::reduce_itos1(eqr const& e, eq_ptr& r) { in reduce_itos1()
120 bool eq_solver::reduce_itos2(eqr const& e, eq_ptr& r) { in reduce_itos2()
152 bool eq_solver::reduce_itos3(eqr const& e, eq_ptr& r) { in reduce_itos3()
201 bool eq_solver::reduce_unit(eqr const& e, eq_ptr& r) { in reduce_unit()
232 bool eq_solver::reduce_ubv2s1(eqr const& e, eq_ptr& r) { in reduce_ubv2s1()
261 bool eq_solver::reduce_ubv2s2(eqr const& e, eq_ptr& r) { in reduce_ubv2s2()
329 bool eq_solver::reduce_binary_eq(eqr const& e, eq_ptr& r) { in reduce_binary_eq()
361 bool eq_solver::reduce_nth_solved(eqr const& e, eq_ptr& r) { in reduce_nth_solved()
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/llvm/test/CodeGen/Mips/GlobalISel/regbankselect/
H A Dicmp.mir6 define void @eq_ptr() {entry: ret void}
35 name: eq_ptr
43 ; MIPS32-LABEL: name: eq_ptr
/dports/devel/llvm11/llvm-11.0.1.src/test/CodeGen/Mips/GlobalISel/regbankselect/
H A Dicmp.mir6 define void @eq_ptr() {entry: ret void}
35 name: eq_ptr
43 ; MIPS32-LABEL: name: eq_ptr
/dports/devel/llvm10/llvm-10.0.1.src/test/CodeGen/Mips/GlobalISel/regbankselect/
H A Dicmp.mir6 define void @eq_ptr() {entry: ret void}
35 name: eq_ptr
43 ; MIPS32-LABEL: name: eq_ptr
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/llvm/test/CodeGen/Mips/GlobalISel/regbankselect/
H A Dicmp.mir6 define void @eq_ptr() {entry: ret void}
35 name: eq_ptr
43 ; MIPS32-LABEL: name: eq_ptr
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/llvm/test/CodeGen/Mips/GlobalISel/regbankselect/
H A Dicmp.mir6 define void @eq_ptr() {entry: ret void}
35 name: eq_ptr
43 ; MIPS32-LABEL: name: eq_ptr
/dports/devel/llvm12/llvm-project-12.0.1.src/llvm/test/CodeGen/Mips/GlobalISel/regbankselect/
H A Dicmp.mir6 define void @eq_ptr() {entry: ret void}
35 name: eq_ptr
43 ; MIPS32-LABEL: name: eq_ptr
/dports/lang/rust/rustc-1.58.1-src/src/llvm-project/llvm/test/CodeGen/Mips/GlobalISel/regbankselect/
H A Dicmp.mir6 define void @eq_ptr() {entry: ret void}
35 name: eq_ptr
43 ; MIPS32-LABEL: name: eq_ptr
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/llvm/test/CodeGen/Mips/GlobalISel/regbankselect/
H A Dicmp.mir6 define void @eq_ptr() {entry: ret void}
35 name: eq_ptr
43 ; MIPS32-LABEL: name: eq_ptr
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/llvm/test/CodeGen/Mips/GlobalISel/regbankselect/
H A Dicmp.mir6 define void @eq_ptr() {entry: ret void}
35 name: eq_ptr
43 ; MIPS32-LABEL: name: eq_ptr
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/llvm/test/CodeGen/Mips/GlobalISel/regbankselect/
H A Dicmp.mir6 define void @eq_ptr() {entry: ret void}
35 name: eq_ptr
43 ; MIPS32-LABEL: name: eq_ptr
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/llvm/test/CodeGen/Mips/GlobalISel/regbankselect/
H A Dicmp.mir6 define void @eq_ptr() {entry: ret void}
35 name: eq_ptr
43 ; MIPS32-LABEL: name: eq_ptr
/dports/devel/llvm90/llvm-9.0.1.src/test/CodeGen/Mips/GlobalISel/regbankselect/
H A Dicmp.mir6 define void @eq_ptr() {entry: ret void}
35 name: eq_ptr
43 ; MIPS32-LABEL: name: eq_ptr
/dports/graphics/llvm-mesa/llvm-13.0.1.src/test/CodeGen/Mips/GlobalISel/regbankselect/
H A Dicmp.mir6 define void @eq_ptr() {entry: ret void}
35 name: eq_ptr
43 ; MIPS32-LABEL: name: eq_ptr
/dports/devel/llvm13/llvm-project-13.0.1.src/llvm/test/CodeGen/Mips/GlobalISel/regbankselect/
H A Dicmp.mir6 define void @eq_ptr() {entry: ret void}
35 name: eq_ptr
43 ; MIPS32-LABEL: name: eq_ptr
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/
H A Ddumpfile.c721 const char *eq_ptr; in dump_switch_p_1() local
727 eq_ptr = strchr (ptr, '='); in dump_switch_p_1()
729 if (eq_ptr && !end_ptr) in dump_switch_p_1()
730 end_ptr = eq_ptr; in dump_switch_p_1()
821 const char *eq_ptr; in opt_info_switch_p_1() local
827 eq_ptr = strchr (ptr, '='); in opt_info_switch_p_1()
829 if (eq_ptr && !end_ptr) in opt_info_switch_p_1()
830 end_ptr = eq_ptr; in opt_info_switch_p_1()
/dports/lang/gcc48/gcc-4.8.5/gcc/
H A Ddumpfile.c691 const char *eq_ptr; in dump_switch_p_1() local
697 eq_ptr = strchr (ptr, '='); in dump_switch_p_1()
699 if (eq_ptr && !end_ptr) in dump_switch_p_1()
700 end_ptr = eq_ptr; in dump_switch_p_1()
790 const char *eq_ptr; in opt_info_switch_p_1() local
796 eq_ptr = strchr (ptr, '='); in opt_info_switch_p_1()
798 if (eq_ptr && !end_ptr) in opt_info_switch_p_1()
799 end_ptr = eq_ptr; in opt_info_switch_p_1()
/dports/devel/mingw32-gcc/gcc-4.8.1/gcc/
H A Ddumpfile.c691 const char *eq_ptr; in dump_switch_p_1() local
697 eq_ptr = strchr (ptr, '='); in dump_switch_p_1()
699 if (eq_ptr && !end_ptr) in dump_switch_p_1()
700 end_ptr = eq_ptr; in dump_switch_p_1()
790 const char *eq_ptr; in opt_info_switch_p_1() local
796 eq_ptr = strchr (ptr, '='); in opt_info_switch_p_1()
798 if (eq_ptr && !end_ptr) in opt_info_switch_p_1()
799 end_ptr = eq_ptr; in opt_info_switch_p_1()
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/
H A Ddumpfile.c826 const char *eq_ptr; in dump_switch_p_1() local
832 eq_ptr = strchr (ptr, '='); in dump_switch_p_1()
834 if (eq_ptr && !end_ptr) in dump_switch_p_1()
835 end_ptr = eq_ptr; in dump_switch_p_1()
926 const char *eq_ptr; in opt_info_switch_p_1() local
932 eq_ptr = strchr (ptr, '='); in opt_info_switch_p_1()
934 if (eq_ptr && !end_ptr) in opt_info_switch_p_1()
935 end_ptr = eq_ptr; in opt_info_switch_p_1()
/dports/lang/gnat_util/gcc-6-20180516/gcc/
H A Ddumpfile.c782 const char *eq_ptr; in dump_switch_p_1() local
788 eq_ptr = strchr (ptr, '='); in dump_switch_p_1()
790 if (eq_ptr && !end_ptr) in dump_switch_p_1()
791 end_ptr = eq_ptr; in dump_switch_p_1()
882 const char *eq_ptr; in opt_info_switch_p_1() local
888 eq_ptr = strchr (ptr, '='); in opt_info_switch_p_1()
890 if (eq_ptr && !end_ptr) in opt_info_switch_p_1()
891 end_ptr = eq_ptr; in opt_info_switch_p_1()
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/
H A Ddumpfile.c826 const char *eq_ptr; in dump_switch_p_1() local
832 eq_ptr = strchr (ptr, '='); in dump_switch_p_1()
834 if (eq_ptr && !end_ptr) in dump_switch_p_1()
835 end_ptr = eq_ptr; in dump_switch_p_1()
926 const char *eq_ptr; in opt_info_switch_p_1() local
932 eq_ptr = strchr (ptr, '='); in opt_info_switch_p_1()
934 if (eq_ptr && !end_ptr) in opt_info_switch_p_1()
935 end_ptr = eq_ptr; in opt_info_switch_p_1()
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/
H A Ddumpfile.c826 const char *eq_ptr; in dump_switch_p_1() local
832 eq_ptr = strchr (ptr, '='); in dump_switch_p_1()
834 if (eq_ptr && !end_ptr) in dump_switch_p_1()
835 end_ptr = eq_ptr; in dump_switch_p_1()
926 const char *eq_ptr; in opt_info_switch_p_1() local
932 eq_ptr = strchr (ptr, '='); in opt_info_switch_p_1()
934 if (eq_ptr && !end_ptr) in opt_info_switch_p_1()
935 end_ptr = eq_ptr; in opt_info_switch_p_1()
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/
H A Ddumpfile.c826 const char *eq_ptr; in dump_switch_p_1() local
832 eq_ptr = strchr (ptr, '='); in dump_switch_p_1()
834 if (eq_ptr && !end_ptr) in dump_switch_p_1()
835 end_ptr = eq_ptr; in dump_switch_p_1()
926 const char *eq_ptr; in opt_info_switch_p_1() local
932 eq_ptr = strchr (ptr, '='); in opt_info_switch_p_1()
934 if (eq_ptr && !end_ptr) in opt_info_switch_p_1()
935 end_ptr = eq_ptr; in opt_info_switch_p_1()
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/
H A Ddumpfile.c826 const char *eq_ptr; in dump_switch_p_1() local
832 eq_ptr = strchr (ptr, '='); in dump_switch_p_1()
834 if (eq_ptr && !end_ptr) in dump_switch_p_1()
835 end_ptr = eq_ptr; in dump_switch_p_1()
926 const char *eq_ptr; in opt_info_switch_p_1() local
932 eq_ptr = strchr (ptr, '='); in opt_info_switch_p_1()
934 if (eq_ptr && !end_ptr) in opt_info_switch_p_1()
935 end_ptr = eq_ptr; in opt_info_switch_p_1()

123456789