Restrictifier is a static optimization tool to improve the performance of functions that deal with memory references. A good number of memory references that come as inputs to functions end up never pointing to the same memory region. This property enables more agressive compiler optimizations, therefore making it possible for the program to be faster.


> Install and use Restrictifier on your own computer

> Watch a video that explains this optimization

> Read a brief report about restrictification

Type the code in the box above or select a C/C++ file to upload. ?    

Choose the output: