Skip to content

Conversation

vzakhari
Copy link
Contributor

@vzakhari vzakhari commented Sep 2, 2025

Here is an example of TBAA attributes generated by Flang:

#tbaa_root = #llvm.tbaa_root<id = "Flang function root _QPtest6">
#tbaa_type_desc = #llvm.tbaa_type_desc<id = "any access", members = {<#tbaa_root, 0>}>

We have to process the text after = to replace the attribute
references with proper check variables.

Here is an example of TBAA attributes generated by Flang:
```
```

We have to process the test after `=` to replace the attribute
references with proper check variables.
@vzakhari vzakhari changed the title [utils] Process attribute references in lines defining attrs.' [utils] Process attribute references in lines defining attrs. Sep 4, 2025
@vzakhari vzakhari requested review from abidh and tblah September 5, 2025 03:48
@vzakhari
Copy link
Contributor Author

vzakhari commented Sep 5, 2025

@abidh @tblah I think you might have hit the issue that the checks generator script does not fully automate the attributes matching (e.g. for TBAA and debug attributes that Flang generates). Please take a look, and let me know if this change would be useful to you.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant