[llvm-bugs] [Bug 33050] New: MSP430 machine verifier error

[via llvm-bugs]

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

            Bug ID: 33050
           Summary: MSP430 machine verifier error
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Windows NT
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Backend: MSP430
          Assignee: unassignedbugs at nondot.org
          Reporter: llvm-dev at redking.me.uk
                CC: llvm-bugs at lists.llvm.org
            Blocks: 32146

Enabling machine code verification with EXPENSIVE_CHECKS
(https://reviews.llvm.org/D30625) causes a machine verifier error with `ninja
check-codegen-msp430`:

Failing Tests (1):
    LLVM :: CodeGen/MSP430/vararg.ll

# After Instruction Selection
# Machine code for function va_start: IsSSA, TracksLiveness
Frame Objects:
  fi#-2: size=2, align=2, fixed, at location [SP+2]
  fi#-1: size=1, align=2, fixed, at location [SP+4]
  fi#0: size=2, align=2, at location [SP+2]

BB#0: derived from LLVM BB %entry
        %vreg0<def> = ADD16ri <fi#-1>, 0, %SR<imp-def,dead>; GR16:%vreg0
        MOV16mr <fi#0>, 0, %vreg0<kill>; mem:ST2[%vl1] GR16:%vreg0
        RET

# End machine code for function va_start.

*** Bad machine code: Tied use must be a register ***
- function:    va_start
- basic block: BB#0 entry (0x4703e0)
- instruction: %vreg0<def> = ADD16ri
- operand 1:   <fi#-1>
LLVM ERROR: Found 1 machine code errors.


Referenced Bugs:

https://bugs.llvm.org/show_bug.cgi?id=32146
[Bug 32146] Enable -verify-machineinstrs with EXPENSIVE_CHECKS
-- 
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/20170515/40062971/attachment.html>