Hi @ElvisWang123, this is one of the examples where assertions kick in with #141900. It is reduced from SPEC CPU2000/sixtrack. [reduced.ll.gz](https://github.com/user-attachments/files/22219119/reduced.ll.gz) Command: `opt --passes=loop-vectorize reduced.ll -prefer-control-flow`