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

    <tr>
        <th>Summary</th>
        <td>
            [SLPVectorizer] `samesign` flags should be dropped after narrowing down the width of operands
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            miscompilation,
            llvm:SLPVectorizer
      </td>
    </tr>

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

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

<pre>
    Reproducer: https://alive2.llvm.org/ce/z/AvBhy9
```
; bin/opt -passes=slp-vectorizer test.ll -S
target triple = "x86_64-unknown-linux-gnu"

define i1 @test() {
entry:
  %and.i1698.1.i = zext i16 0 to i32
  %and19.i1699.2.i = and i32 %and.i1698.1.i, 0
  %and.i1698.2.i = zext i16 0 to i32
  %cmp25.i1700.2.i2 = icmp samesign uge i32 %and19.i1699.2.i, %and.i1698.1.i
 %and19.i1699.11841.i = and i32 %and.i1698.2.i, 0
  %cmp25.i1700.11842.i3 = icmp samesign uge i32 %and19.i1699.11841.i, %and.i1698.2.i
 %and.i1698.1.1.i = zext i16 0 to i32
  %and19.i1699.2.1.i = and i32 %and.i1698.1.1.i, 0
  %0 = add i16 1, 0
  %and.i1698.2.1.i = zext i16 %0 to i32
  %cmp25.i1700.2.1.i4 = icmp samesign uge i32 %and19.i1699.2.1.i, %and.i1698.1.1.i
  %and19.i1699.21846.i = and i32 %and.i1698.2.1.i, 0
 %cmp25.i1700.21847.i = icmp samesign uge i32 %and19.i1699.21846.i, %and.i1698.2.1.i
  ret i1 %cmp25.i1700.21847.i
}
```
```
define i1 @test() {
entry:
  %0 = add i16 1, 0
  %1 = insertelement <4 x i16> <i16 poison, i16 0, i16 0, i16 0>, i16 %0, i32 0
  %2 = trunc <4 x i16> %1 to <4 x i1>
  %3 = and <4 x i1> %2, zeroinitializer
  %4 = icmp samesign uge <4 x i1> %3, %2
  %5 = extractelement <4 x i1> %4, i32 0
  ret i1 %5
}
```
```

----------------------------------------
define i1 @src() {
entry:
  %#0 = add i16 1, 0
  %and.i1698.2.1.i = zext i16 %#0 to i32
 %and19.i1699.21846.i = and i32 %and.i1698.2.1.i, 0
  %cmp25.i1700.21847.i = icmp samesign uge i32 %and19.i1699.21846.i, %and.i1698.2.1.i
  ret i1 %cmp25.i1700.21847.i
}
=>
define i1 @src() {
entry:
  %#0 = add i16 1, 0
  %#1 = insertelement <4 x i16> { poison, 0, 0, 0 }, i16 %#0, i32 0
  %#2 = trunc <4 x i16> %#1 to <4 x i1>
  %#3 = and <4 x i1> %#2, { 0, 0, 0, 0 }
 %#4 = icmp samesign uge <4 x i1> %#3, %#2
  %#5 = extractelement <4 x i1> %#4, i32 0
  ret i1 %#5
}
Transformation doesn't verify!

ERROR: Target is more poisonous than source

Example:

Source:
i16 %#0 = #x0001 (1)
i32 %and.i1698.2.1.i = #x00000001 (1)
i32 %and19.i1699.21846.i = #x00000000 (0)
i1 %cmp25.i1700.21847.i = #x0 (0)

Target:
i16 %#0 = #x0001 (1)
<4 x i16> %#1 = < #x0001 (1), #x0000 (0), #x0000 (0), #x0000 (0) >
<4 x i1> %#2 = < #x1 (1), #x0 (0), #x0 (0), #x0 (0) >
<4 x i1> %#3 = < #x0 (0), #x0 (0), #x0 (0), #x0 (0) >
<4 x i1> %#4 = < poison, #x1 (1), #x1 (1), #x1 (1) >
i1 %#5 = poison
Source value: #x0 (0)
Target value: poison

Summary:
  0 correct transformations
  1 incorrect transformations
  0 failed-to-prove transformations
  0 Alive2 errors
```

</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzMV0Fv4jgY_TXmYhHZnxMCBw6hDKeVdtUZ7XVlEgPeTezIdijtr1_ZCSQlwFDNHraq2hB_73vPfn4h5tbKvRJiiZIVStYT3riDNsvC5aeP97fJVhfvy1dRG100uTCIZfjgXG0RyxBsEGx4KY8CorI8VpE2ewSbXCDYfCDYZMfV4X2BSIZmpPslGWIrvJUKwUbXDk9rbq2wiK1tWU-PInfayA9hsBPWRWWJp98RyRw3e-GwM7IuBUZsjRHAaT77axZPG_WP0m9qWkrVnKZ71SAAT0OyQuykElhSjGLi-yGYI1hglK4QyYRy5t3PgmQYI0i4KiJJZ4t5RCMZOD7EyWFJZ5hgp7FkMCili1C8iKAr5qrwJaNOCF4wGXPAzzjyqoYkkjQlxBdDqJZ5VWPLK-Etw81eDCiHijzpSAjJrispncf0kX640j8U5cEQSfa8sI5uJA6G4i6Cv-jCw3nQkROkLS6K0JredWmkImAfWUUjGX_FrFsrQs-GjcrpPJ49dmw402txdB6nHfo5dS3dDcfO-oxwIWA3iXwM0_V1_gfXX0voI89oOyllhXGiFJVQDiP2EuOTL0bsm__kYbWWViuPDXvqxgX7dr72nOGaQc_UJtGZRuXXDF6G0_1d36pDsYtlw9HQzzN8CKOlkk7y0j_9zqh7G-m6B-scumzJJADFyRmej9ejQ8Wf59ZbmfzUOESy6ZM_1zZbkz90GQH7lXAGeJ_PX8vP_ydAbN1upv9yKRGwJ2KTrgaZIf0f7JX1QfFco6wgYA_jEhTcSQwCdj80vnFY1HQ11NQLa61HwJ6NkKfrbArNexVPZckz3YuT73Fx8ofhyu60qbiTWuFCC6sQpA4fhZG7dwS0jde319ffX_3b1o_23UdaXGkjOi90Y7E7cIWtbkwuOsiJV3Up2g2ASPa9HQsfh-lo35_YiRDi9c0pAv-SdjsLw2pyF3EzYAMU8SjSoe7t9h40qPZLFlbg6Xnc3mWhmL2MAXC519M-eQ-32_XW5vzENyYbdb174z4H-zyn51t-gSO-cPTPgJszun-ja95HIbTs2p03KT7ysvFbdeR_t_0v4xegxzZVxfsnHsG5Nkbk_qAwDJkNoxRL9Wic4B2XpSimTk9ro4_iTlUWzjtYGKONvfpanBRLVizYgk_EkqYsTpN5ytLJYQnzYrdI0ySmeUJZHCc5Z4zDdhtviyQpyEQugUBMAShJIGFpNMvzPMk55dtFDjNBUUxExWV5OWhNpLWNWFIgc2CTkm9FacMZDqCSNtdVLcsg3J-H4AUBeCRi2fff_vjzcs7yg8l6YpZ-cLpt9hbFpJTW2Z7ISVeG4-FnZLLGaEbOD1U0I3hX8r3F9qCbssBbgQuj61oUmO-cMFhxY_SbVHtc6DeF3UHgN1m4A9Y7rGthuCrspDHl8vP5ci_dodlGua4QbMIU2n_epL9F7hBswkpYBJtuMY5L-DcAAP__YQvanw">