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

    <tr>
        <th>Summary</th>
        <td>
            [RISC-V] Assertion: 'AdjustsStack not set in presence of a frame pseudo instruction.' at -O1 with -fwrapv
        </td>
    </tr>

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

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

    <tr>
      <th>Reporter</th>
      <td>
          patrick-rivos
      </td>
    </tr>
</table>

<pre>
    Testcase:
```c
int a, f;
char b, g, h;
extern _Bool c[], e[];
extern int d[];
short i, j;
long k, l;
_Bool e[3];
void m() {
  for (short n = 0; n < 13; n++) {
 for (_Bool o = 0; o < (_Bool)l; o = 1)
      for (int p = j % h - 6; p; p += 4)
        a = c[2 + n * n];
    if ((_Bool)(f ? i > g : g)) {
 d[n] = 0;
      b = f ?: k;
    }
    e[n] = 0;
  }
  for (int q = 3; q; q++)
    ;
  for (int r = 3; r; r++)
    ;
  for (;;)
    ;
}
```
Godbolt: https://godbolt.org/z/1T7EWTGEY

Reduced LLVM IR:
```llvm ir
target datalayout = "e-m:e-p:64:64-i64:64-i128:128-n32:64-S128"
target triple = "riscv64-unknown-linux-gnu"

define void @m(i32 %arg.0, i64 %arg.1, ptr %arg.2) {
entry:
  %icmp.0 = icmp eq i32 %arg.0, 0
  %sele.0 = select i1 %icmp.0, i64 %arg.1, i64 1
  %trun.0 = trunc i64 %sele.0 to i8
  call void @llvm.memset.p0.i64(ptr %arg.2, i8 0, i64 13, i1 false)
 %sele.1 = select i1 %icmp.0, i32 %arg.0, i32 1
  %icmp.1 = icmp eq i32 %sele.1, 0
  br i1 %icmp.1, label %if.end, label %if.then

if.then: ; preds = %arg.2ntry
  store i8 %trun.0, ptr null, align 1
  br label %if.end

if.end: ; preds = %if.then, %arg.2ntry
  ret void
}

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #0

attributes #0 = { nocallback nofree nounwind willreturn memory(argmem: write) }
```
Godbolt: https://godbolt.org/z/1Wah8h1W3

Backtrace:
```bash
> /scratch/tc-testing/tc-jun-17/build-rv64gcv/build-llvm-linux/bin/llc reduced.ll
llc: /scratch/tc-testing/tc-jun-17/llvm/llvm/lib/CodeGen/PrologEpilogInserter.cpp:375: void {anonymous}::PEI::calculateCallFrameInfo(llvm::MachineFunction&): Assertion `(FrameSDOps.empty() || MF.getFrameInfo().adjustsStack()) && "AdjustsStack not set in presence of a frame pseudo instruction."' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: /scratch/tc-testing/tc-jun-17/build-rv64gcv/build-llvm-linux/bin/llc reduced.ll
1.      Running pass 'Function Pass Manager' on module 'reduced.ll'.
2.      Running pass 'Prologue/Epilogue Insertion & Frame Finalization' on function '@m'
 #0 0x00005f1bdba777e0 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/scratch/tc-testing/tc-jun-17/build-rv64gcv/build-llvm-linux/bin/llc+0x1d5e7e0)
 #1 0x00005f1bdba74bef llvm::sys::RunSignalHandlers() (/scratch/tc-testing/tc-jun-17/build-rv64gcv/build-llvm-linux/bin/llc+0x1d5bbef)
 #2 0x00005f1bdba74d45 SignalHandler(int) Signals.cpp:0:0
 #3 0x00007a4118042520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #4 0x00007a41180969fc __pthread_kill_implementation ./nptl/pthread_kill.c:44:76
 #5 0x00007a41180969fc __pthread_kill_internal ./nptl/pthread_kill.c:78:10
 #6 0x00007a41180969fc pthread_kill ./nptl/pthread_kill.c:89:10
 #7 0x00007a4118042476 gsignal ./signal/../sysdeps/posix/raise.c:27:6
 #8 0x00007a41180287f3 abort ./stdlib/abort.c:81:7
 #9 0x00007a411802871b _nl_load_domain ./intl/loadmsgcat.c:1177:9
#10 0x00007a4118039e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
#11 0x00005f1bdab55dfb (anonymous namespace)::PEI::runOnMachineFunction(llvm::MachineFunction&) PrologEpilogInserter.cpp:0:0
#12 0x00005f1bda9ae917 llvm::MachineFunctionPass::runOnFunction(llvm::Function&) (.part.0) MachineFunctionPass.cpp:0:0
#13 0x00005f1bdafc1476 llvm::FPPassManager::runOnFunction(llvm::Function&) (/scratch/tc-testing/tc-jun-17/build-rv64gcv/build-llvm-linux/bin/llc+0x12a8476)
#14 0x00005f1bdafc16c9 llvm::FPPassManager::runOnModule(llvm::Module&) (/scratch/tc-testing/tc-jun-17/build-rv64gcv/build-llvm-linux/bin/llc+0x12a86c9)
#15 0x00005f1bdafc2035 llvm::legacy::PassManagerImpl::run(llvm::Module&) (/scratch/tc-testing/tc-jun-17/build-rv64gcv/build-llvm-linux/bin/llc+0x12a9035)
#16 0x00005f1bda2b67de compileModule(char**, llvm::LLVMContext&) llc.cpp:0:0
#17 0x00005f1bda1ff95e main (/scratch/tc-testing/tc-jun-17/build-rv64gcv/build-llvm-linux/bin/llc+0x4e695e)
#18 0x00007a4118029d90 __libc_start_call_main ./csu/../sysdeps/nptl/libc_start_call_main.h:58:16
#19 0x00007a4118029e40 call_init ./csu/../csu/libc-start.c:128:20
#20 0x00007a4118029e40 __libc_start_main ./csu/../csu/libc-start.c:379:5
#21 0x00005f1bda2ad085 _start (/scratch/tc-testing/tc-jun-17/build-rv64gcv/build-llvm-linux/bin/llc+0x594085)
zsh: IOT instruction (core dumped) /scratch/tc-testing/tc-jun-17/build-rv64gcv/build-llvm-linux/bin/llc
```

Found via fuzzer.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzEWVuT2ygW_jX0yymrJHSzHvrBffFsVyWVVJKaqX1yIYRk0gg0gPqSX78FyLbkOJnMTrLb5SjowPnOhY8D2MQY3knGrlF-g_K7KzLavdLXA7Ga08eV5k_KXNWqeb3-xIylxDCUblB8h-INKuLwoeGdSwsE4VtoUXoTRHRPNNRO1rnH_tjBXizTEnY3SgmgwbYbwabm2TgH3Zx1mb3SFrjT-nwUCiU7eHQycZQFIw45nes_Kd5Aj_Aa4QpQOUkBWqUB4XWAl4DSO4hReuObt5Ckvo3wjf_MNSfFYE6dFJVXPPQgXImD9A4ShKuDYfc3Ybh4Bz_gMyCcwx5WUDitwT_A2U7vIDvTBiBeySUUu0HOabwBOY_bDeMt-MCPLiG8bgGlW-CA0nvoAKUbN2fVMkQ3Bw7sGNzceu2lHsZpPy66UXl3emHfgpmNmmXiTz_OJ_7P8Dhkf4afnk-g09QnTR0eP6LpJOk3Bh09PLI_vP6mmloJ6wLfWzsYt0rwFuFtFzoipTuEt18Q3iafyvs_Pv12_-8JyD8_sGakrIE3b35_Cw8fvl5kQjz1wHWQWqI7ZqEhlgjyqkbr40QYs1WP0g1bDSjdFJl_rPixkbjYNgler2SKg-yjk2G8gLWaD4IdIDU39KnIVqN8lOpZrgSX48uqk-NRLTwb1nLJwC8rlMVuZfHUsTAnuotityZ5kR3eE_c-WH14xwuiMWn16zEH4AZx2g9R7J1yTWB_wjl8PBtumGDTcNekFnhygrnkjHtPZghWj3JCcE16UJiQrQK-PgynRIhj5G6mop71htloiCOXfrxehnoLfA1HL5LUtxJoiTDsxLuDseS7YZznOMWLMPzI5FLeAvYicbWe4_s-QWomvKiNmGzORXbP5JwFB1G6AV-qNGvMxKQQvJ_ZyZyxSjOXimO6D6yQoxCuTQTv5CmeWn_lz9K2k1wyfXAL3150RDPrp-98jYdnegPbUVLLlYSNtdotbpDKTXpN6CNI1WrGQKpRPnPZwDMXQjM7agk965V-RXhNdNcztzbhWXN7muSGUUE0-2vyOHuDHTULAEqK18CjiUUThXjfE1dpKkA4jedhEGs1r0fLjO8KmSlv_nkg8DNq4h9kv94nf6Rzj28IfbSa0AtHjpqY_WF27gHhraGaWLpHeGvpyjJjuezCy-dRrpIS4W09ctGs9FORdfTp-O4SHmqaE3GJ8FYICjrU40iI6WAhqCfWD1lymLP_eI3w9lY17DfHwO17rYTq7gcuVPcgDdOW6YgOrmSnZe6sBDKUN0Qq-dqr0bgMpxuUbt7fP4QGJYKOglh2S4TYatKzB9kqhNfeqB_yltA9l-xAXYQLx7p0AxvjjDo2u2TitVf_ePduMBHrB_t6PBPdovIW3m6jjtm5CYSriDSfR2PNR0voYxAFzhUIF27X2Mz6QSoLhlng0q1KwyRloFog0DpUGAwbGwVcGqtH72vk9hZcQku4YE0UpuD9m_vNx3swY91zCwTqsQPNBndMs-qcYdzuxzqiql9Ox2rQ6jOjFuEtN2ZkBuEtENkAl1SMDQO7Z0A1MXuoD-ybzIdQmrEfjnSMo3Dyea9Vp0kPRHdjz6Q1P06Vf0TKZLL_YZSSyw4GYtziLo_V6r0TvCWSdEy7fCoJvWpGt7njcoaGyylI_A3EwNmRIbwNxB0ZBO56GuECPEFgyyUR_AsJhPMG24MzCJfhXFAe97c0hvgljuM4b5O6qUlZliyGE4XNq5l4r7m0fgY--YIw57kmzztlrGak9_y7ddeFwMb1z58EhG_il6TJWcni-VadJmehZDVrL4XyYZQfeSeJ-BeRjWDaHJbbr_S2rlm78Bafe9tkOSz8Ckdo51kQm6lGxf7fESidgEqSJck6znCO4ymWUPhe1sWuyObHRtdBI6OiwrvnVRbOZUvMqqhaCrvdYPeakWb3yIXY8X4QzC02zzWIEN7KwQqEt_NhkavamTv_lsUJP_8RfOlunkR8F7n05-lZNopLyHO178KtqzO48jy5WVlAZ_x8eKTQRHgb-bdX07DB1bRBGe6IoAk3zGPj0h34T9DrJTRel20KpHbV1EPZJkyfFwXvEhfxCaH6CiGpYSfFTijS7BrVEx7mhUsfrhP3pqMkwCVJ6Vyapt0toHgJmFasKv4elbzKkUoOc7EqSZ3nTVs7zOPWCpL0zAy-qFRnm6we5Tv51Tb6V1ssfGeDny0e591iFZKKsCop4ZvwrprPHLvo0ZkrCK-jgWjrTtYVXMC77Fe68KuliePdzMh7p3rYV_62R7-qzGGyzsrl9GfngRS0-oFA3vpNcjnVk-h_EERBq0UQ-VkQOE7zWRCCdYS-TtQ9hfPQD-IY0v8plCpO80UoxSIUXBdlw4CqfuCCHZNO90QjvPGf21mgb978_vZWScte7OS8EPQygcuFnaRtq5yBL0i_Lt6MFVXOFuGeF9mqqWLY7VzR2hlLtN25u9fuWCmpGb-u5dNucUkp2qN0k_tNqDhZPS_MFcti_xXFjktuzw2FpkNfefRQnP03RfiUURxfAl2EcimKi-Bp6QptfsJeFmlMmnidQ0D9hfOVV1m8PtHzi3HJhId3n-Y3EWefKs38wZ81YcX8dHcu3Z7Dc6tG2cATJ9COX74wHV0112lTpRW5YtdJmayLYp3l8dX-Om4KvKY1K2hZUpaSxv0VVdzmlLUFza_4NY5xFhdJidM8S-KI5HFSFymjLM_qFmcoi1lPuIj8lxBKd1f-jnRd5esyvvJfvBj_OwHGkj2D73QXtfzuSl_7yOqxMyiLBTfWnFAst8L_wPDh4ePt6neU352uoOGmVP7j62IJxMLqXQLP3O5h1T5rMjxdjVpc__cXwxD30zX-TwAAAP__ae1ZKg">