分享

C语言之-restrict用法

 心不留意外尘 2016-06-03

http://blog.csdn.net/denny_233/article/details/6234687

2011

refer:http://en./wiki/Restrict

From Wikipedia, the free encyclopedia
Jump to: navigation , search
This article is about the C programming language keyword. For other uses, see Restriction (disambiguation) .

In the C programming language , as of the C99 standard , restrict is a keyword that can be used in pointer declarations. The restrict keyword is a declaration of intent given by the programmer to the compiler . It says that for the lifetime of the pointer, only it or a value directly derived from it (such as ?pointer + 1? ) will be used to access the object to which it points. This limits the effects of pointer aliasing , aiding caching optimizations. If the declaration of intent is not followed and the object is accessed by an independent pointer, this will result in undefined behavior .

[edit ] Optimization

If the compiler knows that there is only one pointer to a memory block, it can produce better code. The following hypothetical example makes it clearer:

void
 updatePtrs(
size_t *
ptrA,
 size_t *
ptrB,
 size_t *
val)

{
* ptrA += * val;
* ptrB += * val;
}

In the above code, the pointers ptrA , ptrB , val might refer to the same memory location , so the compiler will generate a less optimal code :

load R1 ← *
val  ; Load the value of val pointer

load R2 ← * ptrA ; Load the value of ptrA pointer
add R2 + = R1 ; Perform Addition
set R2 → * ptrA ; Update the value of ptrA pointer
; Similarly for ptrB, note that val is loaded twice,
; because ptrA may be equal to val.
load R1 ← * val
load R2 ← * ptrB
add R2 + = R1
set R2 → * ptrB

However if the restrict keyword is used and the above function is declared as :

void
 updatePtrs(
size_t *
restrict ptrA,
 size_t *
restrict ptrB,
 size_t *
restrict val)
;

then the compiler is allowed to assume that ptrA , ptrB , val point to different locations and updating one pointer will not affect the other pointers. The programmer, not the compiler, is responsible for ensuring that the pointers do not point to identical locations.

Now the compiler can generate better code as follows:

load R1 ← *
val 
load R2 ← * ptrA
add R2 + = R1
set R2 → * ptrA
; Note that val is not reloaded,
; because the compiler knows it is unchanged
load R2 ← * ptrB
add R2 + = R1
set R2 → * ptrB

Note that the above assembly code is better and the val is loaded once.

[edit ] References

[edit ] External links

Retrieved from "http://en./wiki/Restrict "

    本站是提供个人知识管理的网络存储空间,所有内容均由用户发布,不代表本站观点。请注意甄别内容中的联系方式、诱导购买等信息,谨防诈骗。如发现有害或侵权内容,请点击一键举报。
    转藏 分享 献花(0

    0条评论

    发表

    请遵守用户 评论公约

    类似文章 更多