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

    <tr>
        <th>Summary</th>
        <td>
            update_test_checks incorrectly generates unmatched prefixes check
        </td>
    </tr>

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

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

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

<pre>
    * The check of following test case is generated by **llvm/utils/update_test_checks.py --opt=build/bin/opt llvm/test/Transforms/fix-variable-length-argument.ll**, while it doesn't pass the test: **build/bin/llvm-lit llvm/test/Transforms/fix-variable-length-argument.ll**
```
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt  < %s -S | FileCheck %s

define dso_local i32 @main() {
; CHECK-LABEL: @main(
; CHECK-NEXT:  entry:
; CHECK-NEXT:    [[A:%.*]] = alloca i8, align 1
; CHECK-NEXT:    store i8 3, ptr [[A]], align 1
; CHECK-NEXT:    call void @test1(ptr [[A]])
; CHECK-NEXT:    call void @test(i32 2, i32 0, ptr [[A]])
; CHECK-NEXT:    ret i32 0
;
entry:
  %a = alloca i8, align 1
  store i8 3, i8* %a, align 1
  call void @test1(i8* %a)
  call void @test(i32 2, i32 0, i8* %a)
  ret i32 0
}

define internal void @test(i32 %0, i32 %1, ...) {
; CHECK-LABEL: @test(
; CHECK-NEXT:    ret void
;
  ret void
}

define internal void @test1(i8* %a) {
; CHECK-LABEL: @test1(
; CHECK-NEXT:  entry:
; CHECK-NEXT:    [[B:%.*]] = alloca i8, align 1
; CHECK-NEXT:    store i8 2, ptr [[B]], align 1
; CHECK-NEXT: call void @test(i32 3, i32 0, ptr [[A:%.*]], ptr [[B]])
; CHECK-NEXT: ret void
;
entry:
  %b = alloca i8, align 1
  store i8 2, i8* %b, align 1
  call void @test(i32 3, i32 0, i8* %a, i8* %b)
  ret void
}
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJysVtFuqzgQ_RrzMgoyJhB44IEkjVbaq66025X2rTIwgHcdG9kmvfn7lWl6c5OSNleqFCUOnDlzfDyjMbdWdAqxIMmaJNuAj67Xpji0TdsGlW6OBWElPPUIdY_1f6BbaLWU-kWoDhxaBzW3CMJChwoNd9hAdQTCSsJKKQ97wnajE9L636HhDp991PPEZsPhCIuFHhyJt9UoZEPYrhKKsJ0eHJzCPZ6w3ZPhyrba7D1VK74vDtwIXklcSFSd6xfcdOMelQulfE1P2AZeeiERhINGo1WErRwM3FpwPU7ySVyexF7m97kXUnyBCLoltCQpPX1e_8ZrePzj6cFnL61F44RWFnp-QKgQFfDR6QtDP_TwTPrn34-e07sHJN4AYYmFxV9AVhvYCYmb6RD901PM9N1gKxRCY_Wz1DWXIGIGZEn33HuREZYDWa3PWTa_PWx-X3wr1w_fJv_OyCvI48M_Tx4BqJw5kri8CQCYCnBdehBLQu9csiXJFki8BS69LhCZP1IuRacg-oDKOm0QRAaxxw_O_CCfKO8jqbmUcNCi8fvzfkeEZTNc-a9wEJZ5b5mX4Bf0hsCPSA26U-wb5nVx6TH4U-afuHdtlYeUU-AMdNaQnyPym8jZbc-GXm9utZ0pVKEcGsVncxCW0Lc0hCWRX4dheEcNn0g-cd6nvDL-3Yv7Rb-z8B6R0Zd02vpLO41dFvL67k67VSvxzRa5kn0j8c0OunGIM91T3d897KKgq3u6Z3aflw34M2H-Wa29TZigKeImj3MeYBGlWZTRJYtp0BesXrVpVOeYpTyitM143aRpltecYpyncSAKRllMl1FGVwmNaciwwnS5qqNlmq7SKidLinsuZOiHYqhNFwhrRyxSxmgUSF6htNNFgjGFLzC9JIz5e4UppolajZ0lSyqFdfbM4oSTWLwfbSBUrY3B2snjj_uFhVHtuat7bGAw2IrvaF8vJ8FoZNE7N9ipRnaE7Trh-rEKa70_zfS30T4Y_S_WfqRPKv1onXbxfwAAAP__RzCHJg">