mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-12-14 11:32:34 +00:00
cf2ab764db
All changes were made by the following bash script: find test/CodeGen -name "*.ll" | \ while read NAME; do echo "$NAME" grep -q "^; *RUN: *llc.*debug" $NAME && continue grep -q "^; *RUN:.*llvm-objdump" $NAME && continue grep -q "^; *RUN: *opt.*" $NAME && continue TEMP=`mktemp -t temp` cp $NAME $TEMP sed -n "s/^define [^@]*@\([A-Za-z0-9_]*\)(.*$/\1/p" < $NAME | \ while read FUNC; do sed -i '' "s/;\([A-Za-z0-9_-]*\)\([A-Za-z0-9_-]*\):\( *\)$FUNC[:]* *\$/;\1\2-LABEL:\3$FUNC:/g" $TEMP done sed -i '' "s/;\(.*\)-LABEL-LABEL:/;\1-LABEL:/" $TEMP sed -i '' "s/;\(.*\)-NEXT-LABEL:/;\1-NEXT:/" $TEMP sed -i '' "s/;\(.*\)-NOT-LABEL:/;\1-NOT:/" $TEMP sed -i '' "s/;\(.*\)-DAG-LABEL:/;\1-DAG:/" $TEMP mv $TEMP $NAME done This script catches a superset of the cases caught by the script associated with commit r186280. It initially found some false positives due to unusual constructs in a minority of tests; all such cases were disambiguated first in commit r186621. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@186624 91177308-0d34-0410-b5e6-96231b3b80d8
184 lines
4.3 KiB
LLVM
184 lines
4.3 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-LABEL: 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-LABEL: 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-LABEL: 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-LABEL: 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-LABEL: 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-LABEL: 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-LABEL: 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-LABEL: 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-LABEL: restore_sethi_3bit:
|
|
;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-LABEL: restore_sethi_large:
|
|
;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
|
|
}
|
|
|