/dports/java/openjdk8/jdk8u-jdk8u312-b07.1/corba/src/share/classes/com/sun/corba/se/spi/orbutil/fsm/ |
H A D | FSMTest.java | 204 TestInput in41 = new TestInput( INPUT4, "4.1" ) ; in main() local 208 fsm.doIt( in41.getInput() ) ; in main() 213 fsm.doIt( in41.getInput() ) ; in main() 214 fsm.doIt( in41.getInput() ) ; in main() 215 fsm.doIt( in41.getInput() ) ; in main() 218 fsm.doIt( in41.getInput() ) ; in main()
|
/dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/corba/src/share/classes/com/sun/corba/se/spi/orbutil/fsm/ |
H A D | FSMTest.java | 204 TestInput in41 = new TestInput( INPUT4, "4.1" ) ; in main() local 208 fsm.doIt( in41.getInput() ) ; in main() 213 fsm.doIt( in41.getInput() ) ; in main() 214 fsm.doIt( in41.getInput() ) ; in main() 215 fsm.doIt( in41.getInput() ) ; in main() 218 fsm.doIt( in41.getInput() ) ; in main()
|
/dports/misc/mnn/MNN-1.2.0/source/backend/metal/ |
H A D | MetalConvolution1x1.metal | 71 auto in41 = *xy_in1; 77 result1 += float4(in41 * w); 88 auto in41 = *xy_in1; 93 result1 += float4(in41 * w); 102 auto in41 = *xy_in1; 106 result1 += float4(in41 * w); 155 auto in41 = *xy_in1; 166 result1 += float4(in41 * w);
|
/dports/math/yices/yices-2.6.2/tests/regress/efsmt/adria/ |
H A D | example_1_implication.ys | 35 …ol in322::bool in326::bool in329::bool in33::bool in330::bool in343::bool in41::bool in45::bool in… 46 (let ((M4_line8 ( or in41 in45 ))) 50 (let ((M4_line1 ( and in33 in41 ))) 100 (let ((M4_line5 ( not in41 ))) 357 (let ((M11_NotCont5 ( not in41 ))) 966 (let ((M8_UM8_11_Not_ContIn ( not in41 ))) 968 (let ((M8_UM8_11_line2 ( and in50 in41 ))) 1245 (let ((M13_NotCont5 ( not in41 ))) 1338 …_v1 ) ( = in169 fresh_value_in169_v1 ) ( = in45 fresh_value_in45_v1 ) ( = in41 fresh_value_in41_v1…
|
H A D | example_1_implication_forall_turned_into_exist.ys | 8 (define in41::bool) 46 (let ((M4_line8 ( or in41 in45 ))) 50 (let ((M4_line1 ( and in33 in41 ))) 100 (let ((M4_line5 ( not in41 ))) 357 (let ((M11_NotCont5 ( not in41 ))) 966 (let ((M8_UM8_11_Not_ContIn ( not in41 ))) 968 (let ((M8_UM8_11_line2 ( and in50 in41 ))) 1245 (let ((M13_NotCont5 ( not in41 )))
|
H A D | example_ALU_add_sub_rewritten.ys | 615 (let ((M4_line8 ( or in41 in45 ))) 619 (let ((M4_line1 ( and in33 in41 ))) 669 (let ((M4_line5 ( not in41 ))) 926 (let ((M11_NotCont5 ( not in41 ))) 1535 (let ((M8_UM8_11_Not_ContIn ( not in41 ))) 1814 (let ((M13_NotCont5 ( not in41 ))) 1914 (let ((M4_line8 ( or in41 in45 ))) 1918 (let ((M4_line1 ( and in33 in41 ))) 1968 (let ((M4_line5 ( not in41 ))) 2225 (let ((M11_NotCont5 ( not in41 ))) [all …]
|
H A D | example_2constraints_expected3.ys | 325 …ol in322::bool in326::bool in329::bool in33::bool in330::bool in343::bool in41::bool in45::bool in… 643 (let ((M4_line8 ( or in41 in45 ))) 647 (let ((M4_line1 ( and in33 in41 ))) 697 (let ((M4_line5 ( not in41 ))) 954 (let ((M11_NotCont5 ( not in41 ))) 1563 (let ((M8_UM8_11_Not_ContIn ( not in41 ))) 1565 (let ((M8_UM8_11_line2 ( and in50 in41 ))) 1842 (let ((M13_NotCont5 ( not in41 ))) 1941 …_v1 ) ( = in169 fresh_value_in169_v1 ) ( = in45 fresh_value_in45_v1 ) ( = in41 fresh_value_in41_v1… 1955 …_v2 ) ( = in169 fresh_value_in169_v2 ) ( = in45 fresh_value_in45_v2 ) ( = in41 fresh_value_in41_v2…
|
H A D | ef_ALU_add_sub.ys | 326 …ol in322::bool in326::bool in329::bool in33::bool in330::bool in343::bool in41::bool in45::bool in… 615 (let ((M4_line8 ( or in41 in45 ))) 619 (let ((M4_line1 ( and in33 in41 ))) 669 (let ((M4_line5 ( not in41 ))) 926 (let ((M11_NotCont5 ( not in41 ))) 1535 (let ((M8_UM8_11_Not_ContIn ( not in41 ))) 1537 (let ((M8_UM8_11_line2 ( and in50 in41 ))) 1814 (let ((M13_NotCont5 ( not in41 ))) 1907 …in41 fresh_value_in41_v1 ) ( = in1698 fresh_value_in1698_v1 ) ( = in33 fresh_value_in33_v1 ) ( = i…
|
H A D | example_2constraints_expected4.ys | 328 …ol in322::bool in326::bool in329::bool in33::bool in330::bool in343::bool in41::bool in45::bool in… 647 (let ((M4_line8 ( or in41 in45 ))) 651 (let ((M4_line1 ( and in33 in41 ))) 701 (let ((M4_line5 ( not in41 ))) 958 (let ((M11_NotCont5 ( not in41 ))) 1567 (let ((M8_UM8_11_Not_ContIn ( not in41 ))) 1569 (let ((M8_UM8_11_line2 ( and in50 in41 ))) 1846 (let ((M13_NotCont5 ( not in41 ))) 1939 …in41 fresh_value_in41_v1 ) ( = in1698 fresh_value_in1698_v1 ) ( = in33 fresh_value_in33_v1 ) ( = i…
|
H A D | example_find_ALU_add_conditions.ys | 9 (define in41::bool) 559 (let ((M4_line8 ( or in41 in45 ))) 563 (let ((M4_line1 ( and in33 in41 ))) 613 (let ((M4_line5 ( not in41 ))) 870 (let ((M11_NotCont5 ( not in41 ))) 1479 (let ((M8_UM8_11_Not_ContIn ( not in41 ))) 1481 (let ((M8_UM8_11_line2 ( and in50 in41 ))) 1758 (let ((M13_NotCont5 ( not in41 )))
|
/dports/cad/ghdl/ghdl-1.0.0/testsuite/gna/bug040/ |
H A D | fsm_224.vhd | 325 in41 : in std_logic; port 1533 …ext(206) <= (not reset) and ( ( state_cur(210) and in42 ) or ( state_cur(209) and not ( in41 ) ) ); 1537 state_next(210) <= (not reset) and ( ( state_cur(209) and in41 ) ); 1881 …ate_cur(365) or ( state_cur(210) and in42 ) or ( state_cur(209) and not ( in41 ) ) or ( state_cur(…
|
/dports/www/firefox-esr/firefox-91.8.0/media/libvpx/libvpx/vpx_dsp/ppc/ |
H A D | inv_txfm_vsx.c | 709 in21, in22, in23, in30, in31, in32, in33, in40, in41, in42, \ argument 734 in41 = load(offset + 17 * 16, input); \
|
/dports/net/freeswitch/freeswitch-1.10.3.-release/libs/libvpx/vpx_dsp/ppc/ |
H A D | inv_txfm_vsx.c | 709 in21, in22, in23, in30, in31, in32, in33, in40, in41, in42, \ argument 734 in41 = load(offset + 17 * 16, input); \
|
/dports/net-im/tg_owt/tg_owt-d578c76/src/third_party/libvpx/source/libvpx/vpx_dsp/ppc/ |
H A D | inv_txfm_vsx.c | 709 in21, in22, in23, in30, in31, in32, in33, in40, in41, in42, \ argument 734 in41 = load(offset + 17 * 16, input); \
|
/dports/multimedia/libvpx/libvpx-1.11.0/vpx_dsp/ppc/ |
H A D | inv_txfm_vsx.c | 709 in21, in22, in23, in30, in31, in32, in33, in40, in41, in42, \ argument 734 in41 = load(offset + 17 * 16, input); \
|
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/third_party/libvpx/source/libvpx/vpx_dsp/ppc/ |
H A D | inv_txfm_vsx.c | 709 in21, in22, in23, in30, in31, in32, in33, in40, in41, in42, \ argument 734 in41 = load(offset + 17 * 16, input); \
|
/dports/www/firefox/firefox-99.0/media/libvpx/libvpx/vpx_dsp/ppc/ |
H A D | inv_txfm_vsx.c | 709 in21, in22, in23, in30, in31, in32, in33, in40, in41, in42, \ argument 734 in41 = load(offset + 17 * 16, input); \
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/libvpx/source/libvpx/vpx_dsp/ppc/ |
H A D | inv_txfm_vsx.c | 709 in21, in22, in23, in30, in31, in32, in33, in40, in41, in42, \ argument 734 in41 = load(offset + 17 * 16, input); \
|
/dports/mail/thunderbird/thunderbird-91.8.0/media/libvpx/libvpx/vpx_dsp/ppc/ |
H A D | inv_txfm_vsx.c | 709 in21, in22, in23, in30, in31, in32, in33, in40, in41, in42, \ argument 734 in41 = load(offset + 17 * 16, input); \
|
/dports/lang/spidermonkey78/firefox-78.9.0/media/libvpx/libvpx/vpx_dsp/ppc/ |
H A D | inv_txfm_vsx.c | 709 in21, in22, in23, in30, in31, in32, in33, in40, in41, in42, \ argument 734 in41 = load(offset + 17 * 16, input); \
|
/dports/lang/gnatdroid-binutils-x86/binutils-2.27/gas/testsuite/gas/ia64/ |
H A D | regs.s | 177 { .mii; mov in41 = r0; nop.i 0; nop.i 0;; }
|
/dports/devel/arm-elf-binutils/binutils-2.37/gas/testsuite/gas/ia64/ |
H A D | regs.s | 177 { .mii; mov in41 = r0; nop.i 0; nop.i 0;; }
|
/dports/lang/gnatdroid-binutils/binutils-2.27/gas/testsuite/gas/ia64/ |
H A D | regs.s | 177 { .mii; mov in41 = r0; nop.i 0; nop.i 0;; }
|
/dports/devel/tigcc/tigcc-0.96.b8_10/gnu/binutils-2.16.1/gas/testsuite/gas/ia64/ |
H A D | regs.s | 177 { .mii; mov in41 = r0; nop.i 0; nop.i 0;; }
|
/dports/devel/gnulibiberty/binutils-2.37/gas/testsuite/gas/ia64/ |
H A D | regs.s | 177 { .mii; mov in41 = r0; nop.i 0; nop.i 0;; }
|