similar to: [LLVMdev] Finding tools to solve symbolic equation in llvm

Displaying 20 results from an estimated 1100 matches similar to: "[LLVMdev] Finding tools to solve symbolic equation in llvm"

2013 Nov 18
0
[LLVMdev] Finding tools to solve symbolic equation in llvm
I would suggest you take a look at KLEE, PAGAI and GiNaC. The first two are LLVM-based tools that do symbolic manipulation (of sorts) and the last is a C++ library for doing symbolic computation which is quite easy to use with an RTTI build of LLVM. If you can give us an example of what symbolic equation you might be trying to "solve", I'm sure we can narrow it down or suggest
2003 Aug 19
9
Variance Computing- - HELP!!!!!!!!!!!!!!!!!!
Hello, I am running a few simulations for clinical trial anlysis. I want some help regarding the following. We know trhat as the sample size increases, the variance should decrease, but I am getting some unexpected results. SO I ran a code (shown below) to check the validity of this. large<-array(1,c(1000,1000)) small<-array(1,c(100,1000)) for(i in
2012 Aug 20
3
A LaTeX question -- Hope people won't mind
Hello All, Hope people won't mind my posting a LaTeX question here. I know a lot of people who use R are also using LaTeX. I'm in a bit of a rush to complete a document and am having trouble with one aspect of the formatting. I'm creating a list of tables using: \listoftables I also have some table captions that contain the number of patients in an anlysis like: \caption{Results
2004 Sep 14
2
R post-hoc and GUI
Hi * i've done my anova anlysis but now i need post-hoc test, are these included in R ? I've a Big problem, working with people that don't like to use command-line software (but prefer something like openoffice) does someone is trying to do a usable GUI for R ? i'm reading something on R commander SciView and others but all seem to be beta. I'd like to make possible to make
2009 Apr 03
2
course in ecological data analysis
Dear all, For my PhD study I'm looking for relevant courses/workshops (short term) in ecological data anlysis with R in Europe. After 2 days searching I'm convinced that google is probably not the right medium to find this information. If anyone can help me I will be most grateful. Best regards - J. Capelle [[alternative HTML version deleted]]
2004 Jun 23
3
[LLVMdev] weird issue with mem2reg
On Wed, Jun 23, 2004 at 03:50:09PM -0500, Patrick Meredith wrote: > MetaSplit is an anlysis I just finished writing. It doesn't alter > anything, all it does is build a set of "program instructions". For > some reason even though if I run it with any other combination of > passes I've found, anytime I run it with mem2reg I get a seg fault in > dyn_cast!
2013 Sep 06
2
Fwd:
---------- Forwarded message ---------- From: Waqas Shafqat <waqas1518@gmail.com> Date: Fri, Sep 6, 2013 at 10:31 PM Subject: To: rosyara@msu.edu sorry sir i have istalled plantbreeding libraray..but when i give command "require(plantbreeding)" then following message appear > require(plantbreeding) Loading required package: plantbreeding Loading required package: qtl Failed
2017 Mar 10
2
flow-sensitive alias analysis
Hi, I am looking for some flow-sensitive (context-insensitive) alias analysis algorithm implemented in LLVM. (I use LLVM 3.9, hope to switch to 4.0 soon.) As far as I know, none of the built-in analysis (basicAA, globals-modref, andersAA, etc.) is intended to be flow-sensitive. So I searched and came across these two 1. https://github.com/unsw-corg/SVF by Yulei Sui (for LLVM 3.8) 2.
2011 Apr 19
2
[LLVMdev] Coarse-grained parallelism
Hello, I found some code within the pool allocation project to identify parallelizable function calls. Unfortunately the functionality isn't part of the current release of poolalloc (in release 14 it was). My intention is to estimate the parallelization-potential of sequential applications concerning coarse-grained parallelism. Can you tell me... 1. Why are classes of pollalloc, like
2004 Jun 23
4
[LLVMdev] weird issue with mem2reg, should have guessed
On Wed, 23 Jun 2004, Patrick Meredith wrote: > What's different about code that's been mem2reg'd from straight front end > code, or anything that mem2reg hasn't been run on? PHINODES! Yup, front-ends generally don't produce SSA form. :) > It appears to be crashing when I try to cast a Value* that's really a > BB* (from the PHInode operands) to a User*,
2012 Dec 31
2
a problem for metafor package
Dear sir or madam I want to know how to use "metafor"package do a meta anlysis, forest plot show the results of whole study and results of two subgroups like this the forest plot show in the attachment. looking forword to your reply Regards and Cheers Xudong Liu School of Public Health and Primary Care The Chinese University of Hong Kong Email: liuxudong at cuhk.edu.hk
2011 Apr 20
3
[LLVMdev] Coarse-grained parallelism
Am 19.04.2011 um 16:44 schrieb John Criswell: > On 4/19/11 5:57 AM, Andreas Wilhelm wrote: >> >> Hello, >> >> I found some code within the pool allocation project to identify parallelizable function calls. >> Unfortunately the functionality isn't part of the current release of poolalloc (in release 14 it was). > > Can you tell me in what file(s) this
2011 Dec 28
1
Help with PCA
Dear all, I've a correlation matrix with rows and columns headings. I've two questions: 1) How can i import it in R, setting first row as row heading and first column as column heading? 2) Which is the best principal component anlysis package in R? Thanks in advance -- View this message in context: http://r.789695.n4.nabble.com/Help-with-PCA-tp4239756p4239756.html Sent from the R help
2012 Oct 17
0
[LLVMdev] Loop vectorizer
Hi everybody, On 10/17/12 12:32 AM, Hal Finkel wrote: >>> Do you have a plan for xforms to increase the amount of >>> vectorization? >> >> Yes. We will need to implement a predication phase and to design the >> interaction with other loop transformations. Also, this will have to >> work well with the cost model. We also need to think of a good way to
2011 Aug 27
1
hopelessly overdispersed?
dear list! i am running an anlysis on proportion data using binomial (quasibinomial family) error structure. My data comprises of two continuous vars, body size and range size, as well as of feeding guild, nest placement, nest type and foragig strata as factors. I hope to model with these variables the preference of primary forests (#successes) by certain bird species. My code therefore looks
2018 Jun 13
4
RFC: Pass Execution Instrumentation interface
Fedor Sergeev <fedor.sergeev at azul.com> writes: > On 06/12/2018 12:04 AM, David A. Greene wrote: >> // PIA - PassInstrumentationAnalysis >> if (PIA->skipTransformation()) { >> return; >> } >> // Do it. >> PIA->didTransformation(); > That should be easily doable (though the interface would be part of > PassInstrumentation > rather
2008 Mar 03
0
[LLVMdev] Google Summer of Code Idea
On Thu, Feb 28, 2008 at 1:43 PM, Richard Warburton <richard.warburton at gmail.com> wrote: > This email is written on the premise that LLVM will be involved in > GSOC again this year. I noted that the wiki's open projects page [0] > has several possible projects, that seem suitable for a summer of code > project. I am writing this email to this list with the hope of >
2011 Apr 19
0
[LLVMdev] Coarse-grained parallelism
On 4/19/11 5:57 AM, Andreas Wilhelm wrote: > Hello, > > I found some code within the pool allocation project to identify > parallelizable function calls. > Unfortunately the functionality isn't part of the current release of > poolalloc (in release 14 it was). Can you tell me in what file(s) this is implemented? I wasn't aware that the poolalloc project had such an
2004 Jun 23
0
[LLVMdev] weird issue with mem2reg
MetaSplit is an anlysis I just finished writing. It doesn't alter anything, all it does is build a set of "program instructions". For some reason even though if I run it with any other combination of passes I've found, anytime I run it with mem2reg I get a seg fault in dyn_cast! Here's output: Starting program: /mounts/zion/disks/0/localhome/pmeredit/llvm/tools/Debug/opt
2004 Jun 23
0
[LLVMdev] weird issue with mem2reg, should have guessed
What's different about code that's been mem2reg'd from straight front end code, or anything that mem2reg hasn't been run on? PHINODES! It appears to be crashing when I try to cast a Value* that's really a BB* (from the PHInode operands) to a User*, insteresting since I am dyn_casting. I just caught this on cerr though (printing out what the Value* was each time). Let me