================
@@ -124,6 +135,67 @@ Value createIgnoredValue(OpBuilder &builder, Location loc,
Type ty) {
return cir::ConstantOp::create(builder, loc, ty, cir::PoisonAttr::get(ty));
}
+/// Build an updated arg_attrs ArrayAttr that drops Ignore'd args and adds
+/// llvm.signext / llvm.zeroext on Extend args. Preserves any existing arg
+/// attributes on retained arg slots.
+ArrayAttr updateArgAttrs(MLIRContext *ctx, unsigned numNewArgs,
+ ArrayAttr existingArgAttrs,
+ const FunctionClassification &fc) {
+ SmallVector<Attribute> newArgAttrs(numNewArgs, DictionaryAttr::get(ctx));
+
+ // Step 1: copy existing arg attrs over to their new positions, skipping
+ // Ignore'd args.
+ if (existingArgAttrs) {
+ unsigned newIdx = 0;
+ for (unsigned oldIdx = 0; oldIdx < existingArgAttrs.size(); ++oldIdx) {
+ if (oldIdx < fc.argInfos.size() &&
----------------
andykaylor wrote:
Can `oldIdx` ever be greater than or equal to `fc.argInfos.size()`? If so, what
would that mean?
https://github.com/llvm/llvm-project/pull/195745
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
