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

    <tr>
        <th>Summary</th>
        <td>
            [X86] MachineVerifier fails with expensive check but runs file w/o it
        </td>
    </tr>

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

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

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

<pre>
    The IR is fairly simple:

```
; ModuleID = 'foo.ll'
source_filename = "foo.cpp"
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%"class.std::__cxx11::basic_ostringstream" = type { %"class.std::basic_ostream.base", %"class.std::__cxx11::basic_stringbuf", %"class.std::basic_ios" }
%"class.std::basic_ostream.base" = type { ptr }
%"class.std::__cxx11::basic_stringbuf" = type { %"class.std::basic_streambuf", i32, %"class.std::__cxx11::basic_string" }
%"class.std::basic_streambuf" = type { ptr, ptr, ptr, ptr, ptr, ptr, ptr, %"class.std::locale" }
%"class.std::locale" = type { ptr }
%"class.std::__cxx11::basic_string" = type { %"struct.std::__cxx11::basic_string<char>::_Alloc_hider", i64, %union.anon }
%"struct.std::__cxx11::basic_string<char>::_Alloc_hider" = type { ptr }
%union.anon = type { i64, [8 x i8] }
%"class.std::basic_ios" = type { %"class.std::ios_base", ptr, i8, i8, ptr, ptr, ptr, ptr }
%"class.std::ios_base" = type { ptr, i64, i64, i32, i32, i32, ptr, %"struct.std::ios_base::_Words", [8 x %"struct.std::ios_base::_Words"], i32, ptr, %"class.std::locale" }
%"struct.std::ios_base::_Words" = type { ptr, i64 }

@_ZZ3fooB5cxx11vE2osB5cxx11 = internal thread_local global %"class.std::__cxx11::basic_ostringstream" zeroinitializer, align 8
@_ZGVZ3fooB5cxx11vE2osB5cxx11 = internal thread_local global i8 0, align 1
@__dso_handle = external hidden global i8

; Function Attrs: mustprogress noinline optnone uwtable
define void @_Z3fooB5cxx11v(ptr dead_on_unwind noalias writable sret(%"class.std::__cxx11::basic_string") align 8 %agg.result) #0 {
entry:
  %result.ptr = alloca ptr, align 8
  store ptr %agg.result, ptr %result.ptr, align 8
  %0 = load i8, ptr @_ZGVZ3fooB5cxx11vE2osB5cxx11, align 1
  %guard.uninitialized = icmp eq i8 %0, 0
  br i1 %guard.uninitialized, label %init.check, label %init.end, !prof !4

init.check:                                       ; preds = %entry
  call void @_ZNSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEC1Ev(ptr noundef nonnull align 8 dereferenceable(112) @_ZZ3fooB5cxx11vE2osB5cxx11)
  %1 = call i32 @__cxa_thread_atexit(ptr @_ZNSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEED1Ev, ptr @_ZZ3fooB5cxx11vE2osB5cxx11, ptr @__dso_handle) #3
  store i8 1, ptr @_ZGVZ3fooB5cxx11vE2osB5cxx11, align 1
  br label %init.end

init.end:                                         ; preds = %init.check, %entry
  %2 = call align 8 ptr @llvm.threadlocal.address.p0(ptr align 8 @_ZZ3fooB5cxx11vE2osB5cxx11)
 call void @_ZNKSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEE3strEv(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8 %agg.result, ptr noundef nonnull align 8 dereferenceable(112) %2)
  ret void
}

declare void @_ZNSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEEC1Ev(ptr noundef nonnull align 8 dereferenceable(112)) unnamed_addr #1

; Function Attrs: nounwind
declare void @_ZNSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEED1Ev(ptr noundef nonnull align 8 dereferenceable(112)) unnamed_addr #2

; Function Attrs: nounwind
declare i32 @__cxa_thread_atexit(ptr, ptr, ptr) #3

; Function Attrs: nocallback nofree nosync nounwind speculatable willreturn memory(none)
declare nonnull ptr @llvm.threadlocal.address.p0(ptr nonnull) #4

declare void @_ZNKSt7__cxx1119basic_ostringstreamIcSt11char_traitsIcESaIcEE3strEv(ptr dead_on_unwind writable sret(%"class.std::__cxx11::basic_string") align 8, ptr noundef nonnull align 8 dereferenceable(112)) #1

attributes #0 = { mustprogress noinline optnone uwtable "frame-pointer"="all" "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { "frame-pointer"="all" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #2 = { nounwind "frame-pointer"="all" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { nounwind }
attributes #4 = { nocallback nofree nosync nounwind speculatable willreturn memory(none) }

!llvm.module.flags = !{!0, !1, !2, !3}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"uwtable", i32 2}
!3 = !{i32 7, !"frame-pointer", i32 2}
!4 = !{!"branch_weights", i32 1, i32 1023}
```

If LLVM is built with expensive check on, it emits backend errors:

```
*** Bad machine code: FrameSetup is after another FrameSetup ***
- function: _Z3fooB5cxx11v
- basic block: %bb.1 init.check (0x57da4b683c38)
- instruction: ADJCALLSTACKDOWN64 0, 0, 0, implicit-def $rsp, implicit-def $eflags, implicit-def $ssp, implicit $rsp, implicit $ssp

*** Bad machine code: FrameDestroy is not after a FrameSetup ***
- function: _Z3fooB5cxx11v
- basic block: %bb.1 init.check (0x57da4b683c38)
- instruction: ADJCALLSTACKUP64 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
```

However, there is no issue if the expensive check is off.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWVtv47j1_zT0CyFDonxRHvzgxMn_n25mu2i2s8W-GJR4ZLNDkSpJxc58-oIUZcuOHXvSFF2gDQKJls79_M7hRdQYvpIAMzS-RePFgDZ2rfTMrLmwnMpBrtjr7Nc14Me_YG5wSbkWr9jwqhaA0jmKFyjurpM4_Lc_01v8RbFGwOMCo3SBEZmWSg2FQGTakhjV6AKWJRcgaQWBijiqoq4RIS2ZpXoFFjNqqaCvqrEdIUQVSucQ1WQao3SeEn9xP5PDn240GflLxHeDhGQonScki8osDiPpH0069skoenZkR6ZYzWuxs3ebTZaTUdTIb1JtZCS4bLbRSjY7rnAlY0RIIagxQ2OZi146Xy6L7TZJ2h85NbxYKmM1lytjNdAKEeLV2NcaMJre4pNS9oxAq2FODTjd5O409Qmdrcq8Kd_ja0m5Mt6o6eIdt04adOhIbfUFIRfsvDourRV753j6gdhc63Nf2RuHndrrbye1CFVQAZet6dF9UtTPhNxY3RT2Gv70rlhTjdL7QDgXQhXLNWegu8xMRsHxRnIlh1QqeWzuZ-l7Py59_X26zsLxbYa3mGdovLgKFl3VXIQsV2bZK-AABZ7tr-cgc8GOnuCTuAyedbeUvL0d4PI4Dzv5bbB_U5qZrpu00foxvvHinOZrK-JKTeei0RPXXkfx8vff01Kp27GH3Ms9USaMvRAuLWhJBbZrDZQtvWV4JVROxdXt5k37_w5accktp4J_B28dFXwlcdaz6_--ftwynuF4LzXZS10yo5ZrKlmY62AbpKw5YyD3_AdhSm_xQyMLy5XEc2u1QekcV42xtVYrDcZgqbgUXAJWtZVKAm42luYCWgEMSvfuRXGGvW99xxDJHNSZc0LJZSM3XDIsFRWcGrzR3AvCRoNFbt7-wQaHyE0XXJcwuloNNZhGWPcCkTR2GGnNBGn1624JhB15Szr0tZguMHX9hnaIOsgZxsYqDW3ZHuq56x7upZ1gR2QceyVCUbZvDPgCGN6k2UtaNVSzYSP3KGMtaoqqxvAPBxCnzzHHHVuuMU_OMDtCQXPwoHfPh8Uaim9vH4NkbVkntValu4_6UOqxpnN83Z-DX62BmbA6G7d5ClYXVIgesn5-ttMAh-TmRPk9Fs82SdwssrSacmsei_tn-ljc398l9x0WpWokgxJLJWUjxA4_DDSUoEEW4MFNsiTxAHu3kSBy08tMW73eap4Sz7kstnQZypha2HIb7PgXPVp4j3ooeg9DHVGvQ4QKSQ8BzjOcfBybuT4BmGOAuGdXw-MEQA4BeowYRMZkn4Qut8EdIV6qYZsL31GHlDHX4YZ1HJKyaybX5fwYnz99OJ2psfr-TLv8d7bJNtU_XhNkTHrQ12B9GEKyDydiBoWgGv7TdezMbqTbuLKly7tDf3J5JnRqXBY-35fF5_pCPurLpU51vHrt9433tbnyyGnxDUtVagAslXmVxc4MbGooGkFbcG-4EBpsoyWuoFL6FZHMrTZ2MOvs7YJ0dVEHhmD56AI2__g1_NGqDQE4AD21VvO8sWDCesk12entdQtAf_qjaQVRrfyS1dmZLhAh1IWbuPcVl5GAFRXRCxRW6WjDmV3vCONAJlVkNa1rLldRRXsEVjcQaIylxbeo1sq2kvKmLEFHhn-HHXkWaNuTn6iom92rbTaJ3G6p_74EahsNZkeEyG1RKTezutE2awfl1uh2VFXbdmDc1iwMSDvaZtNOeiPhQPcKJGheHOx6DkOf7EJ_RVD_66NFdtHaNZP_he1y2NITYTtNOepRflYbf7NDJ4lv3pU_dh6Wgq66VV7i9m0kicN2Iwn3cBCYpG8lxT1ON6N1LIiQjW_WXQbbUwo86p0-hF33njnbM__yeIef4AVEj5f0eckR73TP2-2Tz3Cm5znfIPkU_-gwWIiQXFNZrJcb4Ku1NT2-ZDeISS94R58A_PWxxE9PX79gbnDecGHxhts1hm0N0vAXwH7pjZX0Ei2GiluDHTxAMgxaKz_7v_elgYR_fEsZrmixdlNLoRi4VcOD8_wZbFM7C2hpQWMqlV2D7r_bCWllRrgM6w8n4-gMIlD4CRXnQrX7U0TGeT5M8H4_gRHJ4u14yugon2RpkWa7tUeEuWzPp4KK-eJPd_Onp-df53c_Lf7828-TEQ4b7u7Cq1rwgtvITdGIjLSpTz0GD_tTb8whwwkZHdVBJVwM7gKM1erVhVcq24X4jxrcv_5yENqDILk11rnQdu_OxLd7_aNBPlUx_6828NKe9DmYQhtZzI1pAPPSPXxTP9xgVZbDAZul7Ca9oQOYJVMSj8bjNBsP1jMo4-yGMTLNSR7HAAkjdJomrEwoSbPpdMBnJCajeBpnySSZkHR4M8ngZlqk5bRkaTFO0CiGinIx9D1W6dXAGzS7yeIRGfh9uvGfEQmRsGmtbQ9yB3rmeKK8WRm3wObGmr0Uy63w3x__lk3QeIG_tBj7CpqXHDQuKRfmdNPIG4t1Iw0uuZspEHlQmNtBo8VsbW3t-wZ5QORhxe26yYeFqhB5cJrDzc3Lf4fCIvLg7TWIPLT-vMzIPwMAAP__bVu-CA">