search for: side_gep

...gt;> ... >> store %rp, 10, !scope..., !noalias ... >> ... >> >> >> and convert it (early, with an llvm-ir pass) to a form like: >> ... >> %p = ... >> %rp =llvm.noalias %p , !scope.., !noalias ... >> ... >> store %p, 10, !side_gep %rp, !scope..., !noalias ... //@ Introduction of '!side_gep %rp, and removing the 'direct dependency' on %rp for the store address >> ... >> >> This second form, is the version where we can deduce restrictness (through the 'side_gep') >> We believe...