[llvm-bugs] [Bug 38147] New: [X86] AVX512 -verify-machineinstrs errors

[via llvm-bugs]

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

            Bug ID: 38147
           Summary: [X86] AVX512 -verify-machineinstrs errors
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Windows NT
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Backend: X86
          Assignee: unassignedbugs at nondot.org
          Reporter: llvm-dev at redking.me.uk
                CC: craig.topper at gmail.com, llvm-bugs at lists.llvm.org

We're seeing the following intrinsics tests fail on avx512 tests when
-verify-machineinstrs is enabled:

    LLVM :: CodeGen/X86/sse-intrinsics-fast-isel-x86_64.ll
    LLVM :: CodeGen/X86/sse-intrinsics-fast-isel.ll
    LLVM :: CodeGen/X86/sse2-intrinsics-fast-isel-x86_64.ll
    LLVM :: CodeGen/X86/sse2-intrinsics-fast-isel.ll
    LLVM :: CodeGen/X86/sse42-intrinsics-fast-isel.ll
    LLVM :: CodeGen/X86/sse42-intrinsics-x86.ll

e.g.

# After Instruction Selection
# Machine code for function test_mm_cvttsd_si32: IsSSA, TracksLiveness
Function Live Ins: $xmm0 in %0

bb.0 (%ir-block.0):
  liveins: $xmm0
  %0:vr128x = COPY $xmm0
  %1:vr128x = COPY %0:vr128x
  %3:gr32 = VCVTTSD2SIrr %1:vr128x
  $eax = COPY %3:gr32
  RETQ implicit $eax

# End machine code for function test_mm_cvttsd_si32.

*** Bad machine code: Illegal virtual register for instruction ***
- function:    test_mm_cvttsd_si32
- basic block: %bb.0  (0x25e7a132f88)
- instruction: %3:gr32 = VCVTTSD2SIrr %1:vr128x
- operand 1:   %1:vr128x
Expected a FR64 register, but got a VR128X register
LLVM ERROR: Found 1 machine code errors.

-- 
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/20180712/477969f7/attachment.html>