Displaying 4 results from an estimated 4 matches for "createdistinctitem".
2009 Aug 28
2
[LLVMdev] A create-distinct-item function with no (other) side effects
Suppose I have some LLVM assembly like this:
declare i8* @CreateDistinctItem() nounwind
declare void @dumpBoolean(i1 %val)
define i32 @main()
{
%var1 = call i8* CreateDistinctItem()
%var2 = call i8* CreateDistinctItem()
%isEqual = icmp eq i8* %val1, %val2
call void @dumpBoolean(i1 %isEqual)
ret i32 0
}
So far so good. But if I take out the "call @dumpBoolean&q...
2009 Aug 28
0
[LLVMdev] A create-distinct-item function with no (other) side effects
2009/8/28 Kenneth Uildriks <kennethuil at gmail.com>
> Suppose I have some LLVM assembly like this:
>
> declare i8* @CreateDistinctItem() nounwind
>
> declare void @dumpBoolean(i1 %val)
>
> define i32 @main()
> {
> %var1 = call i8* CreateDistinctItem()
> %var2 = call i8* CreateDistinctItem()
> %isEqual = icmp eq i8* %val1, %val2
> call void @dumpBoolean(i1 %isEqual)
> ret i32 0
> }
>
> So...
2009 Aug 29
4
[LLVMdev] A create-distinct-item function with no (other) side effects
On Fri, Aug 28, 2009 at 3:47 PM, Nick Lewycky<nlewycky at google.com> wrote:
>
>
> 2009/8/28 Kenneth Uildriks <kennethuil at gmail.com>
>>
>> This is by design, of course, (CreateDistinctItem does not return the
>> same value given the same caller-visible global state) but I see no
>> way to declare a function that:
>>
>> 1. Returns a distinct item each time it's called,
>
> Attach a 'noalias' attribute to the return type in your function
> d...
2009 Aug 29
0
[LLVMdev] A create-distinct-item function with no (other) side effects
Kenneth Uildriks wrote:
> On Fri, Aug 28, 2009 at 3:47 PM, Nick Lewycky<nlewycky at google.com> wrote:
>>
>> 2009/8/28 Kenneth Uildriks <kennethuil at gmail.com>
>>> This is by design, of course, (CreateDistinctItem does not return the
>>> same value given the same caller-visible global state) but I see no
>>> way to declare a function that:
>>>
>>> 1. Returns a distinct item each time it's called,
>> Attach a 'noalias' attribute to the return type in your...