177 lines · plain
1; RUN: llc < %s -O0 -mattr=sse2 -mtriple=x86_64-pc-windows-itanium | FileCheck %s -check-prefix=WIN64 -check-prefix=NORM2; RUN: llc < %s -O0 -mattr=sse2 -mtriple=x86_64-uefi | FileCheck %s -check-prefix=WIN64 -check-prefix=NORM3; RUN: llc < %s -O0 -mattr=sse2 -mtriple=x86_64-pc-mingw32 | FileCheck %s -check-prefix=WIN64 -check-prefix=NORM4; RUN: llc < %s -O0 -mattr=sse2 -mtriple=x86_64-pc-mingw32 -mcpu=atom | FileCheck %s -check-prefix=WIN64 -check-prefix=ATOM5 6; Check function without prolog7define void @foo0() uwtable {8entry:9 ret void10}11; WIN64-LABEL: foo0:12; WIN64-NOT: .seh_proc foo013; WIN64-NOT: .seh_endprologue14; WIN64: ret15; WIN64-NOT: .seh_endproc16 17; Checks a small stack allocation18define void @foo1() uwtable {19entry:20 %baz = alloca [2000 x i16], align 221 ret void22}23; WIN64-LABEL: foo1:24; WIN64: .seh_proc foo125; NORM: subq $4000, %rsp26; ATOM: leaq -4000(%rsp), %rsp27; WIN64: .seh_stackalloc 400028; WIN64: .seh_endprologue29; WIN64: addq $4000, %rsp30; WIN64: ret31; WIN64: .seh_endproc32 33; Checks a stack allocation requiring call to __chkstk/___chkstk_ms34define void @foo2() uwtable {35entry:36 %baz = alloca [4000 x i16], align 237 ret void38}39; WIN64-LABEL: foo2:40; WIN64: .seh_proc foo241; WIN64: movl $8000, %eax42; WIN64: callq {{__chkstk|___chkstk_ms}}43; WIN64: subq %rax, %rsp44; WIN64: .seh_stackalloc 800045; WIN64: .seh_endprologue46; WIN64: addq $8000, %rsp47; WIN64: ret48; WIN64: .seh_endproc49 50 51define i32 @foo3(i32 %f_arg, i32 %e_arg, i32 %d_arg, i32 %c_arg, i32 %b_arg, i32 %a_arg) uwtable {52entry:53 %a = alloca i3254 %b = alloca i3255 %c = alloca i3256 %d = alloca i3257 %e = alloca i3258 %f = alloca i3259 store i32 %a_arg, ptr %a60 store i32 %b_arg, ptr %b61 store i32 %c_arg, ptr %c62 store i32 %d_arg, ptr %d63 store i32 %e_arg, ptr %e64 store i32 %f_arg, ptr %f65 %tmp = load i32, ptr %a66 %tmp1 = mul i32 %tmp, 267 %tmp2 = load i32, ptr %b68 %tmp3 = mul i32 %tmp2, 369 %tmp4 = add i32 %tmp1, %tmp370 %tmp5 = load i32, ptr %c71 %tmp6 = mul i32 %tmp5, 572 %tmp7 = add i32 %tmp4, %tmp673 %tmp8 = load i32, ptr %d74 %tmp9 = mul i32 %tmp8, 775 %tmp10 = add i32 %tmp7, %tmp976 %tmp11 = load i32, ptr %e77 %tmp12 = mul i32 %tmp11, 1178 %tmp13 = add i32 %tmp10, %tmp1279 %tmp14 = load i32, ptr %f80 %tmp15 = mul i32 %tmp14, 1381 %tmp16 = add i32 %tmp13, %tmp1582 ret i32 %tmp1683}84; WIN64-LABEL: foo3:85; WIN64: .seh_proc foo386; NORM: subq $16, %rsp87; ATOM: leaq -16(%rsp), %rsp88; WIN64: .seh_stackalloc 1689; WIN64: .seh_endprologue90; WIN64: addq $16, %rsp91; WIN64: ret92; WIN64: .seh_endproc93 94 95; Check emission of eh handler and handler data96declare i32 @_d_eh_personality(i32, i32, i64, ptr, ptr)97declare void @_d_eh_resume_unwind(ptr)98 99declare i32 @bar()100 101define i32 @foo4() #0 personality ptr @_d_eh_personality {102entry:103 %step = alloca i32, align 4104 store i32 0, ptr %step105 %tmp = load i32, ptr %step106 107 %tmp1 = invoke i32 @bar()108 to label %finally unwind label %landingpad109 110finally:111 store i32 1, ptr %step112 br label %endtryfinally113 114landingpad:115 %landing_pad = landingpad { ptr, i32 }116 cleanup117 %tmp3 = extractvalue { ptr, i32 } %landing_pad, 0118 store i32 2, ptr %step119 call void @_d_eh_resume_unwind(ptr %tmp3)120 unreachable121 122endtryfinally:123 %tmp10 = load i32, ptr %step124 ret i32 %tmp10125}126; WIN64-LABEL: foo4:127; WIN64: .seh_proc foo4128; WIN64: .seh_handler _d_eh_personality, @unwind, @except129; NORM: subq $40, %rsp130; ATOM: leaq -40(%rsp), %rsp131; WIN64: .seh_stackalloc 40132; WIN64: .seh_endprologue133; WIN64: .seh_startepilogue134; WIN64: addq $40, %rsp135; WIN64: .seh_endepilogue136; WIN64: ret137; WIN64: .seh_handlerdata138; WIN64: .seh_endproc139 140 141; Check stack re-alignment and xmm spilling142define void @foo5() uwtable {143entry:144 %s = alloca i32, align 64145 call void asm sideeffect "", "~{rbx},~{rdi},~{xmm6},~{xmm7}"()146 ret void147}148; WIN64-LABEL: foo5:149; WIN64: .seh_proc foo5150; WIN64: pushq %rbp151; WIN64: .seh_pushreg %rbp152; WIN64: pushq %rdi153; WIN64: .seh_pushreg %rdi154; WIN64: pushq %rbx155; WIN64: .seh_pushreg %rbx156; NORM: subq $96, %rsp157; ATOM: leaq -96(%rsp), %rsp158; WIN64: .seh_stackalloc 96159; WIN64: leaq 96(%rsp), %rbp160; WIN64: .seh_setframe %rbp, 96161; WIN64: movaps %xmm7, -16(%rbp) # 16-byte Spill162; WIN64: .seh_savexmm %xmm7, 80163; WIN64: movaps %xmm6, -32(%rbp) # 16-byte Spill164; WIN64: .seh_savexmm %xmm6, 64165; WIN64: .seh_endprologue166; WIN64: andq $-64, %rsp167; WIN64: movaps -32(%rbp), %xmm6 # 16-byte Reload168; WIN64: movaps -16(%rbp), %xmm7 # 16-byte Reload169; WIN64: .seh_startepilogue170; WIN64: movq %rbp, %rsp171; WIN64: popq %rbx172; WIN64: popq %rdi173; WIN64: popq %rbp174; WIN64: .seh_endepilogue175; WIN64: retq176; WIN64: .seh_endproc177