From faa2169a72443217c0b27f086ca786d962c91580 Mon Sep 17 00:00:00 2001 From: Chris Duncan Date: Fri, 17 Jan 2025 16:44:16 -0800 Subject: [PATCH] Start inlining m[sigma] addition. --- benchmarks.md | 18 ++--- src/shaders/compute.wgsl | 138 +++++++++++++-------------------------- test.html | 2 +- 3 files changed, 56 insertions(+), 102 deletions(-) diff --git a/benchmarks.md b/benchmarks.md index 40e069e..4534b70 100644 --- a/benchmarks.md +++ b/benchmarks.md @@ -31,16 +31,16 @@ After fixing test page bug setting Effort incorrectly "geometric": 171.1679993707545 } -"NanoPow (WebGPU) | Effort: 4 | Dispatch: 1048576 | Threads: 67108864": { +"NanoPow (WebGPU) | Effort: 4 | Dispatch: 4194304 | Threads: 268435456": { "count": 512, - "total": 132850.19999996573, - "rate": 4.789670775618824, - "min": 6.899999998509884, - "max": 1723.5, - "arithmetic": 259.47304687493306, - "truncated": 208.78261718746217, - "harmonic": 74.8604325904412, - "geometric": 155.17772167307342 + "total": 130945.59999998286, + "rate": 4.937419176281642, + "min": 7, + "max": 1650.7999999970198, + "arithmetic": 255.75312499996653, + "truncated": 202.53496093744616, + "harmonic": 78.50458783656828, + "geometric": 155.70211798018283 } diff --git a/src/shaders/compute.wgsl b/src/shaders/compute.wgsl index beec4a9..50ccc2f 100644 --- a/src/shaders/compute.wgsl +++ b/src/shaders/compute.wgsl @@ -138,13 +138,11 @@ fn main(id: vec3) { /** * r=0, i=0, a=v[0], b=v[4], c=v[8], d=v[12] */ - v0 = v0 + v4 + vec2(0u, u32(v0.x + v4.x < v0.x)); - v0 = v0 + m0 + vec2(0u, u32(v0.x + m0.x < v0.x)); + v0 = v0 + v4 + m0 + vec2(0u, u32(v0.x + v4.x < v0.x)) + vec2(0u, u32(v0.x + v4.x + m0.x < v0.x + v4.x)); v12 = v12.yx ^ v0.yx; v8 = v8 + v12 + vec2(0u, u32(v8.x + v12.x < v8.x)); v4 = ((v4 ^ v8).xy >> ROTATE_24) | ((v4 ^ v8).yx << ROTATE_8); - v0 = v0 + v4 + vec2(0u, u32(v0.x + v4.x < v0.x)); - v0 = v0 + m1 + vec2(0u, u32(v0.x + m1.x < v0.x)); + v0 = v0 + v4 + m1 + vec2(0u, u32(v0.x + v4.x < v0.x)) + vec2(0u, u32(v0.x + v4.x + m1.x < v0.x + v4.x)); v12 = ((v12 ^ v0).xy >> ROTATE_16) | ((v12 ^ v0).yx << ROTATE_16); v8 = v8 + v12 + vec2(0u, u32(v8.x + v12.x < v8.x)); v4 = ((v4 ^ v8).xy << ROTATE_1) | ((v4 ^ v8).yx >> ROTATE_31); @@ -152,13 +150,11 @@ fn main(id: vec3) { /** * r=0, i=1, a=v[1], b=v[5], c=v[9], d=v[13] */ - v1 = v1 + v5 + vec2(0u, u32(v1.x + v5.x < v1.x)); - v1 = v1 + m2 + vec2(0u, u32(v1.x + m2.x < v1.x)); + v1 = v1 + v5 + m2 + vec2(0u, u32(v1.x + v5.x < v1.x)) + vec2(0u, u32(v1.x + v5.x + m2.x < v1.x + v5.x)); v13 = v13.yx ^ v1.yx; v9 = v9 + v13 + vec2(0u, u32(v9.x + v13.x < v9.x)); v5 = ((v5 ^ v9).xy >> ROTATE_24) | ((v5 ^ v9).yx << ROTATE_8); - v1 = v1 + v5 + vec2(0u, u32(v1.x + v5.x < v1.x)); - v1 = v1 + m3 + vec2(0u, u32(v1.x + m3.x < v1.x)); + v1 = v1 + v5 + m3 + vec2(0u, u32(v1.x + v5.x < v1.x)) + vec2(0u, u32(v1.x + v5.x + m3.x < v1.x + v5.x)); v13 = ((v13 ^ v1).xy >> ROTATE_16) | ((v13 ^ v1).yx << ROTATE_16); v9 = v9 + v13 + vec2(0u, u32(v9.x + v13.x < v9.x)); v5 = ((v5 ^ v9).xy << ROTATE_1) | ((v5 ^ v9).yx >> ROTATE_31); @@ -166,8 +162,7 @@ fn main(id: vec3) { /** * r=0, i=2, a=v[2], b=v[6], c=v[10], d=v[14] */ - v2 = v2 + v6 + vec2(0u, u32(v2.x + v6.x < v2.x)); - v2 = v2 + m4 + vec2(0u, u32(v2.x + m4.x < v2.x)); + v2 = v2 + v6 + m4 + vec2(0u, u32(v2.x + v6.x < v2.x)) + vec2(0u, u32(v2.x + v6.x + m4.x < v2.x + v6.x)); v14 = v14.yx ^ v2.yx; v10 = v10 + v14 + vec2(0u, u32(v10.x + v14.x < v10.x)); v6 = ((v6 ^ v10).xy >> ROTATE_24) | ((v6 ^ v10).yx << ROTATE_8); @@ -272,8 +267,7 @@ fn main(id: vec3) { /** * r=1, i=1, a=v[1], b=v[5], c=v[9], d=v[13] */ - v1 = v1 + v5 + vec2(0u, u32(v1.x + v5.x < v1.x)); - v1 = v1 + m4 + vec2(0u, u32(v1.x + m4.x < v1.x)); + v1 = v1 + v5 + m4 + vec2(0u, u32(v1.x + v5.x < v1.x)) + vec2(0u, u32(v1.x + v5.x + m4.x < v1.x + v5.x)); v13 = v13.yx ^ v1.yx; v9 = v9 + v13 + vec2(0u, u32(v9.x + v13.x < v9.x)); v5 = ((v5 ^ v9).xy >> ROTATE_24) | ((v5 ^ v9).yx << ROTATE_8); @@ -314,8 +308,7 @@ fn main(id: vec3) { /** * r=1, i=4, a=v[0], b=v[5], c=v[10], d=v[15] */ - v0 = v0 + v5 + vec2(0u, u32(v0.x + v5.x < v0.x)); - v0 = v0 + m1 + vec2(0u, u32(v0.x + m1.x < v0.x)); + v0 = v0 + v5 + m1 + vec2(0u, u32(v0.x + v5.x < v0.x)) + vec2(0u, u32(v0.x + v5.x + m1.x < v0.x + v5.x)); v15 = v15.yx ^ v0.yx; v10 = v10 + v15 + vec2(0u, u32(v10.x + v15.x < v10.x)); v5 = ((v5 ^ v10).xy >> ROTATE_24) | ((v5 ^ v10).yx << ROTATE_8); @@ -328,13 +321,11 @@ fn main(id: vec3) { /** * r=1, i=5, a=v[1], b=v[6], c=v[11], d=v[12] */ - v1 = v1 + v6 + vec2(0u, u32(v1.x + v6.x < v1.x)); - v1 = v1 + m0 + vec2(0u, u32(v1.x + m0.x < v1.x)); + v1 = v1 + v6 + m0 + vec2(0u, u32(v1.x + v6.x < v1.x)) + vec2(0u, u32(v1.x + v6.x + m0.x < v1.x + v6.x)); v12 = v12.yx ^ v1.yx; v11 = v11 + v12 + vec2(0u, u32(v11.x + v12.x < v11.x)); v6 = ((v6 ^ v11).xy >> ROTATE_24) | ((v6 ^ v11).yx << ROTATE_8); - v1 = v1 + v6 + vec2(0u, u32(v1.x + v6.x < v1.x)); - v1 = v1 + m2 + vec2(0u, u32(v1.x + m2.x < v1.x)); + v1 = v1 + v6 + m2 + vec2(0u, u32(v1.x + v6.x < v1.x)) + vec2(0u, u32(v1.x + v6.x + m2.x < v1.x + v6.x)); v12 = ((v12 ^ v1).xy >> ROTATE_16) | ((v12 ^ v1).yx << ROTATE_16); v11 = v11 + v12 + vec2(0u, u32(v11.x + v12.x < v11.x)); v6 = ((v6 ^ v11).xy << ROTATE_1) | ((v6 ^ v11).yx >> ROTATE_31); @@ -361,8 +352,7 @@ fn main(id: vec3) { v14 = v14.yx ^ v3.yx; v9 = v9 + v14 + vec2(0u, u32(v9.x + v14.x < v9.x)); v4 = ((v4 ^ v9).xy >> ROTATE_24) | ((v4 ^ v9).yx << ROTATE_8); - v3 = v3 + v4 + vec2(0u, u32(v3.x + v4.x < v3.x)); - v3 = v3 + m3 + vec2(0u, u32(v3.x + m3.x < v3.x)); + v3 = v3 + v4 + m3 + vec2(0u, u32(v3.x + v4.x < v3.x)) + vec2(0u, u32(v3.x + v4.x + m3.x < v3.x + v4.x)); v14 = ((v14 ^ v3).xy >> ROTATE_16) | ((v14 ^ v3).yx << ROTATE_16); v9 = v9 + v14 + vec2(0u, u32(v9.x + v14.x < v9.x)); v4 = ((v4 ^ v9).xy << ROTATE_1) | ((v4 ^ v9).yx >> ROTATE_31); @@ -397,8 +387,7 @@ fn main(id: vec3) { v13 = v13.yx ^ v1.yx; v9 = v9 + v13 + vec2(0u, u32(v9.x + v13.x < v9.x)); v5 = ((v5 ^ v9).xy >> ROTATE_24) | ((v5 ^ v9).yx << ROTATE_8); - v1 = v1 + v5 + vec2(0u, u32(v1.x + v5.x < v1.x)); - v1 = v1 + m0 + vec2(0u, u32(v1.x + m0.x < v1.x)); + v1 = v1 + v5 + m0 + vec2(0u, u32(v1.x + v5.x < v1.x)) + vec2(0u, u32(v1.x + v5.x + m0.x < v1.x + v5.x)); v13 = ((v13 ^ v1).xy >> ROTATE_16) | ((v13 ^ v1).yx << ROTATE_16); v9 = v9 + v13 + vec2(0u, u32(v9.x + v13.x < v9.x)); v5 = ((v5 ^ v9).xy << ROTATE_1) | ((v5 ^ v9).yx >> ROTATE_31); @@ -411,8 +400,7 @@ fn main(id: vec3) { v14 = v14.yx ^ v2.yx; v10 = v10 + v14 + vec2(0u, u32(v10.x + v14.x < v10.x)); v6 = ((v6 ^ v10).xy >> ROTATE_24) | ((v6 ^ v10).yx << ROTATE_8); - v2 = v2 + v6 + vec2(0u, u32(v2.x + v6.x < v2.x)); - v2 = v2 + m2 + vec2(0u, u32(v2.x + m2.x < v2.x)); + v2 = v2 + v6 + m2 + vec2(0u, u32(v2.x + v6.x < v2.x)) + vec2(0u, u32(v2.x + v6.x + m2.x < v2.x + v6.x)); v14 = ((v14 ^ v2).xy >> ROTATE_16) | ((v14 ^ v2).yx << ROTATE_16); v10 = v10 + v14 + vec2(0u, u32(v10.x + v14.x < v10.x)); v6 = ((v6 ^ v10).xy << ROTATE_1) | ((v6 ^ v10).yx >> ROTATE_31); @@ -448,8 +436,7 @@ fn main(id: vec3) { /** * r=2, i=5, a=v[1], b=v[6], c=v[11], d=v[12] */ - v1 = v1 + v6 + vec2(0u, u32(v1.x + v6.x < v1.x)); - v1 = v1 + m3 + vec2(0u, u32(v1.x + m3.x < v1.x)); + v1 = v1 + v6 + m3 + vec2(0u, u32(v1.x + v6.x < v1.x)) + vec2(0u, u32(v1.x + v6.x + m3.x < v1.x + v6.x)); v12 = v12.yx ^ v1.yx; v11 = v11 + v12 + vec2(0u, u32(v11.x + v12.x < v11.x)); v6 = ((v6 ^ v11).xy >> ROTATE_24) | ((v6 ^ v11).yx << ROTATE_8); @@ -467,8 +454,7 @@ fn main(id: vec3) { v13 = v13.yx ^ v2.yx; v8 = v8 + v13 + vec2(0u, u32(v8.x + v13.x < v8.x)); v7 = ((v7 ^ v8).xy >> ROTATE_24) | ((v7 ^ v8).yx << ROTATE_8); - v2 = v2 + v7 + vec2(0u, u32(v2.x + v7.x < v2.x)); - v2 = v2 + m1 + vec2(0u, u32(v2.x + m1.x < v2.x)); + v2 = v2 + v7 + m1 + vec2(0u, u32(v2.x + v7.x < v2.x)) + vec2(0u, u32(v2.x + v7.x + m1.x < v2.x + v7.x)); v13 = ((v13 ^ v2).xy >> ROTATE_16) | ((v13 ^ v2).yx << ROTATE_16); v8 = v8 + v13 + vec2(0u, u32(v8.x + v13.x < v8.x)); v7 = ((v7 ^ v8).xy << ROTATE_1) | ((v7 ^ v8).yx >> ROTATE_31); @@ -481,8 +467,7 @@ fn main(id: vec3) { v14 = v14.yx ^ v3.yx; v9 = v9 + v14 + vec2(0u, u32(v9.x + v14.x < v9.x)); v4 = ((v4 ^ v9).xy >> ROTATE_24) | ((v4 ^ v9).yx << ROTATE_8); - v3 = v3 + v4 + vec2(0u, u32(v3.x + v4.x < v3.x)); - v3 = v3 + m4 + vec2(0u, u32(v3.x + m4.x < v3.x)); + v3 = v3 + v4 + m4 + vec2(0u, u32(v3.x + v4.x < v3.x)) + vec2(0u, u32(v3.x + v4.x + m4.x < v3.x + v4.x)); v14 = ((v14 ^ v3).xy >> ROTATE_16) | ((v14 ^ v3).yx << ROTATE_16); v9 = v9 + v14 + vec2(0u, u32(v9.x + v14.x < v9.x)); v4 = ((v4 ^ v9).xy << ROTATE_1) | ((v4 ^ v9).yx >> ROTATE_31); @@ -512,13 +497,11 @@ fn main(id: vec3) { /** * r=3, i=1, a=v[1], b=v[5], c=v[9], d=v[13] */ - v1 = v1 + v5 + vec2(0u, u32(v1.x + v5.x < v1.x)); - v1 = v1 + m3 + vec2(0u, u32(v1.x + m3.x < v1.x)); + v1 = v1 + v5 + m3 + vec2(0u, u32(v1.x + v5.x < v1.x)) + vec2(0u, u32(v1.x + v5.x + m3.x < v1.x + v5.x)); v13 = v13.yx ^ v1.yx; v9 = v9 + v13 + vec2(0u, u32(v9.x + v13.x < v9.x)); v5 = ((v5 ^ v9).xy >> ROTATE_24) | ((v5 ^ v9).yx << ROTATE_8); - v1 = v1 + v5 + vec2(0u, u32(v1.x + v5.x < v1.x)); - v1 = v1 + m1 + vec2(0u, u32(v1.x + m1.x < v1.x)); + v1 = v1 + v5 + m1 + vec2(0u, u32(v1.x + v5.x < v1.x)) + vec2(0u, u32(v1.x + v5.x + m1.x < v1.x + v5.x)); v13 = ((v13 ^ v1).xy >> ROTATE_16) | ((v13 ^ v1).yx << ROTATE_16); v9 = v9 + v13 + vec2(0u, u32(v9.x + v13.x < v9.x)); v5 = ((v5 ^ v9).xy << ROTATE_1) | ((v5 ^ v9).yx >> ROTATE_31); @@ -554,8 +537,7 @@ fn main(id: vec3) { /** * r=3, i=4, a=v[0], b=v[5], c=v[10], d=v[15] */ - v0 = v0 + v5 + vec2(0u, u32(v0.x + v5.x < v0.x)); - v0 = v0 + m2 + vec2(0u, u32(v0.x + m2.x < v0.x)); + v0 = v0 + v5 + m2 + vec2(0u, u32(v0.x + v5.x < v0.x)) + vec2(0u, u32(v0.x + v5.x + m2.x < v0.x + v5.x)); v15 = v15.yx ^ v0.yx; v10 = v10 + v15 + vec2(0u, u32(v10.x + v15.x < v10.x)); v5 = ((v5 ^ v10).xy >> ROTATE_24) | ((v5 ^ v10).yx << ROTATE_8); @@ -582,13 +564,11 @@ fn main(id: vec3) { /** * r=3, i=6, a=v[2], b=v[7], c=v[8], d=v[13] */ - v2 = v2 + v7 + vec2(0u, u32(v2.x + v7.x < v2.x)); - v2 = v2 + m4 + vec2(0u, u32(v2.x + m4.x < v2.x)); + v2 = v2 + v7 + m4 + vec2(0u, u32(v2.x + v7.x < v2.x)) + vec2(0u, u32(v2.x + v7.x + m4.x < v2.x + v7.x)); v13 = v13.yx ^ v2.yx; v8 = v8 + v13 + vec2(0u, u32(v8.x + v13.x < v8.x)); v7 = ((v7 ^ v8).xy >> ROTATE_24) | ((v7 ^ v8).yx << ROTATE_8); - v2 = v2 + v7 + vec2(0u, u32(v2.x + v7.x < v2.x)); - v2 = v2 + m0 + vec2(0u, u32(v2.x + m0.x < v2.x)); + v2 = v2 + v7 + m0 + vec2(0u, u32(v2.x + v7.x < v2.x)) + vec2(0u, u32(v2.x + v7.x + m0.x < v2.x + v7.x)); v13 = ((v13 ^ v2).xy >> ROTATE_16) | ((v13 ^ v2).yx << ROTATE_16); v8 = v8 + v13 + vec2(0u, u32(v8.x + v13.x < v8.x)); v7 = ((v7 ^ v8).xy << ROTATE_1) | ((v7 ^ v8).yx >> ROTATE_31); @@ -623,8 +603,7 @@ fn main(id: vec3) { v12 = v12.yx ^ v0.yx; v8 = v8 + v12 + vec2(0u, u32(v8.x + v12.x < v8.x)); v4 = ((v4 ^ v8).xy >> ROTATE_24) | ((v4 ^ v8).yx << ROTATE_8); - v0 = v0 + v4 + vec2(0u, u32(v0.x + v4.x < v0.x)); - v0 = v0 + m0 + vec2(0u, u32(v0.x + m0.x < v0.x)); + v0 = v0 + v4 + m0 + vec2(0u, u32(v0.x + v4.x < v0.x)) + vec2(0u, u32(v0.x + v4.x + m0.x < v0.x + v4.x)); v12 = ((v12 ^ v0).xy >> ROTATE_16) | ((v12 ^ v0).yx << ROTATE_16); v8 = v8 + v12 + vec2(0u, u32(v8.x + v12.x < v8.x)); v4 = ((v4 ^ v8).xy << ROTATE_1) | ((v4 ^ v8).yx >> ROTATE_31); @@ -646,13 +625,11 @@ fn main(id: vec3) { /** * r=4, i=2, a=v[2], b=v[6], c=v[10], d=v[14] */ - v2 = v2 + v6 + vec2(0u, u32(v2.x + v6.x < v2.x)); - v2 = v2 + m2 + vec2(0u, u32(v2.x + m2.x < v2.x)); + v2 = v2 + v6 + m2 + vec2(0u, u32(v2.x + v6.x < v2.x)) + vec2(0u, u32(v2.x + v6.x + m2.x < v2.x + v6.x)); v14 = v14.yx ^ v2.yx; v10 = v10 + v14 + vec2(0u, u32(v10.x + v14.x < v10.x)); v6 = ((v6 ^ v10).xy >> ROTATE_24) | ((v6 ^ v10).yx << ROTATE_8); - v2 = v2 + v6 + vec2(0u, u32(v2.x + v6.x < v2.x)); - v2 = v2 + m4 + vec2(0u, u32(v2.x + m4.x < v2.x)); + v2 = v2 + v6 + m4 + vec2(0u, u32(v2.x + v6.x < v2.x)) + vec2(0u, u32(v2.x + v6.x + m4.x < v2.x + v6.x)); v14 = ((v14 ^ v2).xy >> ROTATE_16) | ((v14 ^ v2).yx << ROTATE_16); v10 = v10 + v14 + vec2(0u, u32(v10.x + v14.x < v10.x)); v6 = ((v6 ^ v10).xy << ROTATE_1) | ((v6 ^ v10).yx >> ROTATE_31); @@ -679,8 +656,7 @@ fn main(id: vec3) { v15 = v15.yx ^ v0.yx; v10 = v10 + v15 + vec2(0u, u32(v10.x + v15.x < v10.x)); v5 = ((v5 ^ v10).xy >> ROTATE_24) | ((v5 ^ v10).yx << ROTATE_8); - v0 = v0 + v5 + vec2(0u, u32(v0.x + v5.x < v0.x)); - v0 = v0 + m1 + vec2(0u, u32(v0.x + m1.x < v0.x)); + v0 = v0 + v5 + m1 + vec2(0u, u32(v0.x + v5.x < v0.x)) + vec2(0u, u32(v0.x + v5.x + m1.x < v0.x + v5.x)); v15 = ((v15 ^ v0).xy >> ROTATE_16) | ((v15 ^ v0).yx << ROTATE_16); v10 = v10 + v15 + vec2(0u, u32(v10.x + v15.x < v10.x)); v5 = ((v5 ^ v10).xy << ROTATE_1) | ((v5 ^ v10).yx >> ROTATE_31); @@ -716,8 +692,7 @@ fn main(id: vec3) { /** * r=4, i=7, a=v[3], b=v[4], c=v[9], d=v[14] */ - v3 = v3 + v4 + vec2(0u, u32(v3.x + v4.x < v3.x)); - v3 = v3 + m3 + vec2(0u, u32(v3.x + m3.x < v3.x)); + v3 = v3 + v4 + m3 + vec2(0u, u32(v3.x + v4.x < v3.x)) + vec2(0u, u32(v3.x + v4.x + m3.x < v3.x + v4.x)); v14 = v14.yx ^ v3.yx; v9 = v9 + v14 + vec2(0u, u32(v9.x + v14.x < v9.x)); v4 = ((v4 ^ v9).xy >> ROTATE_24) | ((v4 ^ v9).yx << ROTATE_8); @@ -738,8 +713,7 @@ fn main(id: vec3) { /** * r=5, i=0, a=v[0], b=v[4], c=v[8], d=v[12] */ - v0 = v0 + v4 + vec2(0u, u32(v0.x + v4.x < v0.x)); - v0 = v0 + m2 + vec2(0u, u32(v0.x + m2.x < v0.x)); + v0 = v0 + v4 + m2 + vec2(0u, u32(v0.x + v4.x < v0.x)) + vec2(0u, u32(v0.x + v4.x + m2.x < v0.x + v4.x)); v12 = v12.yx ^ v0.yx; v8 = v8 + v12 + vec2(0u, u32(v8.x + v12.x < v8.x)); v4 = ((v4 ^ v8).xy >> ROTATE_24) | ((v4 ^ v8).yx << ROTATE_8); @@ -766,8 +740,7 @@ fn main(id: vec3) { /** * r=5, i=2, a=v[2], b=v[6], c=v[10], d=v[14] */ - v2 = v2 + v6 + vec2(0u, u32(v2.x + v6.x < v2.x)); - v2 = v2 + m0 + vec2(0u, u32(v2.x + m0.x < v2.x)); + v2 = v2 + v6 + m0 + vec2(0u, u32(v2.x + v6.x < v2.x)) + vec2(0u, u32(v2.x + v6.x + m0.x < v2.x + v6.x)); v14 = v14.yx ^ v2.yx; v10 = v10 + v14 + vec2(0u, u32(v10.x + v14.x < v10.x)); v6 = ((v6 ^ v10).xy >> ROTATE_24) | ((v6 ^ v10).yx << ROTATE_8); @@ -785,8 +758,7 @@ fn main(id: vec3) { v15 = v15.yx ^ v3.yx; v11 = v11 + v15 + vec2(0u, u32(v11.x + v15.x < v11.x)); v7 = ((v7 ^ v11).xy >> ROTATE_24) | ((v7 ^ v11).yx << ROTATE_8); - v3 = v3 + v7 + vec2(0u, u32(v3.x + v7.x < v3.x)); - v3 = v3 + m3 + vec2(0u, u32(v3.x + m3.x < v3.x)); + v3 = v3 + v7 + m3 + vec2(0u, u32(v3.x + v7.x < v3.x)) + vec2(0u, u32(v3.x + v7.x + m3.x < v3.x + v7.x)); v15 = ((v15 ^ v3).xy >> ROTATE_16) | ((v15 ^ v3).yx << ROTATE_16); v11 = v11 + v15 + vec2(0u, u32(v11.x + v15.x < v11.x)); v7 = ((v7 ^ v11).xy << ROTATE_1) | ((v7 ^ v11).yx >> ROTATE_31); @@ -794,8 +766,7 @@ fn main(id: vec3) { /** * r=5, i=4, a=v[0], b=v[5], c=v[10], d=v[15] */ - v0 = v0 + v5 + vec2(0u, u32(v0.x + v5.x < v0.x)); - v0 = v0 + m4 + vec2(0u, u32(v0.x + m4.x < v0.x)); + v0 = v0 + v5 + m4 + vec2(0u, u32(v0.x + v5.x < v0.x)) + vec2(0u, u32(v0.x + v5.x + m4.x < v0.x + v5.x)); v15 = v15.yx ^ v0.yx; v10 = v10 + v15 + vec2(0u, u32(v10.x + v15.x < v10.x)); v5 = ((v5 ^ v10).xy >> ROTATE_24) | ((v5 ^ v10).yx << ROTATE_8); @@ -836,8 +807,7 @@ fn main(id: vec3) { /** * r=5, i=7, a=v[3], b=v[4], c=v[9], d=v[14] */ - v3 = v3 + v4 + vec2(0u, u32(v3.x + v4.x < v3.x)); - v3 = v3 + m1 + vec2(0u, u32(v3.x + m1.x < v3.x)); + v3 = v3 + v4 + m1 + vec2(0u, u32(v3.x + v4.x < v3.x)) + vec2(0u, u32(v3.x + v4.x + m1.x < v3.x + v4.x)); v14 = v14.yx ^ v3.yx; v9 = v9 + v14 + vec2(0u, u32(v9.x + v14.x < v9.x)); v4 = ((v4 ^ v9).xy >> ROTATE_24) | ((v4 ^ v9).yx << ROTATE_8); @@ -872,8 +842,7 @@ fn main(id: vec3) { /** * r=6, i=1, a=v[1], b=v[5], c=v[9], d=v[13] */ - v1 = v1 + v5 + vec2(0u, u32(v1.x + v5.x < v1.x)); - v1 = v1 + m1 + vec2(0u, u32(v1.x + m1.x < v1.x)); + v1 = v1 + v5 + m1 + vec2(0u, u32(v1.x + v5.x < v1.x)) + vec2(0u, u32(v1.x + v5.x + m1.x < v1.x + v5.x)); v13 = v13.yx ^ v1.yx; v9 = v9 + v13 + vec2(0u, u32(v9.x + v13.x < v9.x)); v5 = ((v5 ^ v9).xy >> ROTATE_24) | ((v5 ^ v9).yx << ROTATE_8); @@ -900,8 +869,7 @@ fn main(id: vec3) { /** * r=6, i=3, a=v[3], b=v[7], c=v[11], d=v[15] */ - v3 = v3 + v7 + vec2(0u, u32(v3.x + v7.x < v3.x)); - v3 = v3 + m4 + vec2(0u, u32(v3.x + m4.x < v3.x)); + v3 = v3 + v7 + m4 + vec2(0u, u32(v3.x + v7.x < v3.x)) + vec2(0u, u32(v3.x + v7.x + m4.x < v3.x + v7.x)); v15 = v15.yx ^ v3.yx; v11 = v11 + v15 + vec2(0u, u32(v11.x + v15.x < v11.x)); v7 = ((v7 ^ v11).xy >> ROTATE_24) | ((v7 ^ v11).yx << ROTATE_8); @@ -933,8 +901,7 @@ fn main(id: vec3) { v12 = v12.yx ^ v1.yx; v11 = v11 + v12 + vec2(0u, u32(v11.x + v12.x < v11.x)); v6 = ((v6 ^ v11).xy >> ROTATE_24) | ((v6 ^ v11).yx << ROTATE_8); - v1 = v1 + v6 + vec2(0u, u32(v1.x + v6.x < v1.x)); - v1 = v1 + m3 + vec2(0u, u32(v1.x + m3.x < v1.x)); + v1 = v1 + v6 + m3 + vec2(0u, u32(v1.x + v6.x < v1.x)) + vec2(0u, u32(v1.x + v6.x + m3.x < v1.x + v6.x)); v12 = ((v12 ^ v1).xy >> ROTATE_16) | ((v12 ^ v1).yx << ROTATE_16); v11 = v11 + v12 + vec2(0u, u32(v11.x + v12.x < v11.x)); v6 = ((v6 ^ v11).xy << ROTATE_1) | ((v6 ^ v11).yx >> ROTATE_31); @@ -1020,8 +987,7 @@ fn main(id: vec3) { /** * r=7, i=3, a=v[3], b=v[7], c=v[11], d=v[15] */ - v3 = v3 + v7 + vec2(0u, u32(v3.x + v7.x < v3.x)); - v3 = v3 + m3 + vec2(0u, u32(v3.x + m3.x < v3.x)); + v3 = v3 + v7 + m3 + vec2(0u, u32(v3.x + v7.x < v3.x)) + vec2(0u, u32(v3.x + v7.x + m3.x < v3.x + v7.x)); v15 = v15.yx ^ v3.yx; v11 = v11 + v15 + vec2(0u, u32(v11.x + v15.x < v11.x)); v7 = ((v7 ^ v11).xy >> ROTATE_24) | ((v7 ^ v11).yx << ROTATE_8); @@ -1159,8 +1125,7 @@ fn main(id: vec3) { v15 = v15.yx ^ v0.yx; v10 = v10 + v15 + vec2(0u, u32(v10.x + v15.x < v10.x)); v5 = ((v5 ^ v10).xy >> ROTATE_24) | ((v5 ^ v10).yx << ROTATE_8); - v0 = v0 + v5 + vec2(0u, u32(v0.x + v5.x < v0.x)); - v0 = v0 + m2 + vec2(0u, u32(v0.x + m2.x < v0.x)); + v0 = v0 + v5 + m2 + vec2(0u, u32(v0.x + v5.x < v0.x)) + vec2(0u, u32(v0.x + v5.x + m2.x < v0.x + v5.x)); v15 = ((v15 ^ v0).xy >> ROTATE_16) | ((v15 ^ v0).yx << ROTATE_16); v10 = v10 + v15 + vec2(0u, u32(v10.x + v15.x < v10.x)); v5 = ((v5 ^ v10).xy << ROTATE_1) | ((v5 ^ v10).yx >> ROTATE_31); @@ -1182,13 +1147,11 @@ fn main(id: vec3) { /** * r=8, i=6, a=v[2], b=v[7], c=v[8], d=v[13] */ - v2 = v2 + v7 + vec2(0u, u32(v2.x + v7.x < v2.x)); - v2 = v2 + m1 + vec2(0u, u32(v2.x + m1.x < v2.x)); + v2 = v2 + v7 + m1 + vec2(0u, u32(v2.x + v7.x < v2.x)) + vec2(0u, u32(v2.x + v7.x + m1.x < v2.x + v7.x)); v13 = v13.yx ^ v2.yx; v8 = v8 + v13 + vec2(0u, u32(v8.x + v13.x < v8.x)); v7 = ((v7 ^ v8).xy >> ROTATE_24) | ((v7 ^ v8).yx << ROTATE_8); - v2 = v2 + v7 + vec2(0u, u32(v2.x + v7.x < v2.x)); - v2 = v2 + m4 + vec2(0u, u32(v2.x + m4.x < v2.x)); + v2 = v2 + v7 + m4 + vec2(0u, u32(v2.x + v7.x < v2.x)) + vec2(0u, u32(v2.x + v7.x + m4.x < v2.x + v7.x)); v13 = ((v13 ^ v2).xy >> ROTATE_16) | ((v13 ^ v2).yx << ROTATE_16); v8 = v8 + v13 + vec2(0u, u32(v8.x + v13.x < v8.x)); v7 = ((v7 ^ v8).xy << ROTATE_1) | ((v7 ^ v8).yx >> ROTATE_31); @@ -1223,8 +1186,7 @@ fn main(id: vec3) { v12 = v12.yx ^ v0.yx; v8 = v8 + v12 + vec2(0u, u32(v8.x + v12.x < v8.x)); v4 = ((v4 ^ v8).xy >> ROTATE_24) | ((v4 ^ v8).yx << ROTATE_8); - v0 = v0 + v4 + vec2(0u, u32(v0.x + v4.x < v0.x)); - v0 = v0 + m2 + vec2(0u, u32(v0.x + m2.x < v0.x)); + v0 = v0 + v4 + m2 + vec2(0u, u32(v0.x + v4.x < v0.x)) + vec2(0u, u32(v0.x + v4.x + m2.x < v0.x + v4.x)); v12 = ((v12 ^ v0).xy >> ROTATE_16) | ((v12 ^ v0).yx << ROTATE_16); v8 = v8 + v12 + vec2(0u, u32(v8.x + v12.x < v8.x)); v4 = ((v4 ^ v8).xy << ROTATE_1) | ((v4 ^ v8).yx >> ROTATE_31); @@ -1237,8 +1199,7 @@ fn main(id: vec3) { v13 = v13.yx ^ v1.yx; v9 = v9 + v13 + vec2(0u, u32(v9.x + v13.x < v9.x)); v5 = ((v5 ^ v9).xy >> ROTATE_24) | ((v5 ^ v9).yx << ROTATE_8); - v1 = v1 + v5 + vec2(0u, u32(v1.x + v5.x < v1.x)); - v1 = v1 + m4 + vec2(0u, u32(v1.x + m4.x < v1.x)); + v1 = v1 + v5 + m4 + vec2(0u, u32(v1.x + v5.x < v1.x)) + vec2(0u, u32(v1.x + v5.x + m4.x < v1.x + v5.x)); v13 = ((v13 ^ v1).xy >> ROTATE_16) | ((v13 ^ v1).yx << ROTATE_16); v9 = v9 + v13 + vec2(0u, u32(v9.x + v13.x < v9.x)); v5 = ((v5 ^ v9).xy << ROTATE_1) | ((v5 ^ v9).yx >> ROTATE_31); @@ -1338,13 +1299,11 @@ fn main(id: vec3) { /** * r=10, i=0, a=v[0], b=v[4], c=v[8], d=v[12] */ - v0 = v0 + v4 + vec2(0u, u32(v0.x + v4.x < v0.x)); - v0 = v0 + m0 + vec2(0u, u32(v0.x + m0.x < v0.x)); + v0 = v0 + v4 + m0 + vec2(0u, u32(v0.x + v4.x < v0.x)) + vec2(0u, u32(v0.x + v4.x + m0.x < v0.x + v4.x)); v12 = v12.yx ^ v0.yx; v8 = v8 + v12 + vec2(0u, u32(v8.x + v12.x < v8.x)); v4 = ((v4 ^ v8).xy >> ROTATE_24) | ((v4 ^ v8).yx << ROTATE_8); - v0 = v0 + v4 + vec2(0u, u32(v0.x + v4.x < v0.x)); - v0 = v0 + m1 + vec2(0u, u32(v0.x + m1.x < v0.x)); + v0 = v0 + v4 + m1 + vec2(0u, u32(v0.x + v4.x < v0.x)) + vec2(0u, u32(v0.x + v4.x + m1.x < v0.x + v4.x)); v12 = ((v12 ^ v0).xy >> ROTATE_16) | ((v12 ^ v0).yx << ROTATE_16); v8 = v8 + v12 + vec2(0u, u32(v8.x + v12.x < v8.x)); v4 = ((v4 ^ v8).xy << ROTATE_1) | ((v4 ^ v8).yx >> ROTATE_31); @@ -1352,13 +1311,11 @@ fn main(id: vec3) { /** * r=10, i=1, a=v[1], b=v[5], c=v[9], d=v[13] */ - v1 = v1 + v5 + vec2(0u, u32(v1.x + v5.x < v1.x)); - v1 = v1 + m2 + vec2(0u, u32(v1.x + m2.x < v1.x)); + v1 = v1 + v5 + m2 + vec2(0u, u32(v1.x + v5.x < v1.x)) + vec2(0u, u32(v1.x + v5.x + m2.x < v1.x + v5.x)); v13 = v13.yx ^ v1.yx; v9 = v9 + v13 + vec2(0u, u32(v9.x + v13.x < v9.x)); v5 = ((v5 ^ v9).xy >> ROTATE_24) | ((v5 ^ v9).yx << ROTATE_8); - v1 = v1 + v5 + vec2(0u, u32(v1.x + v5.x < v1.x)); - v1 = v1 + m3 + vec2(0u, u32(v1.x + m3.x < v1.x)); + v1 = v1 + v5 + m3 + vec2(0u, u32(v1.x + v5.x < v1.x)) + vec2(0u, u32(v1.x + v5.x + m3.x < v1.x + v5.x)); v13 = ((v13 ^ v1).xy >> ROTATE_16) | ((v13 ^ v1).yx << ROTATE_16); v9 = v9 + v13 + vec2(0u, u32(v9.x + v13.x < v9.x)); v5 = ((v5 ^ v9).xy << ROTATE_1) | ((v5 ^ v9).yx >> ROTATE_31); @@ -1366,8 +1323,7 @@ fn main(id: vec3) { /** * r=10, i=2, a=v[2], b=v[6], c=v[10], d=v[14] */ - v2 = v2 + v6 + vec2(0u, u32(v2.x + v6.x < v2.x)); - v2 = v2 + m4 + vec2(0u, u32(v2.x + m4.x < v2.x)); + v2 = v2 + v6 + m4 + vec2(0u, u32(v2.x + v6.x < v2.x)) + vec2(0u, u32(v2.x + v6.x + m4.x < v2.x + v6.x)); v14 = v14.yx ^ v2.yx; v10 = v10 + v14 + vec2(0u, u32(v10.x + v14.x < v10.x)); v6 = ((v6 ^ v10).xy >> ROTATE_24) | ((v6 ^ v10).yx << ROTATE_8); @@ -1472,8 +1428,7 @@ fn main(id: vec3) { /** * r=11, i=1, a=v[1], b=v[5], c=v[9], d=v[13] */ - v1 = v1 + v5 + vec2(0u, u32(v1.x + v5.x < v1.x)); - v1 = v1 + m4 + vec2(0u, u32(v1.x + m4.x < v1.x)); + v1 = v1 + v5 + m4 + vec2(0u, u32(v1.x + v5.x < v1.x)) + vec2(0u, u32(v1.x + v5.x + m4.x < v1.x + v5.x)); v13 = v13.yx ^ v1.yx; v9 = v9 + v13 + vec2(0u, u32(v9.x + v13.x < v9.x)); v5 = ((v5 ^ v9).xy >> ROTATE_24) | ((v5 ^ v9).yx << ROTATE_8); @@ -1514,8 +1469,7 @@ fn main(id: vec3) { /** * r=11, i=4, a=v[0], b=v[5], c=v[10], d=v[15] */ - v0 = v0 + v5 + vec2(0u, u32(v0.x + v5.x < v0.x)); - v0 = v0 + m1 + vec2(0u, u32(v0.x + m1.x < v0.x)); + v0 = v0 + v5 + m1 + vec2(0u, u32(v0.x + v5.x < v0.x)) + vec2(0u, u32(v0.x + v5.x + m1.x < v0.x + v5.x)); v15 = v15.yx ^ v0.yx; v10 = v10 + v15 + vec2(0u, u32(v10.x + v15.x < v10.x)); v5 = ((v5 ^ v10).xy >> ROTATE_24) | ((v5 ^ v10).yx << ROTATE_8); diff --git a/test.html b/test.html index 32fed1f..64ef24a 100644 --- a/test.html +++ b/test.html @@ -165,7 +165,7 @@ SPDX-License-Identifier: GPL-3.0-or-later
- + -- 2.34.1