Reasoning about Non-Functional Properties Using Compiler Intrinsic Function Annotations | AMiner