| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** lexano <[email protected]> has quit IRC (Ping timeout: 255 seconds) | 00:08 | |
| 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`. | 02:08 |
|---|---|---|
| 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? | 02:09 |
| Myrl-saki | Okay, seems like the answer is Yes, sometimes. | 02:11 |
| Myrl-saki | And I think I know why. | 02:12 |
| Myrl-saki | Ah yeah, it's because I'm batching things together. | 02:12 |
| Myrl-saki | How do I set multiple things in a case block, while still letting Yosys consider those things to be separate? | 02:15 |
| Myrl-saki | Hoisting out a case to multiple cases, basically, if that sounds better. | 02:15 |
| Myrl-saki | One for each register set. | 02:15 |
| Myrl-saki | For the curious: https://gist.github.com/adrianparvino/3d3c417a1639f240ec04fffec9fc9ab3 | 02:16 |
| Myrl-saki | This inhibits the `mem_write = x[4]`, but simply having `mem_write` inside does not. | 02:17 |
| 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]` | 02:19 |
| Myrl-saki | (Actually, that's not a problem since later passes should be able to figure that out.) | 02:20 |
| Myrl-saki | Oh cool, so turns out in this example, `mem_write` *does* get simplified. | 02:21 |
| Myrl-saki | But yes, if I have it in a larger block | 02:21 |
| Myrl-saki | In here, it does not. https://gist.github.com/adrianparvino/b7538900f139344198b1f6e09c493ff2 | 02:22 |
| Myrl-saki | (To be fair, I kinda don't like this, so I'm rewriting it...) | 02:35 |
| 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 | 02:40 |
| *** jn_ <jn_!~quassel@2001-4dd4-56d6-0-20d-b9ff-fe49-15fc.ipv6dyn.netcologne.de> has joined #yosys | 05:38 | |
| *** jn <jn!~quassel@user/jn/x-3390946> has quit IRC (Ping timeout: 272 seconds) | 05:38 | |
| *** FabM <FabM!~FabM@2a03:d604:103:600:2e60:8c7c:e8fb:7990> has joined #yosys | 06:57 | |
| Myrl-saki | Hm, I can't seem to consistently get it to codegen that though. :( | 08:30 |
| Myrl-saki | https://gist.github.com/adrianparvino/6ee125aea79459b3a28c18e0207a46a9 | 08:30 |
| Myrl-saki | Codegens to an eq. | 08:30 |
| Myrl-saki | (Works with pmux2shiftx though..) | 08:34 |
| *** lexano <[email protected]> has joined #yosys | 12:31 | |
| *** notgull <notgull!~notgull@ec2-50-112-148-23.us-west-2.compute.amazonaws.com> has quit IRC (Ping timeout: 246 seconds) | 12:47 | |
| *** notgull <notgull!~notgull@ec2-50-112-148-23.us-west-2.compute.amazonaws.com> has joined #yosys | 12:48 | |
| *** nelgau <[email protected]> has joined #yosys | 13:51 | |
| *** schaeg <schaeg!~anabrid@2a02:3036:266:2d3f:f1a6:10a7:bec2:fb80> has joined #yosys | 14:34 | |
| *** oldtopman <[email protected]> has quit IRC (Remote host closed the connection) | 14:50 | |
| *** oldtopman <[email protected]> has joined #yosys | 14:51 | |
| *** oldtopman <[email protected]> has quit IRC (Client Quit) | 14:55 | |
| *** somlo_ <[email protected]> has joined #yosys | 15:00 | |
| *** somlo <[email protected]> has quit IRC (Ping timeout: 255 seconds) | 15:03 | |
| *** oldtopman <[email protected]> has joined #yosys | 15:08 | |
| *** nelgau <[email protected]> has quit IRC (Read error: Connection reset by peer) | 15:25 | |
| *** nelgau <[email protected]> has joined #yosys | 15:26 | |
| *** nelgau <[email protected]> has quit IRC (Read error: Connection reset by peer) | 15:33 | |
| *** nelgau <[email protected]> has joined #yosys | 15:33 | |
| *** nelgau <[email protected]> has quit IRC (Read error: Connection reset by peer) | 15:52 | |
| *** nelgau <[email protected]> has joined #yosys | 15:52 | |
| *** nelgau <[email protected]> has quit IRC (Read error: Connection reset by peer) | 17:28 | |
| *** nelgau <[email protected]> has joined #yosys | 17:28 | |
| *** so-offish <so-offish!~so-offish@2610:148:610:2b10::4e> has joined #yosys | 18:15 | |
| *** nelgau <[email protected]> has quit IRC (Read error: Connection reset by peer) | 18:28 | |
| *** nelgau <[email protected]> has joined #yosys | 18:28 | |
| *** smkz <smkz!~x@user/smkz> has quit IRC (Quit: smkz) | 18:35 | |
| *** smkz <smkz!~x@user/smkz> has joined #yosys | 18:43 | |
| *** lansiir <[email protected]> has joined #yosys | 18:49 | |
| *** oldtopman <[email protected]> has quit IRC (Read error: Connection reset by peer) | 18:50 | |
| *** smkz <smkz!~x@user/smkz> has quit IRC (Quit: smkz) | 18:52 | |
| *** smkz <smkz!~x@user/smkz> has joined #yosys | 18:55 | |
| *** lansiir is now known as oldtopman | 19:02 | |
| *** nelgau <[email protected]> has quit IRC (Read error: Connection reset by peer) | 19:38 | |
| *** nelgau <[email protected]> has joined #yosys | 19:38 | |
| *** gordonDrogon <[email protected]> has quit IRC (Ping timeout: 258 seconds) | 20:29 | |
| *** gordonDrogon <[email protected]> has joined #yosys | 20:29 | |
| *** nelgau_ <[email protected]> has joined #yosys | 20:30 | |
| *** nelgau <[email protected]> has quit IRC (Read error: Connection reset by peer) | 20:31 | |
| *** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Ping timeout: 248 seconds) | 21:37 | |
| *** schaeg_ <schaeg_!~anabrid@2a02:3036:266:2d3f:f1a6:10a7:bec2:fb80> has joined #yosys | 22:44 | |
| *** schaeg <schaeg!~anabrid@2a02:3036:266:2d3f:f1a6:10a7:bec2:fb80> has quit IRC (Ping timeout: 240 seconds) | 22:45 | |
| *** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 23:19 | |
| *** nonchip <[email protected]> has joined #yosys | 23:19 | |
| *** lexano <[email protected]> has quit IRC (Ping timeout: 255 seconds) | 23:55 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!