| /dports/math/py-z3-solver/z3-z3-4.8.10/src/tactic/smtlogics/ |
| H A D | qfuf_tactic.cpp | 29 params_ref s2_p; in mk_qfuf_tactic() local
30 s2_p.set_bool("pull_cheap_ite", true); in mk_qfuf_tactic()
31 s2_p.set_bool("local_ctx", true); in mk_qfuf_tactic()
32 s2_p.set_uint("local_ctx_limit", 10000000); in mk_qfuf_tactic()
36 using_params(mk_simplify_tactic(m, p), s2_p), in mk_qfuf_tactic()
|
| /dports/math/z3/z3-z3-4.8.13/src/tactic/smtlogics/ |
| H A D | qfuf_tactic.cpp | 28 params_ref s2_p; in mk_qfuf_tactic() local
29 s2_p.set_bool("pull_cheap_ite", true); in mk_qfuf_tactic()
30 s2_p.set_bool("local_ctx", true); in mk_qfuf_tactic()
31 s2_p.set_uint("local_ctx_limit", 10000000); in mk_qfuf_tactic()
35 using_params(mk_simplify_tactic(m, p), s2_p), in mk_qfuf_tactic()
|
| /dports/math/libpgmath/flang-d07daf3/runtime/flang/ |
| H A D | mmulcplx16_t.c | 40 __CPLX16_T *s2_p; in ENTF90() local
225 s2_p = s2_base + s2_d2_base; in ENTF90()
229 rslt_tmp.r += s1_p->r * s2_p->r - s1_p->i * s2_p->i; in ENTF90()
230 rslt_tmp.i += s1_p->r * s2_p->i + s1_p->i * s2_p->r; in ENTF90()
233 s2_p += s2_n_delta; in ENTF90()
|
| H A D | mmulcplx8_t.c | 40 __CPLX8_T *s2_p; in ENTF90() local
225 s2_p = s2_base + s2_d2_base; in ENTF90()
229 rslt_tmp.r += s1_p->r * s2_p->r - s1_p->i * s2_p->i; in ENTF90()
230 rslt_tmp.i += s1_p->r * s2_p->i + s1_p->i * s2_p->r; in ENTF90()
233 s2_p += s2_n_delta; in ENTF90()
|
| /dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/c-c++-common/goacc/ |
| H A D | deviceptr-1.c | 73 struct s *s2_p = &s2; in fun4() local
84 #pragma acc parallel deviceptr(s2_p) in fun4()
85 s2_p = 0; in fun4()
|
| /dports/lang/gcc6-aux/gcc-6-20180516/gcc/testsuite/c-c++-common/goacc/ |
| H A D | deviceptr-1.c | 73 struct s *s2_p = &s2; in fun4() local
84 #pragma acc parallel deviceptr(s2_p) in fun4()
85 s2_p = 0; in fun4()
|
| /dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/c-c++-common/goacc/ |
| H A D | deviceptr-1.c | 73 struct s *s2_p = &s2; in fun4() local
84 #pragma acc parallel deviceptr(s2_p) in fun4()
85 s2_p = 0; in fun4()
|
| /dports/lang/gcc9/gcc-9.4.0/gcc/testsuite/c-c++-common/goacc/ |
| H A D | deviceptr-1.c | 73 struct s *s2_p = &s2; in fun4() local
84 #pragma acc parallel deviceptr(s2_p) in fun4()
85 s2_p = 0; in fun4()
|
| /dports/devel/riscv64-gcc/gcc-8.3.0/gcc/testsuite/c-c++-common/goacc/ |
| H A D | deviceptr-1.c | 73 struct s *s2_p = &s2; in fun4() local
84 #pragma acc parallel deviceptr(s2_p) in fun4()
85 s2_p = 0; in fun4()
|
| /dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/c-c++-common/goacc/ |
| H A D | deviceptr-1.c | 73 struct s *s2_p = &s2; in fun4() local
84 #pragma acc parallel deviceptr(s2_p) in fun4()
85 s2_p = 0; in fun4()
|
| /dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/c-c++-common/goacc/ |
| H A D | deviceptr-1.c | 73 struct s *s2_p = &s2; in fun4() local
84 #pragma acc parallel deviceptr(s2_p) in fun4()
85 s2_p = 0; in fun4()
|
| /dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/c-c++-common/goacc/ |
| H A D | deviceptr-1.c | 73 struct s *s2_p = &s2; in fun4() local
84 #pragma acc parallel deviceptr(s2_p) in fun4()
85 s2_p = 0; in fun4()
|
| /dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/testsuite/c-c++-common/goacc/ |
| H A D | deviceptr-1.c | 73 struct s *s2_p = &s2; in fun4() local
84 #pragma acc parallel deviceptr(s2_p) in fun4()
85 s2_p = 0; in fun4()
|
| /dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/c-c++-common/goacc/ |
| H A D | deviceptr-1.c | 73 struct s *s2_p = &s2; in fun4() local
84 #pragma acc parallel deviceptr(s2_p) in fun4()
85 s2_p = 0; in fun4()
|
| /dports/lang/gcc9-aux/gcc-9.1.0/gcc/testsuite/c-c++-common/goacc/ |
| H A D | deviceptr-1.c | 73 struct s *s2_p = &s2; in fun4() local
84 #pragma acc parallel deviceptr(s2_p) in fun4()
85 s2_p = 0; in fun4()
|
| /dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/testsuite/c-c++-common/goacc/ |
| H A D | deviceptr-1.c | 73 struct s *s2_p = &s2; in fun4() local
84 #pragma acc parallel deviceptr(s2_p) in fun4()
85 s2_p = 0; in fun4()
|
| /dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/c-c++-common/goacc/ |
| H A D | deviceptr-1.c | 73 struct s *s2_p = &s2; in fun4() local
84 #pragma acc parallel deviceptr(s2_p) in fun4()
85 s2_p = 0; in fun4()
|
| /dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/testsuite/c-c++-common/goacc/ |
| H A D | deviceptr-1.c | 73 struct s *s2_p = &s2; in fun4() local
84 #pragma acc parallel deviceptr(s2_p) in fun4()
85 s2_p = 0; in fun4()
|
| /dports/lang/gcc9-devel/gcc-9-20211007/gcc/testsuite/c-c++-common/goacc/ |
| H A D | deviceptr-1.c | 73 struct s *s2_p = &s2; in fun4() local
84 #pragma acc parallel deviceptr(s2_p) in fun4()
85 s2_p = 0; in fun4()
|
| /dports/lang/gcc8/gcc-8.5.0/gcc/testsuite/c-c++-common/goacc/ |
| H A D | deviceptr-1.c | 73 struct s *s2_p = &s2; in fun4() local
84 #pragma acc parallel deviceptr(s2_p) in fun4()
85 s2_p = 0; in fun4()
|
| /dports/lang/gnat_util/gcc-6-20180516/gcc/testsuite/c-c++-common/goacc/ |
| H A D | deviceptr-1.c | 73 struct s *s2_p = &s2; in fun4() local
84 #pragma acc parallel deviceptr(s2_p) in fun4()
85 s2_p = 0; in fun4()
|
| /dports/lang/gcc10-devel/gcc-10-20211008/gcc/testsuite/c-c++-common/goacc/ |
| H A D | deviceptr-1.c | 73 struct s *s2_p = &s2; in fun4() local
84 #pragma acc parallel deviceptr(s2_p) in fun4()
85 s2_p = 0; in fun4()
|
| /dports/devel/dmalloc/dmalloc-5.6.5/ |
| H A D | arg_check.c | 470 const char *s1_p, *s2_p; in _dmalloc_strncasecmp() local
474 for (s1_p = s1, s2_p = s2; s1_p < s1 + len; s1_p++, s2_p++) { in _dmalloc_strncasecmp()
475 if (*s1_p == '\0' || *s2_p == '\0') { in _dmalloc_strncasecmp()
536 const char *s1_p, *s2_p; in _dmalloc_strncmp() local
540 for (s1_p = s1, s2_p = s2; s1_p < s1 + len; s1_p++, s2_p++) { in _dmalloc_strncmp()
541 if (*s1_p == '\0' || *s2_p == '\0') { in _dmalloc_strncmp()
|
| /dports/science/tfel-edf/tfel-3.2.1/tests/Math/stensor/ |
| H A D | stensor_isotropic_function2.cxx | 70 const auto s2_p = deviator(v2); in test() local
73 (s2_p + (rm - 1) * s2_p.template computeIsotropicFunction<jes>(f)); in test()
|
| /dports/science/tfel/tfel-3.4.0/tests/Math/stensor/ |
| H A D | stensor_isotropic_function2.cxx | 70 const auto s2_p = deviator(v2); in test() local
73 (s2_p + (rm - 1) * s2_p.template computeIsotropicFunction<jes>(f)); in test()
|