test/CodeGen/X86/win32-seh-catchpad-realign.ll

   1 ; RUN: llc < %s | FileCheck %s
   2
   3 ; The aligned alloca means that we have to realign the stack, which forces the
   4 ; use of ESI to address local variables.
   5
   6 target datalayout = "e-m:x-p:32:32-i64:64-f80:32-n8:16:32-a:0:32-S32"
   7 target triple = "i686--windows-msvc"
   8
   9 ; Function Attrs: nounwind
  10 define void @realigned_try() personality i8* bitcast (i32 (...)* @_except_handler3 to i8*) {
  11 entry:
  12   %x = alloca [4 x i32], align 16
  13   %arrayidx = getelementptr inbounds [4 x i32], [4 x i32]* %x, i32 0, i32 0
  14   invoke void @useit(i32* %arrayidx)
  15           to label %__try.cont unwind label %catch.dispatch
  16
  17 catch.dispatch:                                   ; preds = %entry
  18   %pad = catchpad [i8* bitcast (i32 ()* @"\01?filt$0@0@realigned_try@@" to i8*)]
  19           to label %__except.ret unwind label %catchendblock
  20
  21 __except.ret:                                     ; preds = %catch.dispatch
  22   catchret %pad to label %__try.cont
  23
  24 __try.cont:                                       ; preds = %entry, %__except.ret
  25   ret void
  26
  27 catchendblock:                                    ; preds = %catch.dispatch
  28   catchendpad unwind to caller
  29 }
  30
  31 ; Function Attrs: nounwind argmemonly
  32
  33 ; Function Attrs: nounwind
  34 define internal i32 @"\01?filt$0@0@realigned_try@@"() {
  35 entry:
  36   ret i32 1
  37 }
  38
  39 declare void @useit(i32*)
  40
  41 declare i32 @_except_handler3(...)
  42
  43 ; CHECK-LABEL: _realigned_try:
  44 ; Prologue
  45 ; CHECK: pushl   %ebp
  46 ; CHECK: movl    %esp, %ebp
  47 ; CHECK: pushl   %ebx
  48 ; CHECK: pushl   %edi
  49 ; CHECK: pushl   %esi
  50 ; CHECK: andl    $-16, %esp
  51 ; CHECK: subl    $64, %esp
  52 ; CHECK: movl    %esp, %esi
  53 ; Spill EBP
  54 ; CHECK: movl    %ebp, 12(%esi)
  55 ; Spill ESP
  56 ; CHECK: movl    %esp, 36(%esi)
  57 ; The state is stored at ESI+56, the end of the node is ESI+60.
  58 ; CHECK: movl    $-1, 56(%esi)
  59 ;
  60 ; __try
  61 ; CHECK: calll _useit
  62 ;
  63 ; Epilogue
  64 ; CHECK: LBB0_1:       # %__try.cont
  65 ; CHECK: leal    -12(%ebp), %esp
  66 ; CHECK: popl    %esi
  67 ; CHECK: popl    %edi
  68 ; CHECK: popl    %ebx
  69 ; CHECK: popl    %ebp
  70 ; CHECK: retl
  71 ;
  72 ; CHECK: LBB0_2:                                 # %catch.dispatch
  73 ; Restore ESP
  74 ; CHECK: movl    -24(%ebp), %esp
  75 ; Recompute ESI by subtracting 60 from the end of the registration node.
  76 ; CHECK: leal    -60(%ebp), %esi
  77 ; Restore EBP
  78 ; CHECK: movl    12(%esi), %ebp
  79 ; Rejoin normal control flow
  80 ; CHECK: jmp     LBB0_1