Displaying 3 results from an estimated 3 matches for "nonshared_ptrs".
Did you mean:
nonshared_ptr
2020 Nov 18
2
Should I add intrinsics to write my own automatic reference counting passes?
...oes not. I also want a pass
that turn shared_ptr to nonshared_ptr if it can be proven.
So what I want to do is to wrap up all the "events" that are relevant as
intrinsics and run some simplification passes, then use the pointer
capture/escape analysis that LLVM has to turn shared_ptrs to nonshared_ptrs
and to elide nonatomic/atomic acquire/release. So basically, the intrinsics
will be the type-annotation also.
The compilation will then follow this pattern:
1. generate LLVM IR
2. simplification passes
3. pass for turning shared_ptr to nonshared_ptr
4. pass for eliding acquire/release
5, pass that...
2020 Nov 18
0
Should I add intrinsics to write my own automatic reference counting passes?
...also want a pass that turn shared_ptr to nonshared_ptr if it can be proven.
>
> So what I want to do is to wrap up all the "events" that are relevant as intrinsics and run some simplification passes, then use the pointer capture/escape analysis that LLVM has to turn shared_ptrs to nonshared_ptrs and to elide nonatomic/atomic acquire/release. So basically, the intrinsics will be the type-annotation also.
>
> The compilation will then follow this pattern:
> 1. generate LLVM IR
> 2. simplification passes
> 3. pass for turning shared_ptr to nonshared_ptr
> 4. pass for elidin...
2020 Nov 19
1
Should I add intrinsics to write my own automatic reference counting passes?
...ared_ptr if
>> it can be proven.
>>
>> So what I want to do is to wrap up all the "events" that are relevant
>> as intrinsics and run some simplification passes, then use the
>> pointer capture/escape analysis that LLVM has to turn shared_ptrs to
>> nonshared_ptrs and to elide nonatomic/atomic acquire/release. So
>> basically, the intrinsics will be the type-annotation also.
>>
>> The compilation will then follow this pattern:
>> 1. generate LLVM IR
>> 2. simplification passes
>> 3. pass for turning shared_ptr to nonshare...