mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-12-30 02:32:08 +00:00
ae3a0be92e
integer and floating-point opcodes, introducing FAdd, FSub, and FMul. For now, the AsmParser, BitcodeReader, and IRBuilder all preserve backwards compatability, and the Core LLVM APIs preserve backwards compatibility for IR producers. Most front-ends won't need to change immediately. This implements the first step of the plan outlined here: http://nondot.org/sabre/LLVMNotes/IntegerOverflow.txt git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@72897 91177308-0d34-0410-b5e6-96231b3b80d8
61 lines
2.6 KiB
LLVM
61 lines
2.6 KiB
LLVM
; PR714
|
|
; Update loop iteraton space to eliminate condition inside loop.
|
|
; RUN: llvm-as < %s | opt -loop-index-split | llvm-dis | not grep bothcond
|
|
|
|
define void @test(float* %x, i32 %ndat, float** %y, float %xcen, i32 %xmin, i32 %xmax, float %sigmal, float %contribution) {
|
|
entry:
|
|
%tmp5310 = icmp sgt i32 %xmin, %xmax ; <i1> [#uses=1]
|
|
br i1 %tmp5310, label %return, label %bb.preheader
|
|
|
|
bb.preheader: ; preds = %entry
|
|
%tmp3031 = fpext float %contribution to double ; <double> [#uses=1]
|
|
%tmp32 = fmul double %tmp3031, 5.000000e-01 ; <double> [#uses=1]
|
|
%tmp3839 = fpext float %sigmal to double ; <double> [#uses=1]
|
|
br label %bb
|
|
|
|
bb: ; preds = %cond_next45, %bb.preheader
|
|
%k.06.0 = phi i32 [ 0, %bb.preheader ], [ %indvar.next, %cond_next45 ] ; <i32> [#uses=4]
|
|
%i.01.0 = add i32 %k.06.0, %xmin ; <i32> [#uses=4]
|
|
%tmp2 = icmp sgt i32 %i.01.0, -1 ; <i1> [#uses=1]
|
|
%tmp6 = icmp slt i32 %i.01.0, %ndat ; <i1> [#uses=1]
|
|
%bothcond = and i1 %tmp2, %tmp6 ; <i1> [#uses=1]
|
|
br i1 %bothcond, label %cond_true9, label %cond_next45
|
|
|
|
cond_true9: ; preds = %bb
|
|
%tmp12 = getelementptr float* %x, i32 %i.01.0 ; <float*> [#uses=1]
|
|
%tmp13 = load float* %tmp12, align 4 ; <float> [#uses=1]
|
|
%tmp15 = fsub float %xcen, %tmp13 ; <float> [#uses=1]
|
|
%tmp16 = tail call float @fabsf(float %tmp15) ; <float> [#uses=1]
|
|
%tmp18 = fdiv float %tmp16, %sigmal ; <float> [#uses=1]
|
|
%tmp21 = load float** %y, align 4 ; <float*> [#uses=2]
|
|
%tmp27 = getelementptr float* %tmp21, i32 %k.06.0 ; <float*> [#uses=1]
|
|
%tmp28 = load float* %tmp27, align 4 ; <float> [#uses=1]
|
|
%tmp2829 = fpext float %tmp28 to double ; <double> [#uses=1]
|
|
%tmp34 = fsub float -0.000000e+00, %tmp18 ; <float> [#uses=1]
|
|
%tmp3435 = fpext float %tmp34 to double ; <double> [#uses=1]
|
|
%tmp36 = tail call double @exp(double %tmp3435) ; <double> [#uses=1]
|
|
%tmp37 = fmul double %tmp32, %tmp36 ; <double> [#uses=1]
|
|
%tmp40 = fdiv double %tmp37, %tmp3839 ; <double> [#uses=1]
|
|
%tmp41 = fadd double %tmp2829, %tmp40 ; <double> [#uses=1]
|
|
%tmp4142 = fptrunc double %tmp41 to float ; <float> [#uses=1]
|
|
%tmp44 = getelementptr float* %tmp21, i32 %k.06.0 ; <float*> [#uses=1]
|
|
store float %tmp4142, float* %tmp44, align 4
|
|
br label %cond_next45
|
|
|
|
cond_next45: ; preds = %cond_true9, %bb
|
|
%tmp47 = add i32 %i.01.0, 1 ; <i32> [#uses=1]
|
|
%tmp53 = icmp sgt i32 %tmp47, %xmax ; <i1> [#uses=1]
|
|
%indvar.next = add i32 %k.06.0, 1 ; <i32> [#uses=1]
|
|
br i1 %tmp53, label %return.loopexit, label %bb
|
|
|
|
return.loopexit: ; preds = %cond_next45
|
|
br label %return
|
|
|
|
return: ; preds = %return.loopexit, %entry
|
|
ret void
|
|
}
|
|
|
|
declare float @fabsf(float)
|
|
|
|
declare double @exp(double)
|