similar to: [LLVMdev] undefined symbol for LoopPass

Hello, I am building a loop pass following these instructions: http://llvm.org/docs/WritingAnLLVMPass.html Everything works fine, I did it many times for Function Passes, but in the runOnLoopmethod, whenever I call a method of the loop L passed as argument, for example L->begin(), I get the following error: opt: symbol lookup error: /home/giacomo/llvmcsfv/Debug+Asserts/lib/Acsl.so: >

Thanks, Also, every method inherited by LoopBase causes the same error, while Loop methods go smooth. On 9 May 2013 01:05, Andrew Trick <atrick at apple.com> wrote: > > On May 8, 2013, at 7:43 PM, Giacomo Tagliabue <giacomo.tag at gmail.com> > wrote: > > Hello, > I am building a loop pass following these instructions: >

On May 8, 2013, at 7:43 PM, Giacomo Tagliabue <giacomo.tag at gmail.com> wrote: > Hello, > I am building a loop pass following these instructions: http://llvm.org/docs/WritingAnLLVMPass.html > Everything works fine, I did it many times for Function Passes, but in the runOnLoopmethod, whenever I call a method of the loop L passed as argument, for example L->begin(), I get the

Wow, commenting those two lines worked out fine for me, thanks! On 9 May 2013 09:34, Giacomo Tagliabue <giacomo.tag at gmail.com> wrote: > Thanks, > Also, every method inherited by LoopBase causes the same error, while Loop > methods go smooth. > > > On 9 May 2013 01:05, Andrew Trick <atrick at apple.com> wrote: > >> >> On May 8, 2013, at 7:43 PM,

Hello, I am building a loop pass following these instructions: http://llvm.org/docs/WritingAnLLVMPass.html Everything works fine, I did it many times for Function Passes, but in the runOnLoopmethod, whenever I call a method of the loop L passed as argument, for example L->begin(), I get the following error: opt: symbol lookup error: /home/giacomo/llvmcsfv/Debug+Asserts/lib/Acsl.so: >

I created a loadable optimization following the tutorial at http://llvm.org/docs/WritingAnLLVMPass.html. I want to use the Z3 library, installed in my system, in my optimization. When I include z3++.h (the name of the library) in the code and use its classes, it compiles well, but when I try to run it it says: > opt: symbol lookup error: /home/giacomo/llvm/Debug+Asserts/lib/Acsl.so: >

I think I am in the first case, but I don't understand something, the -load option during which command? opt? and which file should I load? libz3.so? On 5 April 2013 15:32, John Criswell <criswell at illinois.edu> wrote: > On 4/5/13 3:16 PM, Giacomo Tagliabue wrote: > > I created a loadable optimization following the tutorial at >

On 4/5/13 3:16 PM, Giacomo Tagliabue wrote: > I created a loadable optimization following the tutorial at > http://llvm.org/docs/WritingAnLLVMPass.html. I want to use the Z3 > library, installed in my system, in my optimization. When I include > z3++.h (the name of the library) in the code and use its classes, it > compiles well, but when I try to run it it says: > >

Hello everyone, As a research project we are trying to figure out how to insert some annotations in the compiler in order to optimize the code. For example: /*@ ensures x == 5 */ if(x>5){ {...} } where the comment is written in ACSL<http://en.wikipedia.org/wiki/ANSI/ISO_C_Specification_Language>. The example is trivial, but gives the idea, if LLVM is be able to read the annotation, it

Op 9-2-2019 om 19:27 schreef Giacomo via dovecot: > I got a core file this morning. > > opening it with gdb I get this: > > (gdb) core imap.core > Core was generated by `dovecot/imap'. > Program terminated with signal 6, Aborted. > #0? 0x0000000011c1347a in ?? () > (gdb) bt > #0? 0x0000000011c1347a in ?? () > #1? 0x0000000011c13444 in ?? () > #2?

Hi. my name is Giacomo Sanchietti and I'm working for a company called Nethesis. We are working on a CentOS derived distribution like SME Server. It's a minimal CentOS with a software layer on top to add a web configuration interface. The CD iso, it's a CentOS minimal CD with some extras packages from centos-base yum group, and a kickstart file to automatize the installation

I've just enabled core dumps on the involved FreeBSD system. Let's see if it dumps something.. Il giorno dom 20 gen 2019 alle ore 19:16 Stephan Bosch <stephan at rename-it.nl> ha scritto: > Hi Giacomo, > > Op 21/12/2018 om 16:16 schreef Giacomo: > > The bug happens not very often, it might need a week to get a core file. > > Any luck getting a core file? >

Hi, my name is Giacomo. I would like to know how to create a Trend variable in a regression using R. Thank you for your help. My best regards, Giacomo --------------------------------- [[alternative HTML version deleted]]

Hi, I would like to count the columns of a data.frame. I know how to count the rows, but not the columns. Can someone tell me how to do it? My best regards, Giacomo Moro --------------------------------- [[alternative HTML version deleted]]

Sorry for the silly question. I am trying to perform a simple operation on a subsample of my data loaded as data and attached: data<-read.dta(name file) attach(data) Say x=1,2 and y=4,5 I want to summarize z only if x=1 & y=4. I thought that the way to do that would be to write if((x=1) & (y=4)) summary(z) butwhen I do this the result I get is for the whole data (irrespective of

Hi, I would like to regress y (dependent variable) on x (independent variable) and y(-1). I have create the y(-1) variable in this way: ly<-lag(y, -1) Now if I do the following regression lm (y ~ x + ly) the results I obtain are not correct. Can someone tell me the code to use in R in order to perform a regression using as explanatory variable a lagged dependent variable? My best regards,

Dear R users, I have to call fortran program from within R (R 2.8.1 on ubuntu 8.10 machine). Suppose I have a fortran code like this (this is only a toy model, my working model is far more complex, but input/output is similar) DOUBLE PRECISION FUNCTION model(times, alfa, beta) DOUBLE PRECISION alfa, beta, times model=beta*sin(times)+alfa*cos(times) END FUNCTION which

Hello, I've just installed dovecot to replace courier-imap and I've found out it didn't support some of the typical LDAP userPassword schemes, so I've written some based on OpenSSL API. Furthermore I noticed that the MD5 one seems broken. If it isn't a requirement to ship its own implementation of a crypto algorithm, I would send in a patch to replace schema checks with

I'm attempting to install and run a program called ACSL (advanced continuous simulation language) on wine. So far the closest I've got is by installing Wine 20050725 on my Ubuntu (Debian) Linux by using the latest wine-config-sidenet-1.8.6 which appears to install ok and then installs the software ok. However when I try to run it using wine acslX which should start it I get lots of code

Hi all Opensolaris works perfectly, but I am not able to boot the xvm kernel on this hardware. I added the -k option in grub, but the system hangs before the hostname line without any debug info. I''ve tried snv from b94 to b99, with the same results. If I install Debian with xen kernel I am able to use pvm and hvm guests. What can I do ? thanks Giacomo -- This message posted from