asraa
asraa
I can start a Design section on secret today since I'm working on secret.separator at the moment. It'll just be a start / placeholder and we can add more as...
Hmm I just tried running affine-scalrep on it, but it didn't end up changing anything - however, i realized i can't use our passes to get the unused memory write....
Fixed that - now I realize the issue is that the first store is in a separated region, so the pass analysis for affine-scalrep doesn't do anything. Here's a reproducer...
It does work when the loops are unrolled so the stores are in the same region: ``` func.func @main() -> (memref) { %c1_i32 = arith.constant 1 : i32 %c2_i32 =...
cc @lawrencekhlim
Ideas: * Only run yosys-optimizer when the body has some arithmetic instruction that we need to booleanize - seems fragile? Or only when there are translate bodies (memref ops are...
Sure! Maybe the add_one example is the easiest. It hits this bug on anything with a multi-bit integer value. ``` bazel run -c dbg @heir//tools:heir-opt -- --yosys-optimizer --canonicalize --cse --secret-forget-secrets...
We can use the GH API if that's simplest. We can still keep the schedule the same, and then wait until the total count of running workflows is less than...
I couldn't find an existing action that does this, so I can create a new action for this after I finish the verifier e2e tests today
> Do you know what 1st vs 2nd source generation is? Not really, there are some docs. https://cloud.google.com/build/docs/repositories It seems like its more about the way that the connection is...