[cpl] [Tema3] Checker

Lavinia.Ghica at microchip.com Lavinia.Ghica at microchip.com
Wed Dec 30 06:35:35 EET 2015


Buna,

ll-urile au ramas din greseala, cand am rulat testele cu tema de startup, nu de referinta.
Pana maine aveti si ll-urile in arhiva.

Lavinia
On 29 Dec 2015, at 11:52, Andrei Tuicu <andrei.tuicu at gmail.com<mailto:andrei.tuicu at gmail.com>> wrote:

Buna ziua,

În data de 29 decembrie 2015, 10:10, Lavinia Ghica via cpl <cpl at cursuri.cs.pub.ro<mailto:cpl at cursuri.cs.pub.ro>> a scris:
Salut,

Fisierele .ll din arhiva erau un model de asa nu si trebuia sa se genereze eroare.

Nu inteleg, cerusem daca era posibil sa primim .ll-urile valide, generate de tema corecta si completa care a generat si output-urile pentru checker. Din raspunsul dumneavoastra la cererea initiala se intelege numai faptul ca .ll-urile din arhiva sunt orientative, in sensul ca nu se va face diff pe checker intre .ll-urile noastre si cele de referinta.
Raspuns initial: "Pot pune si fisierele cu IR-ul, dar sunt doar orientative."

De ce am primit o arhiva cu "un model de asa nu" (pe care puteam sa-l generam si noi avand scheletul de cod) si de ce nu a fost specificat acest lucru?

Multumesc,
Andrei Tuicu

Lavinia

On 27 Dec 2015, at 14:34, Georgiana Diana via cpl <cpl at cursuri.cs.pub.ro<mailto:cpl at cursuri.cs.pub.ro>> wrote:

Buna,
In exemplele de IR din arhiva, in ll-ul aferent sursei cast.lcpl apare

call void @IO_init(%struct.TIO* %1)

in @Main_init.

Totusi, Main in cazul acesta nu extinde IO. Acelasi lucru l-am observat si in fisierul inheritance.ll. Pe de alta parte, in inheritance, nu apar definitiile claselor A si B.

Sunt corecte aceste fisiere de referinta ?

Georgiana

2015-12-25 16:21 GMT+02:00 Pîrvu Mihai <cpl at cursuri.cs.pub.ro<mailto:cpl at cursuri.cs.pub.ro>>:
De asemenea, runtime-ul din arhiva de teste e diferit de cel generat de noi din sursa de pe ocw.

Linkându-l pe cel din arhiva, nu putem rula Hello.

2015-12-25 15:46 GMT+02:00 Irineu Barbieru via cpl <cpl at cursuri.cs.pub.ro<mailto:cpl at cursuri.cs.pub.ro>>:
Salut,

Ar fi de ajutor sa se posteze si IR-urile, cat mai rapid de preferat.
In plus, in folderul scripts din arhiva de teste sunt prezente deja 4 fisiere IR. Sunt acestea "orientativ" de referinta? (intrucat pentru cast.ll se genereaza o eroare la translatarea in LLVM bitcode)

Mersi si sarbatori fericite,
Irineu

2015-12-24 13:26 GMT+02:00 Oana Stroie via cpl <cpl at cursuri.cs.pub.ro<mailto:cpl at cursuri.cs.pub.ro>>:

Buna,

Multumim!

Ai putea, te rog, sa pui si IR.urile desi sunt orientative? Ar ajuta cumva:)

Sarbatori fericite,
Oana

On 24 Dec 2015 13:19, <Lavinia.Ghica at microchip.com<mailto:Lavinia.Ghica at microchip.com>> wrote:
Buna,

Am pus link la arhiva de teste in sectiunea Resurse.

Testarea tine cont de output-ul final (lli <linked_test>.bc), nu se face diff pe fisierul ce contine asamblarea llvm.

Pot pune si fisierele cu IR-ul, dar sunt doar orientative.

Spor,
Lavinia

On 24 Dec 2015, at 01:13, Oana Stroie via cpl <cpl at cursuri.cs.pub.ro<mailto:cpl at cursuri.cs.pub.ro>> wrote:


Buna,

Si eu as dori sa stiu cand vor aparea testele. Lucrez de 4 zile si devine din ce in ce mai dificil sa imi construiesc teste ce contin doar bucatile implementate. Munca a fost si a mai ramas destul de dificila. Testele ar ajuta macar prin oferirea unui reper in dezvoltare.

Eventual ar ajuta sa stiu daca testarea va tine cont doar de outputul rularii bc.urilor sau exista alt mod in care pot fi verificate.

Multumesc,
Oana

On 23 Dec 2015 20:39, "Andrei Tuicu via cpl" <cpl at cursuri.cs.pub.ro<mailto:cpl at cursuri.cs.pub.ro>> wrote:
Salut!

Exista o estimare pentru cand va aparea checker-ul? Vom avea acces la output-ul de referinta pentru fiecare test?

De asemenea, la curs, domnul profesor a mentionat ca vom avea acces la modelul de IR asociat fiecarui test. Cand credeti ca vor fi disponibile aceste resurse?

Multumesc,
Andrei Tuicu 341C3

_______________________________________________
cpl mailing list
cpl at cursuri.cs.pub.ro<mailto:cpl at cursuri.cs.pub.ro>
http://cursuri.cs.pub.ro/cgi-bin/mailman/listinfo/cpl

_______________________________________________
cpl mailing list
cpl at cursuri.cs.pub.ro<mailto:cpl at cursuri.cs.pub.ro>
http://cursuri.cs.pub.ro/cgi-bin/mailman/listinfo/cpl


_______________________________________________
cpl mailing list
cpl at cursuri.cs.pub.ro<mailto:cpl at cursuri.cs.pub.ro>
http://cursuri.cs.pub.ro/cgi-bin/mailman/listinfo/cpl



_______________________________________________
cpl mailing list
cpl at cursuri.cs.pub.ro<mailto:cpl at cursuri.cs.pub.ro>
http://cursuri.cs.pub.ro/cgi-bin/mailman/listinfo/cpl



_______________________________________________
cpl mailing list
cpl at cursuri.cs.pub.ro<mailto:cpl at cursuri.cs.pub.ro>
http://cursuri.cs.pub.ro/cgi-bin/mailman/listinfo/cpl




--
Georgiana Diana Ciocirdel
Polytechnic University of Bucharest,
Computer Science
_______________________________________________
cpl mailing list
cpl at cursuri.cs.pub.ro<mailto:cpl at cursuri.cs.pub.ro>
http://cursuri.cs.pub.ro/cgi-bin/mailman/listinfo/cpl


_______________________________________________
cpl mailing list
cpl at cursuri.cs.pub.ro<mailto:cpl at cursuri.cs.pub.ro>
http://cursuri.cs.pub.ro/cgi-bin/mailman/listinfo/cpl

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://cursuri.cs.pub.ro/pipermail/cpl/attachments/20151230/0a13304c/attachment-0001.html>


More information about the cpl mailing list