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

    <tr>
        <th>Summary</th>
        <td>
            Windows aarch64 MC assert failure: `<unknown>:0: error: Incorrect size for foo prologue: 32 bytes of instructions in range, but .seh directives corresponding to 28 bytes`
        </td>
    </tr>

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

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

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

<pre>
    Reproduction:

A reduced test input: `reduced.ll`

```
target datalayout = "e-m:w-p:64:64-i32:32-i64:64-i128:128-n32:64-S128-Fn32"
target triple = "aarch64-unknown-windows-msvc19.42.34436"

%swift.refcounted = type { ptr, i64 }
%TScA_pSg = type <{ [16 x i8] }>
%T5repro4TestVSg = type <{ [32 x i8] }>
%T5repro4TestV = type <{ %TSS, %TSS }>
%TSS = type <{ %Ts11_StringGutsV }>
%Ts11_StringGutsV = type <{ %Ts13_StringObjectV }>
%Ts13_StringObjectV = type <{ %Ts6UInt64V, ptr }>
%Ts6UInt64V = type <{ i64 }>

declare swiftcc ptr @swift_task_alloc()

declare swifttailcc void @bar(ptr, ptr, i64, i64, i64, ptr, i64, i64, i64, i64, i64, ptr, i64, ptr, i64, ptr, i64, ptr, i64, ptr, i64, ptr, i64, ptr, i64, ptr, i64, ptr, i64, ptr, i64, ptr, i64, ptr, i64, ptr)

define swifttailcc void @foo(ptr %0, ptr swiftasync %1, ptr swiftself %2, ptr %3, ptr %._guts2._object._object, ptr %.rid4._guts._object._object, ptr %4, ptr %.idx8, ptr %.idx8._guts._object._object, ptr %5, ptr %.rid9._guts._object._object, ptr %6) {
entry:
  %7 = load i64, ptr null, align 8
  %8 = load i64, ptr %3, align 8
  %9 = getelementptr <{ %swift.refcounted, %TScA_pSg, %TSS, %T5repro4TestVSg, %T5repro4TestV, %TSS, %TSS, %TSS, %T5repro4TestV, %TSS, %T5repro4TestV, %T5repro4TestV, %TSS }>, ptr %2, i32 0, i32 2
  %10 = load i64, ptr %9, align 8
  %11 = load ptr, ptr %1, align 8
  %12 = getelementptr <{ %swift.refcounted, %TScA_pSg, %TSS, %T5repro4TestVSg, %T5repro4TestV, %TSS, %TSS, %TSS, %T5repro4TestV, %TSS, %T5repro4TestV, %T5repro4TestV, %TSS }>, ptr %2, i32 0, i32 3
  %13 = load i64, ptr %.rid9._guts._object._object, align 8
  %14 = load i64, ptr %.idx8._guts._object._object, align 8
  %15 = load i64, ptr %5, align 8
 %16 = getelementptr { i64, i64, i64, i64 }, ptr %12, i32 0, i32 3
  %17 = load i64, ptr %16, align 8
  %18 = getelementptr <{ %swift.refcounted, %TScA_pSg, %TSS, %T5repro4TestVSg, %T5repro4TestV, %TSS, %TSS, %TSS, %T5repro4TestV, %TSS, %T5repro4TestV, %T5repro4TestV, %TSS }>, ptr %2, i32 0, i32 4
  %19 = load i64, ptr %18, align 8
  %.rid._guts._object._object = getelementptr %Ts13_StringObjectV, ptr %18, i32 0, i32 1
  %20 = load ptr, ptr %.rid._guts._object._object, align 8
  %21 = load i64, ptr %.rid4._guts._object._object, align 8
  %22 = load i64, ptr %0, align 8
 %23 = load ptr, ptr %6, align 8
  %24 = load i64, ptr %2, align 8
  %25 = load ptr, ptr %._guts2._object._object, align 8
  %26 = getelementptr <{ %swift.refcounted, %TScA_pSg, %TSS, %T5repro4TestVSg, %T5repro4TestV, %TSS, %TSS, %TSS, %T5repro4TestV, %TSS, %T5repro4TestV, %T5repro4TestV, %TSS }>, ptr %2, i32 0, i32 7
  %27 = load i64, ptr %26, align 8
 %._guts3._object._object = getelementptr %Ts13_StringObjectV, ptr %26, i32 0, i32 1
  %28 = load ptr, ptr %._guts3._object._object, align 8
  %29 = getelementptr <{ %swift.refcounted, %TScA_pSg, %TSS, %T5repro4TestVSg, %T5repro4TestV, %TSS, %TSS, %TSS, %T5repro4TestV, %TSS, %T5repro4TestV, %T5repro4TestV, %TSS }>, ptr %2, i32 0, i32 8
  %30 = load i64, ptr %29, align 8
  %.idx5 = getelementptr %T5repro4TestV, ptr %29, i32 0, i32 1
 %31 = load i64, ptr %.idx5, align 8
  %.idx5._guts._object._object = getelementptr %Ts13_StringObjectV, ptr %.idx5, i32 0, i32 1
  %32 = load ptr, ptr %.idx5._guts._object._object, align 8
  %33 = getelementptr <{ %swift.refcounted, %TScA_pSg, %TSS, %T5repro4TestVSg, %T5repro4TestV, %TSS, %TSS, %TSS, %T5repro4TestV, %TSS, %T5repro4TestV, %T5repro4TestV, %TSS }>, ptr %2, i32 0, i32 9
  %34 = load i64, ptr %33, align 8
  %35 = load i64, ptr %4, align 8
  %36 = load i64, ptr %.idx8, align 8
  %37 = load i64, ptr %1, align 8
  %38 = call swiftcc ptr @swift_task_alloc()
  store ptr null, ptr %3, align 8
  store ptr null, ptr %4, align 8
  musttail call swifttailcc void @bar(ptr null, ptr swiftasync %.rid4._guts._object._object, i64 %7, i64 %8, i64 %10, ptr %5, i64 %13, i64 %14, i64 %15, i64 %17, i64 %19, ptr %20, i64 %21, ptr %.idx8, i64 %22, ptr %23, i64 %24, ptr %25, i64 %27, ptr %28, i64 %30, ptr %.idx8._guts._object._object, i64 %31, ptr %32, i64 %34, ptr %._guts2._object._object, i64 %35, ptr %2, i64 %36, ptr %1, i64 %37, ptr %0, i64 0, ptr null, i64 0, ptr null)
  ret void
}
```

```
$ llc --filetype obj reduced.ll
<unknown>:0: error: Incorrect size for foo prologue: 32 bytes of instructions in range, but .seh directives corresponding to 28 bytes
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzsWE-P46gS_zTkghLhwn8POXi6Xz_N4elJ27OzxxaxScIMMRHg7sl--hV2nDg2pOcwh5G2pVYHXL_6418VZYAZI3YN52uUfELJ44K1dq_0ev_txA6srfZisVH1af0HP2pVt5UVqkG0RMT9lVjzuq14jS03Fovm2FpES4xSchaspEQp6dFu0P-R0jK94xbXzDLJTqq1GNFHjAD48oBo-bY8IlqmcfdvKSggWlJYisuTCHJEywjyZdMJ03j57GZPbgpw9WC1OEo-WGdMV_s0XrbN90a9Ncs30dTqzSwP5rWKilUMKxrHNO0tuD9IzJvY2pXm20q1jeV1Z8qejhyj7BM-Wo3gAYs0xih77DW-PFfly_F5N0LSBwdGyacoxT-wyFHy2OHpf84qiXb8xl-4sV_9mhTe15zruWieXYT96FbVzT0KJopenq0Wze6_rTVfb3VmQq8Besb8f_ONV3ZmYib2GUn__NzYNP7qoj9aPbExSGe6Qyp6KClrXkmmOe7yWFW9qZh00xfLzPcXJqWqEOQICo-KZUJWFX5VonZ6G6YR5Oe0X7M__7knu4f8zWcXirai8TO0VapnyKWRDNnrkMycmso9jm4eGy637ilcUg0JHY1XL7vWGli9qK5eht8xQos67mF3UPFYQ9Q_8un8XQvJxGfxrkaKoHCdApGSN1af-t6JnSjralcqVo8Yxk0rpRszKXYNzgdw7gUPRE3ARQfeccslP_DGdtDL0pp2tEt76NvWtVsMo9vm5Hs61_GN7mv4pH6NYX1fSegqR1DAZBjAwEVEQswVHuai6Iq-LvJLyU7R8EE0vZBBQ0S_s1KmpMZBO_fX6NROErKTTNAOnPoy2X9OvI27o2ZUHfeI8S_0zqsv7vyjqOILGUWQu9zDnas0f4H4OPXtRWYebuKKBkdAQn0iHIInXojurZk7X7SpHQjZIfNaBxqK3VeOEFyO4EMnQV7CH_GpDe9a_HctgOxCRrB5wDRbF5LpLyj-3nqg-PP7SZ759yX5Y49yJYMG9yjg26S472ASyOk0mhs783Q65-Ee5PyE_P-yNnvx4i82CsFiC4fhCZrSj4IrLmQEmzr1nSdocCsV-9Dp3Q2cTyO8Q_Kh-_ZTMSl_-lSPsbFK85sTVugAFUTOXvbQmu70O4oldF1wY-v2MPzOp77bbEKSjcb5aByR6c52ENDxJB5PbmBjw1Exrh8ykkDky-MgHJ_cYewXbprZ2C9kY8nYGiVTV--SQ8fRURhL4p_bgwzwZLaAzoJ0WpWDIJvutpzg8gpD2j0P-7rU3HbVgkh5vkEcXZNOpxBjKSu8XG6F5N2tl9p8w6O7VlIi-nC-3XTdgJYE0RJzrZV2g89NpbR2jdqIvzneKo23SuGjVlLtWu4gFPDmZLnBaotFY6zuL30NFg3WrNlx9xab1uKV4XtcC2dNvHKDO8vmqJpaNDtsFYa8tzR-i0W9pnVBC7bg6yijWZznSQaL_bpIGKN5AQllFSUZS5I8yzdFtskyqGmdL8QaCCQkgigqYkhglRBSMZqSdJORuqI1igk_MCFXUr4eVkrvFsKYlq8joDnJF5JtuDTdNTdAw99wJ0UAKHlc6LVTWm7anUExkcJYczVjhZV8_Vd_V4zPd8j4fw-YGcO1xVsmZKv5-eb7d0xAShatluu9tUeDaIngCcHTTth9u1lV6oDgyb3s-Wd51KpfFk8dRQbB05nD1zX8EwAA__9KeuCq">