mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-12-16 11:30:51 +00:00
4eed756153
The main advantages here are way better heuristics, taking into account not just loop depth but also __builtin_expect and other static heuristics and will eventually learn how to use profile info. Most of the work in this patch is pushing the MachineBlockFrequencyInfo analysis into the right places. This is good for a 5% speedup on zlib's deflate (x86_64), there were some very unfortunate spilling decisions in its hottest loop in longest_match(). Other benchmarks I tried were mostly neutral. This changes register allocation in subtle ways, update the tests for it. 2012-02-20-MachineCPBug.ll was deleted as it's very fragile and the instruction it looked for was gone already (but the FileCheck pattern picked up unrelated stuff). git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@184105 91177308-0d34-0410-b5e6-96231b3b80d8
184 lines
4.2 KiB
LLVM
184 lines
4.2 KiB
LLVM
;RUN: llc -march=sparc < %s | FileCheck %s
|
|
;RUN: llc -march=sparc -O0 < %s | FileCheck %s -check-prefix=UNOPT
|
|
|
|
|
|
define i32 @test(i32 %a) nounwind {
|
|
entry:
|
|
; CHECK: test
|
|
; CHECK: call bar
|
|
; CHECK-NOT: nop
|
|
; CHECK: jmp
|
|
; CHECK-NEXT: restore
|
|
%0 = tail call i32 @bar(i32 %a) nounwind
|
|
ret i32 %0
|
|
}
|
|
|
|
define i32 @test_jmpl(i32 (i32, i32)* nocapture %f, i32 %a, i32 %b) nounwind {
|
|
entry:
|
|
; CHECK: test_jmpl
|
|
; CHECK: call
|
|
; CHECK-NOT: nop
|
|
; CHECK: jmp
|
|
; CHECK-NEXT: restore
|
|
%0 = tail call i32 %f(i32 %a, i32 %b) nounwind
|
|
ret i32 %0
|
|
}
|
|
|
|
define i32 @test_loop(i32 %a, i32 %b) nounwind readnone {
|
|
; CHECK: test_loop
|
|
entry:
|
|
%0 = icmp sgt i32 %b, 0
|
|
br i1 %0, label %bb, label %bb5
|
|
|
|
bb: ; preds = %entry, %bb
|
|
%a_addr.18 = phi i32 [ %a_addr.0, %bb ], [ %a, %entry ]
|
|
%1 = phi i32 [ %3, %bb ], [ 0, %entry ]
|
|
%tmp9 = mul i32 %1, %b
|
|
%2 = and i32 %1, 1
|
|
%tmp = xor i32 %2, 1
|
|
%.pn = shl i32 %tmp9, %tmp
|
|
%a_addr.0 = add i32 %.pn, %a_addr.18
|
|
%3 = add nsw i32 %1, 1
|
|
%exitcond = icmp eq i32 %3, %b
|
|
;CHECK: cmp
|
|
;CHECK: bne
|
|
;CHECK-NOT: nop
|
|
br i1 %exitcond, label %bb5, label %bb
|
|
|
|
bb5: ; preds = %bb, %entry
|
|
%a_addr.1.lcssa = phi i32 [ %a, %entry ], [ %a_addr.0, %bb ]
|
|
;CHECK: jmp
|
|
;CHECK-NOT: restore
|
|
ret i32 %a_addr.1.lcssa
|
|
}
|
|
|
|
define i32 @test_inlineasm(i32 %a) nounwind {
|
|
entry:
|
|
;CHECK: test_inlineasm
|
|
;CHECK: sethi
|
|
;CHECK: !NO_APP
|
|
;CHECK-NEXT: cmp
|
|
;CHECK-NEXT: bg
|
|
;CHECK-NEXT: or
|
|
tail call void asm sideeffect "sethi 0, %g0", ""() nounwind
|
|
%0 = icmp slt i32 %a, 0
|
|
br i1 %0, label %bb, label %bb1
|
|
|
|
bb: ; preds = %entry
|
|
%1 = tail call i32 (...)* @foo(i32 %a) nounwind
|
|
ret i32 %1
|
|
|
|
bb1: ; preds = %entry
|
|
%2 = tail call i32 @bar(i32 %a) nounwind
|
|
ret i32 %2
|
|
}
|
|
|
|
declare i32 @foo(...)
|
|
|
|
declare i32 @bar(i32)
|
|
|
|
|
|
define i32 @test_implicit_def() nounwind {
|
|
entry:
|
|
;UNOPT: test_implicit_def
|
|
;UNOPT: call func
|
|
;UNOPT-NEXT: nop
|
|
%0 = tail call i32 @func(i32* undef) nounwind
|
|
ret i32 0
|
|
}
|
|
|
|
define i32 @prevent_o7_in_call_delay_slot(i32 %i0) {
|
|
entry:
|
|
;CHECK: prevent_o7_in_call_delay_slot
|
|
;CHECK: add %i0, 2, %o5
|
|
;CHECK: add %i0, 3, %o7
|
|
;CHECK: add %o5, %o7, %o0
|
|
;CHECK: call bar
|
|
;CHECK-NEXT: nop
|
|
%0 = add nsw i32 %i0, 2
|
|
%1 = add nsw i32 %i0, 3
|
|
tail call void asm sideeffect "", "r,r,~{l0},~{l1},~{l2},~{l3},~{l4},~{l5},~{l6},~{l7},~{i0},~{i1},~{i2},~{i3},~{i4},~{i5},~{i6},~{i7},~{o0},~{o1},~{o2},~{o3},~{o4},~{o6},~{g1},~{g2},~{g3},~{g4},~{g5},~{g6},~{g7}"(i32 %0, i32 %1)
|
|
%2 = add nsw i32 %0, %1
|
|
%3 = tail call i32 @bar(i32 %2)
|
|
ret i32 %3
|
|
}
|
|
|
|
|
|
declare i32 @func(i32*)
|
|
|
|
|
|
define i32 @restore_add(i32 %a, i32 %b) {
|
|
entry:
|
|
;CHECK: restore_add:
|
|
;CHECK: jmp %i7+8
|
|
;CHECK: restore %o0, %i1, %o0
|
|
%0 = tail call i32 @bar(i32 %a) nounwind
|
|
%1 = add nsw i32 %0, %b
|
|
ret i32 %1
|
|
}
|
|
|
|
define i32 @restore_add_imm(i32 %a) {
|
|
entry:
|
|
;CHECK: restore_add_imm:
|
|
;CHECK: jmp %i7+8
|
|
;CHECK: restore %o0, 20, %o0
|
|
%0 = tail call i32 @bar(i32 %a) nounwind
|
|
%1 = add nsw i32 %0, 20
|
|
ret i32 %1
|
|
}
|
|
|
|
define i32 @restore_or(i32 %a) {
|
|
entry:
|
|
;CHECK: restore_or:
|
|
;CHECK: jmp %i7+8
|
|
;CHECK: restore %g0, %o0, %o0
|
|
%0 = tail call i32 @bar(i32 %a) nounwind
|
|
ret i32 %0
|
|
}
|
|
|
|
define i32 @restore_or_imm(i32 %a) {
|
|
entry:
|
|
;CHECK: restore_or_imm:
|
|
;CHECK: or %o0, 20, %i0
|
|
;CHECK: jmp %i7+8
|
|
;CHECK: restore %g0, %g0, %g0
|
|
%0 = tail call i32 @bar(i32 %a) nounwind
|
|
%1 = or i32 %0, 20
|
|
ret i32 %1
|
|
}
|
|
|
|
|
|
define i32 @restore_sethi(i32 %a) {
|
|
entry:
|
|
;CHECK: restore_sethi
|
|
;CHECK-NOT: sethi 3
|
|
;CHECK: restore %g0, 3072, %o0
|
|
%0 = tail call i32 @bar(i32 %a) nounwind
|
|
%1 = icmp ne i32 %0, 0
|
|
%2 = select i1 %1, i32 3072, i32 0
|
|
ret i32 %2
|
|
}
|
|
|
|
define i32 @restore_sethi_3bit(i32 %a) {
|
|
entry:
|
|
;CHECK: restore_sethi
|
|
;CHECK: sethi 6
|
|
;CHECK-NOT: restore %g0, 6144, %o0
|
|
%0 = tail call i32 @bar(i32 %a) nounwind
|
|
%1 = icmp ne i32 %0, 0
|
|
%2 = select i1 %1, i32 6144, i32 0
|
|
ret i32 %2
|
|
}
|
|
|
|
define i32 @restore_sethi_large(i32 %a) {
|
|
entry:
|
|
;CHECK: restore_sethi
|
|
;CHECK: sethi 4000, %i0
|
|
;CHECK: restore %g0, %g0, %g0
|
|
%0 = tail call i32 @bar(i32 %a) nounwind
|
|
%1 = icmp ne i32 %0, 0
|
|
%2 = select i1 %1, i32 4096000, i32 0
|
|
ret i32 %2
|
|
}
|
|
|