Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-01-16

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

All times shown according to UTC.

Time Nick Message
10:13 xstill ach jo. Není nad nové verze kompilátorů. Clang 3.4 dostal ICE.
10:20 xstill řeklo mi to ať pošlu bugreport s preprocesovaným zdrojákem. Ten má ovšem 52MB :-D
10:35 mornfall joined #divine
18:44 mornfall joined #divine
18:49 xstill mornfall: divine/llvm/execution.h: 282: assertion `forbidden code path tripped' failed;
18:51 xstill nějak floating-point compare chybí asi
19:10 mornfall xstill: můžeš to zapsat do tracu? asi chvíli potrvá než se dohrabu k 3.4
19:10 xstill to je normální build s llvm 3.3
19:10 xstill s 3.4 jsem se zatím nedostal přes ICE v clangu
19:11 mornfall aha
19:11 mornfall vidím
19:11 mornfall v prvním bloku je těch case jen 10 ve druhým 12... :)
19:11 mornfall a navíc tam jsou true/false takže vlastně 8
19:12 mornfall hm, tam je vůbec nějakej bordel
19:12 mornfall jasně, protože ten assert_die() tam vůbec nemá být
19:14 mornfall xstill: jak jsi ten kód dostal?
19:15 mornfall mi clang normálně generuje jen unordered fcmp
19:15 mornfall (a rozbije se to jen s ordered právě)
19:16 mornfall (rád bych na to měl test než to opravím...)
19:16 xstill nevím normálně jsem zkompiloval cčko clangem
19:16 xstill (c11)
19:16 xstill jestli to má nějakej vliv
19:16 mornfall mrkni do test/llvm/float.sh
19:17 mornfall to je celý nějaká rošťárna kolem NaN
19:18 xstill jako já tam mám jen < a ==
19:18 xstill můžu ti poslat ty fragmenty llvm
19:18 xstill %12 = fcmp olt double %10, %11
19:18 mornfall no to mi je jasný že tam je fcmp olt :)
19:18 mornfall nebo fcmp oXX
19:18 mornfall spíš mě zajímá jak se tam dostalo když ten test generuje ult
19:19 xstill nevím
19:19 mornfall máš tam nějaký -O?
19:19 mornfall možná to generuje olt když máš -O a ví že tam určitě není NaN ani na jedný straně
19:20 xstill co to vlastně znamená olt?
19:21 mornfall ordered less than
19:21 xstill a to ordered znamená co?
19:22 mornfall ordered znamená že NaN je nesrovnatelný se vším (včetně jinýho NaN)
19:22 xstill aha
19:22 mornfall resp. jinak, ordered znamená že jakýkoliv NaN automaticky dává false jako výsledek
19:22 mornfall unordered znamená že NaN dává true
19:23 mornfall (s ordered ta nesrovnatelnost funguje, ale s unordered to rozumně popsat nejde asi)
19:24 xstill jako ono je ještě vtipný, že ten test když ho u sebe zkompiluju tak neobsahuje žádnej fcmp
19:24 mornfall jaj
19:24 xstill přeložilo se mi to dost na define internal void @main() #0 { 64   call void @__divine_assert(i32 1)
19:24 xstill ...
19:24 mornfall aj bez -O?
19:24 xstill normální divine compile
19:25 mornfall hm, on tam je const float x...
19:25 mornfall ale že by to spočítal compile-time je stejně trochu divný
19:26 xstill když tam dám volatile tak dostanu fcmp o...
19:27 mornfall supr :-)
19:27 mornfall tak tam dám const volatile a bude
19:29 xstill const volatile je dost vadná kombinace :-D
19:29 mornfall proč?
19:30 mornfall jako je...
19:30 mornfall ale v podstatě to jen znamená že ten program na to nesmí šahat
19:30 mornfall když to je nějakej HW registr třeba?
19:32 xstill jako jo, jen je to dost exotická kombinace
19:32 mornfall nevidíš to často no
19:39 mornfall heh, cesmi-ltl.cpp nejde přeložit gcc 4.6
19:50 xstill ono něco má fungovat s 4.6?
23:50 mornfall joined #divine

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