test/CodeGen/X86/win64_eh.ll

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