Bits, bytes and lists of numbers (Pure 027's stage 1): hex literals (i64s), & | ^ ~ << >> on i64s by Python's precedence (a shift's count a number or an i64), b[i] the byte at a position of bytes (a field's, an argument's, a parameter's, bytes(t)), list of i64 (number, bool, text) as records of one field whose items read as their values, a let's list begun with [elements], xs[i] read and written by position (not_found past the end), bytes(xs), and a, b = x, y and let a, b = x, y given at once; examples/sha256.aup; 12 diagnostics, one accepted form, 192 random bit expressions against Python's integers and an app of bytes and lists

1 files changed, 56 insertions, 0 deletions

diff --git a/examples/sha256.aup b/examples/sha256.aup
new file mode 100644
index 0000000..2558e55
--- /dev/null
+++ b/examples/sha256.aup
@@ -0,0 +1,56 @@
+# SHA-256 (FIPS 180-4): the digest of a message's bytes, in hex.
+state digest: text
+input hash = message { data: bytes }
+
+fn rotr(x, n) = (x >> n | x << (32 - n)) & 0xffffffff
+# The byte at j of the message padded to whole blocks: 0x80 after it, its length in bits in the last 8.
+fn padded(data, size, total, j) = (if j < size { data[j] } else if j == size { 0x80 }
+  else if j >= total - 8 { i64(size) * 8 >> 8 * (total - 1 - j) & 0xff } else { 0 })
+
+on hash {
+  let k: list of i64 = [
+    0x428a2f98, 0x71374491, 0xb5c0fbcf, 0xe9b5dba5, 0x3956c25b, 0x59f111f1, 0x923f82a4, 0xab1c5ed5,
+    0xd807aa98, 0x12835b01, 0x243185be, 0x550c7dc3, 0x72be5d74, 0x80deb1fe, 0x9bdc06a7, 0xc19bf174,
+    0xe49b69c1, 0xefbe4786, 0x0fc19dc6, 0x240ca1cc, 0x2de92c6f, 0x4a7484aa, 0x5cb0a9dc, 0x76f988da,
+    0x983e5152, 0xa831c66d, 0xb00327c8, 0xbf597fc7, 0xc6e00bf3, 0xd5a79147, 0x06ca6351, 0x14292967,
+    0x27b70a85, 0x2e1b2138, 0x4d2c6dfc, 0x53380d13, 0x650a7354, 0x766a0abb, 0x81c2c92e, 0x92722c85,
+    0xa2bfe8a1, 0xa81a664b, 0xc24b8b70, 0xc76c51a3, 0xd192e819, 0xd6990624, 0xf40e3585, 0x106aa070,
+    0x19a4c116, 0x1e376c08, 0x2748774c, 0x34b0bcb5, 0x391c0cb3, 0x4ed8aa4a, 0x5b9cca4f, 0x682e6ff3,
+    0x748f82ee, 0x78a5636f, 0x84c87814, 0x8cc70208, 0x90befffa, 0xa4506ceb, 0xbef9a3f7, 0xc67178f2
+  ]
+  let h0, h1, h2, h3, h4, h5, h6, h7 = 0x6a09e667, 0xbb67ae85, 0x3c6ef372, 0xa54ff53a, 0x510e527f, 0x9b05688c,
+    0x1f83d9ab, 0x5be0cd19
+  let w: list of i64
+  for t in 0 .. 64 { w.append(0) }
+  let size = hash.data.bytes
+  let total = (floor((size + 8) / 64) + 1) * 64
+  for block in 0 .. total / 64 {
+    for t in 0 .. 16 {
+      let j = block * 64 + t * 4
+      w[t] = (padded(hash.data, size, total, j) << 24 | padded(hash.data, size, total, j + 1) << 16 |
+              padded(hash.data, size, total, j + 2) << 8 | padded(hash.data, size, total, j + 3))
+    }
+    for t in 16 .. 64 {
+      let x = w[t - 15]
+      let y = w[t - 2]
+      w[t] = (w[t - 16] + (rotr(x, 7) ^ rotr(x, 18) ^ x >> 3) + w[t - 7] + (rotr(y, 17) ^ rotr(y, 19) ^ y >> 10)) & 0xffffffff
+    }
+    let a, b, c, d, e, f, g, hh = h0, h1, h2, h3, h4, h5, h6, h7
+    for t in 0 .. 64 {
+      let t1 = (hh + (rotr(e, 6) ^ rotr(e, 11) ^ rotr(e, 25)) + (e & f ^ ~e & g) + k[t] + w[t]) & 0xffffffff
+      let t2 = ((rotr(a, 2) ^ rotr(a, 13) ^ rotr(a, 22)) + (a & b ^ a & c ^ b & c)) & 0xffffffff
+      a, b, c, d, e, f, g, hh = (t1 + t2) & 0xffffffff, a, b, c, (d + t1) & 0xffffffff, e, f, g
+    }
+    h0, h1, h2, h3 = (h0 + a) & 0xffffffff, (h1 + b) & 0xffffffff, (h2 + c) & 0xffffffff, (h3 + d) & 0xffffffff
+    h4, h5, h6, h7 = (h4 + e) & 0xffffffff, (h5 + f) & 0xffffffff, (h6 + g) & 0xffffffff, (h7 + hh) & 0xffffffff
+  }
+  let h: list of i64 = [h0, h1, h2, h3, h4, h5, h6, h7]
+  let hex: list of i64
+  for i in 0 .. 8 {
+    for s in 0 .. 8 {
+      let nibble = h[i] >> 28 - 4 * s & 0xf
+      hex.append(if nibble < 10 { 48 + nibble } else { 87 + nibble })
+    }
+  }
+  digest = text(bytes(hex))
+}