X86 make check has a bunch of machine verifier errors #27855

qcolombet · 2016-04-22T20:16:13Z


Bugzilla Link	27481
Resolution	FIXED
Resolved on	Sep 06, 2019 16:44
Version	trunk
OS	All
Depends On	#38784 #38785 #38787 #38788 #38799 #38800 #22277 #32375 #37495 #37498 #37724 #37739 #38829
Blocks	#31494
CC	@topperc,@francisvm,@igor-breger,@ornata,@RKSimon,@MatzeB,@rnk,@spavloff,@rotateright

Extended Description

Switching the machine verifier ON by default (lib/CodeGen/Passes.cpp then change the default value of the cl::opt related to the machine verifier) leads to a bunch of machine verifier errors for make check:
LLVM :: CodeGen/X86/cleanuppad-inalloca.ll
LLVM :: CodeGen/X86/cmpxchg-clobber-flags.ll
LLVM :: CodeGen/X86/cxx_tlscc64.ll
LLVM :: CodeGen/X86/darwin-tls.ll
LLVM :: CodeGen/X86/fast-isel-nontemporal.ll
LLVM :: CodeGen/X86/i386-tlscall-fastregalloc.ll
LLVM :: CodeGen/X86/implicit-null-check.ll
LLVM :: CodeGen/X86/inalloca-ctor.ll
LLVM :: CodeGen/X86/inalloca-invoke.ll
LLVM :: CodeGen/X86/inalloca-regparm.ll
LLVM :: CodeGen/X86/inalloca-stdcall.ll
LLVM :: CodeGen/X86/inalloca.ll
LLVM :: CodeGen/X86/machine-sink-and-implicit-null-checks.ll
LLVM :: CodeGen/X86/musttail-indirect.ll
LLVM :: CodeGen/X86/musttail-thiscall.ll
LLVM :: CodeGen/X86/musttail-varargs.ll
LLVM :: CodeGen/X86/peephole-na-phys-copy-folding.ll
LLVM :: CodeGen/X86/pku.ll
LLVM :: CodeGen/X86/rtm.ll
LLVM :: CodeGen/X86/scheduler-backtracking.ll
LLVM :: CodeGen/X86/shrink-wrap-chkstk.ll
LLVM :: CodeGen/X86/sibcall-2.ll
LLVM :: CodeGen/X86/sibcall.ll
LLVM :: CodeGen/X86/stack-folding-fp-avx1.ll
LLVM :: CodeGen/X86/stack-folding-fp-sse42.ll
LLVM :: CodeGen/X86/tls-models.ll
LLVM :: CodeGen/X86/tlv-1.ll
LLVM :: CodeGen/X86/tlv-2.ll
LLVM :: CodeGen/X86/win_coreclr_chkstk.ll
LLVM :: CodeGen/X86/x32-function_pointer-1.ll
LLVM :: CodeGen/X86/x86-64-stack-and-frame-ptr.ll
LLVM :: CodeGen/X86/x86-interrupt_vzeroupper.ll
LLVM :: CodeGen/X86/x86-shrink-wrapping.ll

This may be latent bugs.

qcolombet · 2016-04-23T00:14:02Z

CodeGen/X86/cleanuppad-inalloca.ll is a fun one. The inalloca attribute says that the callee will make the alloca, but the caller will clean it.
We end up with the machine verifier complaining about a destroy frame before a setup frame and there is currently no way to tell the verifier that those bits are actually allocated by the callee. I think the proper fix is to add to the stackadjust down instruction an argument with the number of bytes that are push by the callee, similar to what we do with stackadjust up and the number of bytes pop by the callee.

That would take a bit of effort because currently the only requirement for the frame setup and frame destroy instructions is to haveone immediate operand. Thus, we need to update all the backends and lowering to make this two.

qcolombet · 2016-04-27T01:25:55Z

Fix test/CodeGen/X86/cmpxchg-clobber-flags.ll in r267623. (+ some preparatory patches in r267621 and r267622.)
We now generate better code, because we do not try to push/pop RAX if it is not live.

The problem was that we were saving a dead register and the verifier requires to have an undef flag to mark that we know we are reading an undef value.

qcolombet · 2016-04-27T23:39:53Z

Fixed CodeGen/X86/cxx_tlscc64.ll in r267797. We need to glue the callseq_end to the tlscall, otherwise the target independent code sets a dead flag on the result register whereas it is not dead. Indeed, the target independent code walks the chain of glue to find the users of physical registers.

qcolombet · 2016-04-28T00:34:20Z

Fixed CodeGen/X86/fast-isel-nontemporal.ll in r267806.

We were using the wrong register class for source of the non-temporal store: FR32 instead of FR128. This did not cause any problem because contain the same registers behind the scene.

qcolombet · 2016-05-03T01:03:28Z

Partially fixed test/CodeGen/X86/implicit-null-check.ll in r267817 and r268327.

The problems were respectively that we were missing to update the liveness properply and that we failed to mark FAULTING_LOAD_OP as potential branch instructions.

We still have machine verifier failures on that tests though.

qcolombet · 2016-05-03T20:11:26Z

Fixed the final problem with implicit-null-cheks.ll in r268412. When I fixed the liveness update, I did not take into account that load instructions might have implicit-defs as well.

qcolombet · 2016-05-10T02:45:40Z

Fixed x86-interrupt_vzeroupper.ll in r268983. This one was pretty bad because we basically ended up having the AVX512 registers as callee saved registers whereas the target was not using AVX512!!

RKSimon · 2016-05-10T12:09:49Z

Fixed x86-interrupt_vzeroupper.ll in r268983. This one was pretty bad
because we basically ended up having the AVX512 registers as callee saved
registers whereas the target was not using AVX512!!

I think this fixes llvm/llvm-bugzilla-archive#26409 as well?

qcolombet · 2016-05-10T18:17:02Z

Fixed x86-interrupt_vzeroupper.ll in r268983. This one was pretty bad
because we basically ended up having the AVX512 registers as callee saved
registers whereas the target was not using AVX512!!

I think this fixes llvm/llvm-bugzilla-archive#26409 as well?

That may indeed be the case.
Could you double check, please?

qcolombet · 2016-05-11T02:36:10Z

Here is where we are now:
Failing Tests (10):
LLVM :: CodeGen/X86/inalloca-ctor.ll
LLVM :: CodeGen/X86/local_stack_symbol_ordering.ll
LLVM :: CodeGen/X86/pku.ll
LLVM :: CodeGen/X86/rtm.ll
LLVM :: CodeGen/X86/scheduler-backtracking.ll
LLVM :: CodeGen/X86/sibcall-2.ll
LLVM :: CodeGen/X86/sibcall.ll
LLVM :: CodeGen/X86/stack-folding-fp-avx1.ll
LLVM :: CodeGen/X86/stack-folding-fp-sse42.ll
LLVM :: CodeGen/X86/win_coreclr_chkstk.ll

(Plus the inalloca tests that I analyzed previously but did not fix.)

RKSimon · 2016-08-08T20:02:06Z

LLVM :: CodeGen/X86/stack-folding-fp-avx1.ll
LLVM :: CodeGen/X86/stack-folding-fp-sse42.ll

A candidate fix for these is at: https://reviews.llvm.org/D23276

RKSimon · 2016-08-09T12:11:24Z

The stack folding tests are now fixed. The remaining issues are:

Failing Tests (16):
LLVM :: CodeGen/X86/cleanuppad-inalloca.ll
LLVM :: CodeGen/X86/inalloca-ctor.ll
LLVM :: CodeGen/X86/inalloca-invoke.ll
LLVM :: CodeGen/X86/inalloca-regparm.ll
LLVM :: CodeGen/X86/inalloca-stdcall.ll
LLVM :: CodeGen/X86/inalloca.ll
LLVM :: CodeGen/X86/local_stack_symbol_ordering.ll
LLVM :: CodeGen/X86/musttail-indirect.ll
LLVM :: CodeGen/X86/musttail-thiscall.ll
LLVM :: CodeGen/X86/rtm.ll
LLVM :: CodeGen/X86/scheduler-backtracking.ll
LLVM :: CodeGen/X86/shrink-wrap-chkstk.ll
LLVM :: CodeGen/X86/sibcall-2.ll
LLVM :: CodeGen/X86/sibcall.ll
LLVM :: CodeGen/X86/sjlj-eh.ll
LLVM :: CodeGen/X86/win_coreclr_chkstk.ll

RKSimon · 2016-11-12T23:48:16Z

Current failing tests:

LLVM :: CodeGen/X86/branchfolding-undef.mir
LLVM :: CodeGen/X86/cleanuppad-inalloca.ll
LLVM :: CodeGen/X86/inalloca-ctor.ll
LLVM :: CodeGen/X86/inalloca-invoke.ll
LLVM :: CodeGen/X86/inalloca-regparm.ll
LLVM :: CodeGen/X86/inalloca-stdcall.ll
LLVM :: CodeGen/X86/inalloca.ll
LLVM :: CodeGen/X86/local_stack_symbol_ordering.ll
LLVM :: CodeGen/X86/musttail-indirect.ll
LLVM :: CodeGen/X86/musttail-thiscall.ll
LLVM :: CodeGen/X86/rtm.ll
LLVM :: CodeGen/X86/scheduler-backtracking.ll
LLVM :: CodeGen/X86/shrink-wrap-chkstk.ll
LLVM :: CodeGen/X86/sibcall-2.ll
LLVM :: CodeGen/X86/sibcall.ll
LLVM :: CodeGen/X86/sjlj-eh.ll
LLVM :: CodeGen/X86/sse-regcall.ll
LLVM :: CodeGen/X86/win_coreclr_chkstk.ll
LLVM :: CodeGen/X86/xray-multiplerets-in-blocks.mir

RKSimon · 2017-03-21T19:29:05Z

Failing Tests (19):
LLVM :: CodeGen/X86/branchfolding-undef.mir
LLVM :: CodeGen/X86/cleanuppad-inalloca.ll
LLVM :: CodeGen/X86/fast-isel-select-sse.ll
LLVM :: CodeGen/X86/inalloca-ctor.ll
LLVM :: CodeGen/X86/inalloca-invoke.ll
LLVM :: CodeGen/X86/inalloca-regparm.ll
LLVM :: CodeGen/X86/inalloca-stdcall.ll
LLVM :: CodeGen/X86/inalloca.ll
LLVM :: CodeGen/X86/local_stack_symbol_ordering.ll
LLVM :: CodeGen/X86/musttail-indirect.ll
LLVM :: CodeGen/X86/musttail-thiscall.ll
LLVM :: CodeGen/X86/rtm.ll
LLVM :: CodeGen/X86/scheduler-backtracking.ll
LLVM :: CodeGen/X86/shrink-wrap-chkstk.ll
LLVM :: CodeGen/X86/sibcall-2.ll
LLVM :: CodeGen/X86/sibcall.ll
LLVM :: CodeGen/X86/sjlj-eh.ll
LLVM :: CodeGen/X86/win_coreclr_chkstk.ll
LLVM :: CodeGen/X86/xray-multiplerets-in-blocks.mir

RKSimon · 2017-03-21T19:30:23Z

LLVM :: CodeGen/X86/fast-isel-select-sse.ll

Candidate Fix: https://reviews.llvm.org/D31200

RKSimon · 2017-03-26T13:08:22Z

Fixed fast-isel-select-sse.ll by rL298805.

Failing Tests (18):
LLVM :: CodeGen/X86/branchfolding-undef.mir
LLVM :: CodeGen/X86/cleanuppad-inalloca.ll
LLVM :: CodeGen/X86/inalloca-ctor.ll
LLVM :: CodeGen/X86/inalloca-invoke.ll
LLVM :: CodeGen/X86/inalloca-regparm.ll
LLVM :: CodeGen/X86/inalloca-stdcall.ll
LLVM :: CodeGen/X86/inalloca.ll
LLVM :: CodeGen/X86/local_stack_symbol_ordering.ll
LLVM :: CodeGen/X86/musttail-indirect.ll
LLVM :: CodeGen/X86/musttail-thiscall.ll
LLVM :: CodeGen/X86/rtm.ll
LLVM :: CodeGen/X86/scheduler-backtracking.ll
LLVM :: CodeGen/X86/shrink-wrap-chkstk.ll
LLVM :: CodeGen/X86/sibcall-2.ll
LLVM :: CodeGen/X86/sibcall.ll
LLVM :: CodeGen/X86/sjlj-eh.ll
LLVM :: CodeGen/X86/win_coreclr_chkstk.ll
LLVM :: CodeGen/X86/xray-multiplerets-in-blocks.mir

qcolombet · 2017-05-01T17:28:37Z

For the inalloca tests, we have a candidate fix by Serge Pavlov:
https://reviews.llvm.org/D32394

Reviewers needed!

RKSimon · 2017-05-09T17:06:06Z

Serge's alloca fix landed at rL302527.

Failing Tests (9):
LLVM :: CodeGen/X86/branchfolding-undef.mir
LLVM :: CodeGen/X86/local_stack_symbol_ordering.ll
LLVM :: CodeGen/X86/rtm.ll
LLVM :: CodeGen/X86/scheduler-backtracking.ll
LLVM :: CodeGen/X86/sibcall-2.ll
LLVM :: CodeGen/X86/sibcall.ll
LLVM :: CodeGen/X86/sjlj-eh.ll
LLVM :: CodeGen/X86/win_coreclr_chkstk.ll
LLVM :: CodeGen/X86/xray-multiplerets-in-blocks.mir

RKSimon · 2017-05-20T21:27:56Z

CC'ing Igor as he added the GlobalISel tests recently

Current failing tests:
LLVM :: CodeGen/X86/GlobalISel/ext.ll
LLVM :: CodeGen/X86/GlobalISel/select-trunc.mir
LLVM :: CodeGen/X86/GlobalISel/trunc.ll
LLVM :: CodeGen/X86/O0-pipeline.ll
LLVM :: CodeGen/X86/branchfolding-undef.mir
LLVM :: CodeGen/X86/local_stack_symbol_ordering.ll
LLVM :: CodeGen/X86/scheduler-backtracking.ll
LLVM :: CodeGen/X86/sibcall-2.ll
LLVM :: CodeGen/X86/sibcall.ll
LLVM :: CodeGen/X86/sjlj-eh.ll
LLVM :: CodeGen/X86/win_coreclr_chkstk.ll
LLVM :: CodeGen/X86/xray-multiplerets-in-blocks.mir
LLVM :: DebugInfo/MIR/X86/bit-piece-dh.mir

igor-breger · 2017-05-21T13:58:50Z

GlobalISel tests fixed in r303502.
Thanks for pointing it out to me!

RKSimon · 2017-05-21T15:47:16Z

Thanks Igor.

Failing tests:

LLVM :: CodeGen/X86/O0-pipeline.ll
LLVM :: CodeGen/X86/branchfolding-undef.mir
LLVM :: CodeGen/X86/local_stack_symbol_ordering.ll
LLVM :: CodeGen/X86/scheduler-backtracking.ll
LLVM :: CodeGen/X86/sibcall-2.ll
LLVM :: CodeGen/X86/sibcall.ll
LLVM :: CodeGen/X86/sjlj-eh.ll
LLVM :: CodeGen/X86/win_coreclr_chkstk.ll
LLVM :: CodeGen/X86/xray-multiplerets-in-blocks.mir
LLVM :: DebugInfo/MIR/X86/bit-piece-dh.mir

MatzeB · 2017-05-31T18:54:59Z

r304320 enabled the machine verifier by default with EXPENSIVE_CHECKS. X86 is one of the targets excluded from this by overriding TargetMachine::isMachineVerifierClean() to return false.

Please remove the override when the target at least passes all lit tests without machine verifier failure.

RKSimon · 2017-09-06T17:10:48Z

Updated list, as it's been a while:

Failing Tests (14):
LLVM :: CodeGen/Generic/zero-probability.mir
LLVM :: CodeGen/MIR/X86/diexpr-win32.mir
LLVM :: CodeGen/X86/O0-pipeline.ll
LLVM :: CodeGen/X86/avx512-regcall-NoMask.ll
LLVM :: CodeGen/X86/branchfolding-undef.mir
LLVM :: CodeGen/X86/local_stack_symbol_ordering.ll
LLVM :: CodeGen/X86/scheduler-backtracking.ll
LLVM :: CodeGen/X86/sibcall-2.ll
LLVM :: CodeGen/X86/sibcall.ll
LLVM :: CodeGen/X86/sjlj-eh.ll
LLVM :: CodeGen/X86/win_coreclr_chkstk.ll
LLVM :: CodeGen/X86/xray-multiplerets-in-blocks.mir
LLVM :: DebugInfo/MIR/X86/bit-piece-dh.mir
LLVM :: DebugInfo/MIR/X86/empty-inline.mir

RKSimon · 2018-07-13T12:00:55Z

Failing Tests (24):
LLVM :: CodeGen/Generic/zero-probability.mir
LLVM :: CodeGen/X86/O0-pipeline.ll
LLVM :: CodeGen/X86/O3-pipeline.ll
LLVM :: CodeGen/X86/#37310 .mir
LLVM :: CodeGen/X86/avx512-regcall-NoMask.ll
LLVM :: CodeGen/X86/branch_instruction_and_target_split_perf_nops.mir
LLVM :: CodeGen/X86/branchfolding-undef.mir
LLVM :: CodeGen/X86/fentry-insertion.ll
LLVM :: CodeGen/X86/icall-branch-funnel.ll
LLVM :: CodeGen/X86/indirect-branch-tracking.ll
LLVM :: CodeGen/X86/local_stack_symbol_ordering.ll
LLVM :: CodeGen/X86/machine-outliner-disubprogram.ll
LLVM :: CodeGen/X86/machine-outliner-tailcalls.ll
LLVM :: CodeGen/X86/patchable-prologue.ll
LLVM :: CodeGen/X86/retpoline-regparm.ll
LLVM :: CodeGen/X86/retpoline.ll
LLVM :: CodeGen/X86/scheduler-backtracking.ll
LLVM :: CodeGen/X86/shadow-stack.ll
LLVM :: CodeGen/X86/sibcall-2.ll
LLVM :: CodeGen/X86/sibcall.ll
LLVM :: CodeGen/X86/sjlj-eh.ll
LLVM :: CodeGen/X86/win_coreclr_chkstk.ll
LLVM :: DebugInfo/Generic/linear-dbg-value.ll
LLVM :: DebugInfo/X86/live-debug-vars-discard-invalid.mir

RKSimon · 2018-07-13T12:03:54Z

@jpaquette Any idea whats behind the machine outliner test failures?

e.g.
CodeGen\X86\machine-outliner-disubprogram.ll

After Machine Outliner

Machine code for function f1: NoPHIs, TracksLiveness, NoVRegs

Frame Objects:
fi#-1: size=8, align=16, fixed, at location [SP-8]
fi#0: size=4, align=4, at location [SP-12]
fi#1: size=4, align=4, at location [SP-20]
fi#2: size=4, align=4, at location [SP-16]

bb.0.entry:
frame-setup PUSH64r killed $rbp, implicit-def $rsp, implicit $rsp
CFI_INSTRUCTION def_cfa_offset 16
CFI_INSTRUCTION offset $rbp, -16
$rbp = frame-setup MOV64rr $rsp
CFI_INSTRUCTION def_cfa_register $rbp
$rsp = frame-setup SUB64ri8 $rsp, 12, implicit-def dead $eflags
CALL64pcrel32 @OUTLINED_FUNCTION_1, implicit $rsp, implicit $ssp
$rsp = frame-destroy ADD64ri8 $rsp, 12, implicit-def dead $eflags, debug-location !46; test.c:26:3
$rbp = frame-destroy POP64r implicit-def $rsp, implicit $rsp, debug-location !46; test.c:26:3
RETQ implicit $eax, debug-location !46; test.c:26:3

End machine code for function f1.

*** Bad machine code: Using an undefined physical register ***

function: f1
basic block: %bb.0 entry (0x1b5eec123b8)
instruction: RETQ implicit $eax, debug-location !46; test.c:26:3
operand 0: implicit $eax
LLVM ERROR: Found 1 machine code errors.

error: command failed with exit status: 1

francisvm · 2018-07-13T14:46:53Z

Possible fix: https://reviews.llvm.org/D49295

francisvm · 2018-07-13T15:27:20Z

Possible fix for the tail call outliner issue as well: https://reviews.llvm.org/D49299

ornata · 2018-07-13T16:02:18Z

I think Francis' fixes should resolve the outliner failures once he lands them.

RKSimon · 2018-09-27T18:08:09Z

Failing Tests (28):
LLVM :: CodeGen/Generic/zero-probability.mir
LLVM :: CodeGen/X86/O0-pipeline.ll
LLVM :: CodeGen/X86/O3-pipeline.ll
LLVM :: CodeGen/X86/#37310 .mir
LLVM :: CodeGen/X86/avx512-regcall-NoMask.ll
LLVM :: CodeGen/X86/branch_instruction_and_target_split_perf_nops.mir
LLVM :: CodeGen/X86/branchfolding-undef.mir
LLVM :: CodeGen/X86/code-model-elf-memset.ll
LLVM :: CodeGen/X86/code-model-elf.ll
LLVM :: CodeGen/X86/fentry-insertion.ll
LLVM :: CodeGen/X86/icall-branch-funnel.ll
LLVM :: CodeGen/X86/indirect-branch-tracking.ll
LLVM :: CodeGen/X86/large-pic-string.ll
LLVM :: CodeGen/X86/patchable-prologue.ll
LLVM :: CodeGen/X86/pr38795.ll
LLVM :: CodeGen/X86/retpoline-regparm.ll
LLVM :: CodeGen/X86/retpoline.ll
LLVM :: CodeGen/X86/scheduler-backtracking.ll
LLVM :: CodeGen/X86/sibcall-2.ll
LLVM :: CodeGen/X86/sibcall.ll
LLVM :: CodeGen/X86/sjlj-eh.ll
LLVM :: CodeGen/X86/speculative-load-hardening-indirect.ll
LLVM :: CodeGen/X86/win_coreclr_chkstk.ll
LLVM :: DebugInfo/Generic/linear-dbg-value.ll
LLVM :: DebugInfo/X86/live-debug-vars-discard-invalid.mir
LLVM :: LTO/X86/codemodel-2.ll
LLVM :: ThinLTO/X86/cfi-devirt.ll
LLVM :: ThinLTO/X86/devirt-after-icp.ll

rnk · 2018-10-24T21:34:53Z

After r345197 I see only 20 failures:

Failing Tests (20):
LLVM :: CodeGen/X86/O0-pipeline.ll
LLVM :: CodeGen/X86/O3-pipeline.ll
LLVM :: CodeGen/X86/#37310 .mir
LLVM :: CodeGen/X86/avx512-regcall-NoMask.ll
LLVM :: CodeGen/X86/branch_instruction_and_target_split_perf_nops.mir
LLVM :: CodeGen/X86/code-model-elf-memset.ll
LLVM :: CodeGen/X86/code-model-elf.ll
LLVM :: CodeGen/X86/fentry-insertion.ll
LLVM :: CodeGen/X86/icall-branch-funnel.ll
LLVM :: CodeGen/X86/indirect-branch-tracking.ll
LLVM :: CodeGen/X86/large-pic-string.ll
LLVM :: CodeGen/X86/memcmp-mergeexpand.ll
LLVM :: CodeGen/X86/patchable-prologue.ll
LLVM :: CodeGen/X86/pr38795.ll
LLVM :: CodeGen/X86/retpoline-regparm.ll
LLVM :: CodeGen/X86/retpoline.ll
LLVM :: CodeGen/X86/scheduler-backtracking.ll
LLVM :: CodeGen/X86/sjlj-eh.ll
LLVM :: CodeGen/X86/speculative-load-hardening-indirect.ll
LLVM :: CodeGen/X86/win_coreclr_chkstk.ll

And I have a fix for retpoline in flight:
https://reviews.llvm.org/D53653

Now that we're down to such a small number, maybe we should explicitly annotate just the failing tests as -verify-machineinstrs=0, and mark the x86 target as machine verifier clean to prevent regressions?

rnk · 2019-09-06T23:44:26Z

Thanks!

Clang fix: r345591

LLVM fix + re-enable: r345593

Marking fixed.

Separately, I was wondering if maybe the machine verifier should be enabled somehow in +asserts builds, or controlled by some llc flag that's always set when lit calls llc, so that we get earlier detection of issues.

RKSimon · 2021-11-26T22:35:44Z

mentioned in issue llvm/llvm-bugzilla-archive#30998

fhahn · 2021-11-26T22:57:35Z

mentioned in issue #31494

RKSimon · 2021-11-26T23:14:26Z

mentioned in issue #32375

RKSimon · 2021-11-27T00:52:00Z

mentioned in issue #37495

francisvm · 2021-11-27T00:52:04Z

mentioned in issue #37498

francisvm · 2021-11-27T00:55:47Z

mentioned in issue #37724

francisvm · 2021-11-27T00:55:59Z

mentioned in issue #37739

francisvm · 2021-11-27T01:14:19Z

mentioned in issue #38784

francisvm · 2021-11-27T01:14:19Z

mentioned in issue #38785

francisvm · 2021-11-27T01:14:20Z

mentioned in issue #38788

francisvm · 2021-11-27T01:14:20Z

mentioned in issue #38787

francisvm · 2021-11-27T01:14:31Z

mentioned in issue #38800

francisvm · 2021-11-27T01:14:31Z

mentioned in issue #38799

francisvm · 2021-11-27T01:15:02Z

mentioned in issue #38829

DimitryAndric mentioned this issue Dec 13, 2014

Bad machine code: MBB exits via unconditional fall-through but its successor differs from its CFG successor #22277

Closed

fhahn mentioned this issue Mar 5, 2017

[Meta] Enable -verify-machineinstrs with EXPENSIVE_CHECKS #31494

Open

This was referenced May 12, 2017

[X86][RTM] XBEGIN causes machine verifier errors #32375

Closed

[X86] AVX512 -verify-machineinstrs errors #37495

Closed

llvmbot transferred this issue from llvm/llvm-bugzilla-archive Dec 10, 2021

This issue was closed.

X86 make check has a bunch of machine verifier errors #27855

X86 make check has a bunch of machine verifier errors #27855

Comments

qcolombet commented Apr 22, 2016

Extended Description

qcolombet commented Apr 23, 2016

qcolombet commented Apr 27, 2016

qcolombet commented Apr 27, 2016

qcolombet commented Apr 28, 2016

qcolombet commented May 3, 2016

qcolombet commented May 3, 2016

qcolombet commented May 10, 2016

RKSimon commented May 10, 2016

qcolombet commented May 10, 2016

qcolombet commented May 11, 2016

RKSimon commented Aug 8, 2016

RKSimon commented Aug 9, 2016

RKSimon commented Nov 12, 2016

RKSimon commented Mar 21, 2017

RKSimon commented Mar 21, 2017

RKSimon commented Mar 26, 2017

qcolombet commented May 1, 2017

RKSimon commented May 9, 2017

RKSimon commented May 20, 2017

igor-breger commented May 21, 2017

RKSimon commented May 21, 2017

MatzeB commented May 31, 2017

RKSimon commented Sep 6, 2017

RKSimon commented Jul 13, 2018

RKSimon commented Jul 13, 2018

After Machine Outliner

Machine code for function f1: NoPHIs, TracksLiveness, NoVRegs

End machine code for function f1.

francisvm commented Jul 13, 2018

francisvm commented Jul 13, 2018

ornata commented Jul 13, 2018

RKSimon commented Sep 27, 2018

rnk commented Oct 24, 2018

rnk commented Sep 6, 2019

RKSimon commented Nov 26, 2021

fhahn commented Nov 26, 2021

RKSimon commented Nov 26, 2021

RKSimon commented Nov 27, 2021

francisvm commented Nov 27, 2021

francisvm commented Nov 27, 2021

francisvm commented Nov 27, 2021

francisvm commented Nov 27, 2021

francisvm commented Nov 27, 2021

francisvm commented Nov 27, 2021

francisvm commented Nov 27, 2021

francisvm commented Nov 27, 2021

francisvm commented Nov 27, 2021

francisvm commented Nov 27, 2021