267 lines
7.8 KiB
LLVM
267 lines
7.8 KiB
LLVM
|
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
|
||
|
|
; RUN: llc < %s -mtriple=x86_64-pc-win32 | FileCheck %s
|
||
|
|
; RUN: llc < %s -mtriple=x86_64-pc-win32 -mattr=+sahf | FileCheck %s
|
||
|
|
|
||
|
|
define i32 @f1(i32 %p1, i32 %p2, i32 %p3, i32 %p4, i32 %p5) "frame-pointer"="all" {
|
||
|
|
; CHECK-LABEL: f1:
|
||
|
|
; CHECK: # %bb.0:
|
||
|
|
; CHECK-NEXT: pushq %rbp
|
||
|
|
; CHECK-NEXT: .seh_pushreg %rbp
|
||
|
|
; CHECK-NEXT: movq %rsp, %rbp
|
||
|
|
; CHECK-NEXT: .seh_setframe %rbp, 0
|
||
|
|
; CHECK-NEXT: .seh_endprologue
|
||
|
|
; CHECK-NEXT: movl 48(%rbp), %eax
|
||
|
|
; CHECK-NEXT: popq %rbp
|
||
|
|
; CHECK-NEXT: retq
|
||
|
|
; CHECK-NEXT: .seh_endproc
|
||
|
|
ret i32 %p5
|
||
|
|
}
|
||
|
|
|
||
|
|
define void @f2(i32 %p, ...) "frame-pointer"="all" {
|
||
|
|
; CHECK-LABEL: f2:
|
||
|
|
; CHECK: # %bb.0:
|
||
|
|
; CHECK-NEXT: pushq %rbp
|
||
|
|
; CHECK-NEXT: .seh_pushreg %rbp
|
||
|
|
; CHECK-NEXT: pushq %rax
|
||
|
|
; CHECK-NEXT: .seh_stackalloc 8
|
||
|
|
; CHECK-NEXT: movq %rsp, %rbp
|
||
|
|
; CHECK-NEXT: .seh_setframe %rbp, 0
|
||
|
|
; CHECK-NEXT: .seh_endprologue
|
||
|
|
; CHECK-NEXT: movq %rdx, 32(%rbp)
|
||
|
|
; CHECK-NEXT: movq %r8, 40(%rbp)
|
||
|
|
; CHECK-NEXT: movq %r9, 48(%rbp)
|
||
|
|
; CHECK-NEXT: leaq 32(%rbp), %rax
|
||
|
|
; CHECK-NEXT: movq %rax, (%rbp)
|
||
|
|
; CHECK-NEXT: addq $8, %rsp
|
||
|
|
; CHECK-NEXT: popq %rbp
|
||
|
|
; CHECK-NEXT: retq
|
||
|
|
; CHECK-NEXT: .seh_endproc
|
||
|
|
%ap = alloca i8, align 8
|
||
|
|
call void @llvm.va_start(i8* %ap)
|
||
|
|
ret void
|
||
|
|
}
|
||
|
|
|
||
|
|
define i8* @f3() "frame-pointer"="all" {
|
||
|
|
; CHECK-LABEL: f3:
|
||
|
|
; CHECK: # %bb.0:
|
||
|
|
; CHECK-NEXT: pushq %rbp
|
||
|
|
; CHECK-NEXT: .seh_pushreg %rbp
|
||
|
|
; CHECK-NEXT: movq %rsp, %rbp
|
||
|
|
; CHECK-NEXT: .seh_setframe %rbp, 0
|
||
|
|
; CHECK-NEXT: .seh_endprologue
|
||
|
|
; CHECK-NEXT: movq 8(%rbp), %rax
|
||
|
|
; CHECK-NEXT: popq %rbp
|
||
|
|
; CHECK-NEXT: retq
|
||
|
|
; CHECK-NEXT: .seh_endproc
|
||
|
|
%ra = call i8* @llvm.returnaddress(i32 0)
|
||
|
|
ret i8* %ra
|
||
|
|
}
|
||
|
|
|
||
|
|
define i8* @f4() "frame-pointer"="all" {
|
||
|
|
; CHECK-LABEL: f4:
|
||
|
|
; CHECK: # %bb.0:
|
||
|
|
; CHECK-NEXT: pushq %rbp
|
||
|
|
; CHECK-NEXT: .seh_pushreg %rbp
|
||
|
|
; CHECK-NEXT: subq $304, %rsp # imm = 0x130
|
||
|
|
; CHECK-NEXT: .seh_stackalloc 304
|
||
|
|
; CHECK-NEXT: leaq {{[0-9]+}}(%rsp), %rbp
|
||
|
|
; CHECK-NEXT: .seh_setframe %rbp, 128
|
||
|
|
; CHECK-NEXT: .seh_endprologue
|
||
|
|
; CHECK-NEXT: movq 184(%rbp), %rax
|
||
|
|
; CHECK-NEXT: addq $304, %rsp # imm = 0x130
|
||
|
|
; CHECK-NEXT: popq %rbp
|
||
|
|
; CHECK-NEXT: retq
|
||
|
|
; CHECK-NEXT: .seh_endproc
|
||
|
|
alloca [300 x i8]
|
||
|
|
%ra = call i8* @llvm.returnaddress(i32 0)
|
||
|
|
ret i8* %ra
|
||
|
|
}
|
||
|
|
|
||
|
|
declare void @external(i8*)
|
||
|
|
|
||
|
|
define void @f5() "frame-pointer"="all" {
|
||
|
|
; CHECK-LABEL: f5:
|
||
|
|
; CHECK: # %bb.0:
|
||
|
|
; CHECK-NEXT: pushq %rbp
|
||
|
|
; CHECK-NEXT: .seh_pushreg %rbp
|
||
|
|
; CHECK-NEXT: subq $336, %rsp # imm = 0x150
|
||
|
|
; CHECK-NEXT: .seh_stackalloc 336
|
||
|
|
; CHECK-NEXT: leaq {{[0-9]+}}(%rsp), %rbp
|
||
|
|
; CHECK-NEXT: .seh_setframe %rbp, 128
|
||
|
|
; CHECK-NEXT: .seh_endprologue
|
||
|
|
; CHECK-NEXT: leaq -92(%rbp), %rcx
|
||
|
|
; CHECK-NEXT: callq external
|
||
|
|
; CHECK-NEXT: nop
|
||
|
|
; CHECK-NEXT: addq $336, %rsp # imm = 0x150
|
||
|
|
; CHECK-NEXT: popq %rbp
|
||
|
|
; CHECK-NEXT: retq
|
||
|
|
; CHECK-NEXT: .seh_endproc
|
||
|
|
%a = alloca [300 x i8]
|
||
|
|
%gep = getelementptr [300 x i8], [300 x i8]* %a, i32 0, i32 0
|
||
|
|
call void @external(i8* %gep)
|
||
|
|
ret void
|
||
|
|
}
|
||
|
|
|
||
|
|
define void @f6(i32 %p, ...) "frame-pointer"="all" {
|
||
|
|
; CHECK-LABEL: f6:
|
||
|
|
; CHECK: # %bb.0:
|
||
|
|
; CHECK-NEXT: pushq %rbp
|
||
|
|
; CHECK-NEXT: .seh_pushreg %rbp
|
||
|
|
; CHECK-NEXT: subq $336, %rsp # imm = 0x150
|
||
|
|
; CHECK-NEXT: .seh_stackalloc 336
|
||
|
|
; CHECK-NEXT: leaq {{[0-9]+}}(%rsp), %rbp
|
||
|
|
; CHECK-NEXT: .seh_setframe %rbp, 128
|
||
|
|
; CHECK-NEXT: .seh_endprologue
|
||
|
|
; CHECK-NEXT: leaq -92(%rbp), %rcx
|
||
|
|
; CHECK-NEXT: callq external
|
||
|
|
; CHECK-NEXT: nop
|
||
|
|
; CHECK-NEXT: addq $336, %rsp # imm = 0x150
|
||
|
|
; CHECK-NEXT: popq %rbp
|
||
|
|
; CHECK-NEXT: retq
|
||
|
|
; CHECK-NEXT: .seh_endproc
|
||
|
|
%a = alloca [300 x i8]
|
||
|
|
%gep = getelementptr [300 x i8], [300 x i8]* %a, i32 0, i32 0
|
||
|
|
call void @external(i8* %gep)
|
||
|
|
ret void
|
||
|
|
}
|
||
|
|
|
||
|
|
define i32 @f7(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e) "frame-pointer"="all" {
|
||
|
|
; CHECK-LABEL: f7:
|
||
|
|
; CHECK: # %bb.0:
|
||
|
|
; CHECK-NEXT: pushq %rbp
|
||
|
|
; CHECK-NEXT: .seh_pushreg %rbp
|
||
|
|
; CHECK-NEXT: subq $304, %rsp # imm = 0x130
|
||
|
|
; CHECK-NEXT: .seh_stackalloc 304
|
||
|
|
; CHECK-NEXT: leaq {{[0-9]+}}(%rsp), %rbp
|
||
|
|
; CHECK-NEXT: .seh_setframe %rbp, 128
|
||
|
|
; CHECK-NEXT: .seh_endprologue
|
||
|
|
; CHECK-NEXT: andq $-64, %rsp
|
||
|
|
; CHECK-NEXT: movl 224(%rbp), %eax
|
||
|
|
; CHECK-NEXT: leaq 176(%rbp), %rsp
|
||
|
|
; CHECK-NEXT: popq %rbp
|
||
|
|
; CHECK-NEXT: retq
|
||
|
|
; CHECK-NEXT: .seh_endproc
|
||
|
|
alloca [300 x i8], align 64
|
||
|
|
ret i32 %e
|
||
|
|
}
|
||
|
|
|
||
|
|
define i32 @f8(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e) "frame-pointer"="all" {
|
||
|
|
; CHECK-LABEL: f8:
|
||
|
|
; CHECK: # %bb.0:
|
||
|
|
; CHECK-NEXT: pushq %rbp
|
||
|
|
; CHECK-NEXT: .seh_pushreg %rbp
|
||
|
|
; CHECK-NEXT: pushq %rsi
|
||
|
|
; CHECK-NEXT: .seh_pushreg %rsi
|
||
|
|
; CHECK-NEXT: pushq %rbx
|
||
|
|
; CHECK-NEXT: .seh_pushreg %rbx
|
||
|
|
; CHECK-NEXT: subq $352, %rsp # imm = 0x160
|
||
|
|
; CHECK-NEXT: .seh_stackalloc 352
|
||
|
|
; CHECK-NEXT: leaq {{[0-9]+}}(%rsp), %rbp
|
||
|
|
; CHECK-NEXT: .seh_setframe %rbp, 128
|
||
|
|
; CHECK-NEXT: .seh_endprologue
|
||
|
|
; CHECK-NEXT: andq $-64, %rsp
|
||
|
|
; CHECK-NEXT: movq %rsp, %rbx
|
||
|
|
; CHECK-NEXT: movl 288(%rbp), %esi
|
||
|
|
; CHECK-NEXT: movl %ecx, %eax
|
||
|
|
; CHECK-NEXT: leaq 15(,%rax,4), %rax
|
||
|
|
; CHECK-NEXT: andq $-16, %rax
|
||
|
|
; CHECK-NEXT: callq __chkstk
|
||
|
|
; CHECK-NEXT: subq %rax, %rsp
|
||
|
|
; CHECK-NEXT: subq $32, %rsp
|
||
|
|
; CHECK-NEXT: movq %rbx, %rcx
|
||
|
|
; CHECK-NEXT: callq external
|
||
|
|
; CHECK-NEXT: addq $32, %rsp
|
||
|
|
; CHECK-NEXT: movl %esi, %eax
|
||
|
|
; CHECK-NEXT: leaq 224(%rbp), %rsp
|
||
|
|
; CHECK-NEXT: popq %rbx
|
||
|
|
; CHECK-NEXT: popq %rsi
|
||
|
|
; CHECK-NEXT: popq %rbp
|
||
|
|
; CHECK-NEXT: retq
|
||
|
|
; CHECK-NEXT: .seh_endproc
|
||
|
|
%alloca = alloca [300 x i8], align 64
|
||
|
|
alloca i32, i32 %a
|
||
|
|
%gep = getelementptr [300 x i8], [300 x i8]* %alloca, i32 0, i32 0
|
||
|
|
call void @external(i8* %gep)
|
||
|
|
ret i32 %e
|
||
|
|
}
|
||
|
|
|
||
|
|
define i64 @f9() {
|
||
|
|
; CHECK-LABEL: f9:
|
||
|
|
; CHECK: # %bb.0: # %entry
|
||
|
|
; CHECK-NEXT: pushq %rbp
|
||
|
|
; CHECK-NEXT: .seh_pushreg %rbp
|
||
|
|
; CHECK-NEXT: movq %rsp, %rbp
|
||
|
|
; CHECK-NEXT: .seh_setframe %rbp, 0
|
||
|
|
; CHECK-NEXT: .seh_endprologue
|
||
|
|
; CHECK-NEXT: pushfq
|
||
|
|
; CHECK-NEXT: popq %rax
|
||
|
|
; CHECK-NEXT: popq %rbp
|
||
|
|
; CHECK-NEXT: retq
|
||
|
|
; CHECK-NEXT: .seh_endproc
|
||
|
|
entry:
|
||
|
|
%call = call i64 @llvm.x86.flags.read.u64()
|
||
|
|
ret i64 %call
|
||
|
|
}
|
||
|
|
|
||
|
|
declare i64 @dummy()
|
||
|
|
|
||
|
|
define i64 @f10(i64* %foo, i64 %bar, i64 %baz) {
|
||
|
|
; CHECK-LABEL: f10:
|
||
|
|
; CHECK: # %bb.0:
|
||
|
|
; CHECK-NEXT: pushq %rsi
|
||
|
|
; CHECK-NEXT: .seh_pushreg %rsi
|
||
|
|
; CHECK-NEXT: pushq %rbx
|
||
|
|
; CHECK-NEXT: .seh_pushreg %rbx
|
||
|
|
; CHECK-NEXT: subq $40, %rsp
|
||
|
|
; CHECK-NEXT: .seh_stackalloc 40
|
||
|
|
; CHECK-NEXT: .seh_endprologue
|
||
|
|
; CHECK-NEXT: movq %rdx, %rsi
|
||
|
|
; CHECK-NEXT: movq %rdx, %rax
|
||
|
|
; CHECK-NEXT: lock cmpxchgq %r8, (%rcx)
|
||
|
|
; CHECK-NEXT: sete %bl
|
||
|
|
; CHECK-NEXT: callq dummy
|
||
|
|
; CHECK-NEXT: testb %bl, %bl
|
||
|
|
; CHECK-NEXT: cmoveq %rsi, %rax
|
||
|
|
; CHECK-NEXT: addq $40, %rsp
|
||
|
|
; CHECK-NEXT: popq %rbx
|
||
|
|
; CHECK-NEXT: popq %rsi
|
||
|
|
; CHECK-NEXT: retq
|
||
|
|
; CHECK-NEXT: .seh_endproc
|
||
|
|
%cx = cmpxchg i64* %foo, i64 %bar, i64 %baz seq_cst seq_cst
|
||
|
|
%v = extractvalue { i64, i1 } %cx, 0
|
||
|
|
%p = extractvalue { i64, i1 } %cx, 1
|
||
|
|
%call = call i64 @dummy()
|
||
|
|
%sel = select i1 %p, i64 %call, i64 %bar
|
||
|
|
ret i64 %sel
|
||
|
|
}
|
||
|
|
|
||
|
|
define i8* @f11() "frame-pointer"="all" {
|
||
|
|
; CHECK-LABEL: f11:
|
||
|
|
; CHECK: # %bb.0:
|
||
|
|
; CHECK-NEXT: pushq %rbp
|
||
|
|
; CHECK-NEXT: .seh_pushreg %rbp
|
||
|
|
; CHECK-NEXT: movq %rsp, %rbp
|
||
|
|
; CHECK-NEXT: .seh_setframe %rbp, 0
|
||
|
|
; CHECK-NEXT: .seh_endprologue
|
||
|
|
; CHECK-NEXT: leaq 8(%rbp), %rax
|
||
|
|
; CHECK-NEXT: popq %rbp
|
||
|
|
; CHECK-NEXT: retq
|
||
|
|
; CHECK-NEXT: .seh_endproc
|
||
|
|
%aora = call i8* @llvm.addressofreturnaddress()
|
||
|
|
ret i8* %aora
|
||
|
|
}
|
||
|
|
|
||
|
|
define i8* @f12() {
|
||
|
|
; CHECK-LABEL: f12:
|
||
|
|
; CHECK: # %bb.0:
|
||
|
|
; CHECK-NEXT: movq %rsp, %rax
|
||
|
|
; CHECK-NEXT: retq
|
||
|
|
%aora = call i8* @llvm.addressofreturnaddress()
|
||
|
|
ret i8* %aora
|
||
|
|
}
|
||
|
|
|
||
|
|
declare i8* @llvm.returnaddress(i32) nounwind readnone
|
||
|
|
declare i8* @llvm.addressofreturnaddress() nounwind readnone
|
||
|
|
declare i64 @llvm.x86.flags.read.u64()
|
||
|
|
declare void @llvm.va_start(i8*) nounwind
|