<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/56431>56431</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            No efficient way to convert between fixed and vscale vectors with asserted vscale_range.
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          zvookin
      </td>
    </tr>
</table>

<pre>
    LLVM has fixed and vscale vectors. Casting between them is generally not allowed. Use of ```llvm.vector.insert.*``` and ```llvm.vector.extract.*``` should be a way to accomplish a zero cost conversion if the hardware size is constrained to a specific value. The function attribute ```vscale_range`` is the way to specify a constraint on the vector hardware width being compiled for. This is very unreliable.

Targeting a known vector size on variable vector size CPUs is an important use case for just in time compilation and known hardware situations (e.g. writing firmware.) That LLVM cannot compile straight forward fixed length vector code for ARM SVE and RISC V vector is a significant productivity blocker.

A minimal LLVM IR test case and stack trace are provided below. This works if the hardware vector size is asserted via backend specific flags such as ```-riscv-v-vector-bits-min```, ```-riscv-v-vector-bits-max```, ```-aarch64-sve-vector-bits-min```, ```-aarch64-sve-vector-bits-min```. One potential design fix would be to make these fixed width flags into per function attributes or part of the target options somehow.

Command to reproduce the failure:
```
    llc -mtriple riscv64 -mattr=+v -verify-machineinstrs < /tmp/test.ll
```

Command which illustrates machine specific (global) fixed width flags correct the error:
```
    llc -mtriple riscv64 -mattr=+m,+d,+zfh,+experimental-zvfh,+v -verify-machineinstrs -riscv-v-vector-bits-min=512  < /tmp/test.ll
```

test.ll input:
```
declare <vscale x 2 x i8> @llvm.vector.insert.nxv2i8.v16i8(<vscale x 2 x i8> %0, <16 x i8> %1, i64 immarg %2)

define <vscale x 2 x i8>  @test_op_vadd_vv_0(ptr noalias nocapture readnone %in) #1 {
  %1 = getelementptr inbounds i8, ptr %in, i64 0
  %2 = load <16 x i8>, ptr %1, align 16
  %3 = tail call <vscale x 2 x i8> @llvm.vector.insert.nxv2i8.v16i8(<vscale x 2 x i8> undef, <16 x i8> %2, i64 0)
  ret <vscale x 2 x i8> %3
}

attributes #1 = { "vscale_range"="8, 8" "min-legal-vector-width=512" }
```

Stack trace:
```
ScalarizeVectorOperand Op #1: t109: nxv2i8 = insert_subvector undef:nxv2i8, t105, Constant:i64<0>

LLVM ERROR: Do not know how to scalarize this operator's operand!

PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: llc -mtriple riscv64 -mattr=+v -verify-machineinstrs
1.      Running pass 'Function Pass Manager' on module '<stdin>'.
2.      Running pass 'RISCV DAG->DAG Pattern Instruction Selection' on function '@test_op_vadd_vv_0'
 #0 0x0000561aa50c40c2 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) /usr/local/google/home/zalman/src/llvm-project/llvm/lib/Support/Unix/Signals.inc:573:3
 #1 0x0000561aa50c249c llvm::sys::RunSignalHandlers() /usr/local/google/home/zalman/src/llvm-project/llvm/lib/Support/Signals.cpp:103:20
 #2 0x0000561aa50c2626 SignalHandler(int) /usr/local/google/home/zalman/src/llvm-project/llvm/lib/Support/Unix/Signals.inc:407:1
 #3 0x00007f5284f6d200 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x12200)
 #4 0x00007f5284a168a1 raise ./signal/../sysdeps/unix/sysv/linux/raise.c:50:1
 #5 0x00007f5284a00546 abort ./stdlib/abort.c:81:7
 #6 0x0000561aa2995c26 llvm::ConvertUTF8toUTF32Impl(unsigned char const**, unsigned char const*, unsigned int**, unsigned int*, llvm::ConversionFlags, unsigned char) (.cold) /usr/local/google/home/zalman/src/llvm-project/llvm/lib/Support/ConvertUTF.cpp:665:9
 #7 0x0000561aa502ea31 (/usr/local/google/home/zalman/src/llvm-project/llvm/RelDbg64/bin/llc+0x30d7a31)
 #8 0x0000561aa4f924c7 llvm::DAGTypeLegalizer::ScalarizeVectorOperand(llvm::SDNode*, unsigned int) /usr/local/google/home/zalman/src/llvm-project/llvm/lib/CodeGen/SelectionDAG/LegalizeVectorTypes.cpp:635:23
 #9 0x0000561aa4f49afa llvm::DAGTypeLegalizer::run() /usr/local/google/home/zalman/src/llvm-project/llvm/lib/CodeGen/SelectionDAG/LegalizeTypes.cpp:343:17
#10 0x0000561aa4f4aa79 llvm::SmallVectorTemplateCommon<llvm::SDNode*, void>::begin() /usr/local/google/home/zalman/src/llvm-project/llvm/include/llvm/ADT/SmallVector.h:249:45
#11 0x0000561aa4f4aa79 llvm::SmallVectorTemplateCommon<llvm::SDNode*, void>::end() /usr/local/google/home/zalman/src/llvm-project/llvm/include/llvm/ADT/SmallVector.h:251:32
#12 0x0000561aa4f4aa79 llvm::SmallVector<llvm::SDNode*, 128u>::~SmallVector() /usr/local/google/home/zalman/src/llvm-project/llvm/include/llvm/ADT/SmallVector.h:1192:24
#13 0x0000561aa4f4aa79 llvm::DAGTypeLegalizer::~DAGTypeLegalizer() /usr/local/google/home/zalman/src/llvm-project/llvm/lib/CodeGen/SelectionDAG/LegalizeTypes.h:30:31
#14 0x0000561aa4f4aa79 llvm::SelectionDAG::LegalizeTypes() /usr/local/google/home/zalman/src/llvm-project/llvm/lib/CodeGen/SelectionDAG/LegalizeTypes.cpp:1060:10
#15 0x0000561aa4ed8f6c llvm::TimeRegion::~TimeRegion() /usr/local/google/home/zalman/src/llvm-project/llvm/include/llvm/Support/Timer.h:157:9
#16 0x0000561aa4ed8f6c llvm::NamedRegionTimer::~NamedRegionTimer() /usr/local/google/home/zalman/src/llvm-project/llvm/include/llvm/Support/Timer.h:165:8
#17 0x0000561aa4ed8f6c llvm::SelectionDAGISel::CodeGenAndEmitDAG() /usr/local/google/home/zalman/src/llvm-project/llvm/lib/CodeGen/SelectionDAG/SelectionDAGISel.cpp:839:3
#18 0x0000561aa4edcf80 llvm::SelectionDAGISel::SelectAllBasicBlocks(llvm::Function const&) /usr/local/google/home/zalman/src/llvm-project/llvm/lib/CodeGen/SelectionDAG/SelectionDAGISel.cpp:1639:33
#19 0x0000561aa4edeab0 llvm::SelectionDAGISel::runOnMachineFunction(llvm::MachineFunction&) (.part.0) /usr/local/google/home/zalman/src/llvm-project/llvm/lib/CodeGen/SelectionDAG/SelectionDAGISel.cpp:513:22
#20 0x0000561aa4410abc llvm::MachineFunctionPass::runOnFunction(llvm::Function&) (.part.0) /usr/local/google/home/zalman/src/llvm-project/llvm/lib/CodeGen/MachineFunctionPass.cpp:73:33
#21 0x0000561aa489accc llvm::FPPassManager::runOnFunction(llvm::Function&) /usr/local/google/home/zalman/src/llvm-project/llvm/lib/IR/LegacyPassManager.cpp:1440:7
#22 0x0000561aa489aee1 llvm::ilist_node_base<true>::getNext() const /usr/local/google/home/zalman/src/llvm-project/llvm/include/llvm/ADT/ilist_node_base.h:43:45
#23 0x0000561aa489aee1 llvm::ilist_node_impl<llvm::ilist_detail::node_options<llvm::Function, true, false, void>>::getNext() /usr/local/google/home/zalman/src/llvm-project/llvm/include/llvm/ADT/ilist_node.h:67:66
#24 0x0000561aa489aee1 llvm::ilist_iterator<llvm::ilist_detail::node_options<llvm::Function, true, false, void>, false, false>::operator++() /usr/local/google/home/zalman/src/llvm-project/llvm/include/llvm/ADT/ilist_iterator.h:157:25
#25 0x0000561aa489aee1 llvm::FPPassManager::runOnModule(llvm::Module&) /usr/local/google/home/zalman/src/llvm-project/llvm/lib/IR/LegacyPassManager.cpp:1475:22
#26 0x0000561aa489b70e runOnModule /usr/local/google/home/zalman/src/llvm-project/llvm/lib/IR/LegacyPassManager.cpp:1552:7
#27 0x0000561aa489b70e llvm::legacy::PassManagerImpl::run(llvm::Module&) /usr/local/google/home/zalman/src/llvm-project/llvm/lib/IR/LegacyPassManager.cpp:535:55
#28 0x0000561aa2a58637 compileModule(char**, llvm::LLVMContext&) /usr/local/google/home/zalman/src/llvm-project/llvm/tools/llc/llc.cpp:736:66
#29 0x0000561aa299a976 main /usr/local/google/home/zalman/src/llvm-project/llvm/tools/llc/llc.cpp:417:35
#30 0x00007f5284a017fd __libc_start_main ./csu/../csu/libc-start.c:332:16
#31 0x0000561aa2a50d5a _start (/usr/local/google/home/zalman/src/llvm-project/llvm/RelDbg64/bin/llc+0xaf9d5a)
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzFWllzozgX_TXOiyouEJv9kIfESeZLVW-VpPvVJUDYmmBwIeEsv_47V4DBjt3dM9NJ0m4WIa7uOXfRley4TJ_PPn368ZkthWaZepIpE0XKNjoRuWQbmZiy0mM2E9qoYsFiaR6lLJhZyhVTmi1kISuR58-sKA3DRfko0zH7riUrMzYKneaT55vVuBE2VoWWlRmP-Pn2sR3yYGf5ZCqR7PXWy7LOU-jCBHsUz8yUTCRJuVrnSi_R9iKrkiWlNjgUG1lpVRZMZaQ0YFbpo6gk0-pFEgJ00RhDFUBOgphey0RlKmEbkddyzO7xVlYXiSEpwphKxbWRvboNVfNKFAvZKgixNFarWyPwGaK3YxlWWg5bgnutHlVqlkBGXBMilUOtDERADUjFB3ieWV1UMlcizuV45FyOnPPmeC-qhbR2EuyhKB-LTr4FiyE3orJv7bTPvn23kgVIWq3LygjoV8OCicABg7O_a3CpoLFayVYt0dABuzUDDXg1tX2o2YhP5HgxZo-VskplqlpRH1hzCjzCMOt5iSjIeVq4zDK0WBoaGb3T1itzWSxATat4UqaNaue3n9ndjyurye3N3Yz96LoQImizKMiYBGldlWkNM26UeWZxXiYPstqh75ytVKFWIm_0urllRpITEQ0kXxuRPDBySNwDKgRuVCrJE-H3rYkey-pBv_K2Id-kmKYYwJsbJVgMqZLEd46X5WKhma4TOLPuHe20UjrZnOKfFXYaK6NPofG2w4jPftVbPB3pLUSVLEP_VG_kb8r_nTfG7GsBnkojC6PAayrJIGRR8NTGMCJkJR4k8UXuZo3dhEHDA6KlZGtZHQhCzcDpWlSGkg3xbWwAsHLdOKAuV3IJywyNPCtXKzImhFaycQk7NsuEyutKjry2Yw_b3jL85XnCTlcYfA0_tfyGPhpIn5F3OeIXGwYqKgQ7GpMlcoqigIcNPTDHr81qTUc41TjPD46yq-PjUsEHVJ7XFBSEtxXb-wpibJGXscgppl6Tl5RVBdtYgLKqyuo_wVvBA3BKm9NLtmwu5BPMg9RQGJGfvmy65mNkHPVj7zJwOfunZLU94Cfr2hyDl8okpziE7HZqe2Ic_9Vk5F2xkX9ohiqeNlxNxhs3RC8-OfIqD5q48GZuOGx1qVWBQAVbVgtq4rDRUPNUZmTLw4JJKYI2L9fzjUjT-WYzx0iTtakw1wpkf41zItYGTgtXFmlRkjAegEn4woh7LhtFF515SSUMdYkp28hckrVIlCrisi5STaNCYWpqRTTaO4P3uX0_L0W6C3fwokUN5RDkbjh41bOvGoQY0imM9cftAAwyO2gI3kPp6GfgyxzTAcq2Roouh9YaZJ2GWwACv7jhOyUA5zZYuOUTB0494N6nuVwgPlqnt0HaeLztsh3rkIvf9RPPMQe_gwaY3F_kDyv_KyKSMsjXtVUWbzHjOlM6N3Ra9RuC57qO2_mpYdE7b_oQALwV0HlGpQtmUTwEl6DOIcMPdLRT5tXt7ddbGuSytAUh1QYMGdiWQZ2GSEaYAkvSEGOOeNTeFMgr7lDkt09X53dXmAjjlUJxyeJ6QTkbFQrJWxqz1kQHv8ZnocyyjscoInBDTtSeTpHi_wY43Cqta6lxYSdzVSR5nTapP6kECkeahy3H4yHraY081JGOCc3-favKRSVWqAIWNUUS6fGvZ4dGtNuKvq2LgoqlNWoE2C667ma9b9TwWRRiIYk0KudWmL1yivkIBtEmpRyKaIxaAPyISKqTfrDL879O0R0niDZGVgW7IX3qZrg7JAl71Y61nX1ptIOpKWqDCw7nMOfJwV8QukIETuI7CWfWKmDSO9fPurn4VmF2tzzfW-fmk75TJR7nqOGR2WDL0AYx3M9mtutaV2RfpL-cbF-WixwvXy8x3-P0InJMn7jQVfLaDTrnUDGOd_Wa_AlX3wv1RA1IXSLXyD0JdAgiD0evB-buAeP-NDkEDJQ3kv4HX8uxBKHE9Wa6d0ona3JV1yGludNrzfe1DnnIdvSDeu_Pru9EpG6vp9fqGWUBn_hZmHLHYfN5BV8rK-RXwyyNrfSnSThH_Zmron46XRR182BtljQZjnU5hk9eOE8uh5Q-9WMYf2cY4YYT4TIsOlB-jgmXVRIXY3v3rFO5prRRNxjQsLFDYVic7Xtj6yzOLppgdxjQ74dMxJS-rGCTNjhsk5UwoUQ9CKNwaDc-nQaw3MDbZnZ1a77fX09MiaPHb7AGBkV1QRhQCiZYgDSrTlpA02fGjj0cPLGu8Kp_1zp7pQItsK-p3nwlv_GoCfJynr6dd_VEtCEQhgGOA5NHuxHApaAZ3DrTH9DnVuaX8QLTIr-OqXRCe2J9z3PSCCPteN9kqIqfTbmfRANGkY_vn9fyExULmCyrpvXw9L6TL-8uv2BRfNBof5b3GYb5S1Lf7RwBpXHb6dzoSCi6lBR6ZA8-SKTTXRb8qcjEL1mo6uIN8ugv8QyReD4lV7cNUpoRnD0kQkTTAZK7FerdlhGJ8MQyjpZ3mFe92RHjbUqV0kRun8Ryof4s6rby6RvOL-8JfK_oeEnW8qlc9IMeqfu2SKV16PfHGVDW9XiPk_82zuPIXGThLbJRdDV86QNAuu6UW5v2KL2fozwcgUDy6sGHRSQB82jS9dwelv8L4w0F2pYdmR-dXlwntFWE0wMKdgDJdJKFw5LzXq3kLXIEhVlroUHTm7paPwHTiK2jBVE_85L64c_V_yJWMm2UtUK2IF49eH8otoiY9FCin0MZmvcGN12FZM1_XqRXWMVay7-fi-2r1HrZxJv2yxpCNtlDlmQT55fImtbzPL8QWiUXtKGudyqS7dK1LTLDj8bthg3wAfLpHnIp4l8jRx3ytfjcrOE7kDvIXz0Lu0KYdqtpYfKxRASuXSL2cx7frWJ81xHx0Lf3ANFexICKgxx8APgDWraAm3V8b3e-W8tMpiJJhnivv9HL3W7LP0X657Dd3LYTRfI8UKhzZ993-gUjoeL7qKR0B6hUrrSZF-BrHgstUb2YqpbbMmUhzRf5ZNoEZYP2bauUPX1s1rX19aDq5N5vY1K0-h1WZM2zVNK-c9Ni-7VfD-107W04Y5YUnDORa7lTph4k6p0osuyEkV3d9uz4v8OOMu1e61uSM2xrLjq6-q3eC_t5L9Y62IPChA8cK_g5dcdSwGe76bqb7tum9w7_KNjL4uEepDhyJBto_Y7KBQHfzU3RId16DnMrqLkeiLM7WoPF_0eTHtidjGDgRju1ExfBJPSi7scMW19p9sLOX-2f0bcms7IwNpv8QSSmLHM9ajei6LidB8O9BDLd22MU0yhkK6GKN9bEdykevZ7I7ZcG3X6pG2Upm89hlGSuDUqHuVWL9k4TTbu94_6SOp3aTnYj1fO4Lfd64e6elZw0EKwR-w77gCKbYrz-69_uu7uT9MxLp95UnBhlcnn2pWQyy1SiZGG6nw81v2Ey259eHfuRFntUZjn4ZcngO8nxSV3lZ__-C7Mg9D33ZHkmvcwRaeK4qRd40NqPHZ75Uy9wIif1J85JLmKZ67NRcDEKLk_UGXc4x7OIg3iXj6d-lEyk52WJn3gi4iPfkbBpPrbf-pbV4qQ6szrE9ULTl8HI4rp_CGy0qSk7-aI2y7I6e9mU5YMqTqy6Z1bX_wNjSxzv">