Leveraging unspecified order of evaluation for compiler-based program optimization

A computing system comprising:

• a memory;
• a processor to execute instructions stored within the memory and configured for:
• converting a source code into an abstract syntax tree (AST):
• identifying expressions involving unsequenced evaluations that include side-effects based on a traversal of the AST to thereby identify at least one must-not-alias relationship;
• encoding the identified must not alias relationships with corresponding expressions into one or more language-independent intermediate representation (IR) based on a custom intrinsic function call to thereby result in a non-optimized IR representation;
• executing an optimization pass in respect of the non-optimized IR to generate an optimized IR based on at least one of:
• extract an indication about must-not-alias relationships, said indication received as a response from one or more encoded must not alias relationships through said custom intrinsic function call;
• and
• detect the must-not-alias relationships not recommended for aliasing based on the response and ensuring that the custom intrinsic function call does not interfere with the optimization pass;
• and
• removing the custom intrinsic function call that was used for encoding must not alias relationships from the optimized IR before assembly-code generation and thereby generating an assembly code.