mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-11-01 00:11:00 +00:00
bd6161d401
-- 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
64 lines
1.9 KiB
LLVM
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
|
|
}
|