~/bend-docscommunity

src/crypto/keccak/lane.bend checks

raw source on the hub · import 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/lane.bend as Lane

2 imports
import Base
import ./types.bend as T

Definitions

def xor source · line 4 · raw

@a:0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane -> @b:0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane -> 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane

def chi source · line 8 · raw

@a:0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane -> @b:0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane -> @c:0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane -> 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane

def small source · line 13 · raw

@+lo:U32 -> @+hi:U32 -> @+n:Nat -> 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane

def rotate_if source · line 16 · raw

@lo:U32 -> @hi:U32 -> @+n:Nat -> @b:Bool -> 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane

def rotate source · line 21 · raw

@s:0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane -> @+n:Nat -> 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane

def rol0 source · line 30 · raw

@a:0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane -> 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane

Fixed rotations make constant shifts visible to the native compiler.

def rol1 source · line 35 · raw

@a:0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane -> 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane

def rol2 source · line 40 · raw

@a:0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane -> 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane

def rol3 source · line 45 · raw

@a:0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane -> 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane

def rol6 source · line 50 · raw

@a:0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane -> 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane

def rol8 source · line 55 · raw

@a:0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane -> 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane

def rol10 source · line 60 · raw

@a:0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane -> 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane

def rol14 source · line 65 · raw

@a:0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane -> 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane

def rol15 source · line 70 · raw

@a:0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane -> 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane

def rol18 source · line 75 · raw

@a:0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane -> 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane

def rol20 source · line 80 · raw

@a:0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane -> 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane

def rol21 source · line 85 · raw

@a:0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane -> 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane

def rol25 source · line 90 · raw

@a:0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane -> 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane

def rol27 source · line 95 · raw

@a:0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane -> 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane

def rol28 source · line 100 · raw

@a:0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane -> 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane

def rol36 source · line 105 · raw

@a:0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane -> 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane

def rol39 source · line 110 · raw

@a:0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane -> 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane

def rol41 source · line 115 · raw

@a:0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane -> 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane

def rol43 source · line 120 · raw

@a:0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane -> 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane

def rol44 source · line 125 · raw

@a:0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane -> 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane

def rol45 source · line 130 · raw

@a:0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane -> 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane

def rol55 source · line 135 · raw

@a:0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane -> 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane

def rol56 source · line 140 · raw

@a:0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane -> 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane

def rol61 source · line 145 · raw

@a:0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane -> 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane

def rol62 source · line 150 · raw

@a:0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane -> 0x9ee2e9a299991dcc089fe22c7f3ceb5f/src/crypto/keccak/types.Lane