llvm/test/CodeGen/X86/2010-06-25-CoalescerSubRegDefDead.ll

   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>
   3
   4 %struct.type = type { ptr, 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], ptr, ptr, ptr, 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, ptr, ptr, ptr }
   5 %struct.subtype = type { ptr, i32, i32, i32, ptr, i32, i32, i32, ptr, ptr, ptr, ptr }
   6
   7 define i32 @func(ptr %s) nounwind optsize ssp {
   8 entry:
   9   %tmp1 = getelementptr inbounds %struct.type, ptr %s, i32 0, i32 1
  10   %tmp2 = load i32, ptr %tmp1, align 8
  11   %tmp3 = icmp eq i32 %tmp2, 10
  12   %tmp4 = getelementptr inbounds %struct.type, ptr %s, i32 0, i32 40
  13   br i1 %tmp3, label %bb, label %entry.bb1_crit_edge
  14
  15 entry.bb1_crit_edge:
  16   br label %bb1
  17
  18 bb:
  19
  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.
  23 ;
  24 ; CHECK: # %bb
  25 ; CHECK: leaq   64036(%rdx), %rdi
  26 ; CHECK: rep;stosl
  27
  28   call void @llvm.memset.p0.i64(ptr align 4 %tmp4, i8 0, i64 84, i1 false)
  29   %tmp6 = getelementptr inbounds %struct.type, ptr %s, i32 0, i32 62
  30   store ptr null, ptr %tmp6, align 8
  31   br label %bb1
  32
  33 bb1:
  34   store i32 10, ptr %tmp1, align 8
  35   ret i32 42
  36 }
  37
  38 declare void @llvm.memset.p0.i64(ptr nocapture, i8, i64, i1) nounwind