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

    <tr>
        <th>Summary</th>
        <td>
            [AArch64][SVE] Assertion fails in inserting sub vector of i1
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

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

    <tr>
      <th>Reporter</th>
      <td>
          stevesuzuki-arm
      </td>
    </tr>
</table>

<pre>
    https://godbolt.org/z/hWMxo3PqW
```
define <vscale x 20 x i1> @concat_vector_i1(<vscale x 16 x i1> %a , <vscale x 4 x i1> %b) #0 {
    %1 = call <vscale x 20 x i1> @llvm.experimental.vector.insert.nxv20i1.nxv16i1(<vscale x 20 x i1> undef, <vscale x 16 x i1> %a, i64 0)
    %2 = call <vscale x 20 x i1> @llvm.experimental.vector.insert.nxv20i1.nxv4i1(<vscale x 20 x i1> %1,    <vscale x 4 x i1> %b, i64 16)
    ret <vscale x 20 x i1> %2
}
```
Crashes with target triple = "aarch64-linux-gnu" -mattr=+sve2 -O3
```
  unsigned EltSize = EltVT.getFixedSizeInBits() / 8; // FIXME: should be ABI size.
  assert(EltSize * 8 == EltVT.getFixedSizeInBits() &&
         "Converting bits to bytes lost precision");
```

```
llc: /root/llvm-project/llvm/lib/CodeGen/SelectionDAG/TargetLowering.cpp:8528: llvm::SDValue llvm::TargetLowering::getVectorSubVecPointer(llvm::SelectionDAG&, llvm::SDValue, llvm::EVT, llvm::EVT, llvm::SDValue) const: Assertion `EltSize * 8 == EltVT.getFixedSizeInBits() && "Converting bits to bytes lost precision"' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: /opt/compiler-explorer/clang-assertions-trunk/bin/llc -o /app/output.s -x86-asm-syntax=intel -mattr=+sve2 -O3 <source>
1.      Running pass 'Function Pass Manager' on module '<source>'.
2.      Running pass 'AArch64 Instruction Selection' on function '@concat_vector_i1'
 #0 0x000055df2efbbb6f PrintStackTraceSignalHandler(void*) Signals.cpp:0:0
 #1 0x000055df2efb95dc SignalHandler(int) Signals.cpp:0:0
 #2 0x00007f29aee4a3c0 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x143c0)
 #3 0x00007f29ae91703b raise (/lib/x86_64-linux-gnu/libc.so.6+0x4303b)
 #4 0x00007f29ae8f6859 abort (/lib/x86_64-linux-gnu/libc.so.6+0x22859)
 #5 0x00007f29ae8f6729 (/lib/x86_64-linux-gnu/libc.so.6+0x22729)
 #6 0x00007f29ae908006 (/lib/x86_64-linux-gnu/libc.so.6+0x34006)
 #7 0x000055df2eddc312 llvm::TargetLowering::getVectorSubVecPointer(llvm::SelectionDAG&, llvm::SDValue, llvm::EVT, llvm::EVT, llvm::SDValue) const (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0x2fdc312)
 #8 0x000055df2ee3025b llvm::DAGTypeLegalizer::SplitVecRes_INSERT_SUBVECTOR(llvm::SDNode*, llvm::SDValue&, llvm::SDValue&) (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0x303025b)
 #9 0x000055df2ee60f53 llvm::DAGTypeLegalizer::SplitVectorResult(llvm::SDNode*, unsigned int) (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0x3060f53)
#10 0x000055df2ee1d732 llvm::DAGTypeLegalizer::run() (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0x301d732)
#11 0x000055df2ee1e8c6 llvm::SelectionDAG::LegalizeTypes() (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0x301e8c6)
#12 0x000055df2edb1a03 llvm::SelectionDAGISel::CodeGenAndEmitDAG() (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0x2fb1a03)
#13 0x000055df2edb54c3 llvm::SelectionDAGISel::SelectAllBasicBlocks(llvm::Function const&) (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0x2fb54c3)
#14 0x000055df2edb6bf8 llvm::SelectionDAGISel::runOnMachineFunction(llvm::MachineFunction&) (.part.962) SelectionDAGISel.cpp:0:0
#15 0x000055df2e2f98d6 llvm::MachineFunctionPass::runOnFunction(llvm::Function&) (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0x24f98d6)
#16 0x000055df2e7aae16 llvm::FPPassManager::runOnFunction(llvm::Function&) (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0x29aae16)
#17 0x000055df2e7ab169 llvm::FPPassManager::runOnModule(llvm::Module&) (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0x29ab169)
#18 0x000055df2e7abac9 llvm::legacy::PassManagerImpl::run(llvm::Module&) (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0x29abac9)
#19 0x000055df2c94ea08 compileModule(char**, llvm::LLVMContext&) llc.cpp:0:0
#20 0x000055df2c8a9557 main (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0xaa9557)
#21 0x00007f29ae8f80b3 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x240b3)
#22 0x000055df2c9453da _start (/opt/compiler-explorer/clang-assertions-trunk/bin/llc+0xb453da)
Compiler returned: 139
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzVWFtz4jYU_jXkRQNjy_eHPEACbWaSbmZJ074xsiyDusZyJTlL9tf3SDYEOWSTbZl2mnDzkfWd71x0dORcFM-XG60bNQqmI7yA11oUuaj0RMg1XH2D9-a3u50I7v_8beRdj7zpKPb6l70sWMlrhkbB1ZOipGJoh7AHH9wfBXM0Cj0qakr06olRLeQKxDg9vtmPX27GEYGPKwcsPB7ORziD78BDo2TW6UfwByM-TLpGMKf6DpWqetpO2K5hkm9ZrUk16VhNeK2Y1JN694Q97ptvP37F9AirrcHsIdOBJWaYxyHygLNDFZ-Zavg9psY1holR_R2vdlT92OEqmX6TIZjRp0NyfTIvriRRG6bQV643SBO5BjAteVMxa_4IY0Ik3cThuOJ1uxuv6xZkaLwlWku4Y4Rn6omB4FNwEh9BEBRf16xA80ov-bcOF34_PkxA2YLvWGHEN_WMa2U8ZHNngcBVM9QlO1rc_H43h9xHaiPaqkA5Q9PZDVIwb7LXQ5TxOAAc9OApSo22DymMzevgU9QlAb4S9ROg8nqNcrgbaYHyZw3-qoTSqJGMcsVFDXeakASzkz44KawqagwC66QQQHthUmncSPEHJFB_ab44hH1xJQr2EwM1iyWrYBxUXk9_gssHG7Fb8RUSsF5PaNMAaBqZPJsiCwEFI5gurx9J1bIjiTuxk4Hg0Wbvss3hx73gtWYSPHQE5KiPTUa-0uIK548P7wgO0zIERUhpQ31qgwl6EDjs7wf0R0OYoJLwihV9Ut3fzqfLOVJtvuUaEZS3a1htjZDaoAwKMiygNp9QsT0KnhtSrlTLlMlnUheI17RqC4b0hiFqViHKCf2iJaH7nF5qEKCi3ZqgdiIPhrJ7KdaSbBGEsDVVR_WJJBqjBRg0YIMcQ1mqhDQBXNCK1Osx2TtVjbVs6y8wkPPa8qRoLAwEgQQCoFY3rZ4oNN6lMUzbjtUzFLcd-N2kRHVy-ZsapEQrKYPK07H1DdvPbV0b5zegHlQki7a2GYTujeCO1GRtOCYIRFtRtKby4MQBw0nvEXwKcDq1BQrdQO7ItsM-5GkPXO6VGuhTm13Sr327a3k7D_6iqCgxK_M8j0t0D8tE24A8mAgtoaSR6meIY2VXyJPgBaSnybxuSPVr0bPvA7Y_wM6igqIhGGh6Fwj3QEmJM8JYSALqodVKMgUWsRVkqF0Iff2AMK7cEm4GGr2RjBQTJSaw-828nR8CysveAmoCR03mJ16QI0m4Yh_ApwY5tshhABMd5NBBTss4jTJEcvEh5kfIGMNEBzkaIie2HvwQJkxxMGPXD17qefGPYQYhTHEwEycXioIGPv5_VOje8n9Sbzo_l9Zoxyup4xUWeND4HFEBqx6eG3bL1qSCmi97gk3FjWc-M7W6-WU5__ywWv46e5xfPXz67Hrn-hfYSu1KPWngW_6KR4cc-sdWw1Lwuh75xerMtTr2yij4sNWQD2B4W-m3TT00YX1tOZsplunBFFPh3PLJ_CIJ8LumAPph4z4TM6vYYeYPmLGUxuiNlWMle5KGsDo7P6Pe4YfdgpD7xAve4HcDF520bw2ndTGHJsUu-nPyxKWl4fAMBjyjkL7Ps5NC2zsjitNZJegX5eTroS_omsCzLjmwwpB0rAgHVsR5mb5rBaB_qu8I3cBhek_YseLV2N6MSUPgPJjF2G7tA_DXe7xhGDkMcZmlxXG-DlSZduqI5El2r2mdxbuhpeZ4N3a4J4Qw_5j74t7Q3Td__w3rzJJyWCcD1rkfZx9gfWfbVjcPetGZGRtCDuN0yJjQY8YVVDD63P0-4n6zbV4S-l_hDbQc3s6GR7OQES9FvY6DO-mGSLuBDbbr29vHOzjWabbb1wlQdXINYWc3oinJoihBW8LrcxlHLOSxbdgfNKCplwfQm5t-cKU0lIHVEYGPtqQhgDha8MCDUVAQ1OGfy7bcgh60XvVI5olTK6GbMOdOP8gGzzcuisugyIKMXGiuK3Y5imb9EW0UXcPF8nEOP46O-ObMraAzQd1DM3O2gyM36k5nSJSI-xetrIZPQH_gwB1FoRddbC5pUvhZmWURzRMSsZLRKCUkIZRmJYNz3kVFclYpQ3mEcc2-Igthng1E1xf8EnsYe5GP4T8Ow4kXRklc5jSFzQW2yRROlgxCW03sY0Eh1xfy0lLK27UyTwu50uplEPxvmjLrIYNPWr0R8lJp9gTt3Lf2Cx8Tub2wFC6tCX8B7biulg">