Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-04-07

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
01:51 ilbot3 joined #divine
01:51 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
14:14 mornfall xstill: jak to vypadá?
14:58 spito mornfall: plave
14:58 mornfall s notebookem?
15:00 spito ne, ten je v labu
17:59 yaqwsx joined #divine
17:59 spito yaqwsx: a jsi tu :P
18:01 yaqwsx Ahoj, můžu dotaz na základě čeho jsou v LLVM pojmenovávány registry? Proč jsou některé pojmenovány %číslo, %rčíslo.číslo? Co to znamená?
18:02 yaqwsx_ joined #divine
18:03 mornfall yaqwsx_: na základě toho co je napsaný v příslušném .bc souboru
18:03 mornfall yaqwsx_: llvm-dis
18:04 mornfall nebo jestli se ptáš jak vznikne to jméno v tom .bc (.ll) souboru, tak to co nepojmenuje ten kdo generuje ten bitkód dostane sekvenční číslo
18:04 mornfall to co pojmenuje je pojmenovaný
18:06 yaqwsx_ Jde mi to, proč se někde ukládá %r0.1 = select i1 %61, i8 %62, i8 %r0.023 a někde %62 = trunc i16 %partial_sum.7 to i8
18:07 mornfall počítám že %r0.1 je jméno jako jakýkoliv jiný
18:08 mornfall jak přesně vznikne nevím, musel bych asi vidět jak ten bitkód vznikl
18:24 xbarnat joined #divine
18:24 xbarnat ave vy
18:25 xbarnat je toto validni CE? CE-Init: 1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0 CE-Cycle: 0,0,0
18:25 mornfall neřekl bych
18:25 mornfall ta fairness někde korumpuje paměť, řekl bych
18:26 xbarnat hmm dela to dost deterministicky
18:26 mornfall úplně
18:26 mornfall BAD DEREFERENCE (thread 0): <_Z9_canceledv> [ pthread.cpp:249 ] << %8 = load i8* %7, align 4, !dbg !60587 >>: the offending pointer was 0:36
18:26 mornfall ale tohle tam bez fairness není
18:26 xbarnat pekny
18:26 mornfall a protipříklady rozhodně nefungujou, ale to může mít úplně jinej důvod
18:27 mornfall co tě to chytlo že to testuješ? :)
18:27 yaqwsx_ Ještě k předchozímu: Takže ty jména jsou plně v kompetenci kompilátoru a je na něm, jestli s pokusí pojmenovat registr "výstižně", jo?
18:27 mornfall yaqwsx_: v podstatě
18:28 xbarnat valgrind divine verify -r -p terminate -f fair01.bc ... my vraci 0 errors
18:28 mornfall yaqwsx_: clang třeba generuje jména pro výsledky alloca a pro parametry funkcí
18:28 mornfall ale jinak moc ne
18:30 xbarnat testuju to proto, ze ti neverim, ze si dal fairness za odpoledne bez chyb :P :-) a ty mi pak za dva roky reknes, ze to stejne nikdo nepouzil  ...
18:30 mornfall no, dost možná dal :-) to že fairness jako taková je dva roky rozbitá je druhá věc
18:31 xbarnat jako, ze se to projevi i na DVE ... kde je fairness uz dlouho ?
18:31 xbarnat se mi snazis rict ...
18:31 mornfall no, ještě včera to na DVE stoprocentně nefungovalo
18:32 xbarnat ch tak
18:32 xbarnat tak ja uz mlcim
18:35 mornfall hm, ten nezarovnanej Extension tomu taky zrovna nepomáhal, zdá se
18:36 mornfall nicméně se to furt chová dost divoce
18:43 mornfall každopádně pokud to má fungovat, bylo by dobrý napsat na to testy
18:43 mornfall stejně tak na ProbLLVM
18:43 mornfall to že to teď opravím a ty si to zkusíš není žádná záruka že to bude za měsíc ještě fungovat
18:45 xbarnat :-) mel jsem v umyslu ty fair dostat do repa do testu ...
18:46 mornfall v první řadě je potřeba vymyslet jak to testovat (asi podobně jako test/llvm/)
18:46 mornfall s tím probllvm to bude trochu složitější
18:48 mornfall (to mi připomíná, ProbLLVM asi nefunguje když je v buchi automatu nedeterminizmus)
18:48 mornfall (asi = skoro určitě)
18:48 mornfall ne že by tohle někdo používal, ale spustit to asi jde a generuje to nesmysly
18:50 xbarnat jj
18:51 xbarnat mas recht
18:51 xbarnat ale roznasobeni s DRA dela az prism
20:31 xstill mornfall: obávám se, že to budu muset vyřešit až zítra, dneska už usínám
20:32 mornfall nojo

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary