llvm/test/CodeGen/ARM/machine-cse-cmp.ll

   1 ; RUN: llc < %s -mtriple=armv7-apple-ios | FileCheck %s
   2 ;rdar://8003725
   3
   4 declare void @llvm.trap()
   5
   6 @G1 = external global i32
   7 @G2 = external global i32
   8
   9 define i32 @f1(i32 %cond1, i32 %x1, i32 %x2, i32 %x3) {
  10 entry:
  11 ; CHECK-LABEL: f1:
  12 ; CHECK: cmp
  13 ; CHECK: moveq
  14 ; CHECK-NOT: cmp
  15 ; CHECK: mov{{eq|ne}}
  16     %tmp1 = icmp eq i32 %cond1, 0
  17     %tmp2 = select i1 %tmp1, i32 %x1, i32 %x2
  18     %tmp3 = select i1 %tmp1, i32 %x2, i32 %x3
  19     %tmp4 = add i32 %tmp2, %tmp3
  20     ret i32 %tmp4
  21 }
  22
  23 @foo = external global i32
  24 @bar = external global [250 x i8], align 1
  25
  26 ; CSE of cmp across BB boundary
  27 ; rdar://10660865
  28 define void @f2() nounwind ssp {
  29 entry:
  30 ; CHECK-LABEL: f2:
  31 ; CHECK: cmp
  32 ; CHECK: bxlt
  33 ; CHECK-NOT: cmp
  34 ; CHECK: movle
  35   %0 = load i32, i32* @foo, align 4
  36   %cmp28 = icmp sgt i32 %0, 0
  37   br i1 %cmp28, label %for.body.lr.ph, label %for.cond1.preheader
  38
  39 for.body.lr.ph:                                   ; preds = %entry
  40   %1 = icmp sgt i32 %0, 1
  41   %smax = select i1 %1, i32 %0, i32 1
  42   call void @llvm.memset.p0i8.i32(i8* getelementptr inbounds ([250 x i8], [250 x i8]* @bar, i32 0, i32 0), i8 0, i32 %smax, i1 false)
  43   call void @llvm.trap()
  44   unreachable
  45
  46 for.cond1.preheader:                              ; preds = %entry
  47   ret void
  48 }
  49
  50 declare void @llvm.memset.p0i8.i32(i8* nocapture, i8, i32, i1) nounwind
  51
  52 ; rdar://12462006
  53 define i8* @f3(i8* %base, i32* nocapture %offset, i32 %size) nounwind {
  54 entry:
  55 ; CHECK-LABEL: f3:
  56 ; CHECK-NOT: sub
  57 ; CHECK: cmp
  58 ; CHECK: blt
  59 %0 = load i32, i32* %offset, align 4
  60 %cmp = icmp slt i32 %0, %size
  61 %s = sub nsw i32 %0, %size
  62 %size2 = sub nsw i32 %size, 0
  63 br i1 %cmp, label %return, label %if.end
  64
  65 if.end:
  66 ; We are checking cse between %sub here and %s in entry block.
  67 %sub = sub nsw i32 %0, %size2
  68 %s2 = sub nsw i32 %s, %size
  69 %s3 = sub nsw i32 %sub, %s2
  70 ; CHECK: sub [[R1:r[0-9]+]], [[R2:r[0-9]+]], r2
  71 ; CHECK: sub [[R3:r[0-9]+]], r2, [[R1]]
  72 ; CHECK: add [[R4:r[0-9]+]], [[R1]], [[R3]]
  73 ; CHECK-NOT: sub
  74 ; CHECK: str
  75 store i32 %s3, i32* %offset, align 4
  76 %add.ptr = getelementptr inbounds i8, i8* %base, i32 %sub
  77 br label %return
  78
  79 return:
  80 %retval.0 = phi i8* [ %add.ptr, %if.end ], [ null, %entry ]
  81 ret i8* %retval.0
  82 }