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