IRC logs for #openrisc Friday, 2012-06-15

-!- Jia` is now known as Jia05:49
zewanHello all. I just read l.sfgeui description and I have the same question that Yann Vernier asked "Why is value to be compared to unsigned sign-extended?"09:54
stekernzewan: I don't know, but I agree it's odd. Where is Yann Vernier asking that?10:18
stekernI actually asked the same question to myself some week ago when I had introduced a bug in llvm under the assumption that the immediate would be zero-extended10:26
zewanstekern, In OR1200 arch manual at page 98. Is that bug or documenation error?10:41
stekernah, yes, in the annotation field10:54
stekernwell it seems to be implemented everywhere as it is stated in the arch manual, so I guess it's a "feature"10:55
jeremybennettstekern: zewan: What does MIPS do? OR1K generally follows MIPS in this area.11:27
stekernmips zero-extend immediate on unsigned compare and sign-extend on signed11:30
zewanit is quite logical.11:32
jeremybennettSo that can't be the reason.11:36
jeremybennettBut it applies to all the unsigned immediate flag setting, so it does look deliberate.11:38
jeremybennettDLX also seems to be the same.11:40
jeremybennett(as MIPS, not OR1K)11:40
jeremybennettMight be worth posting to the mailing list or forums in case any of the long-term contributors know. I guess you might have to send an email to Damjan Lampret to fin dout.11:42
stekerndoes unsigned compare exist in DLX?11:45
michaelliuwho can tell you, what he did say?
michaelliubuilding toolchian occur wrong11:49
stekernapperantly according to:
michaelliusorry , type wrong word.11:50
michaelliuplease who can tell me.11:50
michaelliulibbackend.a(toplev.o): In function `print_version':11:51
michaelliu/opt/gnu-src/bd-elf/gcc/../../unisrc/gcc/toplev.c:1267: undefined reference to `mpc_get_version'11:51
stekernbut where have the convention of setting a flag instead of a register came form if it's not from DLX? (I assumed it came from there)11:53
zewanmichaelliu, It looks like you try to compile toolchain under M$. Try to use linux instead. ;-)12:03
michaelliuyes. but i under cygwin occur wrong yet12:04
michaelliuhe did say /unisrc/gcc/toplev.c:1267: undefined reference to `mpc_get_version' . but i use objdump can see it in the toplev.o12:05
juliusbHmm, it seems strange to sign extend an immediate for unsigned compare. Maybe just an oversight by the original architecture implementers?12:06
juliusbIt's not like there haven't been any.12:07
stekernmmm, sounds like a very plausible explanation12:08
juliusbperhaps something for the architectural update?12:31
juliusb(the clarification, I mean)12:31
Jiahi all, I've update qemu-openrisc for V5.12:39
stekernjuliusb: hmm, what kind of clarification do you have in mind?13:11
juliusbwell, note in the spec that this isn't doesn't seem right, but is what we do. The other thing is we can fix it.13:13
juliusbremove the sign extension13:13
jeremybennettBad idea in a central part of an established ISA. You would break so much code that assumed the current behaviour. You would need compiler variants for different versions of the architecture which would be neither forward nor backward compatible.13:14
stekernyeah, the note sounds like a good idea (yann's note is there, but it's only visible in the odt when showing annotations)13:14
jeremybennettIt seems this is something to do in OR2K.13:15
stekernremoving it - I agree with jeremybennett 13:15
jeremybennettAgree with adding the note!13:15
stekernit's not a huge issue anyway, a bit less efficient code will be generated in a limited amount of cases13:17
stekernand you could probably work around it if you really put yourself into it13:17
jeremybennettInteresting forum post from the guy wanting to do formal verification of OpenRISC. That should prove interesting.13:18
stekernsomething else interesting:,altor3213:21
jeremybennettVery interesting.13:28
jeremybennettDo you know who the project owner is?13:28
jeremybennettI've just had a look at the project owner's website:
jeremybennettSame person behind the MPX (MIPS without the patented bits).13:31
jeremybennettWhich in turn looks rather like TigerMIPS (
juliusb(sign extension of immediate issue): yes fair enoguh, a note is probably the best thing to do14:50
juliusbthat altor32 looks cool14:52
juliusbah right, in the soc code they have something indicating they've just dropped in the or1k-compliant core in place of an MPX one:14:55
juliusbmissing there was a comment: // MPX CPU14:55
stekernso going from only having one (known) hardware implementation for ~10 years, we've got 4 now16:02
stekernor1200, juliusbs mor1kx, pgavin et als no-delayslot and altor3216:03
stekernand same kind of increase on the simulator front: in addition to or1ksim, there is now a functional cgen simulator and a qemu port16:06
rooi-ooghi all. Who knows why I can't download the latest draft of the OR1200 architecture specification?16:51
rooi-oogthis ",filedetails?repname=openrisc&path=%2Fopenrisc%2Ftrunk%2Fdocs%2Fopenrisc_arch_draft.odt" link seems doesn't work!16:52
_franck_it works for me !!17:25
juliusbvery nice, I know stekern :)17:55
stekern(and people working on at least two C/C++ compilers and one pascal compiler) ;)17:57
jeremybennettstekern: I didn't know about the pascal compiler - who is doing that?18:01
stekernLaksen and ... I've forgot he's name... (Kiwi something?) was working on a freepascal port19:07

Generated by 2.15.2 by Marius Gedminas - find it at!