Home
last modified time | relevance | path

Searched refs:SWord8 (Results 1 – 25 of 92) sorted by relevance

1234

/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/GoldFiles/
H A Daes128Dec.gold526 const SWord8 s529 = (SWord8) s520;
543 const SWord8 s546 = (SWord8) s537;
560 const SWord8 s563 = (SWord8) s554;
577 const SWord8 s580 = (SWord8) s571;
594 const SWord8 s597 = (SWord8) s588;
611 const SWord8 s614 = (SWord8) s605;
628 const SWord8 s631 = (SWord8) s622;
645 const SWord8 s648 = (SWord8) s639;
662 const SWord8 s665 = (SWord8) s656;
679 const SWord8 s682 = (SWord8) s673;
[all …]
H A Dlegato.gold24 s13 :: SWord8 = s0 >>> 1
25 s15 :: SWord8 = s13 | s14
26 s17 :: SWord8 = s13 & s16
33 s24 :: SWord8 = s18 >>> 1
34 s25 :: SWord8 = s14 | s24
35 s26 :: SWord8 = s16 & s24
40 s31 :: SWord8 = s2 >>> 1
41 s32 :: SWord8 = s16 & s31
44 s35 :: SWord8 = s27 >>> 1
45 s36 :: SWord8 = s14 | s35
[all …]
H A Dlegato_c.gold51 typedef uint8_t SWord8;
63 void legatoMult(const SWord8 x, const SWord8 y, SWord8 *hi,
64 SWord8 *lo);
77 SWord8 hi;
78 SWord8 lo;
94 void legatoMult(const SWord8 x, const SWord8 y, SWord8 *hi,
95 SWord8 *lo)
97 const SWord8 s0 = x;
98 const SWord8 s1 = y;
103 const SWord8 s8 = s6 & 127;
[all …]
H A Daes128Lib.gold132 const SWord8 s269 = (SWord8) s260;
149 const SWord8 s286 = (SWord8) s277;
166 const SWord8 s303 = (SWord8) s294;
183 const SWord8 s320 = (SWord8) s311;
200 const SWord8 s337 = (SWord8) s328;
217 const SWord8 s354 = (SWord8) s345;
234 const SWord8 s371 = (SWord8) s362;
251 const SWord8 s388 = (SWord8) s379;
268 const SWord8 s405 = (SWord8) s396;
285 const SWord8 s422 = (SWord8) s413;
[all …]
H A Dcounts.gold2 s0 :: SWord8
3 s1 :: SWord8
4 s2 :: SWord8
5 s3 :: SWord8
6 s4 :: SWord8
7 s5 :: SWord8
8 s6 :: SWord8
9 s7 :: SWord8
10 s8 :: SWord8
11 s9 :: SWord8
[all …]
H A Daes128Enc.gold419 const SWord8 s1297 = (SWord8) s1296;
431 const SWord8 s1309 = (SWord8) s1300;
447 const SWord8 s1325 = (SWord8) s520;
463 const SWord8 s1341 = (SWord8) s778;
479 const SWord8 s1357 = (SWord8) s1037;
484 const SWord8 s1362 = (SWord8) s1361;
496 const SWord8 s1374 = (SWord8) s1365;
512 const SWord8 s1390 = (SWord8) s1314;
528 const SWord8 s1406 = (SWord8) s1329;
544 const SWord8 s1422 = (SWord8) s1345;
[all …]
H A Dgcd.gold51 typedef uint8_t SWord8;
63 SWord8 sgcd(const SWord8 x, const SWord8 y);
88 SWord8 sgcd(const SWord8 x, const SWord8 y)
90 const SWord8 s0 = x;
91 const SWord8 s1 = y;
94 const SWord8 s5 = s3 ? s0 : s4;
97 const SWord8 s8 = s6 ? s1 : s7;
100 const SWord8 s11 = s9 ? s5 : s10;
135 const SWord8 s46 = s9 ? s5 : s45;
136 const SWord8 s47 = s6 ? s1 : s46;
[all …]
H A Dmerge.gold51 typedef uint8_t SWord8;
63 void merge(const SWord8 *xs, SWord8 *ys);
76 const SWord8 xs[5] = {
85 SWord8 ys[5];
102 void merge(const SWord8 *xs, SWord8 *ys)
104 const SWord8 s0 = xs[0];
105 const SWord8 s1 = xs[1];
106 const SWord8 s2 = xs[2];
107 const SWord8 s3 = xs[3];
108 const SWord8 s4 = xs[4];
[all …]
H A DpopCount2.gold51 typedef uint8_t SWord8;
63 SWord8 popCount(const SWord64 x);
88 SWord8 popCount(const SWord64 x)
91 static const SWord8 table0[] = {
110 const SWord8 s17 = s12 + s16;
114 const SWord8 s21 = s17 + s20;
118 const SWord8 s25 = s21 + s24;
122 const SWord8 s29 = s25 + s28;
126 const SWord8 s33 = s29 + s32;
130 const SWord8 s37 = s33 + s36;
[all …]
H A DpopCount1.gold51 typedef uint8_t SWord8;
63 SWord8 popCount(const SWord64 x);
88 SWord8 popCount(const SWord64 x)
91 static const SWord8 table0[] = {
110 const SWord8 s17 = s12 + s16;
114 const SWord8 s21 = s17 + s20;
118 const SWord8 s25 = s21 + s24;
122 const SWord8 s29 = s25 + s28;
126 const SWord8 s33 = s29 + s32;
130 const SWord8 s37 = s33 + s36;
[all …]
H A DaddSub.gold51 typedef uint8_t SWord8;
63 void addSub(const SWord8 x, const SWord8 y, SWord8 *sum,
64 SWord8 *dif);
77 SWord8 sum;
78 SWord8 dif;
94 void addSub(const SWord8 x, const SWord8 y, SWord8 *sum,
95 SWord8 *dif)
97 const SWord8 s0 = x;
98 const SWord8 s1 = y;
99 const SWord8 s2 = s0 + s1;
[all …]
H A DselUnchecked.gold51 typedef uint8_t SWord8;
63 SWord8 selUnChecked(const SWord8 x);
76 const SWord8 __result = selUnChecked(65);
88 SWord8 selUnChecked(const SWord8 x)
90 const SWord8 s0 = x;
91 const SWord8 s3 = s0 + 2;
92 const SWord8 table0[] = {
95 const SWord8 s5 = table0[s0];
H A DselChecked.gold51 typedef uint8_t SWord8;
63 SWord8 selChecked(const SWord8 x);
76 const SWord8 __result = selChecked(65);
88 SWord8 selChecked(const SWord8 x)
90 const SWord8 s0 = x;
91 const SWord8 s3 = s0 + 2;
92 const SWord8 table0[] = {
95 const SWord8 s5 = s0 >= 2 ? 3 : table0[s0];
H A Dbasic-3_1.gold2 s0 :: SWord8, aliasing "x"
3 s1 :: SWord8, aliasing "y"
11 s2 :: SWord8 = s0 + s1
12 s3 :: SWord8 = s0 - s1
13 s4 :: SWord8 = s2 * s3
H A Dbasic-3_2.gold2 s0 :: SWord8, aliasing "x"
3 s1 :: SWord8, aliasing "y"
11 s2 :: SWord8 = s0 * s0
12 s3 :: SWord8 = s1 * s1
13 s4 :: SWord8 = s2 - s3
H A Dbasic-5_1.gold2 s0 :: SWord8, aliasing "x"
3 s1 :: SWord8, aliasing "q"
11 s2 :: SWord8 = s0 + s0
12 s3 :: SWord8 = s0 - s0
13 s4 :: SWord8 = s2 * s3
H A Dbasic-3_3.gold2 s0 :: SWord8, aliasing "x"
3 s1 :: SWord8, aliasing "y"
11 s2 :: SWord8 = s0 + s1
12 s3 :: SWord8 = s2 * s2
H A Dbasic-3_4.gold2 s0 :: SWord8, aliasing "x"
3 s1 :: SWord8, aliasing "y"
11 s2 :: SWord8 = s0 + s1
12 s3 :: SWord8 = s2 * s2
H A Dbasic-4_1.gold2 s0 :: SWord8, aliasing "x"
10 s1 :: SWord8 = s0 + s0
11 s2 :: SWord8 = s0 - s0
12 s3 :: SWord8 = s1 * s2
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/Basics/
H A DIndex.hs38 let r1 = (select :: [SWord8] -> SWord8 -> SInt8 -> SWord8) elts err ind
39 r2 = (select :: [SWord8] -> SWord8 -> SWord8 -> SWord8) elts err ind2
57 …let r1 = (select :: [(SWord8, SWord8)] -> (SWord8, SWord8) -> SInt8 -> (SWord8, SWord8)) elts err …
58 …r2 = (select :: [(SWord8, SWord8)] -> (SWord8, SWord8) -> SWord8 -> (SWord8, SWord8)) elts err ind2
73 …let r1 = (select :: [Either SWord8 SWord8] -> Either SWord8 SWord8 -> SInt8 -> Either SWord8 SWord…
H A DQuantifiers.hs46 …t1 :: (String -> Symbolic SWord8) -> (String -> Symbolic SWord8) -> (SWord8 -> SWord8 -> SBool) ->…
49 …t2 :: (String -> Symbolic SWord8) -> (String -> Symbolic SWord8) -> (SWord8 -> SWord8 -> SBool) ->…
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Documentation/SBV/Examples/CodeGeneration/
H A DGCD.hs35 sgcd :: SWord8 -> SWord8 -> SWord8
37 where go :: SWord8 -> SWord8 -> SWord8 -> SWord8
57 sgcdIsCorrect :: SWord8 -> SWord8 -> SWord8 -> SBool
H A DPopulationCount.hs31 popCountSlow :: SWord64 -> SWord8
33 where go :: SWord64 -> Int -> SWord8 -> SWord8
45 popCountFast :: SWord64 -> SWord8
47 where go :: SWord64 -> Int -> SWord8 -> SWord8
54 pop8 :: [SWord8]
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Documentation/SBV/Examples/Crypto/
H A DRC4.hs47 type Key = [SWord8]
51 type RC4 = (S, SWord8, SWord8)
58 swap :: SWord8 -> SWord8 -> S -> S
64 prga :: RC4 -> (SWord8, RC4)
83 mix :: (SWord8, S) -> SWord8 -> (SWord8, S)
88 keySchedule :: Key -> [SWord8]
90 where genKeys :: RC4 -> [SWord8]
94 keyScheduleString :: String -> [SWord8]
112 encrypt :: String -> String -> [SWord8]
126 decrypt :: String -> [SWord8] -> String
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Documentation/SBV/Examples/Uninterpreted/
H A DFunction.hs19 f :: SWord8 -> SWord8 -> SWord16
26 thmGood :: SWord8 -> SWord8 -> SWord8 -> SBool

1234