llvm-6502/test/CodeGen/Generic/2003-05-27-useboolinotherbb.ll
Vikram S. Adve bd6161d401 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
2003-05-28 13:54:41 +00:00

64 lines
1.9 KiB
LLVM

;; Date: May 27, 2003.
;; From: Variant of 2003-05-27-usefsubasbool.ll
;;
;; Error: llc fails to save a boolean value in a register (and later uses an
;; invalid register <NULL VALUE> in a BRNZ) for a boolean value
;; used only by branches but in a different basic block.
;;
;; Cause: In SparcInstrSelection.cpp, for SetCC, when a result of setCC
;; is used only for branches, it is not saved into an int. register.
;; But if the boolean is used in a branch in a different basic block,
;; that branch uses a BRNZ inst. instead of a branch-on-CC.
;;
;; LLC Output before fix:
;; !****** 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 %lm(LLVMGlobal__2), %o2
;; sethi %hh(LLVMGlobal__2), %o1
;; or %o1, %hm(LLVMGlobal__2), %o1
;; sllx %o1, 32, %o1
;; or %o2, %o1, %o2
;; or %o2, %lo(LLVMGlobal__2), %o2
;; ldd [%o2+0], %f32
;; fcmpd %fcc0, %f0, %f32
;; ba .L_QRiterate_1_LL_1
;; nop
;;
;; .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!
%tmp.213 = setne double %tmp.212, 0.000000e+00
br label %shortcirc_next.1
shortcirc_next.1: ; preds = %entry
br bool %tmp.213, label %shortcirc_next.1, label %exit.1
exit.1:
ret void
}