[PATCH] D111403: [Inliner] Don't inline functions with incompatible vscale_range attributes

Cullen Rhodes via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Wed Oct 13 05:31:06 PDT 2021


c-rhodes added inline comments.


================
Comment at: llvm/test/Transforms/Inline/inline-vscale-range.ll:4
+
+; CHECK: remark: {{.*}} 'callee_restricted_min' is not inlined into 'caller_unbounded_min__callee_restricted_min': incompatible vscale_range attributes
+; CHECK: remark: {{.*}} 'callee_restricted_min' is not inlined into 'caller_unrestricted_min__callee_restricted_min': incompatible vscale_range attributes
----------------
sdesmalen wrote:
> It may be easier to read the tests if you move the `CHECK: remark:`'s to the caller definitions.
> Can you also enable `-pass-remarks=inline` and have CHECK lines to check that a function has been inlined (for the positive cases) ?
> It may be easier to read the tests if you move the `CHECK: remark:`'s to the caller definitions.

All the remarks are emitted at the top, I don't think this will work with the CHECK-LABELs but I'll try.

> Can you also enable `-pass-remarks=inline` and have CHECK lines to check that a function has been inlined (for the positive cases) ?

Sure 


================
Comment at: llvm/test/Transforms/Inline/inline-vscale-range.ll:20
+define internal void @callee_restricted_min() vscale_range(2, 4) {
+; CHECK-LABEL: @callee_restricted_min(
+; CHECK-NEXT:    ret void
----------------
sdesmalen wrote:
> why are these CHECK lines here?
> why are these CHECK lines here?

Because it's not inlined, these are auto-generated


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D111403/new/

https://reviews.llvm.org/D111403



More information about the llvm-commits mailing list