1 ; RUN: llc < %s -O0 -mattr=sse2 -mtriple=x86_64-pc-windows-itanium | FileCheck %s -check-prefix=WIN64 -check-prefix=NORM 2 ; RUN: llc < %s -O0 -mattr=sse2 -mtriple=x86_64-pc-mingw32 | FileCheck %s -check-prefix=WIN64 -check-prefix=NORM 3 ; RUN: llc < %s -O0 -mattr=sse2 -mtriple=x86_64-pc-mingw32 -mcpu=atom | FileCheck %s -check-prefix=WIN64 -check-prefix=ATOM 4 5 ; Check function without prolog 6 define void @foo0() uwtable { 7 entry: 8 ret void 9 } 10 ; WIN64-LABEL: foo0: 11 ; WIN64: .seh_proc foo0 12 ; WIN64: .seh_endprologue 13 ; WIN64: ret 14 ; WIN64: .seh_endproc 15 16 ; Checks a small stack allocation 17 define void @foo1() uwtable { 18 entry: 19 %baz = alloca [2000 x i16], align 2 20 ret void 21 } 22 ; WIN64-LABEL: foo1: 23 ; WIN64: .seh_proc foo1 24 ; NORM: subq $4000, %rsp 25 ; ATOM: leaq -4000(%rsp), %rsp 26 ; WIN64: .seh_stackalloc 4000 27 ; WIN64: .seh_endprologue 28 ; WIN64: addq $4000, %rsp 29 ; WIN64: ret 30 ; WIN64: .seh_endproc 31 32 ; Checks a stack allocation requiring call to __chkstk/___chkstk_ms 33 define void @foo2() uwtable { 34 entry: 35 %baz = alloca [4000 x i16], align 2 36 ret void 37 } 38 ; WIN64-LABEL: foo2: 39 ; WIN64: .seh_proc foo2 40 ; WIN64: movl $8000, %eax 41 ; WIN64: callq {{__chkstk|___chkstk_ms}} 42 ; WIN64: subq %rax, %rsp 43 ; WIN64: .seh_stackalloc 8000 44 ; WIN64: .seh_endprologue 45 ; WIN64: addq $8000, %rsp 46 ; WIN64: ret 47 ; WIN64: .seh_endproc 48 49 50 ; Checks stack push 51 define i32 @foo3(i32 %f_arg, i32 %e_arg, i32 %d_arg, i32 %c_arg, i32 %b_arg, i32 %a_arg) uwtable { 52 entry: 53 %a = alloca i32 54 %b = alloca i32 55 %c = alloca i32 56 %d = alloca i32 57 %e = alloca i32 58 %f = alloca i32 59 store i32 %a_arg, i32* %a 60 store i32 %b_arg, i32* %b 61 store i32 %c_arg, i32* %c 62 store i32 %d_arg, i32* %d 63 store i32 %e_arg, i32* %e 64 store i32 %f_arg, i32* %f 65 %tmp = load i32, i32* %a 66 %tmp1 = mul i32 %tmp, 2 67 %tmp2 = load i32, i32* %b 68 %tmp3 = mul i32 %tmp2, 3 69 %tmp4 = add i32 %tmp1, %tmp3 70 %tmp5 = load i32, i32* %c 71 %tmp6 = mul i32 %tmp5, 5 72 %tmp7 = add i32 %tmp4, %tmp6 73 %tmp8 = load i32, i32* %d 74 %tmp9 = mul i32 %tmp8, 7 75 %tmp10 = add i32 %tmp7, %tmp9 76 %tmp11 = load i32, i32* %e 77 %tmp12 = mul i32 %tmp11, 11 78 %tmp13 = add i32 %tmp10, %tmp12 79 %tmp14 = load i32, i32* %f 80 %tmp15 = mul i32 %tmp14, 13 81 %tmp16 = add i32 %tmp13, %tmp15 82 ret i32 %tmp16 83 } 84 ; WIN64-LABEL: foo3: 85 ; WIN64: .seh_proc foo3 86 ; WIN64: pushq %rsi 87 ; WIN64: .seh_pushreg 6 88 ; NORM: subq $24, %rsp 89 ; ATOM: leaq -24(%rsp), %rsp 90 ; WIN64: .seh_stackalloc 24 91 ; WIN64: .seh_endprologue 92 ; WIN64: addq $24, %rsp 93 ; WIN64: popq %rsi 94 ; WIN64: ret 95 ; WIN64: .seh_endproc 96 97 98 ; Check emission of eh handler and handler data 99 declare i32 @_d_eh_personality(i32, i32, i64, i8*, i8*) 100 declare void @_d_eh_resume_unwind(i8*) 101 102 declare i32 @bar() 103 104 define i32 @foo4() #0 { 105 entry: 106 %step = alloca i32, align 4 107 store i32 0, i32* %step 108 %tmp = load i32, i32* %step 109 110 %tmp1 = invoke i32 @bar() 111 to label %finally unwind label %landingpad 112 113 finally: 114 store i32 1, i32* %step 115 br label %endtryfinally 116 117 landingpad: 118 %landing_pad = landingpad { i8*, i32 } personality i32 (i32, i32, i64, i8*, i8*)* @_d_eh_personality 119 cleanup 120 %tmp3 = extractvalue { i8*, i32 } %landing_pad, 0 121 store i32 2, i32* %step 122 call void @_d_eh_resume_unwind(i8* %tmp3) 123 unreachable 124 125 endtryfinally: 126 %tmp10 = load i32, i32* %step 127 ret i32 %tmp10 128 } 129 ; WIN64-LABEL: foo4: 130 ; WIN64: .seh_proc foo4 131 ; WIN64: .seh_handler _d_eh_personality, @unwind, @except 132 ; NORM: subq $56, %rsp 133 ; ATOM: leaq -56(%rsp), %rsp 134 ; WIN64: .seh_stackalloc 56 135 ; WIN64: .seh_endprologue 136 ; WIN64: addq $56, %rsp 137 ; WIN64: ret 138 ; WIN64: .seh_handlerdata 139 ; WIN64: .seh_endproc 140 141 142 ; Check stack re-alignment and xmm spilling 143 define void @foo5() uwtable { 144 entry: 145 %s = alloca i32, align 64 146 call void asm sideeffect "", "~{rbx},~{rdi},~{xmm6},~{xmm7}"() 147 ret void 148 } 149 ; WIN64-LABEL: foo5: 150 ; WIN64: .seh_proc foo5 151 ; WIN64: pushq %rbp 152 ; WIN64: .seh_pushreg 5 153 ; WIN64: pushq %rdi 154 ; WIN64: .seh_pushreg 7 155 ; WIN64: pushq %rbx 156 ; WIN64: .seh_pushreg 3 157 ; NORM: subq $96, %rsp 158 ; ATOM: leaq -96(%rsp), %rsp 159 ; WIN64: .seh_stackalloc 96 160 ; WIN64: leaq 96(%rsp), %rbp 161 ; WIN64: .seh_setframe 5, 96 162 ; WIN64: movaps %xmm7, -16(%rbp) # 16-byte Spill 163 ; WIN64: .seh_savexmm 7, 80 164 ; WIN64: movaps %xmm6, -32(%rbp) # 16-byte Spill 165 ; WIN64: .seh_savexmm 6, 64 166 ; WIN64: .seh_endprologue 167 ; WIN64: andq $-64, %rsp 168 ; WIN64: movaps -32(%rbp), %xmm6 # 16-byte Reload 169 ; WIN64: movaps -16(%rbp), %xmm7 # 16-byte Reload 170 ; WIN64: movq %rbp, %rsp 171 ; WIN64: popq %rbx 172 ; WIN64: popq %rdi 173 ; WIN64: popq %rbp 174 ; WIN64: retq 175 ; WIN64: .seh_endproc 176
