Stackmap shadows should consider call returns a branch target.
[oota-llvm.git] / test / CodeGen / X86 / 2008-08-31-EH_RETURN32.ll
1 ; Check that eh_return & unwind_init were properly lowered
2 ; RUN: llc -mcpu=corei7 < %s -verify-machineinstrs | FileCheck %s
3
4 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64"
5 target triple = "i386-pc-linux"
6
7 ; CHECK: test1
8 ; CHECK: pushl %ebp
9 define i8* @test1(i32 %a, i8* %b)  {
10 entry:
11   call void @llvm.eh.unwind.init()
12   %foo   = alloca i32
13   call void @llvm.eh.return.i32(i32 %a, i8* %b)
14 ; CHECK: movl 12(%ebp), %[[ECX:e..]]
15 ; CHECK: movl 8(%ebp), %[[EAX:e..]]
16 ; CHECK: movl %[[ECX]], 4(%ebp,%[[EAX]])
17 ; CHECK: leal 4(%ebp,%[[EAX]]), %[[ECX2:e..]]
18 ; CHECK: movl %[[ECX2]], %esp
19 ; CHECK: ret
20   unreachable
21 }
22
23 ; CHECK: test2
24 ; CHECK: pushl %ebp
25 define i8* @test2(i32 %a, i8* %b)  {
26 entry:
27   call void @llvm.eh.return.i32(i32 %a, i8* %b)
28 ; CHECK: movl 12(%ebp), %[[ECX:e..]]
29 ; CHECK: movl 8(%ebp), %[[EAX:e..]]
30 ; CHECK: movl %[[ECX]], 4(%ebp,%[[EAX]])
31 ; CHECK: leal 4(%ebp,%[[EAX]]), %[[ECX2:e..]]
32 ; CHECK: movl %[[ECX2]], %esp
33 ; CHECK: ret
34   unreachable
35 }
36
37 declare void @llvm.eh.return.i32(i32, i8*)
38 declare void @llvm.eh.unwind.init()