test/Analysis/IVUsers/deep_recursion_in_scev.ll

   1 ; RUN: opt < %s -analyze -iv-users
   2 ; This is a regression test against very slow execution...
   3 ; In bad case it should fail by timeout.
   4 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128-ni:1"
   5 target triple = "x86_64-unknown-linux-gnu"
   6
   7 define void @quux(i8 addrspace(1)* %arg, i8 addrspace(1)* %arg1) {
   8 bb:
   9   %tmp2 = getelementptr inbounds i8, i8 addrspace(1)* %arg, i64 80
  10   %tmp3 = bitcast i8 addrspace(1)* %tmp2 to i8 addrspace(1)* addrspace(1)*
  11   %tmp4 = load i8 addrspace(1)*, i8 addrspace(1)* addrspace(1)* %tmp3, align 8
  12   %tmp5 = getelementptr inbounds i8, i8 addrspace(1)* %tmp4, i64 8
  13   %tmp6 = bitcast i8 addrspace(1)* %tmp5 to i8 addrspace(1)* addrspace(1)*
  14   %tmp7 = load i8 addrspace(1)*, i8 addrspace(1)* addrspace(1)* %tmp6, align 8
  15   %tmp8 = getelementptr inbounds i8, i8 addrspace(1)* %tmp7, i64 8
  16   %tmp9 = bitcast i8 addrspace(1)* %tmp8 to i32 addrspace(1)*
  17   %tmp10 = load i32, i32 addrspace(1)* %tmp9, align 8
  18   %tmp11 = udiv i32 65, %tmp10
  19   %tmp12 = getelementptr inbounds i8, i8 addrspace(1)* %arg, i64 80
  20   %tmp13 = bitcast i8 addrspace(1)* %tmp12 to i8 addrspace(1)* addrspace(1)*
  21   %tmp14 = load i8 addrspace(1)*, i8 addrspace(1)* addrspace(1)* %tmp13, align 8
  22   %tmp15 = getelementptr inbounds i8, i8 addrspace(1)* %tmp14, i64 8
  23   %tmp16 = bitcast i8 addrspace(1)* %tmp15 to i8 addrspace(1)* addrspace(1)*
  24   %tmp17 = load i8 addrspace(1)*, i8 addrspace(1)* addrspace(1)* %tmp16, align 8
  25   %tmp18 = getelementptr inbounds i8, i8 addrspace(1)* %arg1, i64 8
  26   %tmp19 = bitcast i8 addrspace(1)* %tmp18 to i32 addrspace(1)*
  27   %tmp20 = load i32, i32 addrspace(1)* %tmp19, align 8, !range !0
  28   %tmp21 = getelementptr inbounds i8, i8 addrspace(1)* %tmp17, i64 8
  29   %tmp22 = bitcast i8 addrspace(1)* %tmp21 to i32 addrspace(1)*
  30   %tmp23 = load i32, i32 addrspace(1)* %tmp22, align 8, !range !0
  31   %tmp24 = zext i32 %tmp23 to i64
  32   %tmp25 = and i32 %tmp11, 7
  33   %tmp26 = icmp ugt i32 %tmp10, 9
  34   br i1 %tmp26, label %bb27, label %bb46
  35
  36 bb27:                                             ; preds = %bb117, %bb
  37   %tmp28 = phi i32 [ 8, %bb ], [ %tmp112, %bb117 ]
  38   br label %bb29
  39
  40 bb29:                                             ; preds = %bb40, %bb27
  41   %tmp30 = phi i32 [ %tmp43, %bb40 ], [ %tmp28, %bb27 ]
  42   %tmp31 = phi i32 [ %tmp41, %bb40 ], [ %tmp25, %bb27 ]
  43   br label %bb32
  44
  45 bb32:                                             ; preds = %bb37, %bb29
  46   %tmp33 = phi i64 [ 0, %bb29 ], [ %tmp38, %bb37 ]
  47   %tmp34 = trunc i64 %tmp33 to i32
  48   %tmp35 = add i32 %tmp30, %tmp34
  49   %tmp36 = icmp ult i32 %tmp35, %tmp20
  50   br i1 %tmp36, label %bb37, label %bb56
  51
  52 bb37:                                             ; preds = %bb32
  53   %tmp38 = add nuw nsw i64 %tmp33, 1
  54   %tmp39 = icmp ult i64 %tmp38, %tmp24
  55   br i1 %tmp39, label %bb32, label %bb40
  56
  57 bb40:                                             ; preds = %bb37
  58   %tmp41 = add i32 %tmp31, -1
  59   %tmp42 = trunc i64 %tmp38 to i32
  60   %tmp43 = add i32 %tmp30, %tmp42
  61   %tmp44 = icmp eq i32 %tmp41, 0
  62   br i1 %tmp44, label %bb45, label %bb29
  63
  64 bb45:                                             ; preds = %bb40
  65   ret void
  66
  67 bb46:                                             ; preds = %bb
  68   %tmp47 = sub nsw i32 %tmp11, %tmp25
  69   br label %bb48
  70
  71 bb48:                                             ; preds = %bb117, %bb46
  72   %tmp49 = phi i32 [ 8, %bb46 ], [ %tmp112, %bb117 ]
  73   %tmp50 = phi i32 [ %tmp47, %bb46 ], [ %tmp118, %bb117 ]
  74   br label %bb51
  75
  76 bb51:                                             ; preds = %bb58, %bb48
  77   %tmp52 = phi i64 [ 0, %bb48 ], [ %tmp59, %bb58 ]
  78   %tmp53 = phi i32 [ %tmp49, %bb48 ], [ %tmp54, %bb58 ]
  79   %tmp54 = add i32 %tmp53, 1
  80   %tmp55 = icmp ult i32 %tmp53, %tmp20
  81   br i1 %tmp55, label %bb58, label %bb56
  82
  83 bb56:                                             ; preds = %bb109, %bb101, %bb93, %bb85, %bb77, %bb69, %bb61, %bb51, %bb32
  84   unreachable
  85
  86 bb58:                                             ; preds = %bb51
  87   %tmp59 = add nuw nsw i64 %tmp52, 1
  88   %tmp60 = icmp ult i64 %tmp59, %tmp24
  89   br i1 %tmp60, label %bb51, label %bb61
  90
  91 bb61:                                             ; preds = %bb66, %bb58
  92   %tmp62 = phi i64 [ %tmp67, %bb66 ], [ 0, %bb58 ]
  93   %tmp63 = phi i32 [ %tmp64, %bb66 ], [ %tmp54, %bb58 ]
  94   %tmp64 = add i32 %tmp63, 1
  95   %tmp65 = icmp ult i32 %tmp63, %tmp20
  96   br i1 %tmp65, label %bb66, label %bb56
  97
  98 bb66:                                             ; preds = %bb61
  99   %tmp67 = add nuw nsw i64 %tmp62, 1
 100   %tmp68 = icmp ult i64 %tmp67, %tmp24
 101   br i1 %tmp68, label %bb61, label %bb69
 102
 103 bb69:                                             ; preds = %bb74, %bb66
 104   %tmp70 = phi i64 [ %tmp75, %bb74 ], [ 0, %bb66 ]
 105   %tmp71 = phi i32 [ %tmp72, %bb74 ], [ %tmp64, %bb66 ]
 106   %tmp72 = add i32 %tmp71, 1
 107   %tmp73 = icmp ult i32 %tmp71, %tmp20
 108   br i1 %tmp73, label %bb74, label %bb56
 109
 110 bb74:                                             ; preds = %bb69
 111   %tmp75 = add nuw nsw i64 %tmp70, 1
 112   %tmp76 = icmp ult i64 %tmp75, %tmp24
 113   br i1 %tmp76, label %bb69, label %bb77
 114
 115 bb77:                                             ; preds = %bb82, %bb74
 116   %tmp78 = phi i64 [ %tmp83, %bb82 ], [ 0, %bb74 ]
 117   %tmp79 = phi i32 [ %tmp80, %bb82 ], [ %tmp72, %bb74 ]
 118   %tmp80 = add i32 %tmp79, 1
 119   %tmp81 = icmp ult i32 %tmp79, %tmp20
 120   br i1 %tmp81, label %bb82, label %bb56
 121
 122 bb82:                                             ; preds = %bb77
 123   %tmp83 = add nuw nsw i64 %tmp78, 1
 124   %tmp84 = icmp ult i64 %tmp83, %tmp24
 125   br i1 %tmp84, label %bb77, label %bb85
 126
 127 bb85:                                             ; preds = %bb90, %bb82
 128   %tmp86 = phi i64 [ %tmp91, %bb90 ], [ 0, %bb82 ]
 129   %tmp87 = phi i32 [ %tmp88, %bb90 ], [ %tmp80, %bb82 ]
 130   %tmp88 = add i32 %tmp87, 1
 131   %tmp89 = icmp ult i32 %tmp87, %tmp20
 132   br i1 %tmp89, label %bb90, label %bb56
 133
 134 bb90:                                             ; preds = %bb85
 135   %tmp91 = add nuw nsw i64 %tmp86, 1
 136   %tmp92 = icmp ult i64 %tmp91, %tmp24
 137   br i1 %tmp92, label %bb85, label %bb93
 138
 139 bb93:                                             ; preds = %bb98, %bb90
 140   %tmp94 = phi i64 [ %tmp99, %bb98 ], [ 0, %bb90 ]
 141   %tmp95 = phi i32 [ %tmp96, %bb98 ], [ %tmp88, %bb90 ]
 142   %tmp96 = add i32 %tmp95, 1
 143   %tmp97 = icmp ult i32 %tmp95, %tmp20
 144   br i1 %tmp97, label %bb98, label %bb56
 145
 146 bb98:                                             ; preds = %bb93
 147   %tmp99 = add nuw nsw i64 %tmp94, 1
 148   %tmp100 = icmp ult i64 %tmp99, %tmp24
 149   br i1 %tmp100, label %bb93, label %bb101
 150
 151 bb101:                                            ; preds = %bb106, %bb98
 152   %tmp102 = phi i64 [ %tmp107, %bb106 ], [ 0, %bb98 ]
 153   %tmp103 = phi i32 [ %tmp104, %bb106 ], [ %tmp96, %bb98 ]
 154   %tmp104 = add i32 %tmp103, 1
 155   %tmp105 = icmp ult i32 %tmp103, %tmp20
 156   br i1 %tmp105, label %bb106, label %bb56
 157
 158 bb106:                                            ; preds = %bb101
 159   %tmp107 = add nuw nsw i64 %tmp102, 1
 160   %tmp108 = icmp ult i64 %tmp107, %tmp24
 161   br i1 %tmp108, label %bb101, label %bb109
 162
 163 bb109:                                            ; preds = %bb114, %bb106
 164   %tmp110 = phi i64 [ %tmp115, %bb114 ], [ 0, %bb106 ]
 165   %tmp111 = phi i32 [ %tmp112, %bb114 ], [ %tmp104, %bb106 ]
 166   %tmp112 = add i32 %tmp111, 1
 167   %tmp113 = icmp ult i32 %tmp111, %tmp20
 168   br i1 %tmp113, label %bb114, label %bb56
 169
 170 bb114:                                            ; preds = %bb109
 171   %tmp115 = add nuw nsw i64 %tmp110, 1
 172   %tmp116 = icmp ult i64 %tmp115, %tmp24
 173   br i1 %tmp116, label %bb109, label %bb117
 174
 175 bb117:                                            ; preds = %bb114
 176   %tmp118 = add i32 %tmp50, -8
 177   %tmp119 = icmp eq i32 %tmp118, 0
 178   br i1 %tmp119, label %bb27, label %bb48
 179 }
 180
 181 !0 = !{i32 0, i32 2147483647}