similar to: [LLVMdev] Advice on CFG pre-analysis

Displaying 20 results from an estimated 40000 matches similar to: "[LLVMdev] Advice on CFG pre-analysis"

2008 May 24
0
[LLVMdev] Advice on CFG pre-analysis
On May 24, 2008, at 02:53, Talin wrote: > In the language I am working on, there are cases where the call flow > graph can affect the type of a variable. A simple example is a > "nullable" type (a pointer which is allowed to be NULL), which can > be converted into a non-nullable type via an if-test. So for example > if x is nullable, and I test x != NULL, then
2008 May 28
0
[LLVMdev] Advice on CFG pre-analysis
On May 23, 2008, at 11:53 PM, Talin wrote: > In the language I am working on, there are cases where the call flow > graph can affect the type of a variable. Ok. > A simple example is a > "nullable" type (a pointer which is allowed to be NULL), which can be > converted into a non-nullable type via an if-test. So for example if x > is nullable, and I test x != NULL,
2008 May 28
3
[LLVMdev] Advice on CFG pre-analysis
Thanks (everyone) for the suggestions, they were helpful. What I decided to do was to essentially "wrap" LLVM's BasicBlock structure with my own block class that contains additional high-level information. Up to this point I was generating LLVM basic blocks on the fly as I walked the statement tree; Now I build my own BB graph, and then use that to generate the BB graph for
2008 May 27
0
[LLVMdev] Advice on CFG pre-analysis
On May 23, 2008, at 11:53 PM, Talin wrote: > In the language I am working on, there are cases where the call flow > graph can affect the type of a variable. :-) This reminds me of people that want to use CFG and the optimizer to make: int i; int() { if (i) return 1; else return 0; } not warn/error that flow falls off the end. Extend that out and you have to do arbitrarily hard
2008 May 28
1
[LLVMdev] Advice on CFG pre-analysis
On May 27, 2008, at 1:57 PM, Mike Stump wrote: > On May 23, 2008, at 11:53 PM, Talin wrote: >> In the language I am working on, there are cases where the call flow >> graph can affect the type of a variable. > > :-) > > This reminds me of people that want to use CFG and the optimizer to > make: > > int i; int() { if (i) return 1; else return 0; } > > not
2007 Aug 14
3
[LLVMdev] Some questions about building an LLVM frontend
On Aug 13, 2007, at 9:20 PM, Talin wrote: > Hi, I spoke with you briefly after your talk at Google; I've since > been playing around with LLVM quite a bit and started working on a > front end for my experimental programming language, Tart. Cool, welcome :) > A couple of questions I wanted to ask (although feel free to answer > by saying "go ask on the mailing
2017 Feb 16
2
[PATCH v4 1/2] x86/paravirt: Change vcp_is_preempted() arg type to long
On Wed, Feb 15, 2017 at 04:37:49PM -0500, Waiman Long wrote: > The cpu argument in the function prototype of vcpu_is_preempted() > is changed from int to long. That makes it easier to provide a better > optimized assembly version of that function. > > For Xen, vcpu_is_preempted(long) calls xen_vcpu_stolen(int), the > downcast from long to int is not a problem as vCPU number
2017 Feb 16
2
[PATCH v4 1/2] x86/paravirt: Change vcp_is_preempted() arg type to long
On Wed, Feb 15, 2017 at 04:37:49PM -0500, Waiman Long wrote: > The cpu argument in the function prototype of vcpu_is_preempted() > is changed from int to long. That makes it easier to provide a better > optimized assembly version of that function. > > For Xen, vcpu_is_preempted(long) calls xen_vcpu_stolen(int), the > downcast from long to int is not a problem as vCPU number
2007 Aug 25
0
[LLVMdev] Some questions about building an LLVM frontend
I've been working some more on my front-end, incorporating the advice from your previous email. I've had some success, in that I can generate a Module object, populated it with functions and instructions, and print out the resulting LLVM IR. But I'm still a little puzzled on how to connect the front end with LLVM's backend code generator, I can't seem to figure out how to
2013 Nov 25
2
[LLVMdev] How do downcast signed integers?
I was looking at "trunc" to downcast a signed integer, say sint32 to sint16, but it seems to handle unsigned integers only. How do you downcast a signed integer? P.S. This question is for my "Mapping High-Level Constructs to LLVM IR" document :-) -- Mikael -------------- next part -------------- An HTML attachment was scrubbed... URL:
2006 Feb 07
5
OCI adapter slowdown on dictionary access
Hi, after some experience with Rails on MySQL databases I gave it a try on one of our larger Oracle database. I was facing a problem when Rails tried to detect the columns for a model/table. The appropriate statement ran about 1 min which led to a timeout. Our Oracle guru told me to analyze the SYSTEM schema. After that hadn''t helped, he said the only remaining chance is to use a
2016 Jul 11
2
[PATCH] D22161: SystemZ: Avoid implicit iterator conversions, NFC
> On 2016-Jul-11, at 09:05, Ulrich Weigand <ulrich.weigand at de.ibm.com> wrote: > > uweigand accepted this revision. > uweigand added a comment. > This revision is now accepted and ready to land. > > I'll defer to your expertise on that. Patch looks good to me. > > I guess I'm not fully familiar with some of the C++ language details here. Would you
2019 May 28
1
Re: [libnbd PATCH 2/4] api: Rearrange flags argument to block_status
Patches 1 & 2 are fine, ACK. I have a separate comment about patch 4 coming up. In libguestfs we handle optional args by putting them in a separate list (so instead of { args; ret } we have we have { args; optargs; ret }). This gets translated into a language like Python in the natural way. However for C it's translated into a varargs list with a rather complex system of flags, see:
2010 Jan 10
1
xmlToDataFrame#Help!!!#follow-up
Dieter Menne pointed out that the (small) xml attachment didn't make it. Here is an in-line version (see end of message). Let's hope it works this time. I'm struggling with interpreting XML files created by ADODB as data.frames and I'm looking for advice. Note: This xlm contains a result set which comes from a rectangular data array. I've been trying to play with
2015 Nov 13
5
How to efficiently extract the calledFunction from a complex CallInst?
Hi all, Usually if we want to get the called Function we can directly use CallInst->getCalledFunction(), however, today i encounter an unusual CallInst as follows: %call11 = call double (...)* bitcast (double ()* @quantum_frand to double (...)*)() the original C source involve type cast: float u,v; extern double quantum_frand(); u = 2 * quantum_frand() - 1; v = 2 * quantum_frand() -
2006 Sep 27
5
Question about has_one
I have a question about regarding the use of ''has_one'' in this scenario: Schema: User ---- id first_name last_name UserMessage ---- user_id message_id Message ---- id Assuming business rules dictate that a Message can have at most ONE User (let''s assume a message can be created without a user associated to it), these are my questions: 1) How would I use has_one
2010 Sep 25
2
[LLVMdev] Strange exception in SelectionDAGBuilder
I'm working on the code to handle GC tracing of "intermediate values" (as described in the GC doc), and I've run into a weird problem. (Note, this has nothing to do with the patch I have proposed, this error occurs with regular old pointer-allocas.) The exception I am getting occurs in this code here in SelectionDAGBuilder.cpp: *case* *Intrinsic*::gcroot: *if* (GFI) {
2009 May 06
4
[LLVMdev] Suggestion: Support union types in IR
Chris Lattner wrote: > On May 5, 2009, at 8:09 PM, Talin wrote: > > >> I wanted to mention, by the way, that my need/desire for this hasn't >> gone away :) >> >> And my wish list still includes support for something like uintptr_t >> - a >> primitive integer type that is defined to always be the same size as a >> pointer, however large or
2013 Nov 25
0
[LLVMdev] How do downcast signed integers?
Hello > I was looking at "trunc" to downcast a signed integer, say sint32 to sint16, > but it seems to handle unsigned integers only. No. In twos-complement notation (which LLVM assumes) there no difference between signed and unsigned truncation - you just throw out the spare sign bits and that's all. Please note that that the "numbers" in LLVM IR is neither signed
2006 Jan 11
8
Oracle and Rails seems really slow.... In development
I''m just looking into how to connect to Oracle using Rails. I''ve got everything connecting and working as it should. I have a Users table in Oracle: create_table "users", :force => true do |t| t.column "username", :string t.column "created_on", :datetime t.column "email", :string t.column "note", :text