Add support for scalable vectors#1247
Draft
zhengyang92 wants to merge 1 commit intoAliveToolkit:masterfrom
Draft
Add support for scalable vectors#1247zhengyang92 wants to merge 1 commit intoAliveToolkit:masterfrom
zhengyang92 wants to merge 1 commit intoAliveToolkit:masterfrom
Conversation
zhengyang92
force-pushed
the
sve
branch
2 times, most recently
from
ec810ce to
fcb27d2
Compare
Member
|
vscale needs to be an SMT variable. |
Contributor
Author
|
In the current semantics, vscale cannot be set at runtime, I’ll update the PR so that vscale is inferred as a type parameter.
Get Outlook for iOS<https://aka.ms/o0ukef>
…________________________________
From: Nuno Lopes ***@***.***>
Sent: Tuesday, October 7, 2025 2:04:46 AM
To: AliveToolkit/alive2 ***@***.***>
Cc: ZHENGYANG LIU ***@***.***>; Author ***@***.***>
Subject: Re: [AliveToolkit/alive2] Add support for scalable vectors (PR #1247)
[https://avatars.githubusercontent.com/u/2998477?s=20&v=4]nunoplopes left a comment (AliveToolkit/alive2#1247)<#1247 (comment)>
vscale needs to be an SMT variable.
If this can be set at run time (I don't know), then it goes to State. If the program can't change it, it goes to the type system.
—
Reply to this email directly, view it on GitHub<#1247 (comment)>, or unsubscribe<https://github.com/notifications/unsubscribe-auth/AAPMVRKX6OYU6AQ3KZOV3KT3WN625AVCNFSM6AAAAACIPKJ25GVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZTGNZVHA4TKOJWHE>.
You are receiving this because you authored the thread.Message ID: ***@***.***>
|
- Add VScale instruction for llvm.vscale() intrinsic - Store vscale as a shared SMT variable (VectorType::getVScaleVar) - Expose vscale expr via Function::getVScaleExpr() - Bind vscale as a verification precondition in TransformVerify::exec() - Add vscale constraints in VectorType::getTypeConstraints()
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
3 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This patch adds the support for scalable vectors.
In this patch,
util/config.h. For example, a scalable vector of type<vscale x 2 x i2>creates eight i2 integers when vscale=4.aliveandalive-tv.elementsof VectorType is set tovscale * min_elementsat the time when the VectorType is created. Themin_elementsfield in VectorType serves solely for IR printer.aliveis implemented, check the test cases.llvm.vscale()returns the vscale factor.With this patch, Alive2 can validate non-trivial cases with loops as shown in tests/alive-tv/vector/scalable/insert-loop*.ll.
@nunoplopes please let me know what you think.
CC @regehr