[LLVMbugs] [Bug 3324] New: [XCore] assertion rematerialising LDWSP instruction

[bugzilla-daemon at cs.uiuc.edu]

http://llvm.org/bugs/show_bug.cgi?id=3324

           Summary: [XCore] assertion rematerialising LDWSP instruction
           Product: new-bugs
           Version: unspecified
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: richard at xmos.com
                CC: llvmbugs at cs.uiuc.edu


In the target description LDWSP implicitly uses the SP register. This causes
LiveIntervals to assert when rematerialising stack slot loads with the
following code:

define double @f1(double %a, double %b, double %c, double %d, double %e, double
%f, double %g) nounwind {
entry:
        br i1 false, label %bb113, label %bb129

bb113:          ; preds = %entry
        ret double 0.000000e+00

bb129:          ; preds = %entry
        %tmp134 = sub double %b, %a             ; <double> [#uses=1]
        %tmp136 = sub double %tmp134, %c                ; <double> [#uses=1]
        %tmp138 = add double %tmp136, %d                ; <double> [#uses=1]
        %tmp140 = sub double %tmp138, %e                ; <double> [#uses=1]
        %tmp142 = add double %tmp140, %f                ; <double> [#uses=1]
        %tmp.0 = mul double %tmp142, 0.000000e+00               ; <double>
[#uses=1]
        ret double %tmp.0
}


-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.