| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** lambda <[email protected]> has joined #yosys | 00:01 | |
| *** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys | 00:01 | |
| *** notgull <notgull!~notgull@ec2-50-112-148-23.us-west-2.compute.amazonaws.com> has joined #yosys | 00:02 | |
| *** srk <srk!~sorki@user/srk> has joined #yosys | 00:05 | |
| *** bluesceada <bluesceada!~dennis@user/bluesceada> has joined #yosys | 00:06 | |
| *** anticw <[email protected]> has joined #yosys | 00:10 | |
| *** schaeg_ <schaeg_!~anabrid@2a02:3036:264:4a2:4a8:d50:b92c:d984> has joined #yosys | 02:07 | |
| *** schaeg <schaeg!~anabrid@2a02:3036:265:eac:46c1:4472:f0a7:6183> has quit IRC (Ping timeout: 258 seconds) | 02:07 | |
| *** Micah71 <[email protected]> has joined #yosys | 02:29 | |
| *** Micah71 <[email protected]> has quit IRC (Client Quit) | 02:33 | |
| *** skipwich <skipwich!~skipwich@user/skipwich> has quit IRC (Quit: DISCONNECT) | 03:00 | |
| *** skipwich <skipwich!~skipwich@user/skipwich> has joined #yosys | 03:02 | |
| *** pbsds <[email protected]> has joined #yosys | 03:50 | |
| *** notgull <notgull!~notgull@ec2-50-112-148-23.us-west-2.compute.amazonaws.com> has quit IRC (Ping timeout: 240 seconds) | 04:10 | |
| *** notgull <notgull!~notgull@2600:1f14:8f4:3100:e2a2:c920:847d:d23> has joined #yosys | 04:14 | |
| *** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has joined #yosys | 06:33 | |
| mewt | Hi, a log2-ceil function I've been using for years now causes yosys to bail if I try to set a localparam with it | 06:49 |
|---|---|---|
| mewt | e.g. localparam MY_PARAM = clog2(OTHERPARAM); | 06:49 |
| mewt | The error I get is "Non-constant function call in constant expression." | 06:49 |
| mewt | the design simulates just fine and Icarus and Verilator are OK with it. is there something I'm missing here? | 06:50 |
| mewt | Ah I see, this is specifically for the case where OTHERPARAM is a product of two other localparams... | 06:51 |
| mewt | Should this work? | 06:52 |
| mewt | Version information is Yosys 0.32+76 (git sha1 73cb4977b, clang 15.0.7 -fPIC -Os) | 06:53 |
| lofty | mewt: do you mean the built-in $clog2? | 07:05 |
| mewt | i, er, didn't know there was a built-in... this is the thing I'm using atm https://0x0.st/HtXt.vh | 07:08 |
| mewt | seems to happen with the built-in too | 07:10 |
| mewt | I shoiuld definitely be using that though, sorry about that | 07:10 |
| mewt | minimal failing example would be like... ' localparam PARAM1 = 2; localparam PARAM2 = 4; localparam PROD = PARAM1*PARAM2; localparam CL2_PROD = $clog2(PROD); ' | 07:12 |
| mewt | or similar | 07:12 |
| lofty | Alas, I might have to get out of bed for this | 07:19 |
| lofty | mewt: https://gist.github.com/Ravenslofty/8d80cd89b595622b9683ab7574d12781 <--- this runs fine, so you're going to have to provide a better test case | 07:25 |
| mewt | strange, one sec | 07:30 |
| mewt | alright, I'll have to come back to this tomorrow -- the pattern is exactly the same in the failing file but I guess I should have tested it. I'll get a minimal test case I actually run through yosys at that point | 07:36 |
| *** bjorkintosh <bjorkintosh!~bjork@user/bjorkintosh> has quit IRC (Remote host closed the connection) | 08:09 | |
| *** bjorkintosh <bjorkintosh!~bjork@2600:1700:5400:c80:ed:4f79:f76d:c9b8> has joined #yosys | 08:09 | |
| *** nelgau <[email protected]> has quit IRC (Read error: Connection reset by peer) | 09:21 | |
| *** bjorkintosh <bjorkintosh!~bjork@user/bjorkintosh> has quit IRC (Ping timeout: 248 seconds) | 09:32 | |
| *** schaeg <schaeg!~anabrid@2a02:3036:264:4a2:4a8:d50:b92c:d984> has joined #yosys | 10:09 | |
| *** schaeg_ <schaeg_!~anabrid@2a02:3036:264:4a2:4a8:d50:b92c:d984> has quit IRC (Ping timeout: 258 seconds) | 10:09 | |
| *** bjorkintosh <bjorkintosh!~bjork@2600:1700:5400:c80:ed:4f79:f76d:c9b8> has joined #yosys | 11:53 | |
| *** cr1901_ <cr1901_!~cr1901@2601:8d:8600:226:8d1d:90ad:242d:46c1> has quit IRC (Quit: Leaving) | 12:47 | |
| *** cr1901 <cr1901!~cr1901@2601:8d:8600:226:64c8:2cb0:a67a:365c> has joined #yosys | 12:51 | |
| *** jkm <[email protected]> has joined #yosys | 13:13 | |
| *** nelgau <[email protected]> has joined #yosys | 13:33 | |
| *** bjorkintosh <bjorkintosh!~bjork@user/bjorkintosh> has quit IRC (Remote host closed the connection) | 13:45 | |
| *** bjorkintosh <bjorkintosh!~bjork@2600:1700:5400:c80:4cb6:b073:ec36:e8e2> has joined #yosys | 13:48 | |
| *** citypw <citypw!~citypw@gateway/tor-sasl/citypw> has quit IRC (Ping timeout: 256 seconds) | 14:09 | |
| *** bjorkintosh <bjorkintosh!~bjork@user/bjorkintosh> has quit IRC (Remote host closed the connection) | 14:19 | |
| *** bjorkintosh <bjorkintosh!~bjork@user/bjorkintosh> has joined #yosys | 14:19 | |
| *** somlo_ <[email protected]> has quit IRC (Remote host closed the connection) | 14:21 | |
| *** peeps[zen] <peeps[zen]!~peepsalot@openscad/peepsalot> has quit IRC (Quit: Connection reset by peep) | 15:19 | |
| *** peeps[zen] <peeps[zen]!~peepsalot@openscad/peepsalot> has joined #yosys | 15:20 | |
| *** lexano <[email protected]> has joined #yosys | 15:45 | |
| *** peeps[zen] <peeps[zen]!~peepsalot@openscad/peepsalot> has quit IRC (Ping timeout: 248 seconds) | 15:50 | |
| *** peeps[zen] <peeps[zen]!~peepsalot@openscad/peepsalot> has joined #yosys | 15:52 | |
| *** somlo <[email protected]> has joined #yosys | 16:19 | |
| *** hrberg <[email protected]> has quit IRC (Ping timeout: 255 seconds) | 17:31 | |
| *** hrberg <[email protected]> has joined #yosys | 17:31 | |
| mewt | ok here's an actual tested-failing example... https://0x0.st/Htqc.v | 18:14 |
| mewt | this doesn't seem materially different to me at all, so I've no idea... | 18:15 |
| lofty | mewt: that's odd, but as a temporary hack, if you make the localparams just parameters, it seems to compile | 18:21 |
| mewt | temporary hack is good for now, thank you | 18:25 |
| mewt | wait, does it? It sure doesn't here | 18:29 |
| mewt | I guess I'm doing something else wrong | 18:29 |
| mewt | in case I've been braindead in the yosys invocation, 'yosys -p "synth_ice40 -json testcase.json -top bram_inst" bram_inst.v' | 18:39 |
| mewt | I also rebuilt last night, so I'm on "Yosys 0.34+60 (git sha1 6f1ca6871, clang 16.0.6 -fPIC -Os)" | 18:40 |
| *** schaeg <schaeg!~anabrid@2a02:3036:264:4a2:4a8:d50:b92c:d984> has quit IRC (Ping timeout: 248 seconds) | 21:41 | |
| *** jkm <[email protected]> has quit IRC (Ping timeout: 248 seconds) | 22:05 | |
| *** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 23:19 | |
| *** nonchip <[email protected]> has joined #yosys | 23:19 | |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!