llvm/test/CodeGen/WinEH/wineh-inlined-inalloca.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5
   2 ; RUN: llc < %s | FileCheck %s
   3 target datalayout = "e-m:x-p:32:32-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32-a:0:32-S32"
   4 target triple = "i386-pc-windows-msvc"
   5
   6 %struct.Foo = type { i32, i32 }
   7
   8 define dso_local noundef i32 @foo() local_unnamed_addr #0 personality ptr @__CxxFrameHandler3 {
   9 ; CHECK-LABEL: foo:
  10 ; CHECK:       # %bb.0: # %entry
  11 ; CHECK-NEXT:    pushl %ebp
  12 ; CHECK-NEXT:    movl %esp, %ebp
  13 ; CHECK-NEXT:    pushl %ebx
  14 ; CHECK-NEXT:    pushl %edi
  15 ; CHECK-NEXT:    pushl %esi
  16 ; CHECK-NEXT:    subl $16, %esp
  17 ; CHECK-NEXT:    movl %esp, -28(%ebp)
  18 ; CHECK-NEXT:    movl $-1, -16(%ebp)
  19 ; CHECK-NEXT:    leal -24(%ebp), %eax
  20 ; CHECK-NEXT:    movl $___ehhandler$foo, -20(%ebp)
  21 ; CHECK-NEXT:    movl %fs:0, %ecx
  22 ; CHECK-NEXT:    movl %ecx, -24(%ebp)
  23 ; CHECK-NEXT:    movl %eax, %fs:0
  24 ; CHECK-NEXT:    pushl %eax
  25 ; CHECK-NEXT:    pushl %eax
  26 ; CHECK-NEXT:    movl %esp, %ecx
  27 ; CHECK-NEXT:    movl %esp, -28(%ebp)
  28 ; CHECK-NEXT:    movl $123, (%ecx)
  29 ; CHECK-NEXT:    calll _bar
  30 ; CHECK-NEXT:    movl $0, -16(%ebp)
  31 ; CHECK-NEXT:    calll _alwaysthrows
  32 ; CHECK-NEXT:  # %bb.3: # %unreachable.i
  33 ; CHECK-NEXT:  LBB0_2: # Block address taken
  34 ; CHECK-NEXT:    # %catch.i
  35 ; CHECK-NEXT:    addl $12, %ebp
  36 ; CHECK-NEXT:    jmp LBB0_4
  37 ; CHECK-NEXT:  LBB0_4: # %exit
  38 ; CHECK-NEXT:  $ehgcr_0_4:
  39 ; CHECK-NEXT:    movl -24(%ebp), %eax
  40 ; CHECK-NEXT:    movl %eax, %fs:0
  41 ; CHECK-NEXT:    xorl %eax, %eax
  42 ; CHECK-NEXT:    leal -12(%ebp), %esp
  43 ; CHECK-NEXT:    popl %esi
  44 ; CHECK-NEXT:    popl %edi
  45 ; CHECK-NEXT:    popl %ebx
  46 ; CHECK-NEXT:    popl %ebp
  47 ; CHECK-NEXT:    retl
  48 ; CHECK-NEXT:    .def "?catch$1@?0?foo@4HA";
  49 ; CHECK-NEXT:    .scl 3;
  50 ; CHECK-NEXT:    .type 32;
  51 ; CHECK-NEXT:    .endef
  52 ; CHECK-NEXT:    .p2align 4
  53 ; CHECK-NEXT:  "?catch$1@?0?foo@4HA":
  54 ; CHECK-NEXT:  LBB0_1: # %catch.i
  55 ; CHECK-NEXT:    pushl %ebp
  56 ; CHECK-NEXT:    addl $12, %ebp
  57 ; CHECK-NEXT:    movl %esp, -28(%ebp)
  58 ; CHECK-NEXT:    movl $LBB0_2, %eax
  59 ; CHECK-NEXT:    popl %ebp
  60 ; CHECK-NEXT:    retl # CATCHRET
  61 ; CHECK-NEXT:  Lfunc_end0:
  62 entry:
  63   %argmem = alloca inalloca <{ %struct.Foo }>, align 4
  64   store i32 123, ptr %argmem, align 4
  65   call x86_thiscallcc void @bar(ptr noundef nonnull align 4 dereferenceable(8) %argmem)
  66   invoke void @alwaysthrows() #1
  67           to label %unreachable.i unwind label %catch.dispatch.i
  68
  69 catch.dispatch.i:                                 ; preds = %entry
  70   %3 = catchswitch within none [label %catch.i] unwind to caller
  71
  72 catch.i:                                          ; preds = %catch.dispatch.i
  73   %4 = catchpad within %3 [ptr null, i32 64, ptr null]
  74   catchret from %4 to label %exit
  75
  76 unreachable.i:                                    ; preds = %entry
  77   unreachable
  78
  79 exit:                                             ; preds = %catch.i
  80   ret i32 0
  81 }
  82
  83 declare dso_local x86_thiscallcc void @bar(ptr noundef nonnull align 4 dereferenceable(8) %this) local_unnamed_addr
  84
  85 declare dso_local i32 @__CxxFrameHandler3(...)
  86
  87 declare dso_local void @alwaysthrows() local_unnamed_addr
  88
  89 attributes #0 = { norecurse "min-legal-vector-width"="0" "target-cpu"="pentium4" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
  90 attributes #1 = { noreturn }