/dports/math/cvc4/CVC4-1.7/test/regress/regress3/ |
H A D | pp-regfile.smt | 147 …if_then_else BBUBBLE_S2R_INIT false true)) (let (?cvcl_98 (SRC1_OF AINST_S2R_INIT)) (flet ($cvcl_9…
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress2/ |
H A D | xs-11-20-5-2-5-3.smt | 27 …if_then_else (and (= (select_format 0) percent) (= (select_format 1) s)) (= (s_count 0) 1) (= (s_c…
|
H A D | xs-09-16-3-4-1-5.decn.smt | 30 …if_then_else (and (= (select_format 0) percent) (= (select_format 1) s)) (= (s_count 0) 1) (= (s_c…
|
H A D | xs-09-16-3-4-1-5.smt | 27 …if_then_else (and (= (select_format 0) percent) (= (select_format 1) s)) (= (s_count 0) 1) (= (s_c…
|
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/skia/src/gpu/geometry/ |
H A D | GrQuadUtils.cpp | 447 v.fX = if_then_else(validW, v.fX, in ClipToW0() 450 v.fY = if_then_else(validW, v.fY, in ClipToW0() 455 v.fU = if_then_else(validW, v.fU, in ClipToW0() 458 v.fV = if_then_else(validW, v.fV, in ClipToW0() 461 v.fR = if_then_else(validW, v.fR, in ClipToW0() 980 denom = if_then_else(aMask, in moveTo() 981 if_then_else(bMask, in moveTo() 988 a = if_then_else(aMask, in moveTo() 989 if_then_else(bMask, in moveTo() 993 b = if_then_else(bMask, in moveTo() [all …]
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/skia/src/gpu/geometry/ |
H A D | GrQuadUtils.cpp | 447 v.fX = if_then_else(validW, v.fX, in ClipToW0() 450 v.fY = if_then_else(validW, v.fY, in ClipToW0() 455 v.fU = if_then_else(validW, v.fU, in ClipToW0() 458 v.fV = if_then_else(validW, v.fV, in ClipToW0() 461 v.fR = if_then_else(validW, v.fR, in ClipToW0() 992 denom = if_then_else(aMask, in moveTo() 993 if_then_else(bMask, in moveTo() 1000 a = if_then_else(aMask, in moveTo() 1001 if_then_else(bMask, in moveTo() 1005 b = if_then_else(bMask, in moveTo() [all …]
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/decision/ |
H A D | uflia-xs-09-16-3-4-1-5.smt | 30 …if_then_else (and (= (select_format 0) percent) (= (select_format 1) s)) (= (s_count 0) 1) (= (s_c…
|
H A D | bitvec0.smt | 26 …if_then_else (= (concat (concat bv0[1] (extract[3:2] a)) (extract[6:5] a)) ?cvc_0) (= ?cvc_0 bv0[5…
|
/dports/multimedia/QtAV/QtAV-1.13.0/src/QtAV/private/ |
H A D | mkid.h | 80 template<bool b, typename T1, typename T2> struct if_then_else; 99 typename if_then_else<is_num<x>::value, number_t, 100 typename if_then_else<is_upper_letter<x>::value, upper_letter_t, 101 typename if_then_else<is_lower_letter<x>::value, lower_letter_t, 102 typename if_then_else<is_underline<x>::value, underline_t, 103 typename if_then_else<is_dot<x>::value, dot_t, 115 typename if_then_else<is_num<x>::value, number_t, 116 typename if_then_else<is_upper_letter<x>::value, upper_letter_t, 117 typename if_then_else<is_lower_letter<x>::value, lower_letter_t, 130 typename if_then_else<(x<0), out_of_lower_bound<0>, [all …]
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/bv/core/ |
H A D | bitvec1.smt | 17 …if_then_else $cvc_4 (not $cvc_5) $cvc_5)) (let (?cvc_7 (extract[1:1] c)) (let (?cvc_9 (extract[1:1…
|
H A D | bitvec0.smt | 23 …if_then_else (= (concat (concat bv0[1] (extract[3:2] a)) (extract[6:5] a)) ?cvc_0) (= ?cvc_0 bv0[5…
|
/dports/misc/tvm/incubator-tvm-0.6.1/topi/python/topi/nn/ |
H A D | fifo_buffer.py | 75 tvm.if_then_else(i < buflen - data_size, 83 tvm.if_then_else(i < buflen - data_size, 90 tvm.if_then_else(j < buflen - data_size, 99 tvm.if_then_else(i < buflen - data_size, 106 tvm.if_then_else(j < buflen - data_size, 113 tvm.if_then_else(k < buflen - data_size, 122 tvm.if_then_else(i < buflen - data_size, 129 tvm.if_then_else(j < buflen - data_size, 136 tvm.if_then_else(k < buflen - data_size, 143 tvm.if_then_else(l < buflen - data_size,
|
/dports/misc/py-tvm/incubator-tvm-0.6.1/topi/python/topi/nn/ |
H A D | fifo_buffer.py | 75 tvm.if_then_else(i < buflen - data_size, 83 tvm.if_then_else(i < buflen - data_size, 90 tvm.if_then_else(j < buflen - data_size, 99 tvm.if_then_else(i < buflen - data_size, 106 tvm.if_then_else(j < buflen - data_size, 113 tvm.if_then_else(k < buflen - data_size, 122 tvm.if_then_else(i < buflen - data_size, 129 tvm.if_then_else(j < buflen - data_size, 136 tvm.if_then_else(k < buflen - data_size, 143 tvm.if_then_else(l < buflen - data_size,
|
/dports/misc/mxnet/incubator-mxnet-1.9.0/3rdparty/tvm/python/tvm/topi/nn/ |
H A D | fifo_buffer.py | 78 lambda i: tvm.tir.if_then_else( 87 lambda i, j: tvm.tir.if_then_else( 97 lambda i, j: tvm.tir.if_then_else( 109 lambda i, j, k: tvm.tir.if_then_else( 119 lambda i, j, k: tvm.tir.if_then_else( 129 lambda i, j, k: tvm.tir.if_then_else( 141 lambda i, j, k, l: tvm.tir.if_then_else( 151 lambda i, j, k, l: tvm.tir.if_then_else( 161 lambda i, j, k, l: tvm.tir.if_then_else( 171 lambda i, j, k, l: tvm.tir.if_then_else(
|
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/config/arm/ |
H A D | marvell-f-iwmmxt.md | 56 (const (if_then_else (symbol_ref "arm_arch_iwmmxt") 66 (if_then_else (eq_attr "type" "wmmx_wror, wmmx_wsll, wmmx_wsra, wmmx_wsrl") 71 (if_then_else (eq_attr "type" "wmmx_waligni, wmmx_walignr, wmmx_wmerge,\ 78 (if_then_else (eq_attr "type" "wmmx_wmac, wmmx_wmadd, wmmx_wmiaxy,\ 85 (if_then_else (eq_attr "type" "wmmx_wmul, wmmx_wqmulm") 90 (if_then_else (eq_attr "type" "wmmx_wabs, wmmx_wabsdiff, wmmx_wand,\ 96 (if_then_else (eq_attr "type" "wmmx_wacc, wmmx_wadd, wmmx_waddsubhx,\ 104 (if_then_else (eq_attr "type" "wmmx_wsad") 109 (if_then_else (eq_attr "type" "wmmx_tbcst, wmmx_tinsr,\ 115 (if_then_else (eq_attr "type" "wmmx_textrm, wmmx_tmovmsk,\ [all …]
|
/dports/lang/gcc9/gcc-9.4.0/gcc/config/arm/ |
H A D | marvell-f-iwmmxt.md | 56 (const (if_then_else (symbol_ref "arm_arch_iwmmxt") 66 (if_then_else (eq_attr "type" "wmmx_wror, wmmx_wsll, wmmx_wsra, wmmx_wsrl") 71 (if_then_else (eq_attr "type" "wmmx_waligni, wmmx_walignr, wmmx_wmerge,\ 78 (if_then_else (eq_attr "type" "wmmx_wmac, wmmx_wmadd, wmmx_wmiaxy,\ 85 (if_then_else (eq_attr "type" "wmmx_wmul, wmmx_wqmulm") 90 (if_then_else (eq_attr "type" "wmmx_wabs, wmmx_wabsdiff, wmmx_wand,\ 96 (if_then_else (eq_attr "type" "wmmx_wacc, wmmx_wadd, wmmx_waddsubhx,\ 104 (if_then_else (eq_attr "type" "wmmx_wsad") 109 (if_then_else (eq_attr "type" "wmmx_tbcst, wmmx_tinsr,\ 115 (if_then_else (eq_attr "type" "wmmx_textrm, wmmx_tmovmsk,\ [all …]
|
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/config/arm/ |
H A D | marvell-f-iwmmxt.md | 56 (const (if_then_else (symbol_ref "arm_arch_iwmmxt") 66 (if_then_else (eq_attr "type" "wmmx_wror, wmmx_wsll, wmmx_wsra, wmmx_wsrl") 71 (if_then_else (eq_attr "type" "wmmx_waligni, wmmx_walignr, wmmx_wmerge,\ 78 (if_then_else (eq_attr "type" "wmmx_wmac, wmmx_wmadd, wmmx_wmiaxy,\ 85 (if_then_else (eq_attr "type" "wmmx_wmul, wmmx_wqmulm") 90 (if_then_else (eq_attr "type" "wmmx_wabs, wmmx_wabsdiff, wmmx_wand,\ 96 (if_then_else (eq_attr "type" "wmmx_wacc, wmmx_wadd, wmmx_waddsubhx,\ 104 (if_then_else (eq_attr "type" "wmmx_wsad") 109 (if_then_else (eq_attr "type" "wmmx_tbcst, wmmx_tinsr,\ 115 (if_then_else (eq_attr "type" "wmmx_textrm, wmmx_tmovmsk,\ [all …]
|
/dports/lang/gnat_util/gcc-6-20180516/gcc/config/arm/ |
H A D | marvell-f-iwmmxt.md | 56 (const (if_then_else (symbol_ref "arm_arch_iwmmxt") 66 (if_then_else (eq_attr "type" "wmmx_wror, wmmx_wsll, wmmx_wsra, wmmx_wsrl") 71 (if_then_else (eq_attr "type" "wmmx_waligni, wmmx_walignr, wmmx_wmerge,\ 78 (if_then_else (eq_attr "type" "wmmx_wmac, wmmx_wmadd, wmmx_wmiaxy,\ 85 (if_then_else (eq_attr "type" "wmmx_wmul, wmmx_wqmulm") 90 (if_then_else (eq_attr "type" "wmmx_wabs, wmmx_wabsdiff, wmmx_wand,\ 96 (if_then_else (eq_attr "type" "wmmx_wacc, wmmx_wadd, wmmx_waddsubhx,\ 104 (if_then_else (eq_attr "type" "wmmx_wsad") 109 (if_then_else (eq_attr "type" "wmmx_tbcst, wmmx_tinsr,\ 115 (if_then_else (eq_attr "type" "wmmx_textrm, wmmx_tmovmsk,\ [all …]
|
/dports/devel/avr-gcc/gcc-10.2.0/gcc/config/arm/ |
H A D | marvell-f-iwmmxt.md | 56 (const (if_then_else (symbol_ref "arm_arch_iwmmxt") 66 (if_then_else (eq_attr "type" "wmmx_wror, wmmx_wsll, wmmx_wsra, wmmx_wsrl") 71 (if_then_else (eq_attr "type" "wmmx_waligni, wmmx_walignr, wmmx_wmerge,\ 78 (if_then_else (eq_attr "type" "wmmx_wmac, wmmx_wmadd, wmmx_wmiaxy,\ 85 (if_then_else (eq_attr "type" "wmmx_wmul, wmmx_wqmulm") 90 (if_then_else (eq_attr "type" "wmmx_wabs, wmmx_wabsdiff, wmmx_wand,\ 96 (if_then_else (eq_attr "type" "wmmx_wacc, wmmx_wadd, wmmx_waddsubhx,\ 104 (if_then_else (eq_attr "type" "wmmx_wsad") 109 (if_then_else (eq_attr "type" "wmmx_tbcst, wmmx_tinsr,\ 115 (if_then_else (eq_attr "type" "wmmx_textrm, wmmx_tmovmsk,\ [all …]
|
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/config/arm/ |
H A D | marvell-f-iwmmxt.md | 56 (const (if_then_else (symbol_ref "arm_arch_iwmmxt") 66 (if_then_else (eq_attr "type" "wmmx_wror, wmmx_wsll, wmmx_wsra, wmmx_wsrl") 71 (if_then_else (eq_attr "type" "wmmx_waligni, wmmx_walignr, wmmx_wmerge,\ 78 (if_then_else (eq_attr "type" "wmmx_wmac, wmmx_wmadd, wmmx_wmiaxy,\ 85 (if_then_else (eq_attr "type" "wmmx_wmul, wmmx_wqmulm") 90 (if_then_else (eq_attr "type" "wmmx_wabs, wmmx_wabsdiff, wmmx_wand,\ 96 (if_then_else (eq_attr "type" "wmmx_wacc, wmmx_wadd, wmmx_waddsubhx,\ 104 (if_then_else (eq_attr "type" "wmmx_wsad") 109 (if_then_else (eq_attr "type" "wmmx_tbcst, wmmx_tinsr,\ 115 (if_then_else (eq_attr "type" "wmmx_textrm, wmmx_tmovmsk,\ [all …]
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/config/arm/ |
H A D | marvell-f-iwmmxt.md | 56 (const (if_then_else (symbol_ref "arm_arch_iwmmxt") 66 (if_then_else (eq_attr "type" "wmmx_wror, wmmx_wsll, wmmx_wsra, wmmx_wsrl") 71 (if_then_else (eq_attr "type" "wmmx_waligni, wmmx_walignr, wmmx_wmerge,\ 78 (if_then_else (eq_attr "type" "wmmx_wmac, wmmx_wmadd, wmmx_wmiaxy,\ 85 (if_then_else (eq_attr "type" "wmmx_wmul, wmmx_wqmulm") 90 (if_then_else (eq_attr "type" "wmmx_wabs, wmmx_wabsdiff, wmmx_wand,\ 96 (if_then_else (eq_attr "type" "wmmx_wacc, wmmx_wadd, wmmx_waddsubhx,\ 104 (if_then_else (eq_attr "type" "wmmx_wsad") 109 (if_then_else (eq_attr "type" "wmmx_tbcst, wmmx_tinsr,\ 115 (if_then_else (eq_attr "type" "wmmx_textrm, wmmx_tmovmsk,\ [all …]
|
/dports/lang/gcc48/gcc-4.8.5/gcc/config/arm/ |
H A D | marvell-f-iwmmxt.md | 56 (const (if_then_else (symbol_ref "arm_arch_iwmmxt") 66 (if_then_else (eq_attr "wtype" "wror, wsll, wsra, wsrl") 71 …(if_then_else (eq_attr "wtype" "waligni, walignr, wmerge, wpack, wshufh, wunpckeh, wunpckih, wunpc… 76 (if_then_else (eq_attr "wtype" "wmac, wmadd, wmiaxy, wmiawxy, wmulw, wqmiaxy, wqmulwm") 81 (if_then_else (eq_attr "wtype" "wmul, wqmulm") 86 (if_then_else (eq_attr "wtype" "wabs, wabsdiff, wand, wandn, wmov, wor, wxor") 91 …(if_then_else (eq_attr "wtype" "wacc, wadd, waddsubhx, wavg2, wavg4, wcmpeq, wcmpgt, wmax, wmin, w… 96 (if_then_else (eq_attr "wtype" "wsad") 101 (if_then_else (eq_attr "wtype" "tbcst, tinsr, tmcr, tmcrr") 106 (if_then_else (eq_attr "wtype" "textrm, tmovmsk, tmrc, tmrrc") [all …]
|
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/config/arm/ |
H A D | marvell-f-iwmmxt.md | 56 (const (if_then_else (symbol_ref "arm_arch_iwmmxt") 66 (if_then_else (eq_attr "type" "wmmx_wror, wmmx_wsll, wmmx_wsra, wmmx_wsrl") 71 (if_then_else (eq_attr "type" "wmmx_waligni, wmmx_walignr, wmmx_wmerge,\ 78 (if_then_else (eq_attr "type" "wmmx_wmac, wmmx_wmadd, wmmx_wmiaxy,\ 85 (if_then_else (eq_attr "type" "wmmx_wmul, wmmx_wqmulm") 90 (if_then_else (eq_attr "type" "wmmx_wabs, wmmx_wabsdiff, wmmx_wand,\ 96 (if_then_else (eq_attr "type" "wmmx_wacc, wmmx_wadd, wmmx_waddsubhx,\ 104 (if_then_else (eq_attr "type" "wmmx_wsad") 109 (if_then_else (eq_attr "type" "wmmx_tbcst, wmmx_tinsr,\ 115 (if_then_else (eq_attr "type" "wmmx_textrm, wmmx_tmovmsk,\ [all …]
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/config/arm/ |
H A D | marvell-f-iwmmxt.md | 56 (const (if_then_else (symbol_ref "arm_arch_iwmmxt") 66 (if_then_else (eq_attr "type" "wmmx_wror, wmmx_wsll, wmmx_wsra, wmmx_wsrl") 71 (if_then_else (eq_attr "type" "wmmx_waligni, wmmx_walignr, wmmx_wmerge,\ 78 (if_then_else (eq_attr "type" "wmmx_wmac, wmmx_wmadd, wmmx_wmiaxy,\ 85 (if_then_else (eq_attr "type" "wmmx_wmul, wmmx_wqmulm") 90 (if_then_else (eq_attr "type" "wmmx_wabs, wmmx_wabsdiff, wmmx_wand,\ 96 (if_then_else (eq_attr "type" "wmmx_wacc, wmmx_wadd, wmmx_waddsubhx,\ 104 (if_then_else (eq_attr "type" "wmmx_wsad") 109 (if_then_else (eq_attr "type" "wmmx_tbcst, wmmx_tinsr,\ 115 (if_then_else (eq_attr "type" "wmmx_textrm, wmmx_tmovmsk,\ [all …]
|
/dports/devel/mingw32-gcc/gcc-4.8.1/gcc/config/arm/ |
H A D | marvell-f-iwmmxt.md | 56 (const (if_then_else (symbol_ref "arm_arch_iwmmxt") 66 (if_then_else (eq_attr "wtype" "wror, wsll, wsra, wsrl") 71 …(if_then_else (eq_attr "wtype" "waligni, walignr, wmerge, wpack, wshufh, wunpckeh, wunpckih, wunpc… 76 (if_then_else (eq_attr "wtype" "wmac, wmadd, wmiaxy, wmiawxy, wmulw, wqmiaxy, wqmulwm") 81 (if_then_else (eq_attr "wtype" "wmul, wqmulm") 86 (if_then_else (eq_attr "wtype" "wabs, wabsdiff, wand, wandn, wmov, wor, wxor") 91 …(if_then_else (eq_attr "wtype" "wacc, wadd, waddsubhx, wavg2, wavg4, wcmpeq, wcmpgt, wmax, wmin, w… 96 (if_then_else (eq_attr "wtype" "wsad") 101 (if_then_else (eq_attr "wtype" "tbcst, tinsr, tmcr, tmcrr") 106 (if_then_else (eq_attr "wtype" "textrm, tmovmsk, tmrc, tmrrc") [all …]
|