test/CodeGen/X86/sjlj-eh.ll

   1 ; FIXME: Fix machine verifier issues and remove -verify-machineinstrs=0. PR39439.
   2 ; RUN: llc -mtriple i386-windows-gnu -exception-model sjlj -filetype asm -o - %s -verify-machineinstrs=0 | FileCheck %s
   3 ; RUN: llc -mtriple x86_64-windows-gnu -exception-model sjlj -filetype asm -o - %s -verify-machineinstrs=0 | FileCheck %s -check-prefix CHECK-X64
   4 ; RUN: llc -mtriple x86_64-linux -exception-model sjlj -filetype asm -o - %s -verify-machineinstrs=0 | FileCheck %s -check-prefix CHECK-X64-LINUX
   5
   6 declare void @_Z20function_that_throwsv()
   7 declare i32 @__gxx_personality_sj0(...)
   8 declare i8* @__cxa_begin_catch(i8*)
   9 declare void @__cxa_end_catch()
  10
  11 define void @_Z8functionv() personality i8* bitcast (i32 (...)* @__gxx_personality_sj0 to i8*) {
  12 entry:
  13   invoke void @_Z20function_that_throwsv()
  14           to label %try.cont unwind label %lpad
  15
  16 lpad:
  17   %0 = landingpad { i8*, i32 }
  18           catch i8* null
  19   %1 = extractvalue { i8*, i32 } %0, 0
  20   %2 = tail call i8* @__cxa_begin_catch(i8* %1)
  21   tail call void @__cxa_end_catch()
  22   br label %try.cont
  23
  24 try.cont:
  25   ret void
  26 }
  27
  28 ;     struct _Unwind_FunctionContext {
  29 ; +00   struct _Unwind_FunctionContext *prev;   -64(%ebp)
  30 ; +04   uint32_t __callsite;                    -60(%ebp)
  31 ; +08   uint32_t __buffer[4];                   -56(%ebp)
  32 ; +24   __personality_routine __personality;    -40(%ebp)
  33 ; +28   uintptr_t __lsda;                       -36(%ebp)
  34 ; +32   void *__jbuf[];                         -32(%ebp)
  35 ;     };
  36
  37
  38 ; CHECK-LABEL: __Z8functionv:
  39 ;     struct _Unwind_FunctionContext UFC;
  40 ;
  41 ;     UFC.__personality = __gxx_personality_sj0
  42 ; CHECK: movl $___gxx_personality_sj0, -40(%ebp)
  43 ;     UFC.__lsda = $LSDA
  44 ; CHECK: movl $[[LSDA:GCC_except_table[0-9]+]], -36(%ebp)
  45 ;     UFC.__jbuf[0] = $ebp
  46 ; CHECK: movl %ebp, -32(%ebp)
  47 ;     UFC.__jbuf[2] = $esp
  48 ; CHECK: movl %esp, -24(%ebp)
  49 ;     UFC.__jbuf[1] = $EIP
  50 ; CHECK: movl $[[RESUME:LBB[0-9]+_[0-9]+]], -28(%ebp)
  51 ;     UFC.__callsite = 1
  52 ; CHECK: movl $1, -60(%ebp)
  53 ;     _Unwind_SjLj_Register(&UFC);
  54 ; CHECK: leal -64(%ebp), %eax
  55 ; CHECK: pushl %eax
  56 ; CHECK: calll __Unwind_SjLj_Register
  57 ; CHECK: addl $4, %esp
  58 ;     function_that_throws();
  59 ; CHECK: calll __Z20function_that_throwsv
  60 ;     _Unwind_SjLj_Unregister(&UFC);
  61 ; CHECK: leal -64(%ebp), %eax
  62 ; CHECK: calll __Unwind_SjLj_Unregister
  63 ;
  64 ; CHECK: [[RESUME]]:
  65 ; CHECK: leal -64(%ebp), %esi
  66 ;     assert(UFC.__callsite < 1);
  67 ; CHECK: movl -60(%ebp), %eax
  68 ; CHECK: cmpl $1, %eax
  69 ; CHECK: jb [[CONT:LBB[0-9]+_[0-9]+]]
  70 ; CHECK: ud2
  71 ; CHECK: [[CONT]]:
  72 ;     *Handlers[UFC.__callsite]
  73 ; CHECK: jmpl *LJTI
  74
  75
  76 ;     struct _Unwind_FunctionContext {
  77 ; +00   struct _Unwind_FunctionContext *prev;   -312(%rbp)
  78 ; +08   uint32_t __callsite;                    -304(%rbp)
  79 ; +12   uint32_t __buffer[4];                   -300(%rbp)
  80 ; +32   __personality_routine __personality;    -280(%rbp)
  81 ; +40   uintptr_t __lsda;                       -272(%rbp)
  82 ; +48   void *__jbuf[];                         -264(%rbp)
  83 ;     };
  84
  85
  86 ; CHECK-X64-LABEL: _Z8functionv:
  87 ;     struct _Unwind_FunctionContext UFC;
  88 ;
  89 ;     UFC.__personality = __gxx_personality_sj0
  90 ; CHECK-X64: leaq __gxx_personality_sj0(%rip), %rax
  91 ; CHECK-X64: movq %rax, -280(%rbp)
  92 ;     UFC.__lsda = $LSDA
  93 ; CHECK-X64: leaq [[LSDA:GCC_except_table[0-9]+]](%rip), %rax
  94 ; CHECK-X64: movq %rax, -272(%rbp)
  95 ;     UFC.__jbuf[0] = $rbp
  96 ; CHECK-X64: movq %rbp, -264(%rbp)
  97 ;     UFC.__jbuf[2] = $rsp
  98 ; CHECK-X64: movq %rsp, -248(%rbp)
  99 ;     UFC.__jbuf[1] = $RIP
 100 ; CHECK-X64: leaq .[[RESUME:LBB[0-9]+_[0-9]+]](%rip), %rax
 101 ; CHECK-X64: movq %rax, -256(%rbp)
 102 ;     UFC.__callsite = 1
 103 ; CHECK-X64: movl $1, -304(%rbp)
 104 ;     _Unwind_SjLj_Register(&UFC);
 105 ; CHECK-X64: leaq -312(%rbp), %rcx
 106 ; CHECK-X64: callq _Unwind_SjLj_Register
 107 ;     function_that_throws();
 108 ; CHECK-X64: callq _Z20function_that_throwsv
 109 ;     _Unwind_SjLj_Unregister(&UFC);
 110 ; CHECK-X64: leaq -312(%rbp), %rcx
 111 ; CHECK-X64: callq _Unwind_SjLj_Unregister
 112 ;
 113 ; CHECK-X64: [[RESUME]]:
 114 ;     assert(UFC.__callsite < 1);
 115 ; CHECK-X64: movl -304(%rbp), %eax
 116 ; CHECK-X64: cmpl $1, %eax
 117 ; CHECK-X64: jb .[[CONT:LBB[0-9]+_[0-9]+]]
 118 ; CHECK-X64: ud2
 119 ; CHECK-X64: [[CONT]]:
 120 ;     *Handlers[UFC.__callsite]
 121 ; CHECK-X64: leaq .[[TABLE:LJTI[0-9]+_[0-9]+]](%rip), %rcx
 122 ; CHECK-X64: movl (%rcx,%rax,4), %eax
 123 ; CHECK-X64: cltq
 124 ; CHECK-X64: addq %rcx, %rax
 125 ; CHECK-X64: jmpq *%rax
 126
 127 ; CHECK-X64-LINUX: .[[RESUME:LBB[0-9]+_[0-9]+]]:
 128 ;     assert(UFC.__callsite < 1);
 129 ; CHECK-X64-LINUX: movl -120(%rbp), %eax
 130 ; CHECK-X64-LINUX: cmpl $1, %eax
 131 ; CHECK-X64-LINUX: jb .[[CONT:LBB[0-9]+_[0-9]+]]
 132 ; CHECK-X64-LINUX: ud2
 133 ; CHECK-X64-LINUX: [[CONT]]:
 134 ;     *Handlers[UFC.__callsite]
 135 ; CHECK-X64-LINUX: leaq .[[TABLE:LJTI[0-9]+_[0-9]+]](%rip), %rcx
 136 ; CHECK-X64-LINUX: jmpq *(%rcx,%rax,8)