1 ; RUN: llc < %s -mtriple=x86_64-linux-unknown | FileCheck %s --check-prefix=CHECK-64 2 ; RUN: llc < %s -mtriple=i386-linux-unknown | FileCheck %s --check-prefix=CHECK-32 3 4 ; Test that a large stack offset uses a single add/sub instruction to 5 ; adjust the stack pointer. 6 7 define void @foo() nounwind { 8 ; CHECK-64-LABEL: foo: 9 ; CHECK-64: movabsq $50000000{{..}}, %rax 10 ; CHECK-64-NEXT: subq %rax, %rsp 11 ; CHECK-64-NOT: subq $2147483647, %rsp 12 ; CHECK-64: movabsq $50000000{{..}}, [[RAX:%r..]] 13 ; CHECK-64-NEXT: addq [[RAX]], %rsp 14 15 ; CHECK-32-LABEL: foo: 16 ; CHECK-32: movl $50000000{{..}}, %eax 17 ; CHECK-32-NEXT: subl %eax, %esp 18 ; CHECK-32-NOT: subl $2147483647, %esp 19 ; CHECK-32: movl $50000000{{..}}, [[EAX:%e..]] 20 ; CHECK-32-NEXT: addl [[EAX]], %esp 21 %1 = alloca [5000000000 x i8], align 16 22 %2 = getelementptr inbounds [5000000000 x i8], [5000000000 x i8]* %1, i32 0, i32 0 23 call void @bar(i8* %2) 24 ret void 25 } 26 27 ; Verify that we do not clobber the return value. 28 29 define i32 @foo2() nounwind { 30 ; CHECK-64-LABEL: foo2: 31 ; CHECK-64: movl $10, %eax 32 ; CHECK-64-NOT: movabsq ${{.*}}, %rax 33 34 ; CHECK-32-LABEL: foo2: 35 ; CHECK-32: movl $10, %eax 36 ; CHECK-32-NOT: movl ${{.*}}, %eax 37 %1 = alloca [5000000000 x i8], align 16 38 %2 = getelementptr inbounds [5000000000 x i8], [5000000000 x i8]* %1, i32 0, i32 0 39 call void @bar(i8* %2) 40 ret i32 10 41 } 42 43 ; Verify that we do not clobber EAX when using inreg attribute 44 45 define i32 @foo3(i32 inreg %x) nounwind { 46 ; CHECK-64-LABEL: foo3: 47 ; CHECK-64: movabsq $50000000{{..}}, %rax 48 ; CHECK-64-NEXT: subq %rax, %rsp 49 50 ; CHECK-32-LABEL: foo3: 51 ; CHECK-32: subl $2147483647, %esp 52 ; CHECK-32-NOT: movl ${{.*}}, %eax 53 %1 = alloca [5000000000 x i8], align 16 54 %2 = getelementptr inbounds [5000000000 x i8], [5000000000 x i8]* %1, i32 0, i32 0 55 call void @bar(i8* %2) 56 ret i32 %x 57 } 58 59 declare void @bar(i8*) 60
