test/CodeGen/X86/machine-cse.ll

   1 ; RUN: llc -mtriple=x86_64-apple-macosx < %s | FileCheck %s
   2 ; rdar://7610418
   3
   4 %ptr = type { i8* }
   5 %struct.s1 = type { %ptr, %ptr }
   6 %struct.s2 = type { i32, i8*, i8*, [256 x %struct.s1*], [8 x i32], i64, i8*, i32, i64, i64, i32, %struct.s3*, %struct.s3*, [49 x i64] }
   7 %struct.s3 = type { %struct.s3*, %struct.s3*, i32, i32, i32 }
   8
   9 define fastcc i8* @t(i32 %base) nounwind {
  10 entry:
  11 ; CHECK-LABEL: t:
  12 ; CHECK: leaq (%rax,%rax,4)
  13   %0 = zext i32 %base to i64
  14   %1 = getelementptr inbounds %struct.s2* null, i64 %0
  15   br i1 undef, label %bb1, label %bb2
  16
  17 bb1:
  18 ; CHECK: %bb1
  19 ; CHECK-NOT: shlq $9
  20 ; CHECK-NOT: leaq
  21 ; CHECK: call
  22   %2 = getelementptr inbounds %struct.s2* null, i64 %0, i32 0
  23   call void @bar(i32* %2) nounwind
  24   unreachable
  25
  26 bb2:
  27 ; CHECK: %bb2
  28 ; CHECK-NOT: leaq
  29 ; CHECK: callq
  30   %3 = call fastcc i8* @foo(%struct.s2* %1) nounwind
  31   unreachable
  32
  33 bb3:
  34   ret i8* undef
  35 }
  36
  37 declare void @bar(i32*)
  38
  39 declare fastcc i8* @foo(%struct.s2*) nounwind
  40
  41 ; rdar://8773371
  42
  43 declare void @printf(...) nounwind
  44
  45 define void @commute(i32 %test_case, i32 %scale) nounwind ssp {
  46 ; CHECK-LABEL: commute:
  47 entry:
  48   switch i32 %test_case, label %sw.bb307 [
  49     i32 1, label %sw.bb
  50     i32 2, label %sw.bb
  51     i32 3, label %sw.bb
  52   ]
  53
  54 sw.bb:                                            ; preds = %entry, %entry, %entry
  55 ; CHECK: %sw.bb
  56 ; CHECK: imull
  57   %mul = mul nsw i32 %test_case, 3
  58   %mul20 = mul nsw i32 %mul, %scale
  59   br i1 undef, label %if.end34, label %sw.bb307
  60
  61 if.end34:                                         ; preds = %sw.bb
  62 ; CHECK: %if.end34
  63 ; CHECK: leal
  64 ; CHECK-NOT: imull
  65   tail call void (...)* @printf(i32 %test_case, i32 %mul20) nounwind
  66   %tmp = mul i32 %scale, %test_case
  67   %tmp752 = mul i32 %tmp, 3
  68   %tmp753 = zext i32 %tmp752 to i64
  69   br label %bb.nph743.us
  70
  71 for.body53.us:                                    ; preds = %bb.nph743.us, %for.body53.us
  72   %exitcond = icmp eq i64 undef, %tmp753
  73   br i1 %exitcond, label %bb.nph743.us, label %for.body53.us
  74
  75 bb.nph743.us:                                     ; preds = %for.body53.us, %if.end34
  76   br label %for.body53.us
  77
  78 sw.bb307:                                         ; preds = %sw.bb, %entry
  79   ret void
  80 }
  81
  82 ; CSE physical register defining instruction across MBB boundary.
  83 ; rdar://10660865
  84 define i32 @cross_mbb_phys_cse(i32 %a, i32 %b) nounwind ssp {
  85 entry:
  86 ; CHECK-LABEL: cross_mbb_phys_cse:
  87 ; CHECK: cmpl
  88 ; CHECK: ja
  89   %cmp = icmp ugt i32 %a, %b
  90   br i1 %cmp, label %return, label %if.end
  91
  92 if.end:                                           ; preds = %entry
  93 ; CHECK-NOT: cmpl
  94 ; CHECK: sbbl
  95   %cmp1 = icmp ult i32 %a, %b
  96   %. = sext i1 %cmp1 to i32
  97   br label %return
  98
  99 return:                                           ; preds = %if.end, %entry
 100   %retval.0 = phi i32 [ 1, %entry ], [ %., %if.end ]
 101   ret i32 %retval.0
 102 }
 103
 104 ; rdar://11393714
 105 define i8* @bsd_memchr(i8* %s, i32 %a, i32 %c, i64 %n) nounwind ssp {
 106 ; CHECK: %entry
 107 ; CHECK: xorl
 108 ; CHECK: %preheader
 109 ; CHECK: %do.body
 110 ; CHECK-NOT: xorl
 111 ; CHECK: %do.cond
 112 ; CHECK-NOT: xorl
 113 ; CHECK: %return
 114 entry:
 115   %cmp = icmp eq i64 %n, 0
 116   br i1 %cmp, label %return, label %preheader
 117
 118 preheader:
 119   %conv2 = and i32 %c, 255
 120   br label %do.body
 121
 122 do.body:
 123   %n.addr.0 = phi i64 [ %dec, %do.cond ], [ %n, %preheader ]
 124   %p.0 = phi i8* [ %incdec.ptr, %do.cond ], [ %s, %preheader ]
 125   %cmp3 = icmp eq i32 %a, %conv2
 126   br i1 %cmp3, label %return, label %do.cond
 127
 128 do.cond:
 129   %incdec.ptr = getelementptr inbounds i8* %p.0, i64 1
 130   %dec = add i64 %n.addr.0, -1
 131   %cmp6 = icmp eq i64 %dec, 0
 132   br i1 %cmp6, label %return, label %do.body
 133
 134 return:
 135   %retval.0 = phi i8* [ null, %entry ], [ null, %do.cond ], [ %p.0, %do.body ]
 136   ret i8* %retval.0
 137 }
 138
 139 ; PR13578
 140 @t2_global = external global i32
 141
 142 declare i1 @t2_func()
 143
 144 define i32 @t2() {
 145   store i32 42, i32* @t2_global
 146   %c = call i1 @t2_func()
 147   br i1 %c, label %a, label %b
 148
 149 a:
 150   %l = load i32* @t2_global
 151   ret i32 %l
 152
 153 b:
 154   ret i32 0
 155
 156 ; CHECK-LABEL: t2:
 157 ; CHECK: t2_global@GOTPCREL(%rip)
 158 ; CHECK-NOT: t2_global@GOTPCREL(%rip)
 159 }