[InstCombine] Signed saturation patterns
[llvm-core.git] / test / CodeGen / X86 / 2010-06-25-CoalescerSubRegDefDead.ll
blob19e3d71324a246fe16970b22e51154b5ae70d476
1 ; RUN: llc -O1 -mtriple=x86_64-unknown-linux-gnu -mcpu=core2 -relocation-model=pic -frame-pointer=all < %s | FileCheck %s
2 ; <rdar://problem/8124405>
4 %struct.type = type { %struct.subtype*, i32, i8, i32, i8, i32, i32, i32, i32, i32, i8, i32, i32, i32, i32, i32, [256 x i32], i32, [257 x i32], [257 x i32], i32*, i16*, i8*, i32, i32, i32, i32, i32, [256 x i8], [16 x i8], [256 x i8], [4096 x i8], [16 x i32], [18002 x i8], [18002 x i8], [6 x [258 x i8]], [6 x [258 x i32]], [6 x [258 x i32]], [6 x [258 x i32]], [6 x i32], i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32*, i32*, i32* }
5 %struct.subtype = type { i8*, i32, i32, i32, i8*, i32, i32, i32, i8*, i8* (i8*, i32, i32)*, void (i8*, i8*)*, i8* }
7 define i32 @func(%struct.type* %s) nounwind optsize ssp {
8 entry:
9   %tmp1 = getelementptr inbounds %struct.type, %struct.type* %s, i32 0, i32 1
10   %tmp2 = load i32, i32* %tmp1, align 8
11   %tmp3 = icmp eq i32 %tmp2, 10
12   %tmp4 = getelementptr inbounds %struct.type, %struct.type* %s, i32 0, i32 40
13   br i1 %tmp3, label %bb, label %entry.bb1_crit_edge
15 entry.bb1_crit_edge:
16   br label %bb1
18 bb:
20 ; The point of this code is that %rdi is set to %rdi+64036 for the rep;stosl
21 ; statement. It can be an ADD or LEA instruction, it's not important which one
22 ; it is.
24 ; CHECK: # %bb
25 ; CHECK: leaq   64036(%rdx), %rdi
26 ; CHECK: rep;stosl
28   %tmp5 = bitcast i32* %tmp4 to i8*
29   call void @llvm.memset.p0i8.i64(i8* align 4 %tmp5, i8 0, i64 84, i1 false)
30   %tmp6 = getelementptr inbounds %struct.type, %struct.type* %s, i32 0, i32 62
31   store i32* null, i32** %tmp6, align 8
32   br label %bb1
34 bb1:
35   store i32 10, i32* %tmp1, align 8
36   ret i32 42
39 declare void @llvm.memset.p0i8.i64(i8* nocapture, i8, i64, i1) nounwind