Displaying 2 results from an estimated 2 matches for "autoinitsummary".
2020 Nov 04
2
RFC: Combining Annotation Metadata and Remarks
...down the origin of code-size regressions caused by auto-init code for example. Similarly, remarks for overflow checks could be used to spot weaknesses in LLVM’s reasoning about such checks. An example for a remark generated from annotation metadata is shown below
Pass: annotation-remarks
Name: AutoInitSummary
Function: test2
Args:
• String: 'Annotated '
• count: '2'
• String: ' instructions with '
• type: auto-init
…
The third part consists of a set of tools to analyze & summarizes the data mined from the remarks. One very useful tool I think would be...
2020 Nov 06
0
RFC: Combining Annotation Metadata and Remarks
...of code-size regressions caused by auto-init code for example. Similarly, remarks for overflow checks could be used to spot weaknesses in LLVM’s reasoning about such checks. An example for a remark generated from annotation metadata is shown below
>
> Pass: annotation-remarks
> Name: AutoInitSummary
> Function: test2
> Args:
> • String: 'Annotated '
> • count: '2'
> • String: ' instructions with '
> • type: auto-init
> …
>
> The third part consists of a set of tools to analyze & summarizes the data mined from t...