Three kinds of boolean values handled incorrectly:

-- setCC of FP type used by a Phi: have to save in reg.
-- setNE of FP type used by a branch: cannot use result directly in branch!
-- setCC used outside the same basic block: have to save in reg. for now


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6382 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 63 insertions, 0 deletions

diff --git a/test/CodeGen/Generic/2003-05-27-usefsubasbool.ll b/test/CodeGen/Generic/2003-05-27-usefsubasbool.ll
new file mode 100644
index 0000000000..124b267ca2
--- /dev/null
+++ b/test/CodeGen/Generic/2003-05-27-usefsubasbool.ll
@@ -0,0 +1,63 @@
+;; Date: May 27, 2003.
+;; From: test/Programs/MultiSource/McCat-05-eks/QRfact.c
+;; Function: Matrix QRiterate(Matrix A, Matrix U)
+;; 
+;; Error: llc produces an invalid register <NULL VALUE> for the
+;;        a boolean value computed using setne with a double.
+;;
+;; Cause: In SparcInstrSelection.cpp, for SetCC, when a result of setne
+;;        is used for a branch, it can generate a "branch-on-integer-register"
+;;        for integer registers.  In that case, it never saves the value of
+;;        the boolean result.  It was attempting to do the same thing for an
+;;        FP compare!
+;; 
+;; LLC Output:
+;; !****** Outputing Function: QRiterate_1 ******
+;; 
+;;         .section ".text"
+;;         .align  4
+;;         .global QRiterate_1
+;;         .type   QRiterate_1, 2
+;; QRiterate_1:
+;; .L_QRiterate_1_LL_0:
+;;         save    %o6, -192, %o6
+;;         sethi   %hh(LLVMGlobal__2), %o1
+;;         sethi   %lm(LLVMGlobal__2), %o0
+;;         or      %o1, %hm(LLVMGlobal__2), %o1
+;;         sllx    %o1, 32, %o1
+;;         or      %o0, %o1, %o0
+;;         or      %o0, %lo(LLVMGlobal__2), %o0
+;;         ldd     [%o0+0], %f32
+;;         ba      .L_QRiterate_1_LL_1
+;;         fcmpd   %fcc0, %f0, %f32
+;; 
+;; .L_QRiterate_1_LL_1:
+;;         brnz    <NULL VALUE>, .L_QRiterate_1_LL_1
+;;         nop     
+;;         ba      .L_QRiterate_1_LL_2
+;;         nop     
+;; 
+;; .L_QRiterate_1_LL_2:
+;;         jmpl    %i7+8, %g0
+;;         restore %g0, 0, %g0
+;; 
+;; .EndOf_QRiterate_1:
+;;         .size QRiterate_1, .EndOf_QRiterate_1-QRiterate_1
+;;  
+
+target endian = big
+target pointersize = 64
+
+implementation   ; Functions:
+
+internal void %QRiterate(double %tmp.212) { 
+entry:          ; No predecessors!
+        br label %shortcirc_next.1
+
+shortcirc_next.1:               ; preds = %entry
+        %tmp.213 = setne double %tmp.212, 0.000000e+00
+        br bool %tmp.213, label %shortcirc_next.1, label %exit.1
+
+exit.1:
+	ret void
+}