mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-12-22 07:32:48 +00:00
b2b5dc642c
This reverts commit 98a9b72e8c.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@184823 91177308-0d34-0410-b5e6-96231b3b80d8
433 lines
13 KiB
LLVM
433 lines
13 KiB
LLVM
; RUN: llc -mcpu=corei7 -no-stack-coloring=false < %s | FileCheck %s --check-prefix=YESCOLOR
|
|
; RUN: llc -mcpu=corei7 -no-stack-coloring=true < %s | FileCheck %s --check-prefix=NOCOLOR
|
|
|
|
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
|
|
target triple = "x86_64-apple-macosx10.8.0"
|
|
|
|
;YESCOLOR: subq $136, %rsp
|
|
;NOCOLOR: subq $264, %rsp
|
|
|
|
define i32 @myCall_w2(i32 %in) {
|
|
entry:
|
|
%a = alloca [17 x i8*], align 8
|
|
%a2 = alloca [16 x i8*], align 8
|
|
%b = bitcast [17 x i8*]* %a to i8*
|
|
%b2 = bitcast [16 x i8*]* %a2 to i8*
|
|
call void @llvm.lifetime.start(i64 -1, i8* %b)
|
|
%t1 = call i32 @foo(i32 %in, i8* %b)
|
|
%t2 = call i32 @foo(i32 %in, i8* %b)
|
|
call void @llvm.lifetime.end(i64 -1, i8* %b)
|
|
call void @llvm.lifetime.start(i64 -1, i8* %b2)
|
|
%t3 = call i32 @foo(i32 %in, i8* %b2)
|
|
%t4 = call i32 @foo(i32 %in, i8* %b2)
|
|
call void @llvm.lifetime.end(i64 -1, i8* %b2)
|
|
%t5 = add i32 %t1, %t2
|
|
%t6 = add i32 %t3, %t4
|
|
%t7 = add i32 %t5, %t6
|
|
ret i32 %t7
|
|
}
|
|
|
|
|
|
;YESCOLOR: subq $272, %rsp
|
|
;NOCOLOR: subq $272, %rsp
|
|
|
|
define i32 @myCall2_no_merge(i32 %in, i1 %d) {
|
|
entry:
|
|
%a = alloca [17 x i8*], align 8
|
|
%a2 = alloca [16 x i8*], align 8
|
|
%b = bitcast [17 x i8*]* %a to i8*
|
|
%b2 = bitcast [16 x i8*]* %a2 to i8*
|
|
call void @llvm.lifetime.start(i64 -1, i8* %b)
|
|
%t1 = call i32 @foo(i32 %in, i8* %b)
|
|
%t2 = call i32 @foo(i32 %in, i8* %b)
|
|
br i1 %d, label %bb2, label %bb3
|
|
bb2:
|
|
call void @llvm.lifetime.start(i64 -1, i8* %b2)
|
|
%t3 = call i32 @foo(i32 %in, i8* %b2)
|
|
%t4 = call i32 @foo(i32 %in, i8* %b2)
|
|
call void @llvm.lifetime.end(i64 -1, i8* %b2)
|
|
%t5 = add i32 %t1, %t2
|
|
%t6 = add i32 %t3, %t4
|
|
%t7 = add i32 %t5, %t6
|
|
call void @llvm.lifetime.end(i64 -1, i8* %b)
|
|
ret i32 %t7
|
|
bb3:
|
|
call void @llvm.lifetime.end(i64 -1, i8* %b)
|
|
ret i32 0
|
|
}
|
|
|
|
;YESCOLOR: subq $144, %rsp
|
|
;NOCOLOR: subq $272, %rsp
|
|
|
|
define i32 @myCall2_w2(i32 %in, i1 %d) {
|
|
entry:
|
|
%a = alloca [17 x i8*], align 8
|
|
%a2 = alloca [16 x i8*], align 8
|
|
%b = bitcast [17 x i8*]* %a to i8*
|
|
%b2 = bitcast [16 x i8*]* %a2 to i8*
|
|
call void @llvm.lifetime.start(i64 -1, i8* %b)
|
|
%t1 = call i32 @foo(i32 %in, i8* %b)
|
|
%t2 = call i32 @foo(i32 %in, i8* %b)
|
|
call void @llvm.lifetime.end(i64 -1, i8* %b)
|
|
br i1 %d, label %bb2, label %bb3
|
|
bb2:
|
|
call void @llvm.lifetime.start(i64 -1, i8* %b2)
|
|
%t3 = call i32 @foo(i32 %in, i8* %b2)
|
|
%t4 = call i32 @foo(i32 %in, i8* %b2)
|
|
call void @llvm.lifetime.end(i64 -1, i8* %b2)
|
|
%t5 = add i32 %t1, %t2
|
|
%t6 = add i32 %t3, %t4
|
|
%t7 = add i32 %t5, %t6
|
|
ret i32 %t7
|
|
bb3:
|
|
ret i32 0
|
|
}
|
|
;YESCOLOR: subq $208, %rsp
|
|
;NOCOLOR: subq $400, %rsp
|
|
|
|
|
|
|
|
|
|
define i32 @myCall_w4(i32 %in) {
|
|
entry:
|
|
%a1 = alloca [14 x i8*], align 8
|
|
%a2 = alloca [13 x i8*], align 8
|
|
%a3 = alloca [12 x i8*], align 8
|
|
%a4 = alloca [11 x i8*], align 8
|
|
%b1 = bitcast [14 x i8*]* %a1 to i8*
|
|
%b2 = bitcast [13 x i8*]* %a2 to i8*
|
|
%b3 = bitcast [12 x i8*]* %a3 to i8*
|
|
%b4 = bitcast [11 x i8*]* %a4 to i8*
|
|
call void @llvm.lifetime.start(i64 -1, i8* %b4)
|
|
call void @llvm.lifetime.start(i64 -1, i8* %b1)
|
|
%t1 = call i32 @foo(i32 %in, i8* %b1)
|
|
%t2 = call i32 @foo(i32 %in, i8* %b1)
|
|
call void @llvm.lifetime.end(i64 -1, i8* %b1)
|
|
call void @llvm.lifetime.start(i64 -1, i8* %b2)
|
|
%t9 = call i32 @foo(i32 %in, i8* %b2)
|
|
%t8 = call i32 @foo(i32 %in, i8* %b2)
|
|
call void @llvm.lifetime.end(i64 -1, i8* %b2)
|
|
call void @llvm.lifetime.start(i64 -1, i8* %b3)
|
|
%t3 = call i32 @foo(i32 %in, i8* %b3)
|
|
%t4 = call i32 @foo(i32 %in, i8* %b3)
|
|
call void @llvm.lifetime.end(i64 -1, i8* %b3)
|
|
%t11 = call i32 @foo(i32 %in, i8* %b4)
|
|
call void @llvm.lifetime.end(i64 -1, i8* %b4)
|
|
%t5 = add i32 %t1, %t2
|
|
%t6 = add i32 %t3, %t4
|
|
%t7 = add i32 %t5, %t6
|
|
ret i32 %t7
|
|
}
|
|
|
|
;YESCOLOR: subq $112, %rsp
|
|
;NOCOLOR: subq $400, %rsp
|
|
|
|
define i32 @myCall2_w4(i32 %in) {
|
|
entry:
|
|
%a1 = alloca [14 x i8*], align 8
|
|
%a2 = alloca [13 x i8*], align 8
|
|
%a3 = alloca [12 x i8*], align 8
|
|
%a4 = alloca [11 x i8*], align 8
|
|
%b1 = bitcast [14 x i8*]* %a1 to i8*
|
|
%b2 = bitcast [13 x i8*]* %a2 to i8*
|
|
%b3 = bitcast [12 x i8*]* %a3 to i8*
|
|
%b4 = bitcast [11 x i8*]* %a4 to i8*
|
|
call void @llvm.lifetime.start(i64 -1, i8* %b1)
|
|
%t1 = call i32 @foo(i32 %in, i8* %b1)
|
|
%t2 = call i32 @foo(i32 %in, i8* %b1)
|
|
call void @llvm.lifetime.end(i64 -1, i8* %b1)
|
|
call void @llvm.lifetime.start(i64 -1, i8* %b2)
|
|
%t9 = call i32 @foo(i32 %in, i8* %b2)
|
|
%t8 = call i32 @foo(i32 %in, i8* %b2)
|
|
call void @llvm.lifetime.end(i64 -1, i8* %b2)
|
|
call void @llvm.lifetime.start(i64 -1, i8* %b3)
|
|
%t3 = call i32 @foo(i32 %in, i8* %b3)
|
|
%t4 = call i32 @foo(i32 %in, i8* %b3)
|
|
call void @llvm.lifetime.end(i64 -1, i8* %b3)
|
|
br i1 undef, label %bb2, label %bb3
|
|
bb2:
|
|
call void @llvm.lifetime.start(i64 -1, i8* %b4)
|
|
%t11 = call i32 @foo(i32 %in, i8* %b4)
|
|
call void @llvm.lifetime.end(i64 -1, i8* %b4)
|
|
%t5 = add i32 %t1, %t2
|
|
%t6 = add i32 %t3, %t4
|
|
%t7 = add i32 %t5, %t6
|
|
ret i32 %t7
|
|
bb3:
|
|
ret i32 0
|
|
}
|
|
|
|
|
|
;YESCOLOR: subq $144, %rsp
|
|
;NOCOLOR: subq $272, %rsp
|
|
|
|
|
|
define i32 @myCall2_noend(i32 %in, i1 %d) {
|
|
entry:
|
|
%a = alloca [17 x i8*], align 8
|
|
%a2 = alloca [16 x i8*], align 8
|
|
%b = bitcast [17 x i8*]* %a to i8*
|
|
%b2 = bitcast [16 x i8*]* %a2 to i8*
|
|
call void @llvm.lifetime.start(i64 -1, i8* %b)
|
|
%t1 = call i32 @foo(i32 %in, i8* %b)
|
|
%t2 = call i32 @foo(i32 %in, i8* %b)
|
|
call void @llvm.lifetime.end(i64 -1, i8* %b)
|
|
br i1 %d, label %bb2, label %bb3
|
|
bb2:
|
|
call void @llvm.lifetime.start(i64 -1, i8* %b2)
|
|
%t3 = call i32 @foo(i32 %in, i8* %b2)
|
|
%t4 = call i32 @foo(i32 %in, i8* %b2)
|
|
%t5 = add i32 %t1, %t2
|
|
%t6 = add i32 %t3, %t4
|
|
%t7 = add i32 %t5, %t6
|
|
ret i32 %t7
|
|
bb3:
|
|
ret i32 0
|
|
}
|
|
|
|
;YESCOLOR: subq $144, %rsp
|
|
;NOCOLOR: subq $272, %rsp
|
|
define i32 @myCall2_noend2(i32 %in, i1 %d) {
|
|
entry:
|
|
%a = alloca [17 x i8*], align 8
|
|
%a2 = alloca [16 x i8*], align 8
|
|
%b = bitcast [17 x i8*]* %a to i8*
|
|
%b2 = bitcast [16 x i8*]* %a2 to i8*
|
|
call void @llvm.lifetime.start(i64 -1, i8* %b)
|
|
%t1 = call i32 @foo(i32 %in, i8* %b)
|
|
%t2 = call i32 @foo(i32 %in, i8* %b)
|
|
br i1 %d, label %bb2, label %bb3
|
|
bb2:
|
|
call void @llvm.lifetime.end(i64 -1, i8* %b)
|
|
call void @llvm.lifetime.start(i64 -1, i8* %b2)
|
|
%t3 = call i32 @foo(i32 %in, i8* %b2)
|
|
%t4 = call i32 @foo(i32 %in, i8* %b2)
|
|
%t5 = add i32 %t1, %t2
|
|
%t6 = add i32 %t3, %t4
|
|
%t7 = add i32 %t5, %t6
|
|
ret i32 %t7
|
|
bb3:
|
|
ret i32 0
|
|
}
|
|
|
|
|
|
;YESCOLOR: subq $144, %rsp
|
|
;NOCOLOR: subq $272, %rsp
|
|
define i32 @myCall2_nostart(i32 %in, i1 %d) {
|
|
entry:
|
|
%a = alloca [17 x i8*], align 8
|
|
%a2 = alloca [16 x i8*], align 8
|
|
%b = bitcast [17 x i8*]* %a to i8*
|
|
%b2 = bitcast [16 x i8*]* %a2 to i8*
|
|
%t1 = call i32 @foo(i32 %in, i8* %b)
|
|
%t2 = call i32 @foo(i32 %in, i8* %b)
|
|
call void @llvm.lifetime.end(i64 -1, i8* %b)
|
|
br i1 %d, label %bb2, label %bb3
|
|
bb2:
|
|
call void @llvm.lifetime.start(i64 -1, i8* %b2)
|
|
%t3 = call i32 @foo(i32 %in, i8* %b2)
|
|
%t4 = call i32 @foo(i32 %in, i8* %b2)
|
|
%t5 = add i32 %t1, %t2
|
|
%t6 = add i32 %t3, %t4
|
|
%t7 = add i32 %t5, %t6
|
|
ret i32 %t7
|
|
bb3:
|
|
ret i32 0
|
|
}
|
|
|
|
; Adopt the test from Transforms/Inline/array_merge.ll'
|
|
;YESCOLOR: subq $816, %rsp
|
|
;NOCOLOR: subq $1616, %rsp
|
|
define void @array_merge() nounwind ssp {
|
|
entry:
|
|
%A.i1 = alloca [100 x i32], align 4
|
|
%B.i2 = alloca [100 x i32], align 4
|
|
%A.i = alloca [100 x i32], align 4
|
|
%B.i = alloca [100 x i32], align 4
|
|
%0 = bitcast [100 x i32]* %A.i to i8*
|
|
call void @llvm.lifetime.start(i64 -1, i8* %0) nounwind
|
|
%1 = bitcast [100 x i32]* %B.i to i8*
|
|
call void @llvm.lifetime.start(i64 -1, i8* %1) nounwind
|
|
call void @bar([100 x i32]* %A.i, [100 x i32]* %B.i) nounwind
|
|
call void @llvm.lifetime.end(i64 -1, i8* %0) nounwind
|
|
call void @llvm.lifetime.end(i64 -1, i8* %1) nounwind
|
|
%2 = bitcast [100 x i32]* %A.i1 to i8*
|
|
call void @llvm.lifetime.start(i64 -1, i8* %2) nounwind
|
|
%3 = bitcast [100 x i32]* %B.i2 to i8*
|
|
call void @llvm.lifetime.start(i64 -1, i8* %3) nounwind
|
|
call void @bar([100 x i32]* %A.i1, [100 x i32]* %B.i2) nounwind
|
|
call void @llvm.lifetime.end(i64 -1, i8* %2) nounwind
|
|
call void @llvm.lifetime.end(i64 -1, i8* %3) nounwind
|
|
ret void
|
|
}
|
|
|
|
;YESCOLOR: subq $272, %rsp
|
|
;NOCOLOR: subq $272, %rsp
|
|
define i32 @func_phi_lifetime(i32 %in, i1 %d) {
|
|
entry:
|
|
%a = alloca [17 x i8*], align 8
|
|
%a2 = alloca [16 x i8*], align 8
|
|
%b = bitcast [17 x i8*]* %a to i8*
|
|
%b2 = bitcast [16 x i8*]* %a2 to i8*
|
|
%t1 = call i32 @foo(i32 %in, i8* %b)
|
|
%t2 = call i32 @foo(i32 %in, i8* %b)
|
|
call void @llvm.lifetime.end(i64 -1, i8* %b)
|
|
br i1 %d, label %bb0, label %bb1
|
|
|
|
bb0:
|
|
%I1 = bitcast [17 x i8*]* %a to i8*
|
|
br label %bb2
|
|
|
|
bb1:
|
|
%I2 = bitcast [16 x i8*]* %a2 to i8*
|
|
br label %bb2
|
|
|
|
bb2:
|
|
%split = phi i8* [ %I1, %bb0 ], [ %I2, %bb1 ]
|
|
call void @llvm.lifetime.start(i64 -1, i8* %split)
|
|
%t3 = call i32 @foo(i32 %in, i8* %b2)
|
|
%t4 = call i32 @foo(i32 %in, i8* %b2)
|
|
%t5 = add i32 %t1, %t2
|
|
%t6 = add i32 %t3, %t4
|
|
%t7 = add i32 %t5, %t6
|
|
call void @llvm.lifetime.end(i64 -1, i8* %split)
|
|
ret i32 %t7
|
|
bb3:
|
|
ret i32 0
|
|
}
|
|
|
|
|
|
;YESCOLOR: multi_region_bb
|
|
;NOCOLOR: multi_region_bb
|
|
define void @multi_region_bb() nounwind ssp {
|
|
entry:
|
|
%A.i1 = alloca [100 x i32], align 4
|
|
%B.i2 = alloca [100 x i32], align 4
|
|
%A.i = alloca [100 x i32], align 4
|
|
%B.i = alloca [100 x i32], align 4
|
|
%0 = bitcast [100 x i32]* %A.i to i8*
|
|
call void @llvm.lifetime.start(i64 -1, i8* %0) nounwind ; <---- start #1
|
|
%1 = bitcast [100 x i32]* %B.i to i8*
|
|
call void @llvm.lifetime.start(i64 -1, i8* %1) nounwind
|
|
call void @bar([100 x i32]* %A.i, [100 x i32]* %B.i) nounwind
|
|
call void @llvm.lifetime.end(i64 -1, i8* %0) nounwind
|
|
call void @llvm.lifetime.end(i64 -1, i8* %1) nounwind
|
|
%2 = bitcast [100 x i32]* %A.i1 to i8*
|
|
call void @llvm.lifetime.start(i64 -1, i8* %2) nounwind
|
|
%3 = bitcast [100 x i32]* %B.i2 to i8*
|
|
call void @llvm.lifetime.start(i64 -1, i8* %3) nounwind
|
|
call void @llvm.lifetime.start(i64 -1, i8* %0) nounwind ; <---- start #2
|
|
call void @bar([100 x i32]* %A.i1, [100 x i32]* %B.i2) nounwind
|
|
call void @llvm.lifetime.end(i64 -1, i8* %2) nounwind
|
|
call void @llvm.lifetime.end(i64 -1, i8* %0) nounwind
|
|
call void @llvm.lifetime.end(i64 -1, i8* %3) nounwind
|
|
ret void
|
|
}
|
|
|
|
|
|
;YESCOLOR: subq $272, %rsp
|
|
;NOCOLOR: subq $272, %rsp
|
|
define i32 @myCall_end_before_begin(i32 %in, i1 %d) {
|
|
entry:
|
|
%a = alloca [17 x i8*], align 8
|
|
%a2 = alloca [16 x i8*], align 8
|
|
%b = bitcast [17 x i8*]* %a to i8*
|
|
%b2 = bitcast [16 x i8*]* %a2 to i8*
|
|
%t1 = call i32 @foo(i32 %in, i8* %b)
|
|
%t2 = call i32 @foo(i32 %in, i8* %b)
|
|
call void @llvm.lifetime.end(i64 -1, i8* %b)
|
|
call void @llvm.lifetime.start(i64 -1, i8* %b)
|
|
br i1 %d, label %bb2, label %bb3
|
|
bb2:
|
|
call void @llvm.lifetime.start(i64 -1, i8* %b2)
|
|
%t3 = call i32 @foo(i32 %in, i8* %b2)
|
|
%t4 = call i32 @foo(i32 %in, i8* %b2)
|
|
%t5 = add i32 %t1, %t2
|
|
%t6 = add i32 %t3, %t4
|
|
%t7 = add i32 %t5, %t6
|
|
ret i32 %t7
|
|
bb3:
|
|
ret i32 0
|
|
}
|
|
|
|
|
|
; Regression test for PR15707. %buf1 and %buf2 should not be merged
|
|
; in this test case.
|
|
;YESCOLOR: myCall_pr15707
|
|
;YESCOLOR: subq $200008, %rsp
|
|
;NOCOLOR: myCall_pr15707
|
|
;NOCOLOR: subq $200008, %rsp
|
|
define void @myCall_pr15707() {
|
|
%buf1 = alloca i8, i32 100000, align 16
|
|
%buf2 = alloca i8, i32 100000, align 16
|
|
|
|
call void @llvm.lifetime.start(i64 -1, i8* %buf1)
|
|
call void @llvm.lifetime.end(i64 -1, i8* %buf1)
|
|
|
|
call void @llvm.lifetime.start(i64 -1, i8* %buf1)
|
|
call void @llvm.lifetime.start(i64 -1, i8* %buf2)
|
|
%result1 = call i32 @foo(i32 0, i8* %buf1)
|
|
%result2 = call i32 @foo(i32 0, i8* %buf2)
|
|
ret void
|
|
}
|
|
|
|
|
|
; Check that we don't assert and crash even when there are allocas
|
|
; outside the declared lifetime regions.
|
|
;YESCOLOR: bad_range
|
|
;NOCOLOR: bad_range
|
|
define void @bad_range() nounwind ssp {
|
|
entry:
|
|
%A.i1 = alloca [100 x i32], align 4
|
|
%B.i2 = alloca [100 x i32], align 4
|
|
%A.i = alloca [100 x i32], align 4
|
|
%B.i = alloca [100 x i32], align 4
|
|
%0 = bitcast [100 x i32]* %A.i to i8*
|
|
call void @llvm.lifetime.start(i64 -1, i8* %0) nounwind
|
|
%1 = bitcast [100 x i32]* %B.i to i8*
|
|
call void @llvm.lifetime.start(i64 -1, i8* %1) nounwind
|
|
call void @bar([100 x i32]* %A.i, [100 x i32]* %B.i) nounwind
|
|
call void @llvm.lifetime.end(i64 -1, i8* %0) nounwind
|
|
call void @llvm.lifetime.end(i64 -1, i8* %1) nounwind
|
|
br label %block2
|
|
|
|
block2:
|
|
; I am used outside the marked lifetime.
|
|
call void @bar([100 x i32]* %A.i, [100 x i32]* %B.i) nounwind
|
|
ret void
|
|
}
|
|
|
|
|
|
; Check that we don't assert and crash even when there are usages
|
|
; of allocas which do not read or write outside the declared lifetime regions.
|
|
;YESCOLOR: shady_range
|
|
;NOCOLOR: shady_range
|
|
|
|
%struct.Klass = type { i32, i32 }
|
|
|
|
define i32 @shady_range(i32 %argc, i8** nocapture %argv) uwtable {
|
|
%a.i = alloca [4 x %struct.Klass], align 16
|
|
%b.i = alloca [4 x %struct.Klass], align 16
|
|
%a8 = bitcast [4 x %struct.Klass]* %a.i to i8*
|
|
%b8 = bitcast [4 x %struct.Klass]* %b.i to i8*
|
|
; I am used outside the lifetime zone below:
|
|
%z2 = getelementptr inbounds [4 x %struct.Klass]* %a.i, i64 0, i64 0, i32 0
|
|
call void @llvm.lifetime.start(i64 -1, i8* %a8)
|
|
call void @llvm.lifetime.start(i64 -1, i8* %b8)
|
|
%z3 = load i32* %z2, align 16
|
|
%r = call i32 @foo(i32 %z3, i8* %a8)
|
|
%r2 = call i32 @foo(i32 %z3, i8* %b8)
|
|
call void @llvm.lifetime.end(i64 -1, i8* %a8)
|
|
call void @llvm.lifetime.end(i64 -1, i8* %b8)
|
|
ret i32 9
|
|
}
|
|
|
|
declare void @bar([100 x i32]* , [100 x i32]*) nounwind
|
|
|
|
declare void @llvm.lifetime.start(i64, i8* nocapture) nounwind
|
|
|
|
declare void @llvm.lifetime.end(i64, i8* nocapture) nounwind
|
|
|
|
declare i32 @foo(i32, i8*)
|
|
|