/dports/math/stp/stp-2.3.3/tests/query-files/sample-smt-tests/ |
H A D | Example_1.txt.smt2 | 22 …shift1) (concat ((_ extract 7 7) shift1) (concat ((_ extract 14 14) shift1) (concat ((_ extract… 23 …shift1) (concat ((_ extract 7 7) shift1) (concat ((_ extract 14 14) shift1) (concat ((_ extract… 31 …shift1) (concat ((_ extract 8 8) shift1) (concat ((_ extract 15 15) shift1) (concat ((_ extract… 32 …shift1) (concat ((_ extract 8 8) shift1) (concat ((_ extract 15 15) shift1) (concat ((_ extract… 40 …shift1) (concat ((_ extract 9 9) shift1) (concat ((_ extract 16 16) shift1) (concat ((_ extract… 41 …shift1) (concat ((_ extract 9 9) shift1) (concat ((_ extract 16 16) shift1) (concat ((_ extract… 49 …shift1) (concat ((_ extract 10 10) shift1) (concat ((_ extract 17 17) shift1) (concat ((_ extra… 58 …shift1) (concat ((_ extract 11 11) shift1) (concat ((_ extract 18 18) shift1) (concat ((_ extra… 67 …shift1) (concat ((_ extract 12 12) shift1) (concat ((_ extract 19 19) shift1) (concat ((_ extra… 76 …shift1) (concat ((_ extract 13 13) shift1) (concat ((_ extract 20 20) shift1) (concat ((_ extra… [all …]
|
/dports/graphics/scantailor/scantailor-advanced-1.0.16/imageproc/ |
H A D | Shear.cpp | 46 assert(shift1 == 0); in hShearFromTo() 52 int shift2 = shift1; in hShearFromTo() 65 } else if (shift1 < 0) { in hShearFromTo() 70 const QRect fr(width + shift1, y1, -shift1, block_height); in hShearFromTo() 74 const QRect dr(shift1, y1, width - shift1, block_height); in hShearFromTo() 91 shift1 = shift2; in hShearFromTo() 117 assert(shift1 == 0); in vShearFromTo() 123 int shift2 = shift1; in vShearFromTo() 141 const QRect fr(x1, height + shift1, block_width, -shift1); in vShearFromTo() 145 const QRect dr(x1, shift1, block_width, height - shift1); in vShearFromTo() [all …]
|
/dports/converters/wkhtmltopdf/qt-5db36ec/src/3rdparty/javascriptcore/JavaScriptCore/parser/ |
H A D | Lexer.cpp | 195 shift1(); in shiftLineTerminator() 567 shift1(); in lex() 581 shift1(); in lex() 601 shift1(); in lex() 649 shift1(); in lex() 654 shift1(); in lex() 657 shift1(); in lex() 667 shift1(); in lex() 727 shift1(); in lex() 824 shift1(); in lex() [all …]
|
/dports/devel/qt5-scripttools/kde-qtscript-5.15.2p4/src/3rdparty/javascriptcore/JavaScriptCore/parser/ |
H A D | Lexer.cpp | 195 shift1(); in shiftLineTerminator() 567 shift1(); in lex() 581 shift1(); in lex() 601 shift1(); in lex() 649 shift1(); in lex() 654 shift1(); in lex() 657 shift1(); in lex() 667 shift1(); in lex() 727 shift1(); in lex() 824 shift1(); in lex() [all …]
|
/dports/devel/qt5-script/kde-qtscript-5.15.2p4/src/3rdparty/javascriptcore/JavaScriptCore/parser/ |
H A D | Lexer.cpp | 195 shift1(); in shiftLineTerminator() 567 shift1(); in lex() 581 shift1(); in lex() 601 shift1(); in lex() 649 shift1(); in lex() 654 shift1(); in lex() 657 shift1(); in lex() 667 shift1(); in lex() 727 shift1(); in lex() 824 shift1(); in lex() [all …]
|
/dports/science/nwchem/nwchem-7b21660b82ebd85ef659f6fba7e1e73433b0bd0a/src/nwpw/pspw/lib/psi/ |
H A D | geodesic1.F | 130 integer shift1,shift2 local 162 shift1 = (ms-1)*psi_ne(1) 167 > A(1+shift1*npack1), 318 integer ms,j,k,n,shift1,shift2 local 353 shift1 = (ms-1)*psi_ne(1) 455 integer ms,j,k,n,shift1,shift2 local 487 shift1 = (ms-1)*psi_ne(1) 573 integer ms,j,k,n,shift1,shift2 local 604 shift1 = (ms-1)*psi_ne(1) 609 > tG(1+shift1*npack1), [all …]
|
/dports/science/nwchem-data/nwchem-7.0.2-release/src/nwpw/pspw/lib/psi/ |
H A D | geodesic1.F | 130 integer shift1,shift2 162 shift1 = (ms-1)*psi_ne(1) 167 > A(1+shift1*npack1), 318 integer ms,j,k,n,shift1,shift2 353 shift1 = (ms-1)*psi_ne(1) 455 integer ms,j,k,n,shift1,shift2 487 shift1 = (ms-1)*psi_ne(1) 573 integer ms,j,k,n,shift1,shift2 604 shift1 = (ms-1)*psi_ne(1) 609 > tG(1+shift1*npack1), [all …]
|
/dports/devel/cmph/cmph-2.0/src/ |
H A D | bitbool.h | 109 register cmph_uint32 shift1 = bit_idx & 0x0000001f; in set_bits_value() local 110 register cmph_uint32 shift2 = 32 - shift1; in set_bits_value() 112 bits_table[word_idx] &= ~((string_mask) << shift1); in set_bits_value() 113 bits_table[word_idx] |= bits_string << shift1; in set_bits_value() 126 register cmph_uint32 shift1 = bit_idx & 0x0000001f; in get_bits_value() local 127 register cmph_uint32 shift2 = 32-shift1; in get_bits_value() 141 register cmph_uint32 shift1 = pos & 0x0000001f; in set_bits_at_pos() local 142 register cmph_uint32 shift2 = 32-shift1; in set_bits_at_pos() 146 bits_table[word_idx] |= bits_string << shift1; in set_bits_at_pos() 157 register cmph_uint32 shift1 = pos & 0x0000001f; in get_bits_at_pos() local [all …]
|
/dports/devel/gobject-introspection/gobject-introspection-1.70.0/girepository/cmph/ |
H A D | bitbool.h | 118 register cmph_uint32 shift1 = bit_idx & 0x0000001f; in set_bits_value() local 119 register cmph_uint32 shift2 = 32 - shift1; in set_bits_value() 121 bits_table[word_idx] &= ~((string_mask) << shift1); in set_bits_value() 122 bits_table[word_idx] |= bits_string << shift1; in set_bits_value() 135 register cmph_uint32 shift1 = bit_idx & 0x0000001f; in get_bits_value() local 136 register cmph_uint32 shift2 = 32-shift1; in get_bits_value() 150 register cmph_uint32 shift1 = pos & 0x0000001f; in set_bits_at_pos() local 151 register cmph_uint32 shift2 = 32-shift1; in set_bits_at_pos() 155 bits_table[word_idx] |= bits_string << shift1; in set_bits_at_pos() 166 register cmph_uint32 shift1 = pos & 0x0000001f; in get_bits_at_pos() local [all …]
|
/dports/science/nwchem/nwchem-7b21660b82ebd85ef659f6fba7e1e73433b0bd0a/src/nwpw/paw/paw_psi/ |
H A D | paw_geodesic.F | 130 integer shift1,shift2 local 164 shift1 = (ms-1)*paw_psi_ne(1) 170 > A(1+shift1*npack1), 172 > dbl_mb(S(1)+shift1), 260 integer ms,j,k,n,shift1,shift2,shift local 304 shift1 = (ms-1)*paw_psi_ne(1) 398 integer ms,j,k,n,shift1,shift2,shift local 437 shift1 = (ms-1)*paw_psi_ne(1) 523 integer ms,j,k,n,shift1,shift2 local 561 shift1 = (ms-1)*paw_psi_ne(1) [all …]
|
/dports/science/nwchem-data/nwchem-7.0.2-release/src/nwpw/paw/paw_psi/ |
H A D | paw_geodesic.F | 130 integer shift1,shift2 164 shift1 = (ms-1)*paw_psi_ne(1) 170 > A(1+shift1*npack1), 172 > dbl_mb(S(1)+shift1), 260 integer ms,j,k,n,shift1,shift2,shift 304 shift1 = (ms-1)*paw_psi_ne(1) 398 integer ms,j,k,n,shift1,shift2,shift 437 shift1 = (ms-1)*paw_psi_ne(1) 523 integer ms,j,k,n,shift1,shift2 561 shift1 = (ms-1)*paw_psi_ne(1) [all …]
|
/dports/misc/rump/buildrump.sh-b914579/src/common/lib/libc/arch/or1k/string/ |
H A D | memcpy.c | 40 combine_words(unsigned long w1, unsigned long w2, int shift1, int shift2) in combine_words() argument 43 return (w1 << shift1) | (w2 >> shift2); in combine_words() 45 return (w1 >> shift1) | (w2 << shift2); in combine_words() 90 const int shift1 = offset * 8; in memcpy() local 91 const int shift2 = sizeof(*la) * 8 - shift1; in memcpy() 100 la[0] = combine_words(w1, w2, shift1, shift2); in memcpy() 104 la[1] = combine_words(w2, w1, shift1, shift2); in memcpy() 108 la[2] = combine_words(w1, w2, shift1, shift2); in memcpy() 112 la[3] = combine_words(w2, w1, shift1, shift2); in memcpy() 121 *la++ = combine_words(w1, w2, shift1, shift2); in memcpy()
|
/dports/cad/yosys/yosys-yosys-0.12/tests/arch/xilinx/ |
H A D | xilinx_srl.v | 3 reg [3:0] shift1 = 4'b0000; register 8 shift1 <= {shift1[2:0], head}; 12 assign q = {shift2[3], shift1[3]}; 17 reg [3:0] shift1 = 4'b0000; register 22 shift1 <= {shift1[2:0], head}; 26 assign q = {shift2[l2], shift1[l1]};
|
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/testsuite/gfortran.dg/ |
H A D | char_eoshift_2.f90 | 8 integer (kind = 1), dimension (n1, n3) :: shift1 variable 14 shift1 (1, :) = (/ 1, 3, 2, 2 /) 15 shift1 (2, :) = (/ 2, 1, 1, 3 /) 16 shift2 = shift1 17 shift3 = shift1 18 shift4 = shift1 28 call test (eoshift (a, shift1, 'foo', 2), 'foo') 34 call test (eoshift (a, shift1, dim = 2), filler) 47 i2p = i2 + shift1 (i1, i3)
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/gfortran.dg/ |
H A D | char_eoshift_2.f90 | 8 integer (kind = 1), dimension (n1, n3) :: shift1 variable 14 shift1 (1, :) = (/ 1, 3, 2, 2 /) 15 shift1 (2, :) = (/ 2, 1, 1, 3 /) 16 shift2 = shift1 17 shift3 = shift1 18 shift4 = shift1 28 call test (eoshift (a, shift1, 'foo', 2), 'foo') 34 call test (eoshift (a, shift1, dim = 2), filler) 47 i2p = i2 + shift1 (i1, i3)
|
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/gfortran.dg/ |
H A D | char_eoshift_2.f90 | 8 integer (kind = 1), dimension (n1, n3) :: shift1 variable 14 shift1 (1, :) = (/ 1, 3, 2, 2 /) 15 shift1 (2, :) = (/ 2, 1, 1, 3 /) 16 shift2 = shift1 17 shift3 = shift1 18 shift4 = shift1 28 call test (eoshift (a, shift1, 'foo', 2), 'foo') 34 call test (eoshift (a, shift1, dim = 2), filler) 47 i2p = i2 + shift1 (i1, i3)
|
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/testsuite/gfortran.dg/ |
H A D | char_eoshift_2.f90 | 8 integer (kind = 1), dimension (n1, n3) :: shift1 variable 14 shift1 (1, :) = (/ 1, 3, 2, 2 /) 15 shift1 (2, :) = (/ 2, 1, 1, 3 /) 16 shift2 = shift1 17 shift3 = shift1 18 shift4 = shift1 28 call test (eoshift (a, shift1, 'foo', 2), 'foo') 34 call test (eoshift (a, shift1, dim = 2), filler) 47 i2p = i2 + shift1 (i1, i3)
|
/dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/gfortran.dg/ |
H A D | char_eoshift_2.f90 | 8 integer (kind = 1), dimension (n1, n3) :: shift1 variable 14 shift1 (1, :) = (/ 1, 3, 2, 2 /) 15 shift1 (2, :) = (/ 2, 1, 1, 3 /) 16 shift2 = shift1 17 shift3 = shift1 18 shift4 = shift1 28 call test (eoshift (a, shift1, 'foo', 2), 'foo') 34 call test (eoshift (a, shift1, dim = 2), filler) 47 i2p = i2 + shift1 (i1, i3)
|
/dports/lang/gcc9-devel/gcc-9-20211007/gcc/testsuite/gfortran.dg/ |
H A D | char_eoshift_2.f90 | 8 integer (kind = 1), dimension (n1, n3) :: shift1 variable 14 shift1 (1, :) = (/ 1, 3, 2, 2 /) 15 shift1 (2, :) = (/ 2, 1, 1, 3 /) 16 shift2 = shift1 17 shift3 = shift1 18 shift4 = shift1 28 call test (eoshift (a, shift1, 'foo', 2), 'foo') 34 call test (eoshift (a, shift1, dim = 2), filler) 47 i2p = i2 + shift1 (i1, i3)
|
/dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/testsuite/gfortran.dg/ |
H A D | char_eoshift_2.f90 | 8 integer (kind = 1), dimension (n1, n3) :: shift1 variable 14 shift1 (1, :) = (/ 1, 3, 2, 2 /) 15 shift1 (2, :) = (/ 2, 1, 1, 3 /) 16 shift2 = shift1 17 shift3 = shift1 18 shift4 = shift1 28 call test (eoshift (a, shift1, 'foo', 2), 'foo') 34 call test (eoshift (a, shift1, dim = 2), filler) 47 i2p = i2 + shift1 (i1, i3)
|
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/gfortran.dg/ |
H A D | char_eoshift_2.f90 | 8 integer (kind = 1), dimension (n1, n3) :: shift1 variable 14 shift1 (1, :) = (/ 1, 3, 2, 2 /) 15 shift1 (2, :) = (/ 2, 1, 1, 3 /) 16 shift2 = shift1 17 shift3 = shift1 18 shift4 = shift1 28 call test (eoshift (a, shift1, 'foo', 2), 'foo') 34 call test (eoshift (a, shift1, dim = 2), filler) 47 i2p = i2 + shift1 (i1, i3)
|
/dports/lang/gcc48/gcc-4.8.5/gcc/testsuite/gfortran.dg/ |
H A D | char_eoshift_2.f90 | 8 integer (kind = 1), dimension (n1, n3) :: shift1 variable 14 shift1 (1, :) = (/ 1, 3, 2, 2 /) 15 shift1 (2, :) = (/ 2, 1, 1, 3 /) 16 shift2 = shift1 17 shift3 = shift1 18 shift4 = shift1 28 call test (eoshift (a, shift1, 'foo', 2), 'foo') 34 call test (eoshift (a, shift1, dim = 2), filler) 47 i2p = i2 + shift1 (i1, i3)
|
/dports/lang/gcc9-aux/gcc-9.1.0/gcc/testsuite/gfortran.dg/ |
H A D | char_eoshift_2.f90 | 8 integer (kind = 1), dimension (n1, n3) :: shift1 variable 14 shift1 (1, :) = (/ 1, 3, 2, 2 /) 15 shift1 (2, :) = (/ 2, 1, 1, 3 /) 16 shift2 = shift1 17 shift3 = shift1 18 shift4 = shift1 28 call test (eoshift (a, shift1, 'foo', 2), 'foo') 34 call test (eoshift (a, shift1, dim = 2), filler) 47 i2p = i2 + shift1 (i1, i3)
|
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/testsuite/gfortran.dg/ |
H A D | char_eoshift_2.f90 | 8 integer (kind = 1), dimension (n1, n3) :: shift1 variable 14 shift1 (1, :) = (/ 1, 3, 2, 2 /) 15 shift1 (2, :) = (/ 2, 1, 1, 3 /) 16 shift2 = shift1 17 shift3 = shift1 18 shift4 = shift1 28 call test (eoshift (a, shift1, 'foo', 2), 'foo') 34 call test (eoshift (a, shift1, dim = 2), filler) 47 i2p = i2 + shift1 (i1, i3)
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/gfortran.dg/ |
H A D | char_eoshift_2.f90 | 8 integer (kind = 1), dimension (n1, n3) :: shift1 variable 14 shift1 (1, :) = (/ 1, 3, 2, 2 /) 15 shift1 (2, :) = (/ 2, 1, 1, 3 /) 16 shift2 = shift1 17 shift3 = shift1 18 shift4 = shift1 28 call test (eoshift (a, shift1, 'foo', 2), 'foo') 34 call test (eoshift (a, shift1, dim = 2), filler) 47 i2p = i2 + shift1 (i1, i3)
|