llvm/test/CodeGen/PowerPC/expand-contiguous-isel.ll

   1 target datalayout = "e-m:e-i64:64-n32:64"
   2 target triple = "powerpc64le-unknown-linux-gnu"
   3 ; This file mainly tests that one of the ISEL instruction in the group uses the same register for operand RT, RA, RB
   4 ; This redudant ISEL is introduced during register coalescing stage.
   5
   6 ; Register coalescing first create the foldable ISEL instruction as we have seen in expand-foldable-isel.ll:
   7 ; %vreg85<def> = ISEL8 %vreg83, %vreg83, %vreg33:sub_eq
   8
   9 ; Later the register coalescer figures out it could further coalesce %vreg85 with %vreg83:
  10 ; merge %vreg85:1@2288r into %vreg83:5@400B --> @400B
  11 ; erased:       2288r   %vreg85<def> = COPY %vreg83
  12
  13 ; After that we have:
  14 ; updated: 1504B        %vreg83<def> = ISEL8 %vreg83, %vreg83, %vreg33:sub_eq
  15
  16 ; RUN: llc -verify-machineinstrs -O2 -ppc-asm-full-reg-names -mcpu=pwr7 -ppc-gen-isel=true < %s | FileCheck %s --check-prefix=CHECK-GEN-ISEL-TRUE
  17 ; RUN: llc -verify-machineinstrs -O2 -ppc-asm-full-reg-names -mcpu=pwr7 -ppc-gen-isel=false < %s | FileCheck %s --implicit-check-not isel
  18
  19 @.str = private unnamed_addr constant [3 x i8] c"]]\00", align 1
  20 @.str.1 = private unnamed_addr constant [35 x i8] c"Index < Length && \22Invalid index!\22\00", align 1
  21 @.str.2 = private unnamed_addr constant [50 x i8] c"/home/jtony/src/llvm/include/llvm/ADT/StringRef.h\00", align 1
  22 @__PRETTY_FUNCTION__._ZNK4llvm9StringRefixEm = private unnamed_addr constant [47 x i8] c"char llvm::StringRef::operator[](size_t) const\00", align 1
  23 @.str.3 = private unnamed_addr constant [95 x i8] c"(data || length == 0) && \22StringRef cannot be built from a NULL argument with non-null length\22\00", align 1
  24 @__PRETTY_FUNCTION__._ZN4llvm9StringRefC2EPKcm = private unnamed_addr constant [49 x i8] c"llvm::StringRef::StringRef(const char *, size_t)\00", align 1
  25 define i64 @_Z3fn1N4llvm9StringRefE([2 x i64] %Str.coerce) {
  26 entry:
  27   %Str.coerce.fca.0.extract = extractvalue [2 x i64] %Str.coerce, 0
  28   %Str.coerce.fca.1.extract = extractvalue [2 x i64] %Str.coerce, 1
  29   br label %while.cond.outer
  30 while.cond.outer:
  31   %Str.sroa.0.0.ph = phi i64 [ %8, %_ZNK4llvm9StringRef6substrEmm.exit ], [ %Str.coerce.fca.0.extract, %entry ]
  32   %.sink.ph = phi i64 [ %sub.i, %_ZNK4llvm9StringRef6substrEmm.exit ], [ %Str.coerce.fca.1.extract, %entry ]
  33   %BracketDepth.0.ph = phi i64 [ %BracketDepth.1, %_ZNK4llvm9StringRef6substrEmm.exit ], [ undef, %entry ]
  34   %cmp65 = icmp eq i64 %BracketDepth.0.ph, 0
  35   br i1 %cmp65, label %while.cond.us.preheader, label %while.cond.preheader
  36 while.cond.us.preheader:
  37   br label %while.cond.us
  38 while.cond.preheader:
  39   %cmp.i34129 = icmp eq i64 %.sink.ph, 0
  40   br i1 %cmp.i34129, label %cond.false.i.loopexit135, label %_ZNK4llvm9StringRefixEm.exit.preheader
  41 _ZNK4llvm9StringRefixEm.exit.preheader:
  42   br label %_ZNK4llvm9StringRefixEm.exit
  43 while.cond.us:
  44   %Str.sroa.0.0.us = phi i64 [ %3, %_ZNK4llvm9StringRef6substrEmm.exit50.us ], [ %Str.sroa.0.0.ph, %while.cond.us.preheader ]
  45   %.sink.us = phi i64 [ %sub.i41.us, %_ZNK4llvm9StringRef6substrEmm.exit50.us ], [ %.sink.ph, %while.cond.us.preheader ]
  46   %cmp.i30.us = icmp ult i64 %.sink.us, 2
  47   br i1 %cmp.i30.us, label %if.end.us, label %if.end.i.i.us
  48 if.end.i.i.us:
  49   %0 = inttoptr i64 %Str.sroa.0.0.us to ptr
  50   %call.i.i.us = tail call signext i32 @memcmp(ptr %0, ptr @.str, i64 2)
  51   %phitmp.i.us = icmp eq i32 %call.i.i.us, 0
  52   br i1 %phitmp.i.us, label %if.then, label %_ZNK4llvm9StringRefixEm.exit.us
  53 if.end.us:
  54   %cmp.i34.us = icmp eq i64 %.sink.us, 0
  55   br i1 %cmp.i34.us, label %cond.false.i.loopexit, label %_ZNK4llvm9StringRefixEm.exit.us
  56 _ZNK4llvm9StringRefixEm.exit.us:
  57   %1 = inttoptr i64 %Str.sroa.0.0.us to ptr
  58   %2 = load i8, ptr %1, align 1
  59   switch i8 %2, label %_ZNK4llvm9StringRef6substrEmm.exit.loopexit [
  60     i8 92, label %if.then4.us
  61     i8 93, label %if.then9
  62   ]
  63 if.then4.us:
  64   %.sroa.speculated12.i38.us = select i1 %cmp.i30.us, i64 %.sink.us, i64 2
  65   %add.ptr.i40.us = getelementptr inbounds i8, ptr %1, i64 %.sroa.speculated12.i38.us
  66   %sub.i41.us = sub i64 %.sink.us, %.sroa.speculated12.i38.us
  67   %tobool.i.i44.us = icmp ne ptr %add.ptr.i40.us, null
  68   %cmp.i4.i45.us = icmp eq i64 %sub.i41.us, 0
  69   %or.cond.i.i46.us = or i1 %tobool.i.i44.us, %cmp.i4.i45.us
  70   br i1 %or.cond.i.i46.us, label %_ZNK4llvm9StringRef6substrEmm.exit50.us, label %cond.false.i.i47.loopexit
  71 _ZNK4llvm9StringRef6substrEmm.exit50.us:
  72   %3 = ptrtoint ptr %add.ptr.i40.us to i64
  73   br label %while.cond.us
  74 if.then:
  75   ret i64 undef
  76 cond.false.i.loopexit:
  77   br label %cond.false.i
  78 cond.false.i.loopexit134:
  79   br label %cond.false.i
  80 cond.false.i.loopexit135:
  81   br label %cond.false.i
  82 cond.false.i:
  83   tail call void @__assert_fail(ptr @.str.1, ptr @.str.2, i32 zeroext 225, ptr @__PRETTY_FUNCTION__._ZNK4llvm9StringRefixEm)
  84   unreachable
  85 _ZNK4llvm9StringRefixEm.exit:
  86   %.sink131 = phi i64 [ %sub.i41, %_ZNK4llvm9StringRef6substrEmm.exit50 ], [ %.sink.ph, %_ZNK4llvm9StringRefixEm.exit.preheader ]
  87   %Str.sroa.0.0130 = phi i64 [ %6, %_ZNK4llvm9StringRef6substrEmm.exit50 ], [ %Str.sroa.0.0.ph, %_ZNK4llvm9StringRefixEm.exit.preheader ]
  88   %4 = inttoptr i64 %Str.sroa.0.0130 to ptr
  89   %5 = load i8, ptr %4, align 1
  90   switch i8 %5, label %_ZNK4llvm9StringRef6substrEmm.exit.loopexit132 [
  91     i8 92, label %if.then4
  92     i8 93, label %if.end10
  93   ]
  94 if.then4:
  95   %cmp.i.i37 = icmp ult i64 %.sink131, 2
  96   %.sroa.speculated12.i38 = select i1 %cmp.i.i37, i64 %.sink131, i64 2
  97   %add.ptr.i40 = getelementptr inbounds i8, ptr %4, i64 %.sroa.speculated12.i38
  98   %sub.i41 = sub i64 %.sink131, %.sroa.speculated12.i38
  99   %tobool.i.i44 = icmp ne ptr %add.ptr.i40, null
 100   %cmp.i4.i45 = icmp eq i64 %sub.i41, 0
 101   %or.cond.i.i46 = or i1 %tobool.i.i44, %cmp.i4.i45
 102   br i1 %or.cond.i.i46, label %_ZNK4llvm9StringRef6substrEmm.exit50, label %cond.false.i.i47.loopexit133
 103 cond.false.i.i47.loopexit:
 104   br label %cond.false.i.i47
 105 cond.false.i.i47.loopexit133:
 106   br label %cond.false.i.i47
 107 cond.false.i.i47:
 108   tail call void @__assert_fail(ptr @.str.3, ptr @.str.2, i32 zeroext 90, ptr @__PRETTY_FUNCTION__._ZN4llvm9StringRefC2EPKcm)
 109   unreachable
 110 _ZNK4llvm9StringRef6substrEmm.exit50:
 111   %6 = ptrtoint ptr %add.ptr.i40 to i64
 112   %cmp.i34 = icmp eq i64 %sub.i41, 0
 113   br i1 %cmp.i34, label %cond.false.i.loopexit134, label %_ZNK4llvm9StringRefixEm.exit
 114 if.then9:
 115   tail call void @exit(i32 signext 1)
 116   unreachable
 117 if.end10:
 118   %dec = add i64 %BracketDepth.0.ph, -1
 119   br label %_ZNK4llvm9StringRef6substrEmm.exit
 120 _ZNK4llvm9StringRef6substrEmm.exit.loopexit:
 121   br label %_ZNK4llvm9StringRef6substrEmm.exit
 122 _ZNK4llvm9StringRef6substrEmm.exit.loopexit132:
 123   br label %_ZNK4llvm9StringRef6substrEmm.exit
 124 _ZNK4llvm9StringRef6substrEmm.exit:
 125   %.sink76 = phi i64 [ %.sink131, %if.end10 ], [ %.sink.us, %_ZNK4llvm9StringRef6substrEmm.exit.loopexit ], [ %.sink131, %_ZNK4llvm9StringRef6substrEmm.exit.loopexit132 ]
 126   %7 = phi ptr [ %4, %if.end10 ], [ %1, %_ZNK4llvm9StringRef6substrEmm.exit.loopexit ], [ %4, %_ZNK4llvm9StringRef6substrEmm.exit.loopexit132 ]
 127   %BracketDepth.1 = phi i64 [ %dec, %if.end10 ], [ 0, %_ZNK4llvm9StringRef6substrEmm.exit.loopexit ], [ %BracketDepth.0.ph, %_ZNK4llvm9StringRef6substrEmm.exit.loopexit132 ]
 128   %sub.i = add i64 %.sink76, -1
 129   %add.ptr.i = getelementptr inbounds i8, ptr %7, i64 1
 130   %8 = ptrtoint ptr %add.ptr.i to i64
 131   br label %while.cond.outer
 132
 133 ; CHECK-LABEL: @_Z3fn1N4llvm9StringRefE
 134 ; Unecessary ISEL (all the registers are the same) is always removed
 135 ; CHECK-GEN-ISEL-TRUE-NOT: iseleq [[SAME:r[0-9]+]], [[SAME]], [[SAME]]
 136 ; CHECK-GEN-ISEL-TRUE: iseleq [[SAME:r[0-9]+]], {{r[0-9]+}}, [[SAME]]
 137 ; CHECK: bc 12, eq, [[TRUE:.LBB[0-9]+]]
 138 ; CHECK-NEXT: b [[SUCCESSOR:.LBB[0-9]+]]
 139 ; CHECK-NEXT: [[TRUE]]
 140 ; CHECK-NEXT: # in Loop: Header
 141 ; CHECK-NEXT: addi {{r[0-9]+}}, {{r[0-9]+}}, 0
 142 ; CHECK-NEXT: [[SUCCESSOR]]
 143 }
 144
 145
 146
 147 declare void @exit(i32 signext)
 148 declare signext i32 @memcmp(ptr nocapture, ptr nocapture, i64)
 149 declare void @__assert_fail(ptr, ptr, i32 zeroext, ptr)