xref: /llvm-project/llvm/test/CodeGen/WinEH/wineh-inlined-inalloca.ll (revision 926a71f0c9ff11a7b07231439505808780e88fe5)
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5
2; RUN: llc < %s | FileCheck %s
3target 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"
4target triple = "i386-pc-windows-msvc"
5
6%struct.Foo = type { i32, i32 }
7
8define 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:
62entry:
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
69catch.dispatch.i:                                 ; preds = %entry
70  %3 = catchswitch within none [label %catch.i] unwind to caller
71
72catch.i:                                          ; preds = %catch.dispatch.i
73  %4 = catchpad within %3 [ptr null, i32 64, ptr null]
74  catchret from %4 to label %exit
75
76unreachable.i:                                    ; preds = %entry
77  unreachable
78
79exit:                                             ; preds = %catch.i
80  ret i32 0
81}
82
83declare dso_local x86_thiscallcc void @bar(ptr noundef nonnull align 4 dereferenceable(8) %this) local_unnamed_addr
84
85declare dso_local i32 @__CxxFrameHandler3(...)
86
87declare dso_local void @alwaysthrows() local_unnamed_addr
88
89attributes #0 = { norecurse "min-legal-vector-width"="0" "target-cpu"="pentium4" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
90attributes #1 = { noreturn }
91