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