https://github.com/matthias-springer edited
https://github.com/llvm/llvm-project/pull/116524
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/matthias-springer edited
https://github.com/llvm/llvm-project/pull/116524
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/matthias-springer edited
https://github.com/llvm/llvm-project/pull/116524
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/matthias-springer updated
https://github.com/llvm/llvm-project/pull/120746
>From b6a6f1c020ede4e1fb3ee586d4544afe04644f82 Mon Sep 17 00:00:00 2001
From: Matthias Springer
Date: Sat, 9 Nov 2024 12:29:16 +0100
Subject: [PATCH] use dominfo
---
mlir/include/mlir/IR/Dominance.h
https://github.com/matthias-springer converted_to_draft
https://github.com/llvm/llvm-project/pull/121646
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/matthias-springer updated
https://github.com/llvm/llvm-project/pull/121646
>From bf57b8d0a3da1c9d383374399a36f766df3f255e Mon Sep 17 00:00:00 2001
From: Matthias Springer
Date: Sat, 4 Jan 2025 13:53:38 +0100
Subject: [PATCH] [mlir][Transforms] Detect mapping overwrites during
https://github.com/matthias-springer created
https://github.com/llvm/llvm-project/pull/121646
Add extra assertions to make sure that a value in the conversion value mapping
is not overwritten during `applySignatureConversion`.
Depends on #121644.
>From f0edd0362d0b4ff6b1b2aef53b9cce256d60da0
https://github.com/matthias-springer created
https://github.com/llvm/llvm-project/pull/123326
Remove `type.isFloat4E2M1FN()` etc. Use `isa(type)` instead.
For details, see:
https://discourse.llvm.org/t/rethink-on-approach-to-low-precision-fp-types/82361/28
Depends on #123321.
>From 55825a99
https://github.com/matthias-springer edited
https://github.com/llvm/llvm-project/pull/131460
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/matthias-springer edited
https://github.com/llvm/llvm-project/pull/131460
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/matthias-springer updated
https://github.com/llvm/llvm-project/pull/131460
>From cacf322a8476879786076c2537363b8ac4af6d57 Mon Sep 17 00:00:00 2001
From: Matthias Springer
Date: Sat, 15 Mar 2025 16:45:53 +0100
Subject: [PATCH] [llvm] Add `getSingleElement` helper and use in ML
https://github.com/matthias-springer created
https://github.com/llvm/llvm-project/pull/132547
The runtime verification code used to verify that the result of a
`memref.reinterpret_cast` is in-bounds with respect to the source memref. This
is incorrect: `memref.reinterpret_cast` allows users to
https://github.com/matthias-springer edited
https://github.com/llvm/llvm-project/pull/133286
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
@@ -22,7 +22,7 @@ func.func @bad_address_space(%a: memref<2xindex, "foo">) {
// CHECK-LABEL: @invalid_int_conversion
func.func @invalid_int_conversion() {
- // expected-error@+1 {{conversion of memref memory space 1 : ui64 to
integer address space failed. Consider adding
https://github.com/matthias-springer updated
https://github.com/llvm/llvm-project/pull/134427
>From bd104624a51dc315b94f651271b95b8b438a8146 Mon Sep 17 00:00:00 2001
From: Matthias Springer
Date: Fri, 4 Apr 2025 19:59:28 +0200
Subject: [PATCH 1/2] [mlir][memref] Check memory space before loweri
@@ -75,9 +75,11 @@ class ConvertToLLVMPattern : public ConversionPattern {
ValueRange indices,
ConversionPatternRewriter &rewriter) const;
- /// Returns if the given memref has identity maps and the element type is
-
https://github.com/matthias-springer updated
https://github.com/llvm/llvm-project/pull/133286
>From 44cfa133cbaae27620c911d15d985a5b51f1f1aa Mon Sep 17 00:00:00 2001
From: Matthias Springer
Date: Thu, 27 Mar 2025 18:42:56 +0100
Subject: [PATCH 1/2] [mlir][LLVM] Delete `LLVMFixedVectorType`
---
https://github.com/matthias-springer edited
https://github.com/llvm/llvm-project/pull/133286
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
@@ -150,8 +150,7 @@ generatedTypePrinter(Type def, AsmPrinter &printer);
bool LLVMArrayType::isValidElementType(Type type) {
return !llvm::isa(
- type);
+LLVMFunctionType, LLVMTokenType>(type);
matthias-springer wrote:
Note: `LLVMSc
https://github.com/matthias-springer edited
https://github.com/llvm/llvm-project/pull/133286
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/matthias-springer created
https://github.com/llvm/llvm-project/pull/133286
Since #125690, the MLIR vector type supports `!llvm.ptr` as an element type.
The only remaining element type for `LLVMFixedVectorType` is now
`LLVMPPCFP128Type`.
This commit turns `LLVMPPCFP128Type`
https://github.com/matthias-springer updated
https://github.com/llvm/llvm-project/pull/135051
>From 120778f6eff8af147add819a4a9f3f31d495f6d8 Mon Sep 17 00:00:00 2001
From: Matthias Springer
Date: Wed, 9 Apr 2025 19:05:11 +0200
Subject: [PATCH] [mlir][LLVM] Delete `getFixedVectorType` and
`getS
https://github.com/matthias-springer created
https://github.com/llvm/llvm-project/pull/135051
The LLVM dialect no longer has its own vector types. It uses `mlir::VectorType`
everywhere. Remove `LLVM::getFixedVectorType/getScalableVectorType` and use
`VectorType::get` instead. This commit addre
https://github.com/matthias-springer updated
https://github.com/llvm/llvm-project/pull/133286
error: too big or took too long to generate
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/lis
https://github.com/matthias-springer created
https://github.com/llvm/llvm-project/pull/136490
This commit adds a new flag to `ConversionConfig` to disallow the rollback of
IR modification. This commit is in preparation of the One-Shot Dialect
Conversion refactoring, which will remove the abili
https://github.com/matthias-springer ready_for_review
https://github.com/llvm/llvm-project/pull/136490
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/matthias-springer edited
https://github.com/llvm/llvm-project/pull/136490
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/matthias-springer edited
https://github.com/llvm/llvm-project/pull/136490
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/matthias-springer created
https://github.com/llvm/llvm-project/pull/135940
Depends on #135939.
>From 0ca00d18d5ce5b118fbc4c777ae9eabd5ae410e5 Mon Sep 17 00:00:00 2001
From: Matthias Springer
Date: Wed, 16 Apr 2025 10:02:41 +0200
Subject: [PATCH] [mlir][memref][NFC] Simplify
https://github.com/matthias-springer edited
https://github.com/llvm/llvm-project/pull/135940
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/matthias-springer updated
https://github.com/llvm/llvm-project/pull/135940
>From ea19bcfab213967b0e86aa1346734432e4843e0f Mon Sep 17 00:00:00 2001
From: Matthias Springer
Date: Wed, 16 Apr 2025 10:02:41 +0200
Subject: [PATCH] [mlir][memref][NFC] Simplify `constifyIndexValues`
https://github.com/matthias-springer updated
https://github.com/llvm/llvm-project/pull/135940
>From d137ec06b1b846232a77b78472c522183b872152 Mon Sep 17 00:00:00 2001
From: Matthias Springer
Date: Wed, 16 Apr 2025 10:02:41 +0200
Subject: [PATCH] [mlir][memref][NFC] Simplify `constifyIndexValues`
https://github.com/matthias-springer updated
https://github.com/llvm/llvm-project/pull/135940
>From 05d2c7b8c4645dc686ea7ad20ed351c707430475 Mon Sep 17 00:00:00 2001
From: Matthias Springer
Date: Wed, 16 Apr 2025 10:02:41 +0200
Subject: [PATCH] [mlir][memref][NFC] Simplify `constifyIndexValues`
@@ -10,6 +10,7 @@
#define MLIR_DIALECT_AFFINE_IR_VALUEBOUNDSOPINTERFACEIMPL_H
#include "mlir/Support/LLVM.h"
+#include
matthias-springer wrote:
Why is this import needed?
https://github.com/llvm/llvm-project/pull/138550
_
https://github.com/matthias-springer edited
https://github.com/llvm/llvm-project/pull/138550
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/matthias-springer commented:
I'm not sure what's the process for pushing to a release branch.
https://github.com/llvm/llvm-project/pull/138550
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm
@@ -861,8 +861,10 @@ struct ConversionPatternRewriterImpl : public
RewriterBase::Listener {
/// conversion process succeeds.
void applyRewrites();
- /// Reset the state of the rewriter to a previously saved point.
- void resetState(RewriterState state);
+ /// Reset the
matthias-springer wrote:
> So this would also allow folks to prefetch the future state? E.g., used to
> test for failures when rollback no longer supported?
Yes, that's correct. The simplest way to do that is to change the default value
of the new `allowPatternRollback` flag to `false` in `Dia
https://github.com/matthias-springer created
https://github.com/llvm/llvm-project/pull/130437
Implement runtime op verification for `memref.copy`. Only ranked memrefs are
verified at the moment.
>From 7bb852c420fb718eec9198ec3659fbcd1221ca33 Mon Sep 17 00:00:00 2001
From: Matthias Springer
Da
https://github.com/matthias-springer created
https://github.com/llvm/llvm-project/pull/130414
Implement runtime verification for `memref.atomic_rmw` and
`memref.generic_atomic_rmw`.
>From c37848a198f4abac8bfdd20cf9a687263f8a8241 Mon Sep 17 00:00:00 2001
From: Matthias Springer
Date: Sat, 8 Ma
https://github.com/matthias-springer created
https://github.com/llvm/llvm-project/pull/130412
Implement runtime verification for `memref.assume_alignment`.
>From 7cf452f01303e82cb3dd63fed1a1ce306f311e95 Mon Sep 17 00:00:00 2001
From: Matthias Springer
Date: Sat, 8 Mar 2025 13:45:45 +0100
Subj
@@ -182,6 +182,53 @@ struct CastOpInterface
}
};
+struct CopyOpInterface
+: public RuntimeVerifiableOpInterface::ExternalModel {
+ void generateRuntimeVerification(Operation *op, OpBuilder &builder,
+ Location loc) const {
+auto cop
https://github.com/matthias-springer edited
https://github.com/llvm/llvm-project/pull/131876
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/matthias-springer created
https://github.com/llvm/llvm-project/pull/134427
Check the memory space before lowering allocation ops, instead of starting the
lowering and then rolling back the pattern when the memory space was found to
be incompatible with LLVM.
Note: This is i
https://github.com/matthias-springer edited
https://github.com/llvm/llvm-project/pull/132547
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/matthias-springer edited
https://github.com/llvm/llvm-project/pull/131876
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
matthias-springer wrote:
> I think this is OK, but when we create a new memref, dont we want to verify
> that the strides specified dont make it such that accessing using strides
> goes out of bounds?
By "create a new memref" you mean the reinterpret_cast result, right? I'd say
you don't want
https://github.com/matthias-springer approved this pull request.
https://github.com/llvm/llvm-project/pull/149487
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commit
https://github.com/matthias-springer created
https://github.com/llvm/llvm-project/pull/144664
Manually populate the `unresolvedMaterializations` map instead of automatically
in the `UnresolvedMaterializationRewrite` constructor. This simplifies the
constructor a bit.
This commit is in prepara
https://github.com/matthias-springer updated
https://github.com/llvm/llvm-project/pull/145030
>From d65161f2d8e65512a6924ac96f069ab5acce0fcd Mon Sep 17 00:00:00 2001
From: Matthias Springer
Date: Fri, 20 Jun 2025 12:25:00 +
Subject: [PATCH] [mlir][Transforms] Dialect conversion: Add missing
https://github.com/matthias-springer updated
https://github.com/llvm/llvm-project/pull/145030
>From edb49ecf11faa51847b324d6e43336845e71fcf4 Mon Sep 17 00:00:00 2001
From: Matthias Springer
Date: Fri, 20 Jun 2025 12:25:00 +
Subject: [PATCH] [mlir][Transforms] Dialect conversion: Add missing
https://github.com/matthias-springer created
https://github.com/llvm/llvm-project/pull/145030
Add missing listener notifications when erasing nested blocks/operations.
This commit also moves some of the functionality from
`ConversionPatternRewriter` to `ConversionPatternRewriterImpl`. This is
https://github.com/matthias-springer edited
https://github.com/llvm/llvm-project/pull/145030
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
@@ -1434,12 +1439,15 @@ Block
*ConversionPatternRewriterImpl::applySignatureConversion(
if (!inputMap) {
// This block argument was dropped and no replacement value was provided.
// Materialize a replacement value "out of thin air".
- buildUnresolvedMateri
https://github.com/matthias-springer created
https://github.com/llvm/llvm-project/pull/145319
This commit adds extra state to `ConversionPatternRewriterImpl` to store all
modified / newly-created operations and moved / newly-created blocks in
separate lists on a per-pattern basis.
This is in
https://github.com/matthias-springer created
https://github.com/llvm/llvm-project/pull/145171
This commit adds 1:N support to
`ConversionPatternRewriter::replaceUsesOfBlockArgument`. This was one of the
few remaining dialect conversion APIs that does not support 1:N conversions yet.
This comm
https://github.com/matthias-springer created
https://github.com/llvm/llvm-project/pull/151865
This commit improves the `allowPatternRollback` flag handling in the dialect
conversion driver. Previously, this flag was used to merely detect cases that
are incompatible with the new One-Shot Dialec
https://github.com/matthias-springer updated
https://github.com/llvm/llvm-project/pull/151865
>From 4932ff9587728655edd68082fb55c2b6dcd1c309 Mon Sep 17 00:00:00 2001
From: Matthias Springer
Date: Sun, 22 Jun 2025 09:21:22 +
Subject: [PATCH] :WIP
update
erase immediately
update 2
fix
fi
https://github.com/matthias-springer updated
https://github.com/llvm/llvm-project/pull/151865
>From e789428b751e4c8037fd90c114777a23c33973f6 Mon Sep 17 00:00:00 2001
From: Matthias Springer
Date: Sun, 22 Jun 2025 09:21:22 +
Subject: [PATCH] :WIP
update
erase immediately
update 2
fix
fi
https://github.com/matthias-springer edited
https://github.com/llvm/llvm-project/pull/151865
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/matthias-springer created
https://github.com/llvm/llvm-project/pull/140350
A type conversion rule cannot make any assumptions about the number of
pre-existing types in the `results` vector.
This commit fixes a failed assertion in a SparseTensor type conversion rule.
This is
https://github.com/matthias-springer updated
https://github.com/llvm/llvm-project/pull/151865
>From a94080b51e4554dee5c8f073d9647dc99d4dbc9a Mon Sep 17 00:00:00 2001
From: Matthias Springer
Date: Sun, 22 Jun 2025 09:21:22 +
Subject: [PATCH] :WIP
update
erase immediately
update 2
fix
fi
https://github.com/matthias-springer edited
https://github.com/llvm/llvm-project/pull/152912
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/matthias-springer created
https://github.com/llvm/llvm-project/pull/152912
The pass used to access erased operations and block arguments in the type
converter. That is no longer supported in the new conversion driver.
>From c2e90f3a39148223619497eeff16ed810e3cab95 Mon Sep 1
https://github.com/matthias-springer created
https://github.com/llvm/llvm-project/pull/155244
Depends on #155242.
>From b217bce2ba7ecaf94d1e6364cac7b75f4ffb3f41 Mon Sep 17 00:00:00 2001
From: Matthias Springer
Date: Sat, 23 Aug 2025 10:36:37 +
Subject: [PATCH] [mlir][Transforms] Add suppo
https://github.com/matthias-springer edited
https://github.com/llvm/llvm-project/pull/156171
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/matthias-springer edited
https://github.com/llvm/llvm-project/pull/156171
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/matthias-springer edited
https://github.com/llvm/llvm-project/pull/155244
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/matthias-springer updated
https://github.com/llvm/llvm-project/pull/155244
>From 196203361a0b07b71f6eb0d4ac0b68f905d496ac Mon Sep 17 00:00:00 2001
From: Matthias Springer
Date: Sat, 23 Aug 2025 10:36:37 +
Subject: [PATCH] [mlir][Transforms] Add support for
`ConversionPat
https://github.com/matthias-springer updated
https://github.com/llvm/llvm-project/pull/156171
>From fee875b7f60d59174e0913bc64c37450cf846da1 Mon Sep 17 00:00:00 2001
From: Matthias Springer
Date: Sat, 30 Aug 2025 10:35:08 +
Subject: [PATCH] [flang] Do not use dialect conversion in
`AffineD
https://github.com/matthias-springer edited
https://github.com/llvm/llvm-project/pull/155244
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/matthias-springer edited
https://github.com/llvm/llvm-project/pull/155244
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/matthias-springer edited
https://github.com/llvm/llvm-project/pull/155244
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
@@ -1169,32 +1185,54 @@ void BlockTypeConversionRewrite::rollback() {
getNewBlock()->replaceAllUsesWith(getOrigBlock());
}
-static void performReplaceBlockArg(RewriterBase &rewriter, BlockArgument arg,
- Value repl) {
+/// Replace all uses o
https://github.com/matthias-springer edited
https://github.com/llvm/llvm-project/pull/155244
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/matthias-springer ready_for_review
https://github.com/llvm/llvm-project/pull/155244
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
301 - 376 of 376 matches
Mail list logo
