Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-11-01

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

All times shown according to UTC.

Time Nick Message
07:00 spito__ joined #divine
09:30 xstill hm, já mám teda podezření, že ty alisasy jsou rozbitý tak nějak celý
09:59 spito joined #divine
10:14 xstill samozřejmě, že to nefunguje, ono totiž když přidám modul tak musím přidal závislosti všech symbolů v tom modulu, ne jen těch co jsem viděl
10:19 ilbot3 joined #divine
10:19 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
10:24 spito__ joined #divine
10:25 mornfall aha jo kruci :D
11:36 mornfall začínám seriózně uvažovat že si postavím miniITX desktop
11:37 mornfall quadcore i7 už jde dneska uchladit pasivně
11:46 xstill zajímavé, jakou to má spotřebu?
11:46 mornfall TDP 65W
11:47 mornfall http://www.hd-plex.com/hdplex-h1-series/ s touhle krabicí
11:48 xstill to vypadá docela pěkně
12:05 mornfall jen bych pak teda musel řešit synchronizaci dat
12:06 mornfall to by mohlo docela bolet...
12:46 mornfall trochu blbý že T x( y ); a T x = y; není to stejný
13:03 xstill jo, ale třeba to má nějaký důvod
13:04 xstill když jsme u toho, to že using namespace xxx/using X nemůžeš udělat ve třídě dává smysl, protože to by ti jinak mělo přidat tu věc do té třídy a pak bys nedokázal rozeznat z venku co je tam statická metoda/nested typ a co je alias
13:05 mornfall no, dává nedává... to je zase proto že ve třídě using Typ je to stejný jako using Typ = Typ...
13:05 mornfall ale možná jo
13:06 mornfall teď mi víc vadí coin_common.hh
13:06 mornfall který se #includuje do divine/generator/coin.h
13:06 mornfall a obsahuje hroznej bordel
13:13 xstill hm, ztratil jsem memcpy
13:13 mornfall to by měl být root ne?
13:13 xstill jo
13:14 xstill ale blbě jsem ho označil
13:14 xstill už jsem na to snad přišel
13:30 xstill hm, stejně se tam toho přidá moc
13:30 mornfall kolik moc?
13:31 xstill skoro všechno, včetně nějakých funkcí co nemáme definovaný (clock_gettnime a tak)
13:31 mornfall hm
13:31 mornfall to je ale divný
13:34 xstill teda, pro cčkový věci to zdá se celkem funguje, ale pro c++ to dělá blbosti
13:52 xstill hm, co sakra dělá __cxa_allocate_exception v locale.cpp.bc
14:23 mornfall xstill: jak to vypadá? :)
14:35 spito__ joined #divine
14:36 xstill mornfall: špatně
14:37 mornfall hm
14:37 mornfall už víš co je problém?
14:41 xstill no, vím že některý symboly jsou definovaný ve víc modulech, a když vyberu některej z nich (ten naposledy přilinkovanej), tak se mi tam typicky dostane spousta bordelu
14:41 mornfall aha, hm
14:42 mornfall jaký jsou to zhruba symboly?
14:42 xstill to se dost blbě zjisštuje, ale třeba ten __cxa_allocate_exception v locale.cpp.bc je dost podezřelej
14:44 xstill hm, jo chyba je asi v tom, že ten symbol přidávám do mapy i u modulu kterej ho používá, ne jen kterej ho definuje
14:44 xstill potřebuju rozlišit deklaraci funkce od definice
14:44 mornfall jo, to by mohlo dost vadit
14:45 mornfall isDeclaration()
14:45 mornfall myslim
14:45 xstill jo
14:45 xstill zkusím
14:51 xstill hm, teď mi to zase assertí při loadu v divine
14:53 xstill divine: /nix/store/7ch66cf27idk7lrhp2f93hv73kmk6my5-llvm-3.4.1/include/llvm/IR/DataLayout.h:460: uint64_t llvm::DataLayout::getTypeSizeInBits(llvm::Type *) const: Assertion `Ty->isSized() && "Cannot getTypeInfo() on a type that is unsized!"' failed.
14:53 xstill to je to samé místo kde to minule segvilo
14:53 mornfall jo no
14:58 mornfall jsou v tom .bc nějaký undef-y?
14:59 xstill jo
15:00 xstill hm, a dokonce i badref na metadata, divný
15:00 xstill hm, poveldo se mi undefnout tenhle call: call void @llvm.dbg.declare(metadata !{i8** %1}, metadata !46574), !dbg !46575
15:00 xstill (na  call void undef(metadata !{i8** %1}, metadata <badref>), !dbg !46204)
15:03 xstill hm, intrinsic budu muset pořešit nějak jinak
15:07 xstill ha
15:07 xstill to už vypadá nadějně
15:08 xstill zdá se, že to začalo fungovat
15:08 xstill teda skoro
15:08 xstill nejsou tam konstruktory ani nedefinovaný funkce navíc
15:09 xstill ale pořád je to hodně velký
15:09 xstill (9.4 MB pro fifo.bc)
15:38 xstill když bych ještě ořezal i nedosažitelný symboly dostane se to na 3-5 MB pro běžnej C++ model
16:12 mornfall hmm
16:12 mornfall já tady mam nějaký fifo.bc který má necelý 3M
16:13 mornfall ale jestli to počítáš s metadaty tak to asi odpovídá už pak
16:14 xstill hm, ještě to LTL je rozbité
16:26 xstill hm, jak vůbec může něco být zároveň extern a mít inicializátor? (LTL)
16:28 mornfall no
16:28 mornfall může :)
16:29 mornfall on to jinak někdo zničí
16:30 mornfall jestli překladač nebo linker nevím...
16:30 mornfall (protože to je nepoužítá proměnná...)
16:30 mornfall hm
16:41 mornfall ten extern se možná bude moct zlikvidovat
16:41 mornfall když to není static překladač to musí emitnout
16:42 mornfall a my si z toho můžem udělat root
16:42 mornfall počítám že teď to mizí jen když děláš ještě finální prune
16:44 xstill jo
16:45 xstill jinak to tam je i bez extern
16:49 xstill hm, ale něco pořád rozbíjí demanglování jmen v APs
16:50 xstill to je divný
16:57 xstill už mě to brutálně nebaví
16:58 xstill takže jsem ti to poslal, to APs je rozbitý ale jinak to funguje, to bys třeba mohl fixnout ty
16:58 xstill hm, ten 1. patch co jsem ti poslal minule (bench: Add first version of new result collector.) tam být vůbec neměl
18:13 mornfall no, enum APs nefunguje proto že počítáme s tím že to bude v prvním modulu a teď to je v posledním...
18:13 mornfall (podle llvm.dbg.cu)
18:20 mornfall už to funguje
18:26 xstill to je přesně něco na co bych přišel tak po půl dni
19:24 mornfall xstill: víš co bys mohl mezičasem? brick-mmap :)
20:12 xstill no, já mám i jiné věci na práci než divine
20:55 xstill pushnout to třeba nechceš?
21:19 xstill kdyby náhodou: http://en.cppreference.com/w/cpp/language/adl (je to větší magie než by se zdálo, hlavně ty 2 příklady v notes)
21:22 xstill a jo, funguje to i na namespace předků
22:05 spito mornfall: jaký bricks-mmap?
22:15 mornfall xstill: jo, hned, pracuju na tom
22:15 mornfall spito: to co je teď ve wibble/sys/mmap_v2*
22:16 spito přepsat, jo?
22:16 spito tak jo
22:16 mornfall ne, jen přesunout
23:47 spito__ joined #divine

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