xref: /llvm-project/llvm/test/CodeGen/WinEH/wineh-dynamic-alloca.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
8@bar = external global i1
9
10define dso_local noundef i32 @foo() local_unnamed_addr #0 personality ptr @__CxxFrameHandler3 {
11; CHECK-LABEL: foo:
12; CHECK:       # %bb.0: # %entry
13; CHECK-NEXT:    pushl %ebp
14; CHECK-NEXT:    movl %esp, %ebp
15; CHECK-NEXT:    pushl %ebx
16; CHECK-NEXT:    pushl %edi
17; CHECK-NEXT:    pushl %esi
18; CHECK-NEXT:    subl $16, %esp
19; CHECK-NEXT:    movl %esp, -28(%ebp)
20; CHECK-NEXT:    movl $-1, -16(%ebp)
21; CHECK-NEXT:    leal -24(%ebp), %eax
22; CHECK-NEXT:    movl $___ehhandler$foo, -20(%ebp)
23; CHECK-NEXT:    movl %fs:0, %ecx
24; CHECK-NEXT:    movl %ecx, -24(%ebp)
25; CHECK-NEXT:    movl %eax, %fs:0
26; CHECK-NEXT:    cmpb $1, _bar
27; CHECK-NEXT:    je LBB0_1
28; CHECK-NEXT:  LBB0_5: # %exit
29; CHECK-NEXT:  $ehgcr_0_5:
30; CHECK-NEXT:    movl -24(%ebp), %eax
31; CHECK-NEXT:    movl %eax, %fs:0
32; CHECK-NEXT:    xorl %eax, %eax
33; CHECK-NEXT:    leal -12(%ebp), %esp
34; CHECK-NEXT:    popl %esi
35; CHECK-NEXT:    popl %edi
36; CHECK-NEXT:    popl %ebx
37; CHECK-NEXT:    popl %ebp
38; CHECK-NEXT:    retl
39; CHECK-NEXT:  LBB0_1: # %if.then
40; CHECK-NEXT:    pushl %eax
41; CHECK-NEXT:    pushl %eax
42; CHECK-NEXT:    movl %esp, %eax
43; CHECK-NEXT:    movl %esp, -28(%ebp)
44; CHECK-NEXT:    movl $123, (%eax)
45; CHECK-NEXT:    movl $0, -16(%ebp)
46; CHECK-NEXT:    calll _alwaysthrows
47; CHECK-NEXT:  # %bb.4: # %unreachable.i
48; CHECK-NEXT:  LBB0_3: # Block address taken
49; CHECK-NEXT:    # %catch.i
50; CHECK-NEXT:    addl $12, %ebp
51; CHECK-NEXT:    jmp LBB0_5
52; CHECK-NEXT:    .def "?catch$2@?0?foo@4HA";
53; CHECK-NEXT:    .scl 3;
54; CHECK-NEXT:    .type 32;
55; CHECK-NEXT:    .endef
56; CHECK-NEXT:    .p2align 4
57; CHECK-NEXT:  "?catch$2@?0?foo@4HA":
58; CHECK-NEXT:  LBB0_2: # %catch.i
59; CHECK-NEXT:    pushl %ebp
60; CHECK-NEXT:    addl $12, %ebp
61; CHECK-NEXT:    movl %esp, -28(%ebp)
62; CHECK-NEXT:    movl $LBB0_3, %eax
63; CHECK-NEXT:    popl %ebp
64; CHECK-NEXT:    retl # CATCHRET
65; CHECK-NEXT:  Lfunc_end0:
66entry:
67  %cmp = load i1, ptr @bar
68  br i1 %cmp, label %if.then, label %exit
69
70if.then:                                          ; preds = %entry
71  %foo = alloca <{ %struct.Foo }>, align 4
72  store i32 123, ptr %foo, align 4
73  invoke void @alwaysthrows() #1
74          to label %unreachable.i unwind label %catch.dispatch.i
75
76catch.dispatch.i:                                 ; preds = %if.then
77  %3 = catchswitch within none [label %catch.i] unwind to caller
78
79catch.i:                                          ; preds = %catch.dispatch.i
80  %4 = catchpad within %3 [ptr null, i32 64, ptr null]
81  catchret from %4 to label %exit
82
83unreachable.i:                                    ; preds = %if.then
84  unreachable
85
86exit:                                             ; preds = %entry, %catch.i
87  ret i32 0
88}
89
90declare dso_local i32 @__CxxFrameHandler3(...)
91
92declare dso_local void @alwaysthrows() local_unnamed_addr
93
94attributes #0 = { norecurse "min-legal-vector-width"="0" "target-cpu"="pentium4" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
95attributes #1 = { noreturn }
96