[llvm-bugs] [Bug 32146] New: Enable -verify-machineinstrs with EXPENSIVE_CHECKS

via llvm-bugs llvm-bugs at lists.llvm.org
Sun Mar 5 12:05:37 PST 2017 

https://bugs.llvm.org/show_bug.cgi?id=32146

            Bug ID: 32146
           Summary: Enable -verify-machineinstrs with EXPENSIVE_CHECKS
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Backend: X86
          Assignee: unassignedbugs at nondot.org
          Reporter: Florian.Hahn at arm.com
                CC: llvm-bugs at lists.llvm.org

Adding -verify-machineinstr for EXPENSIVE_CHECKS was suggested in PR30999.

At the moment, the following tests fail:

********************
Testing Time: 475.89s
********************
Failing Tests (241):
    LLVM :: Bindings/Go/go.test
    LLVM :: CodeGen/AMDGPU/amdgpu.private-memory.ll
    LLVM :: CodeGen/AMDGPU/amdgpu.work-item-intrinsics.deprecated.ll
    LLVM :: CodeGen/AMDGPU/big_alu.ll
    LLVM :: CodeGen/AMDGPU/combine_vloads.ll
    LLVM :: CodeGen/AMDGPU/kernel-args.ll
    LLVM :: CodeGen/AMDGPU/literals.ll
    LLVM :: CodeGen/AMDGPU/llvm.r600.group.barrier.ll
    LLVM :: CodeGen/AMDGPU/load-constant-i16.ll
    LLVM :: CodeGen/AMDGPU/load-constant-i8.ll
    LLVM :: CodeGen/AMDGPU/load-global-i16.ll
    LLVM :: CodeGen/AMDGPU/load-global-i8.ll
    LLVM :: CodeGen/AMDGPU/load-input-fold.ll
    LLVM :: CodeGen/AMDGPU/load-local-i16.ll
    LLVM :: CodeGen/AMDGPU/load-local-i8.ll
    LLVM :: CodeGen/AMDGPU/min.ll
    LLVM :: CodeGen/AMDGPU/no-initializer-constant-addrspace.ll
    LLVM :: CodeGen/AMDGPU/parallelandifcollapse.ll
    LLVM :: CodeGen/AMDGPU/private-memory-r600.ll
    LLVM :: CodeGen/AMDGPU/pv-packing.ll
    LLVM :: CodeGen/AMDGPU/pv.ll
    LLVM :: CodeGen/AMDGPU/r600.bitcast.ll
    LLVM :: CodeGen/AMDGPU/r600.private-memory.ll
    LLVM :: CodeGen/AMDGPU/r600.work-item-intrinsics.ll
    LLVM :: CodeGen/AMDGPU/setcc.ll
    LLVM :: CodeGen/AMDGPU/sext-in-reg.ll
    LLVM :: CodeGen/AMDGPU/shl.ll
    LLVM :: CodeGen/AMDGPU/sra.ll
    LLVM :: CodeGen/AMDGPU/store-global.ll
    LLVM :: CodeGen/AMDGPU/store-local.ll
    LLVM :: CodeGen/AMDGPU/store-private.ll
    LLVM :: CodeGen/AMDGPU/sub.ll
    LLVM :: CodeGen/AMDGPU/swizzle-export.ll
    LLVM :: CodeGen/AMDGPU/trunc-vector-store-assertion-failure.ll
    LLVM :: CodeGen/AMDGPU/unknown-processor.ll
    LLVM :: CodeGen/AMDGPU/vector-alloca.ll
    LLVM :: CodeGen/ARM/2011-04-11-MachineLICMBug.ll
    LLVM :: CodeGen/ARM/2016-08-24-ARM-LDST-dbginfo-bug.ll
    LLVM :: CodeGen/ARM/GlobalISel/arm-irtranslator.ll
    LLVM :: CodeGen/ARM/arm-position-independence-jump-table.ll
    LLVM :: CodeGen/ARM/execute-only.ll
    LLVM :: CodeGen/ARM/jump-table-tbh.ll
    LLVM :: CodeGen/Generic/llc-start-stop.ll
    LLVM :: CodeGen/Generic/print-machineinstrs.ll
    LLVM :: CodeGen/Hexagon/eliminate-pred-spill.ll
    LLVM :: CodeGen/Hexagon/expand-vstorerw-undef2.ll
    LLVM :: CodeGen/Hexagon/reg-scavengebug-3.ll
    LLVM :: CodeGen/Hexagon/reg-scavenger-valid-slot.ll
    LLVM :: CodeGen/Hexagon/vec-pred-spill1.ll
    LLVM :: CodeGen/Lanai/codemodel.ll
    LLVM :: CodeGen/Lanai/comparisons_i32.ll
    LLVM :: CodeGen/Lanai/comparisons_i64.ll
    LLVM :: CodeGen/Lanai/constant_multiply.ll
    LLVM :: CodeGen/Lanai/delay_filler.ll
    LLVM :: CodeGen/Lanai/i32.ll
    LLVM :: CodeGen/Lanai/lanai-misched-trivial-disjoint.ll
    LLVM :: CodeGen/Lanai/lshift64.ll
    LLVM :: CodeGen/Lanai/mem_alu_combiner.ll
    LLVM :: CodeGen/Lanai/multiply.ll
    LLVM :: CodeGen/Lanai/rshift64.ll
    LLVM :: CodeGen/Lanai/select.ll
    LLVM :: CodeGen/Lanai/set_and_hi.ll
    LLVM :: CodeGen/Lanai/shift.ll
    LLVM :: CodeGen/Lanai/stack-frame.ll
    LLVM :: CodeGen/Lanai/sub-cmp-peephole.ll
    LLVM :: CodeGen/Lanai/subword.ll
    LLVM :: CodeGen/MIR/Generic/multiRunPass.mir
    LLVM :: CodeGen/MSP430/vararg.ll
    LLVM :: CodeGen/Mips/largeimmprinting.ll
    LLVM :: CodeGen/Mips/llvm-ir/select-dbl.ll
    LLVM :: CodeGen/Mips/llvm-ir/select-flt.ll
    LLVM :: CodeGen/Mips/longbranch.ll
    LLVM :: CodeGen/Mips/mips64fpldst.ll
    LLVM :: CodeGen/Mips/msa/f16-llvm-ir.ll
    LLVM :: CodeGen/Mips/no-odd-spreg-msa.ll
    LLVM :: CodeGen/Mips/return_address.ll
    LLVM :: CodeGen/Mips/select.ll
    LLVM :: CodeGen/Mips/tnaked.ll
    LLVM :: CodeGen/NVPTX/LoadStoreVectorizer.ll
    LLVM :: CodeGen/NVPTX/MachineSink-call.ll
    LLVM :: CodeGen/NVPTX/MachineSink-convergent.ll
    LLVM :: CodeGen/NVPTX/access-non-generic.ll
    LLVM :: CodeGen/NVPTX/addrspacecast.ll
    LLVM :: CodeGen/NVPTX/aggregate-return.ll
    LLVM :: CodeGen/NVPTX/arg-lowering.ll
    LLVM :: CodeGen/NVPTX/arithmetic-fp-sm20.ll
    LLVM :: CodeGen/NVPTX/arithmetic-int.ll
    LLVM :: CodeGen/NVPTX/atomics.ll
    LLVM :: CodeGen/NVPTX/bfe.ll
    LLVM :: CodeGen/NVPTX/branch-fold.ll
    LLVM :: CodeGen/NVPTX/bug17709.ll
    LLVM :: CodeGen/NVPTX/bug26185-2.ll
    LLVM :: CodeGen/NVPTX/bug26185.ll
    LLVM :: CodeGen/NVPTX/call-with-alloca-buffer.ll
    LLVM :: CodeGen/NVPTX/combine-min-max.ll
    LLVM :: CodeGen/NVPTX/compare-int.ll
    LLVM :: CodeGen/NVPTX/convert-fp.ll
    LLVM :: CodeGen/NVPTX/convert-int-sm20.ll
    LLVM :: CodeGen/NVPTX/ctlz.ll
    LLVM :: CodeGen/NVPTX/ctpop.ll
    LLVM :: CodeGen/NVPTX/cttz.ll
    LLVM :: CodeGen/NVPTX/disable-opt.ll
    LLVM :: CodeGen/NVPTX/div-ri.ll
    LLVM :: CodeGen/NVPTX/envreg.ll
    LLVM :: CodeGen/NVPTX/f16-instructions.ll
    LLVM :: CodeGen/NVPTX/f16x2-instructions.ll
    LLVM :: CodeGen/NVPTX/fast-math.ll
    LLVM :: CodeGen/NVPTX/fma-assoc.ll
    LLVM :: CodeGen/NVPTX/fma-disable.ll
    LLVM :: CodeGen/NVPTX/fma.ll
    LLVM :: CodeGen/NVPTX/fp-contract.ll
    LLVM :: CodeGen/NVPTX/fp-literals.ll
    LLVM :: CodeGen/NVPTX/i1-int-to-fp.ll
    LLVM :: CodeGen/NVPTX/i8-param.ll
    LLVM :: CodeGen/NVPTX/idioms.ll
    LLVM :: CodeGen/NVPTX/imad.ll
    LLVM :: CodeGen/NVPTX/implicit-def.ll
    LLVM :: CodeGen/NVPTX/inline-asm.ll
    LLVM :: CodeGen/NVPTX/intrinsic-old.ll
    LLVM :: CodeGen/NVPTX/intrinsics.ll
    LLVM :: CodeGen/NVPTX/isspacep.ll
    LLVM :: CodeGen/NVPTX/ld-addrspace.ll
    LLVM :: CodeGen/NVPTX/ld-generic.ll
    LLVM :: CodeGen/NVPTX/ldg-invariant.ll
    LLVM :: CodeGen/NVPTX/ldu-i8.ll
    LLVM :: CodeGen/NVPTX/ldu-ldg.ll
    LLVM :: CodeGen/NVPTX/ldu-reg-plus-offset.ll
    LLVM :: CodeGen/NVPTX/load-with-non-coherent-cache.ll
    LLVM :: CodeGen/NVPTX/local-stack-frame.ll
    LLVM :: CodeGen/NVPTX/lower-aggr-copies.ll
    LLVM :: CodeGen/NVPTX/lower-alloca.ll
    LLVM :: CodeGen/NVPTX/machine-sink.ll
    LLVM :: CodeGen/NVPTX/math-intrins.ll
    LLVM :: CodeGen/NVPTX/misaligned-vector-ldst.ll
    LLVM :: CodeGen/NVPTX/mulwide.ll
    LLVM :: CodeGen/NVPTX/param-align.ll
    LLVM :: CodeGen/NVPTX/param-load-store.ll
    LLVM :: CodeGen/NVPTX/pr16278.ll
    LLVM :: CodeGen/NVPTX/refl1.ll
    LLVM :: CodeGen/NVPTX/reg-copy.ll
    LLVM :: CodeGen/NVPTX/reg-types.ll
    LLVM :: CodeGen/NVPTX/rotate.ll
    LLVM :: CodeGen/NVPTX/sext-params.ll
    LLVM :: CodeGen/NVPTX/shfl.ll
    LLVM :: CodeGen/NVPTX/simple-call.ll
    LLVM :: CodeGen/NVPTX/sqrt-approx.ll
    LLVM :: CodeGen/NVPTX/symbol-naming.ll
    LLVM :: CodeGen/NVPTX/texsurf-queries.ll
    LLVM :: CodeGen/NVPTX/tid-range.ll
    LLVM :: CodeGen/NVPTX/vec-param-load.ll
    LLVM :: CodeGen/NVPTX/vector-args.ll
    LLVM :: CodeGen/NVPTX/vector-call.ll
    LLVM :: CodeGen/NVPTX/weak-global.ll
    LLVM :: CodeGen/NVPTX/zeroext-32bit.ll
    LLVM :: CodeGen/PowerPC/2006-10-17-ppc64-alloca.ll
    LLVM :: CodeGen/PowerPC/2007-11-16-landingpad-split.ll
    LLVM :: CodeGen/PowerPC/2009-11-15-ProcImpDefsBug.ll
    LLVM :: CodeGen/PowerPC/2012-10-11-dynalloc.ll
    LLVM :: CodeGen/PowerPC/2016-04-28-setjmp.ll
    LLVM :: CodeGen/PowerPC/Frames-alloca.ll
    LLVM :: CodeGen/PowerPC/aantidep-inline-asm-use.ll
    LLVM :: CodeGen/PowerPC/atomic-2.ll
    LLVM :: CodeGen/PowerPC/atomic-minmax.ll
    LLVM :: CodeGen/PowerPC/atomics.ll
    LLVM :: CodeGen/PowerPC/cr-spills.ll
    LLVM :: CodeGen/PowerPC/cr_spilling.ll
    LLVM :: CodeGen/PowerPC/ctr-cleanup.ll
    LLVM :: CodeGen/PowerPC/ctrloop-large-ec.ll
    LLVM :: CodeGen/PowerPC/ctrloop-udivti3.ll
    LLVM :: CodeGen/PowerPC/dyn-alloca-offset.ll
    LLVM :: CodeGen/PowerPC/early-ret2.ll
    LLVM :: CodeGen/PowerPC/emutls_generic.ll
    LLVM :: CodeGen/PowerPC/fast-isel-fcmp-nan.ll
    LLVM :: CodeGen/PowerPC/ifcvt-forked-bug-2016-08-08.ll
    LLVM :: CodeGen/PowerPC/merge-st-chain-op.ll
    LLVM :: CodeGen/PowerPC/negctr.ll
    LLVM :: CodeGen/PowerPC/ppc-shrink-wrapping.ll
    LLVM :: CodeGen/PowerPC/ppc-vaarg-agg.ll
    LLVM :: CodeGen/PowerPC/ppc32-pic-large.ll
    LLVM :: CodeGen/PowerPC/ppc32-pic.ll
    LLVM :: CodeGen/PowerPC/ppc64-anyregcc-crash.ll
    LLVM :: CodeGen/PowerPC/ppc64-anyregcc.ll
    LLVM :: CodeGen/PowerPC/ppc64-patchpoint.ll
    LLVM :: CodeGen/PowerPC/ppc64-stackmap.ll
    LLVM :: CodeGen/PowerPC/pr16556.ll
    LLVM :: CodeGen/PowerPC/pr25157-peephole.ll
    LLVM :: CodeGen/PowerPC/pr25157.ll
    LLVM :: CodeGen/PowerPC/pr26180.ll
    LLVM :: CodeGen/PowerPC/sj-ctr-loop.ll
    LLVM :: CodeGen/PowerPC/sjlj.ll
    LLVM :: CodeGen/PowerPC/stack-realign.ll
    LLVM :: CodeGen/PowerPC/stwux.ll
    LLVM :: CodeGen/PowerPC/vsel-prom.ll
    LLVM :: CodeGen/PowerPC/vsx-fma-mutate-undef.ll
    LLVM :: CodeGen/PowerPC/vsx-self-copy.ll
    LLVM :: CodeGen/PowerPC/xvcmpeqdp-v2f64.ll
    LLVM :: CodeGen/SPARC/reserved-regs.ll
    LLVM :: CodeGen/SPARC/sjlj.ll
    LLVM :: CodeGen/SystemZ/cond-load-01.ll
    LLVM :: CodeGen/SystemZ/stack-guard.ll
    LLVM :: CodeGen/SystemZ/trap-01.ll
    LLVM :: CodeGen/SystemZ/trap-02.ll
    LLVM :: CodeGen/SystemZ/trap-03.ll
    LLVM :: CodeGen/SystemZ/trap-04.ll
    LLVM :: CodeGen/SystemZ/trap-05.ll
    LLVM :: CodeGen/Thumb2/2010-08-10-VarSizedAllocaBug.ll
    LLVM :: CodeGen/Thumb2/2011-12-16-T2SizeReduceAssert.ll
    LLVM :: CodeGen/Thumb2/thumb2-ifcvt1.ll
    LLVM :: CodeGen/Thumb2/thumb2-tbb.ll
    LLVM :: CodeGen/Thumb2/thumb2-tbh.ll
    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/sse-intrinsics-fast-isel.ll
    LLVM :: CodeGen/X86/sse-intrinsics-x86.ll
    LLVM :: CodeGen/X86/sse-regcall.ll
    LLVM :: CodeGen/X86/system-intrinsics-64.ll
    LLVM :: CodeGen/X86/system-intrinsics.ll
    LLVM :: CodeGen/X86/win_coreclr_chkstk.ll
    LLVM :: CodeGen/X86/xray-multiplerets-in-blocks.mir
    LLVM :: DebugInfo/MIR/ARM/split-superreg-piece.mir
    LLVM :: DebugInfo/MIR/ARM/split-superreg.mir
    LLVM :: DebugInfo/MIR/X86/bit-piece-dh.mir
    LLVM :: Transforms/NaryReassociate/NVPTX/nary-slsr.ll
    LLVM :: Transforms/SeparateConstOffsetFromGEP/NVPTX/split-gep-and-gvn.ll
    LLVM ::
Transforms/StraightLineStrengthReduce/NVPTX/reassociate-geps-and-slsr.ll
    LLVM :: Transforms/StraightLineStrengthReduce/NVPTX/speculative-slsr.ll

  Expected Passes    : 19171
  Expected Failures  : 144
  Unsupported Tests  : 401
  Unexpected Failures: 241

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20170305/43092d7e/attachment.html>

More information about the llvm-bugs mailing list