/dports/math/stp/stp-2.3.3/tests/query-files/sample-smt-tests/ |
H A D | Example_1.txt.smt2 | 22 …extract 0 0) shift1) (concat ((_ extract 7 7) shift1) (concat ((_ extract 14 14) shift1) (conca… 23 …extract 0 0) shift1) (concat ((_ extract 7 7) shift1) (concat ((_ extract 14 14) shift1) (conca… 25 …extract 0 0) shift2) (concat ((_ extract 7 7) shift2) (concat ((_ extract 14 14) shift2) (conca… 26 …extract 0 0) shift2) (concat ((_ extract 7 7) shift2) (concat ((_ extract 14 14) shift2) (conca… 28 …extract 0 0) shift3) (concat ((_ extract 7 7) shift3) (concat ((_ extract 14 14) shift3) (conca… 29 …extract 0 0) shift3) (concat ((_ extract 7 7) shift3) (concat ((_ extract 14 14) shift3) (conca… 31 …extract 1 1) shift1) (concat ((_ extract 8 8) shift1) (concat ((_ extract 15 15) shift1) (conca… 32 …extract 1 1) shift1) (concat ((_ extract 8 8) shift1) (concat ((_ extract 15 15) shift1) (conca… 37 …extract 1 1) shift3) (concat ((_ extract 8 8) shift3) (concat ((_ extract 15 15) shift3) (conca… 40 …extract 2 2) shift1) (concat ((_ extract 9 9) shift1) (concat ((_ extract 16 16) shift1) (conca… [all …]
|
/dports/databases/mongodb36/mongodb-src-r3.6.23/src/third_party/mozjs-45/ |
H A D | extract.sh | 5 rm -rf extract 7 mkdir extract 8 mkdir extract/js 41 mkdir extract/js/src/mfbt 62 extract/js/src/doc \ 64 extract/js/src/gdb \ 65 extract/js/src/ipc \ 76 extract/js/src/shell \ 79 extract/js/src/tests \ 90 extract/mfbt/tests \ [all …]
|
/dports/math/boolector/boolector-3.2.2/test/log/ |
H A D | palsqr58.smt2 | 5 (assert (= ((_ extract 57 57) s) ((_ extract 0 0) s))) 6 (assert (= ((_ extract 56 56) s) ((_ extract 1 1) s))) 7 (assert (= ((_ extract 55 55) s) ((_ extract 2 2) s))) 8 (assert (= ((_ extract 54 54) s) ((_ extract 3 3) s))) 9 (assert (= ((_ extract 53 53) s) ((_ extract 4 4) s))) 10 (assert (= ((_ extract 52 52) s) ((_ extract 5 5) s))) 11 (assert (= ((_ extract 51 51) s) ((_ extract 6 6) s))) 12 (assert (= ((_ extract 50 50) s) ((_ extract 7 7) s))) 13 (assert (= ((_ extract 49 49) s) ((_ extract 8 8) s))) 14 (assert (= ((_ extract 48 48) s) ((_ extract 9 9) s))) [all …]
|
H A D | palsqr56.smt2 | 5 (assert (= ((_ extract 55 55) s) ((_ extract 0 0) s))) 6 (assert (= ((_ extract 54 54) s) ((_ extract 1 1) s))) 7 (assert (= ((_ extract 53 53) s) ((_ extract 2 2) s))) 8 (assert (= ((_ extract 52 52) s) ((_ extract 3 3) s))) 9 (assert (= ((_ extract 51 51) s) ((_ extract 4 4) s))) 10 (assert (= ((_ extract 50 50) s) ((_ extract 5 5) s))) 11 (assert (= ((_ extract 49 49) s) ((_ extract 6 6) s))) 12 (assert (= ((_ extract 48 48) s) ((_ extract 7 7) s))) 13 (assert (= ((_ extract 47 47) s) ((_ extract 8 8) s))) 14 (assert (= ((_ extract 46 46) s) ((_ extract 9 9) s))) [all …]
|
H A D | nondestr_subst1.smt2 | 138 …extract 0 0) |UNROLL#137|) #b1) (= ((_ extract 1 1) |UNROLL#137|) #b1) (= ((_ extract 2 2) |UNROLL… 140 …extract 0 0) |UNROLL#139|) #b1) (= ((_ extract 1 1) |UNROLL#139|) #b1) (= ((_ extract 2 2) |UNROLL… 142 …extract 0 0) |UNROLL#141|) #b1) (= ((_ extract 1 1) |UNROLL#141|) #b1) (= ((_ extract 2 2) |UNROLL… 313 …extract 0 0) |UNROLL#200|) (concat ((_ extract 1 1) |UNROLL#200|) (concat ((_ extract 2 2) |UNROLL… 433 …extract 0 0) |UNROLL#426|) #b1) (= ((_ extract 1 1) |UNROLL#426|) #b1) (= ((_ extract 2 2) |UNROLL… 539 …extract 31 31) |UNROLL#93|) (concat ((_ extract 31 31) |UNROLL#93|) (concat ((_ extract 31 31) |UN… 763 …extract 0 0) |UNROLL#758|) #b1) (= ((_ extract 1 1) |UNROLL#758|) #b1) (= ((_ extract 2 2) |UNROLL… 765 …extract 0 0) |UNROLL#760|) #b1) (= ((_ extract 1 1) |UNROLL#760|) #b1) (= ((_ extract 2 2) |UNROLL… 767 …extract 0 0) |UNROLL#762|) #b1) (= ((_ extract 1 1) |UNROLL#762|) #b1) (= ((_ extract 2 2) |UNROLL… 1011 …extract 0 0) |UNROLL#1000|) #b1) (= ((_ extract 1 1) |UNROLL#1000|) #b1) (= ((_ extract 2 2) |UNRO… [all …]
|
/dports/devel/arcanist-lib/arcanist-b2e715f/src/lint/linter/__tests__/lessc/ |
H A D | extract-and-length.lint-test | 6 …extract: extract(@v, 1) extract(@v, 2) extract(@v, 3) extract(@v, 4) extract(@v, 5) extract(@v, 6); 46 extract: extract(@value, 3) ~"|" extract(@value, 2) ~"|" extract(@value, 1); 53 extract: extract(@arguments, 3) ~"|" extract(@arguments, 2) ~"|" extract(@arguments, 1); 60 extract: extract(@values, 3) ~"|" extract(@values, 2) ~"|" extract(@values, 1); 67 extract: extract(@tail, 2) ~"|" extract(@tail, 1); 76 extract-1: extract(@v, 2); 78 extract-2: extract(extract(@v, 2), 2); 89 extract-1: extract(@v, 2); 91 extract-2: extract(extract(@v, 2), 2); 102 extract-1: extract(@v, 2); [all …]
|
/dports/devel/arcanist/arcanist-b2e715f/src/lint/linter/__tests__/lessc/ |
H A D | extract-and-length.lint-test | 6 …extract: extract(@v, 1) extract(@v, 2) extract(@v, 3) extract(@v, 4) extract(@v, 5) extract(@v, 6); 46 extract: extract(@value, 3) ~"|" extract(@value, 2) ~"|" extract(@value, 1); 53 extract: extract(@arguments, 3) ~"|" extract(@arguments, 2) ~"|" extract(@arguments, 1); 60 extract: extract(@values, 3) ~"|" extract(@values, 2) ~"|" extract(@values, 1); 67 extract: extract(@tail, 2) ~"|" extract(@tail, 1); 76 extract-1: extract(@v, 2); 78 extract-2: extract(extract(@v, 2), 2); 89 extract-1: extract(@v, 2); 91 extract-2: extract(extract(@v, 2), 2); 102 extract-1: extract(@v, 2); [all …]
|
/dports/lang/spidermonkey60/firefox-60.9.0/third_party/rust/simd/examples/ |
H A D | matrix-inverse.rs | 128 let tmp1 = f32x4::new(src0.extract(0), src0.extract(1), 130 let row1 = f32x4::new(src2.extract(0), src2.extract(1), 132 let row0 = f32x4::new(tmp1.extract(0), tmp1.extract(2), 134 let row1 = f32x4::new(row1.extract(1), row1.extract(3), 137 let tmp1 = f32x4::new(src0.extract(2), src0.extract(3), 139 let row3 = f32x4::new(src2.extract(2), src2.extract(3), 141 let row2 = f32x4::new(tmp1.extract(0), tmp1.extract(2), 143 let row3 = f32x4::new(row3.extract(1), row3.extract(3), 148 let tmp1 = f32x4::new(tmp1.extract(1), tmp1.extract(0), 229 let det = f32x4::new(det.extract(2), det.extract(3), [all …]
|
/dports/security/vaultwarden/vaultwarden-1.23.1/cargo-crates/brotli-3.3.2/src/enc/ |
H A D | vectorization.rs | 11 x.extract(0) + x.extract(1) + x.extract(2) + x.extract(3) + in sum8() 12 x.extract(4) + x.extract(5) + x.extract(6) + x.extract(7) in sum8() 16 …x.extract(0).wrapping_add(x.extract(1)).wrapping_add( x.extract(2)).wrapping_add( x.extract(3)).wr… in sum8i() 17 … x.extract(4)).wrapping_add( x.extract(5)).wrapping_add( x.extract(6)).wrapping_add(x.extract(7)) in sum8i() 31 v256::new(x.extract(0) as f32, in cast_i32_to_f32() 32 x.extract(1) as f32, in cast_i32_to_f32() 33 x.extract(2) as f32, in cast_i32_to_f32() 34 x.extract(3) as f32, in cast_i32_to_f32() 35 x.extract(4) as f32, in cast_i32_to_f32() 36 x.extract(5) as f32, in cast_i32_to_f32() [all …]
|
H A D | compat.rs | 35 Self::new(-((self.extract(0) > rhs.extract(0)) as i16), in gt() 36 -((self.extract(1) > rhs.extract(1)) as i16), in gt() 37 -((self.extract(2) > rhs.extract(2)) as i16), in gt() 233 Self::new(fmin(self.extract(0), rhs.extract(0)), in min() 234 fmin(self.extract(1), rhs.extract(1)), in min() 235 fmin(self.extract(2), rhs.extract(2)), in min() 236 fmin(self.extract(3), rhs.extract(3)), in min() 237 fmin(self.extract(4), rhs.extract(4)), in min() 238 fmin(self.extract(5), rhs.extract(5)), in min() 239 fmin(self.extract(6), rhs.extract(6)), in min() [all …]
|
/dports/security/suricata/suricata-6.0.4/rust/vendor/brotli/src/enc/ |
H A D | vectorization.rs | 11 x.extract(0) + x.extract(1) + x.extract(2) + x.extract(3) + in sum8() 12 x.extract(4) + x.extract(5) + x.extract(6) + x.extract(7) in sum8() 16 …x.extract(0).wrapping_add(x.extract(1)).wrapping_add( x.extract(2)).wrapping_add( x.extract(3)).wr… in sum8i() 17 … x.extract(4)).wrapping_add( x.extract(5)).wrapping_add( x.extract(6)).wrapping_add(x.extract(7)) in sum8i() 31 v256::new(x.extract(0) as f32, in cast_i32_to_f32() 32 x.extract(1) as f32, in cast_i32_to_f32() 33 x.extract(2) as f32, in cast_i32_to_f32() 34 x.extract(3) as f32, in cast_i32_to_f32() 35 x.extract(4) as f32, in cast_i32_to_f32() 36 x.extract(5) as f32, in cast_i32_to_f32() [all …]
|
H A D | compat.rs | 35 Self::new(-((self.extract(0) > rhs.extract(0)) as i16), in gt() 36 -((self.extract(1) > rhs.extract(1)) as i16), in gt() 37 -((self.extract(2) > rhs.extract(2)) as i16), in gt() 233 Self::new(fmin(self.extract(0), rhs.extract(0)), in min() 234 fmin(self.extract(1), rhs.extract(1)), in min() 235 fmin(self.extract(2), rhs.extract(2)), in min() 236 fmin(self.extract(3), rhs.extract(3)), in min() 237 fmin(self.extract(4), rhs.extract(4)), in min() 238 fmin(self.extract(5), rhs.extract(5)), in min() 239 fmin(self.extract(6), rhs.extract(6)), in min() [all …]
|
/dports/www/xh/xh-0.14.1/cargo-crates/brotli-3.3.2/src/enc/ |
H A D | vectorization.rs | 11 x.extract(0) + x.extract(1) + x.extract(2) + x.extract(3) + in sum8() 12 x.extract(4) + x.extract(5) + x.extract(6) + x.extract(7) in sum8() 16 …x.extract(0).wrapping_add(x.extract(1)).wrapping_add( x.extract(2)).wrapping_add( x.extract(3)).wr… in sum8i() 17 … x.extract(4)).wrapping_add( x.extract(5)).wrapping_add( x.extract(6)).wrapping_add(x.extract(7)) in sum8i() 31 v256::new(x.extract(0) as f32, in cast_i32_to_f32() 32 x.extract(1) as f32, in cast_i32_to_f32() 33 x.extract(2) as f32, in cast_i32_to_f32() 34 x.extract(3) as f32, in cast_i32_to_f32() 35 x.extract(4) as f32, in cast_i32_to_f32() 36 x.extract(5) as f32, in cast_i32_to_f32() [all …]
|
H A D | compat.rs | 35 Self::new(-((self.extract(0) > rhs.extract(0)) as i16), in gt() 36 -((self.extract(1) > rhs.extract(1)) as i16), in gt() 37 -((self.extract(2) > rhs.extract(2)) as i16), in gt() 233 Self::new(fmin(self.extract(0), rhs.extract(0)), in min() 234 fmin(self.extract(1), rhs.extract(1)), in min() 235 fmin(self.extract(2), rhs.extract(2)), in min() 236 fmin(self.extract(3), rhs.extract(3)), in min() 237 fmin(self.extract(4), rhs.extract(4)), in min() 238 fmin(self.extract(5), rhs.extract(5)), in min() 239 fmin(self.extract(6), rhs.extract(6)), in min() [all …]
|
/dports/devel/poco/poco-1.10.1-all/Data/include/Poco/Data/ |
H A D | AbstractExtractor.h | 62 virtual bool extract(std::size_t pos, Poco::Int8& val) = 0; 159 virtual bool extract(std::size_t pos, long& val) = 0; 175 virtual bool extract(std::size_t pos, bool& val) = 0; 187 virtual bool extract(std::size_t pos, float& val) = 0; 199 virtual bool extract(std::size_t pos, double& val) = 0; 211 virtual bool extract(std::size_t pos, char& val) = 0; 247 virtual bool extract(std::size_t pos, BLOB& val) = 0; 250 virtual bool extract(std::size_t pos, CLOB& val) = 0; 283 virtual bool extract(std::size_t pos, Date& val) = 0; 295 virtual bool extract(std::size_t pos, Time& val) = 0; [all …]
|
/dports/devel/poco/poco-1.10.1-all/Data/PostgreSQL/include/Poco/Data/PostgreSQL/ |
H A D | Extractor.h | 50 virtual bool extract(std::size_t pos, Poco::Int8& val); 75 virtual bool extract(std::size_t pos, long& val); 82 virtual bool extract(std::size_t pos, bool& val); 85 virtual bool extract(std::size_t pos, float& val); 88 virtual bool extract(std::size_t pos, double& val); 91 virtual bool extract(std::size_t pos, char& val); 103 virtual bool extract(std::size_t pos, DateTime& val); 106 virtual bool extract(std::size_t pos, Date& val); 109 virtual bool extract(std::size_t pos, Time& val); 112 virtual bool extract(std::size_t pos, Any& val); [all …]
|
/dports/devel/poco/poco-1.10.1-all/Data/MySQL/include/Poco/Data/MySQL/ |
H A D | Extractor.h | 51 virtual bool extract(std::size_t pos, Poco::Int8& val); 54 virtual bool extract(std::size_t pos, Poco::UInt8& val); 76 virtual bool extract(std::size_t pos, long& val); 83 virtual bool extract(std::size_t pos, bool& val); 86 virtual bool extract(std::size_t pos, float& val); 89 virtual bool extract(std::size_t pos, double& val); 92 virtual bool extract(std::size_t pos, char& val); 104 virtual bool extract(std::size_t pos, DateTime& val); 107 virtual bool extract(std::size_t pos, Date& val); 110 virtual bool extract(std::size_t pos, Time& val); [all …]
|
/dports/databases/p5-DBIx-XHTML_Table/DBIx-XHTML_Table-1.49/t/ |
H A D | 04-mixed-case-col-keys-array.t | 78 is_deeply extract( $table, 1 ), [(1) x @headers], "no mods - row 1 unchanged"; 79 is_deeply extract( $table, 2 ), [(1) x @headers], "no mods - row 2 unchanged"; 80 is_deeply extract( $table, 3 ), [(1) x @headers], "no mods - row 3 unchanged"; 84 is_deeply extract( $table, 1 ), [(2) x @headers], "all cells - row 1 correct"; 117 is_deeply extract( $table, 1 ), [3,3,3], "calc totals - no mods"; 121 is_deeply extract( $table, 1 ), [qw(003 003 003)], "calc totals - with mask"; 220 sub extract { 222 my $extract = HTML::TableExtract->new( keep_headers => 1 ); 223 $extract->parse( $table->output ); 225 return @{[ $extract->rows ]}[$row]; [all …]
|
H A D | 05-mixed-case-col-keys-dbd.t | 85 is_deeply extract( $table, 1 ), [(1) x 3], "no mods - row 1 unchanged"; 86 is_deeply extract( $table, 2 ), [(1) x 3], "no mods - row 2 unchanged"; 87 is_deeply extract( $table, 3 ), [(1) x 3], "no mods - row 3 unchanged"; 91 is_deeply extract( $table, 1 ), [(2) x 3], "all cells - row 1 correct"; 92 is_deeply extract( $table, 2 ), [(2) x 3], "all cells - row 2 correct"; 93 is_deeply extract( $table, 3 ), [(2) x 3], "all cells - row 3 correct"; 219 sub extract { 221 my $extract = HTML::TableExtract->new( keep_headers => 1 ); 222 $extract->parse( $table->output ); 224 return @{[ $extract->rows ]}[$row]; [all …]
|
/dports/lang/smalltalk/smalltalk-3.2.5/libgst/ |
H A D | byte.def | 104 extract opcode (8), arg_lsb (8); 110 extract opcode (8), arg_lsb (8); 116 extract opcode (8), arg_lsb (8); 122 extract opcode (8), arg_lsb (8); 128 extract opcode (8), arg_lsb (8); 134 extract opcode (8), arg_lsb (8); 140 extract opcode (8), arg_lsb (8); 146 extract opcode (8), arg_lsb (8); 152 extract opcode (8), arg_lsb (8); 158 extract opcode (8), arg_lsb (8); [all …]
|
/dports/lang/spidermonkey60/firefox-60.9.0/third_party/rust/simd/benches/ |
H A D | matrix.rs | 394 f32x8::new(v.extract(0), v.extract(2), v.extract(4), v.extract(6), in transpose_simd8_naive() 395 w.extract(0), w.extract(2), w.extract(4), w.extract(6)) in transpose_simd8_naive() 398 f32x8::new(v.extract(1), v.extract(3), v.extract(5), v.extract(7), in transpose_simd8_naive() 399 w.extract(1), w.extract(3), w.extract(5), w.extract(7),) in transpose_simd8_naive() 426 f32x8::new(v.extract(0), v.extract(4), v.extract(1), v.extract(5), in transpose_simd8_avx2_vpermps() 427 v.extract(2), v.extract(6), v.extract(3), v.extract(7)) in transpose_simd8_avx2_vpermps() 430 f32x8::new(v.extract(0), v.extract(1), w.extract(0), w.extract(1), in transpose_simd8_avx2_vpermps() 434 f32x8::new(v.extract(2), v.extract(3), w.extract(2), w.extract(3), in transpose_simd8_avx2_vpermps() 460 f32x8::new(v.extract(0), v.extract(1), v.extract(4), v.extract(5), in transpose_simd8_avx2_vpermpd() 464 f32x8::new(v.extract(0), w.extract(0), v.extract(1), w.extract(1), in transpose_simd8_avx2_vpermpd() [all …]
|
/dports/sysutils/tracker-miners/tracker-miners-2.3.5/src/tracker-extract/ |
H A D | meson.build | 8 ['extract-bmp', 'tracker-extract-bmp.c', ['10-bmp.rule'], [tracker_miners_common_dep]], 9 …['extract-desktop', 'tracker-extract-desktop.c', ['10-desktop.rule'], [tracker_miners_common_dep]], 14 …modules += [['extract-abw', 'tracker-extract-abw.c', ['10-abw.rule'], [tracker_miners_common_dep]]] 18 …modules += [['extract-dvi', 'tracker-extract-dvi.c', ['10-dvi.rule'], [tracker_miners_common_dep]]] 56 modules += [['extract-html', 'tracker-extract-html.c', ['10-html.rule'], [libxml2]]] 66 modules += [['extract-libav', 'tracker-extract-libav.c', rules, dependencies]] 70 modules += [['extract-icon', 'tracker-extract-icon.c', ['10-ico.rule'], []]] 74 modules += [['extract-iso', 'tracker-extract-iso.c', ['11-iso.rule'], [libosinfo]]] 110 modules += [['extract-xmp', 'tracker-extract-xmp.c', ['10-xmp.rule'], []]] 145 'tracker-extract.c', [all …]
|
/dports/devel/poco/poco-1.10.1-all/Data/src/ |
H A D | AbstractExtractor.cpp | 33 bool AbstractExtractor::extract(std::size_t pos, std::vector<Poco::Int8>& val) in extract() function in Poco::Data::AbstractExtractor 39 bool AbstractExtractor::extract(std::size_t pos, std::deque<Poco::Int8>& val) in extract() function in Poco::Data::AbstractExtractor 45 bool AbstractExtractor::extract(std::size_t pos, std::list<Poco::Int8>& val) in extract() function in Poco::Data::AbstractExtractor 184 bool AbstractExtractor::extract(std::size_t pos, std::deque<long>& val) in extract() function in Poco::Data::AbstractExtractor 190 bool AbstractExtractor::extract(std::size_t pos, std::list<long>& val) in extract() function in Poco::Data::AbstractExtractor 203 bool AbstractExtractor::extract(std::size_t pos, std::deque<bool>& val) in extract() function in Poco::Data::AbstractExtractor 209 bool AbstractExtractor::extract(std::size_t pos, std::list<bool>& val) in extract() function in Poco::Data::AbstractExtractor 263 bool AbstractExtractor::extract(std::size_t pos, std::list<char>& val) in extract() function in Poco::Data::AbstractExtractor 287 bool AbstractExtractor::extract(std::size_t pos, UTF16String& val) in extract() function in Poco::Data::AbstractExtractor 323 bool AbstractExtractor::extract(std::size_t pos, std::list<BLOB>& val) in extract() function in Poco::Data::AbstractExtractor [all …]
|
/dports/devel/poco/poco-1.10.1-all/Data/MySQL/src/ |
H A D | Extractor.cpp | 35 bool Extractor::extract(std::size_t pos, Poco::Int8& val) in extract() function in Poco::Data::MySQL::Extractor 41 bool Extractor::extract(std::size_t pos, Poco::UInt8& val) in extract() function in Poco::Data::MySQL::Extractor 47 bool Extractor::extract(std::size_t pos, Poco::Int16& val) in extract() function in Poco::Data::MySQL::Extractor 84 bool Extractor::extract(std::size_t pos, long& val) in extract() function in Poco::Data::MySQL::Extractor 97 bool Extractor::extract(std::size_t pos, bool& val) in extract() function in Poco::Data::MySQL::Extractor 103 bool Extractor::extract(std::size_t pos, float& val) in extract() function in Poco::Data::MySQL::Extractor 109 bool Extractor::extract(std::size_t pos, double& val) in extract() function in Poco::Data::MySQL::Extractor 115 bool Extractor::extract(std::size_t pos, char& val) in extract() function in Poco::Data::MySQL::Extractor 183 bool Extractor::extract(std::size_t pos, Date& val) in extract() function in Poco::Data::MySQL::Extractor 195 bool Extractor::extract(std::size_t pos, Time& val) in extract() function in Poco::Data::MySQL::Extractor [all …]
|
/dports/sysutils/tarsnap/tarsnap-autoconf-1.0.39/libarchive/ |
H A D | archive_read_extract.c | 47 struct extract { struct 65 a->extract = (struct extract *)malloc(sizeof(*a->extract)); in get_extract() 70 memset(a->extract, 0, sizeof(*a->extract)); in get_extract() 82 return (a->extract); in get_extract() 88 struct extract *extract; in archive_read_extract() local 91 if (extract == NULL) in archive_read_extract() 133 struct extract *extract = get_extract(a); in archive_read_extract_set_progress_callback() local 145 struct extract *extract; in copy_data() local 150 if (extract == NULL) in copy_data() 184 free(a->extract); in archive_read_extract_cleanup() [all …]
|