whitequark changed the topic of #yosys to: Yosys Open SYnthesis Suite: https://github.com/YosysHQ/yosys/ | Channel logs: https://libera.irclog.whitequark.org/yosys/ | Bridged to #yosys:matrix.org
tpb has quit [Remote host closed the connection]
tpb has joined #yosys
lexano has quit [Ping timeout: 255 seconds]
<Myrl-saki> Hm, if I do `mem_write = 'x; case ...; endcase` where only some case expressions have `mem_write` set, Yosys still uses a full `eq`.
<Myrl-saki> Specifically, if one case is `b00000` and the other is `b01000`, going `mem_write = 0` and `mem_write = 1` respectively, it should be possible for `mem_write = x[4]` no?
<Myrl-saki> Okay, seems like the answer is Yes, sometimes.
<Myrl-saki> And I think I know why.
<Myrl-saki> Ah yeah, it's because I'm batching things together.
<Myrl-saki> How do I set multiple things in a case block, while still letting Yosys consider those things to be separate?
<Myrl-saki> Hoisting out a case to multiple cases, basically, if that sounds better.
<Myrl-saki> One for each register set.
<Myrl-saki> This inhibits the `mem_write = x[4]`, but simply having `mem_write` inside does not.
<Myrl-saki> With that said, I have other problems with just having `mem_write` inside, which is that it actually infers a memory block first, so I have to actually `memory_map` it to get `mem_write = x[4]`
<Myrl-saki> (Actually, that's not a problem since later passes should be able to figure that out.)
<Myrl-saki> Oh cool, so turns out in this example, `mem_write` *does* get simplified.
<Myrl-saki> But yes, if I have it in a larger block
<Myrl-saki> (To be fair, I kinda don't like this, so I'm rewriting it...)
<Myrl-saki> Also, kinda nice that I realized I could just do this instead of trying to figure out how to reduce the expressions through analysis with a pen and paper lol
jn_ has joined #yosys
jn_ has joined #yosys
jn_ has quit [Changing host]
jn has quit [Ping timeout: 272 seconds]
FabM has joined #yosys
FabM has joined #yosys
FabM has quit [Changing host]
<Myrl-saki> Hm, I can't seem to consistently get it to codegen that though. :(
<Myrl-saki> Codegens to an eq.
<Myrl-saki> (Works with pmux2shiftx though..)
lexano has joined #yosys
notgull has quit [Ping timeout: 246 seconds]
notgull has joined #yosys
nelgau has joined #yosys
schaeg has joined #yosys
oldtopman has quit [Remote host closed the connection]
oldtopman has joined #yosys
oldtopman has quit [Client Quit]
somlo_ has joined #yosys
somlo has quit [Ping timeout: 255 seconds]
oldtopman has joined #yosys
nelgau has quit [Read error: Connection reset by peer]
nelgau has joined #yosys
nelgau has quit [Read error: Connection reset by peer]
nelgau has joined #yosys
nelgau has quit [Read error: Connection reset by peer]
nelgau has joined #yosys
nelgau has quit [Read error: Connection reset by peer]
nelgau has joined #yosys
so-offish has joined #yosys
nelgau has quit [Read error: Connection reset by peer]
nelgau has joined #yosys
smkz has quit [Quit: smkz]
smkz has joined #yosys
lansiir has joined #yosys
oldtopman has quit [Read error: Connection reset by peer]
smkz has quit [Quit: smkz]
smkz has joined #yosys
lansiir is now known as oldtopman
nelgau has quit [Read error: Connection reset by peer]
nelgau has joined #yosys
gordonDrogon has quit [Ping timeout: 258 seconds]
gordonDrogon has joined #yosys
nelgau_ has joined #yosys
nelgau has quit [Read error: Connection reset by peer]
FabM has quit [Ping timeout: 248 seconds]
schaeg_ has joined #yosys
schaeg has quit [Ping timeout: 240 seconds]
nonchip has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
nonchip has joined #yosys
lexano has quit [Ping timeout: 255 seconds]