mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-09-03 18:29:48 +00:00
happening. Enhance scheduling to set the DEAD flag on implicit defs more aggressively. Before, we'd set an implicit def operand to dead if it were present in the SDNode corresponding to the machineinstr but had no use. Now we do it in this case AND if the implicit def does not exist in the SDNode at all. This exposes a couple of problems: one is the FIXME, which causes a live intervals crash on CodeGen/X86/sibcall.ll. The second is that it makes machinecse and licm more aggressive (which is a good thing) but also exposes a case where licm hoists a set0 and then it doesn't get resunk. Talking to codegen folks about both these issues, but I need this patch in in the meantime. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@99485 91177308-0d34-0410-b5e6-96231b3b80d8
34 lines
1.5 KiB
LLVM
34 lines
1.5 KiB
LLVM
; RUN: llc < %s -march=x86 -mtriple=i686-apple-darwin9.4.0 | grep movl | count 6
|
|
; PR2659
|
|
|
|
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
|
|
target triple = "i686-apple-darwin9.4.0"
|
|
|
|
define i32 @binomial(i32 %n, i32 %k) nounwind {
|
|
entry:
|
|
%cmp = icmp ugt i32 %k, %n ; <i1> [#uses=1]
|
|
br i1 %cmp, label %ifthen, label %forcond.preheader
|
|
|
|
forcond.preheader: ; preds = %entry
|
|
%cmp44 = icmp eq i32 %k, 0 ; <i1> [#uses=1]
|
|
br i1 %cmp44, label %afterfor, label %forbody
|
|
|
|
ifthen: ; preds = %entry
|
|
ret i32 0
|
|
|
|
forbody: ; preds = %forbody, %forcond.preheader
|
|
%indvar = phi i32 [ 0, %forcond.preheader ], [ %divisor.02, %forbody ] ; <i32> [#uses=3]
|
|
%accumulator.01 = phi i32 [ 1, %forcond.preheader ], [ %div, %forbody ] ; <i32> [#uses=1]
|
|
%divisor.02 = add i32 %indvar, 1 ; <i32> [#uses=2]
|
|
%n.addr.03 = sub i32 %n, %indvar ; <i32> [#uses=1]
|
|
%mul = mul i32 %n.addr.03, %accumulator.01 ; <i32> [#uses=1]
|
|
%div = udiv i32 %mul, %divisor.02 ; <i32> [#uses=2]
|
|
%inc = add i32 %indvar, 2 ; <i32> [#uses=1]
|
|
%cmp4 = icmp ugt i32 %inc, %k ; <i1> [#uses=1]
|
|
br i1 %cmp4, label %afterfor, label %forbody
|
|
|
|
afterfor: ; preds = %forbody, %forcond.preheader
|
|
%accumulator.0.lcssa = phi i32 [ 1, %forcond.preheader ], [ %div, %forbody ] ; <i32> [#uses=1]
|
|
ret i32 %accumulator.0.lcssa
|
|
}
|