Index: lib/CodeGen/CFIInstrInserter.cpp =================================================================== --- lib/CodeGen/CFIInstrInserter.cpp +++ lib/CodeGen/CFIInstrInserter.cpp @@ -317,6 +317,9 @@ // outgoing offset and register values of CurrMBB if (SuccMBBInfo.IncomingCFAOffset != CurrMBBInfo.OutgoingCFAOffset || SuccMBBInfo.IncomingCFARegister != CurrMBBInfo.OutgoingCFARegister) { + // Inconsistent offsets/registers are ok for 'noreturn' blocks. + if (SuccMBBInfo.MBB->succ_empty() && !SuccMBBInfo.MBB->isReturnBlock()) + continue; report(CurrMBBInfo, SuccMBBInfo); ErrorNum++; } Index: test/CodeGen/X86/cfi-inserter-noreturnblock.mir =================================================================== --- /dev/null +++ test/CodeGen/X86/cfi-inserter-noreturnblock.mir @@ -0,0 +1,23 @@ +# RUN: llc -o - %s -mtriple=x86_64-- -verify-cfiinstrs \ +# RUN: -run-pass=cfi-instr-inserter + +# Test that CFI verifier does not report inconsistent offset for the +# 'noreturn' block. +--- | + define void @testNoreturnBlock() { + ret void + } +... +--- +name: testNoreturnBlock +body: | + bb.0: + CFI_INSTRUCTION def_cfa_offset 24 + JNE_1 %bb.2, implicit undef $eflags + + bb.1: + CFI_INSTRUCTION def_cfa_offset 32 + + bb.2: + TRAP +...