Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2017-01-22

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

All times shown according to UTC.

Time Nick Message
02:48 ilbot3 joined #divine
02:48 Topic for #divine is now DIVINE | http://divine.fi.muni.cz | http://irclog.perlgeek.de/divine/
08:07 xstill mornfall: ad inline asm, teoreticky by to mohl řešit i lart a přeložit věci které zvládneme na instrukce a ze zbytku udělat faulty
08:18 mornfall to je asi docela rozumný řešení
08:19 mornfall což mi připomíná, má LLVM nějakej zabudovanej devektorizátor?
08:22 xstill mohlo by mít
08:22 xstill ale takhle z hlavy nevím
08:23 xstill případně by nebylo asi složitý ho napsat
08:25 mornfall to je vlastně otázka jak se mají vektorové instrukce k memory modelu
08:27 xstill z atomic load: "the type of the pointee must be an integer, pointer, or floating-point type whose bit width is a power of two greater than or equal to eight and less than or equal to a target-specific size limit."
08:28 xstill takže vektorový atomic load asi nejde
08:30 mornfall to asi ne, ale je třeba otázka jestli se může prohodit pořadí zapisovaných položek v tom vektoru (u 64b loadu jsme třeba předpokládali, že je nedělitelnej)
08:31 mornfall ne že by to bylo neřešitelný, jen dělat vektorovej load jako aggregate load a pak haldu extractvalue je trochu ušmudlaný
08:32 xstill to nevím, vlastně si myslím, že LLVM ani negarantuje, že 64b load bude nedělitelnej
08:32 xstill respektive, že jakýkoli ne-atomic load bude
08:33 mornfall nojo, ale na bity to rozbíjet nikdo nebude :-)
08:34 xstill to nebude
08:38 xstill llvm zdá se zakazuje jen aby se load/store implementoval pomocí většího loadu/store. Nicméně ta atomicita 64b loadu je spíš z reálnýho hardware. Na druhou stranu takovej i128 už asi atomicky načtenej nebude.
08:57 xstill mornfall: co jsi psával do hodnocení předchozího roku studia? já moc netuším jaké věci se tam mají psát…
09:20 mornfall xstill: arke:/tmp/phd-hodnoceni.txt tohle jsem vymlátil z ISu
09:22 divine-buildbot joined #divine
09:23 xstill mornfall: díky
11:28 xstill xheno, mornfall: zkoušel jsem návratové hodnoty v sym, funguje to jen v jednoduchých případech, mám patch s testy v repu (padající testy jsou označené jako TODO).
11:29 mornfall jo, v --symbolic toho nefunguje asi dost, zatím mi to padlo na getelementptr a na 'unknown lift type' nebo tak něco
11:36 xstill jo, pole taky nefungujou
11:37 mornfall ani přiřazení sym hodnoty do konkrétního pole (vyrobit __sym pole jsem ani nezkoušel :)
11:37 mornfall xheno přecijen ještě bude mít co dělat
11:37 mornfall ha, brno, bbl
20:15 xstill mornfall: mohl bys prosím pullnout ty testy? + tam mám další drobné patche
20:16 mornfall nemam internet
20:17 xstill … ok, jak dlouho jsi bez netu?
20:17 xstill s/jak/na jak/
20:17 mornfall nevim, mozna se dokazu pritetherovat, mobil ma obcas kousek signalu
20:17 mornfall jinak do uterka poledne
20:18 xstill super… to jsi na tom crocsím cosi?
20:20 xstill zatím řeknu Heňovi ať si pullne ty testy ode mě
20:23 mornfall jj
20:23 mornfall to ze to bude az takhle offline jsem uplne necekal :p
20:43 xheno xstill: zajtra sa okolo obeda objavim skole.
20:45 xstill xheno: ok, já budu před obědem hlídat a po 12 mít kolokvium, tak nevím nakoli se potkáme, takže kdyžtak ty testy najdeš v /home/xstill/DIVINE/sym, je to druhý patch
20:47 xheno ok

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