polly/test/ScopInfo/long-compile-time-alias-analysis.ll

   1 ; RUN: opt %loadPolly -polly-print-scops -disable-output < %s
   2
   3 ; Verify that the compilation of this test case does not take infinite time.
   4 ; At some point Polly tried to model this test case and got stuck in
   5 ; computing a lexicographic minima. Today it should gracefully bail out.
   6 target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
   7 target triple = "aarch64--linux-android"
   8
   9 %0 = type { ptr, i64, i64, i64, i64, i64, i64 }
  10
  11 define void @_Z1fR1SS0_Ph(ptr nocapture readonly dereferenceable(56) %arg, ptr nocapture readonly dereferenceable(56) %arg1, ptr nocapture readonly %arg2) {
  12 bb:
  13   %tmp = getelementptr inbounds %0, ptr %arg1, i64 0, i32 1
  14   %tmp4 = load ptr, ptr %arg, align 8
  15   %tmp5 = getelementptr inbounds %0, ptr %arg, i64 0, i32 4
  16   %tmp6 = load i64, ptr %tmp5, align 8
  17   %tmp7 = getelementptr inbounds %0, ptr %arg, i64 0, i32 1
  18   %tmp8 = load i64, ptr %tmp7, align 8
  19   %tmp9 = mul i64 %tmp8, %tmp6
  20   %tmp10 = getelementptr inbounds i8, ptr %tmp4, i64 %tmp9
  21   %tmp11 = getelementptr inbounds %0, ptr %arg, i64 0, i32 3
  22   %tmp12 = load i64, ptr %tmp11, align 8
  23   %tmp13 = getelementptr inbounds i8, ptr %tmp10, i64 %tmp12
  24   %tmp14 = getelementptr inbounds %0, ptr %arg, i64 0, i32 6
  25   %tmp15 = load i64, ptr %tmp14, align 8
  26   %tmp16 = add i64 %tmp15, 1
  27   %tmp17 = icmp eq i64 %tmp16, %tmp6
  28   br i1 %tmp17, label %bb51, label %bb18
  29
  30 bb18:                                             ; preds = %bb
  31   %tmp19 = getelementptr inbounds %0, ptr %arg, i64 0, i32 2
  32   %tmp20 = load i64, ptr %tmp19, align 8
  33   %tmp21 = mul i64 %tmp20, %tmp8
  34   %tmp22 = getelementptr inbounds i8, ptr %tmp13, i64 %tmp21
  35   %tmp23 = getelementptr inbounds i8, ptr %tmp22, i64 %tmp9
  36   %tmp24 = getelementptr inbounds i8, ptr %tmp23, i64 %tmp12
  37   %tmp26 = load ptr, ptr %arg1, align 8
  38   %tmp27 = load i64, ptr %tmp, align 8
  39   %tmp28 = getelementptr inbounds %0, ptr %arg1, i64 0, i32 4
  40   %tmp29 = load i64, ptr %tmp28, align 8
  41   %tmp30 = mul i64 %tmp27, %tmp29
  42   %tmp31 = getelementptr inbounds i16, ptr %tmp26, i64 %tmp30
  43   %tmp32 = getelementptr inbounds %0, ptr %arg1, i64 0, i32 3
  44   %tmp33 = load i64, ptr %tmp32, align 8
  45   %tmp34 = getelementptr inbounds i16, ptr %tmp31, i64 %tmp33
  46   %tmp35 = getelementptr inbounds %0, ptr %arg, i64 0, i32 5
  47   %tmp36 = load i64, ptr %tmp35, align 8
  48   br label %bb37
  49
  50 bb37:                                             ; preds = %bb57, %bb18
  51   %tmp38 = phi i64 [ %tmp6, %bb18 ], [ %tmp58, %bb57 ]
  52   %tmp39 = phi i64 [ %tmp15, %bb18 ], [ %tmp59, %bb57 ]
  53   %tmp40 = phi i64 [ %tmp27, %bb18 ], [ %tmp60, %bb57 ]
  54   %tmp41 = phi i64 [ %tmp8, %bb18 ], [ %tmp61, %bb57 ]
  55   %tmp42 = phi i64 [ %tmp12, %bb18 ], [ %tmp62, %bb57 ]
  56   %tmp43 = phi i64 [ %tmp36, %bb18 ], [ %tmp63, %bb57 ]
  57   %tmp44 = phi ptr [ %tmp34, %bb18 ], [ %tmp69, %bb57 ]
  58   %tmp45 = phi ptr [ %tmp13, %bb18 ], [ %tmp64, %bb57 ]
  59   %tmp46 = phi ptr [ %tmp24, %bb18 ], [ %tmp68, %bb57 ]
  60   %tmp47 = phi i64 [ 0, %bb18 ], [ %tmp70, %bb57 ]
  61   %tmp48 = add i64 %tmp43, 1
  62   %tmp49 = sub i64 %tmp48, %tmp42
  63   %tmp50 = icmp eq i64 %tmp49, 0
  64   br i1 %tmp50, label %bb57, label %bb74
  65
  66 bb51:                                             ; preds = %bb57, %bb
  67   ret void
  68
  69 bb52:                                             ; preds = %bb176
  70   %tmp53 = load i64, ptr %tmp7, align 8
  71   %tmp54 = load i64, ptr %tmp, align 8
  72   %tmp55 = load i64, ptr %tmp14, align 8
  73   %tmp56 = load i64, ptr %tmp5, align 8
  74   br label %bb57
  75
  76 bb57:                                             ; preds = %bb52, %bb37
  77   %tmp58 = phi i64 [ %tmp56, %bb52 ], [ %tmp38, %bb37 ]
  78   %tmp59 = phi i64 [ %tmp55, %bb52 ], [ %tmp39, %bb37 ]
  79   %tmp60 = phi i64 [ %tmp54, %bb52 ], [ %tmp40, %bb37 ]
  80   %tmp61 = phi i64 [ %tmp53, %bb52 ], [ %tmp41, %bb37 ]
  81   %tmp62 = phi i64 [ %tmp179, %bb52 ], [ %tmp42, %bb37 ]
  82   %tmp63 = phi i64 [ %tmp178, %bb52 ], [ %tmp43, %bb37 ]
  83   %tmp64 = getelementptr inbounds i8, ptr %tmp45, i64 %tmp61
  84   %tmp65 = and i64 %tmp47, 1
  85   %tmp66 = icmp eq i64 %tmp65, 0
  86   %tmp67 = getelementptr inbounds i8, ptr %tmp46, i64 %tmp61
  87   %tmp68 = select i1 %tmp66, ptr %tmp46, ptr %tmp67
  88   %tmp69 = getelementptr inbounds i16, ptr %tmp44, i64 %tmp60
  89   %tmp70 = add i64 %tmp47, 1
  90   %tmp71 = add i64 %tmp59, 1
  91   %tmp72 = sub i64 %tmp71, %tmp58
  92   %tmp73 = icmp ult i64 %tmp70, %tmp72
  93   br i1 %tmp73, label %bb37, label %bb51
  94
  95 bb74:                                             ; preds = %bb176, %bb37
  96   %tmp75 = phi i64 [ %tmp181, %bb176 ], [ %tmp49, %bb37 ]
  97   %tmp76 = phi i64 [ %tmp177, %bb176 ], [ 0, %bb37 ]
  98   %tmp77 = getelementptr inbounds i8, ptr %tmp45, i64 %tmp76
  99   %tmp78 = load i8, ptr %tmp77, align 1
 100   %tmp79 = zext i8 %tmp78 to i32
 101   %tmp80 = or i64 %tmp76, 1
 102   %tmp81 = getelementptr inbounds i8, ptr %tmp45, i64 %tmp80
 103   %tmp82 = load i8, ptr %tmp81, align 1
 104   %tmp83 = zext i8 %tmp82 to i32
 105   %tmp84 = getelementptr inbounds i8, ptr %tmp46, i64 %tmp76
 106   %tmp85 = load i8, ptr %tmp84, align 1
 107   %tmp86 = zext i8 %tmp85 to i32
 108   %tmp87 = getelementptr inbounds i8, ptr %tmp46, i64 %tmp80
 109   %tmp88 = load i8, ptr %tmp87, align 1
 110   %tmp89 = zext i8 %tmp88 to i32
 111   %tmp90 = mul nuw nsw i32 %tmp86, 517
 112   %tmp91 = add nsw i32 %tmp90, -66176
 113   %tmp92 = sub nsw i32 128, %tmp86
 114   %tmp93 = mul nsw i32 %tmp92, 100
 115   %tmp94 = sub nsw i32 128, %tmp89
 116   %tmp95 = mul nsw i32 %tmp94, 208
 117   %tmp96 = mul nuw nsw i32 %tmp89, 409
 118   %tmp97 = add nsw i32 %tmp96, -52352
 119   %tmp98 = mul nuw nsw i32 %tmp79, 298
 120   %tmp99 = add nsw i32 %tmp98, -4768
 121   %tmp100 = add nsw i32 %tmp91, %tmp99
 122   %tmp101 = sdiv i32 %tmp100, 256
 123   %tmp102 = tail call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 %tmp99, i32 %tmp95)
 124   %tmp103 = extractvalue { i32, i1 } %tmp102, 1
 125   br i1 %tmp103, label %bb104, label %bb105
 126
 127 bb104:                                            ; preds = %bb120, %bb109, %bb105, %bb74
 128   tail call void @llvm.trap()
 129   unreachable
 130
 131 bb105:                                            ; preds = %bb74
 132   %tmp106 = extractvalue { i32, i1 } %tmp102, 0
 133   %tmp107 = tail call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 %tmp106, i32 %tmp93)
 134   %tmp108 = extractvalue { i32, i1 } %tmp107, 1
 135   br i1 %tmp108, label %bb104, label %bb109
 136
 137 bb109:                                            ; preds = %bb105
 138   %tmp110 = extractvalue { i32, i1 } %tmp107, 0
 139   %tmp111 = sdiv i32 %tmp110, 256
 140   %tmp112 = add nsw i32 %tmp97, %tmp99
 141   %tmp113 = sdiv i32 %tmp112, 256
 142   %tmp114 = mul nuw nsw i32 %tmp83, 298
 143   %tmp115 = add nsw i32 %tmp114, -4768
 144   %tmp116 = add nsw i32 %tmp91, %tmp115
 145   %tmp117 = sdiv i32 %tmp116, 256
 146   %tmp118 = tail call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 %tmp115, i32 %tmp95)
 147   %tmp119 = extractvalue { i32, i1 } %tmp118, 1
 148   br i1 %tmp119, label %bb104, label %bb120
 149
 150 bb120:                                            ; preds = %bb109
 151   %tmp121 = extractvalue { i32, i1 } %tmp118, 0
 152   %tmp122 = tail call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 %tmp121, i32 %tmp93)
 153   %tmp123 = extractvalue { i32, i1 } %tmp122, 1
 154   br i1 %tmp123, label %bb104, label %bb124
 155
 156 bb124:                                            ; preds = %bb120
 157   %tmp125 = sext i32 %tmp101 to i64
 158   %tmp126 = getelementptr inbounds i8, ptr %arg2, i64 %tmp125
 159   %tmp127 = load i8, ptr %tmp126, align 1
 160   %tmp128 = zext i8 %tmp127 to i32
 161   %tmp129 = lshr i32 %tmp128, 3
 162   %tmp130 = shl nuw nsw i32 %tmp129, 11
 163   %tmp131 = sext i32 %tmp111 to i64
 164   %tmp132 = getelementptr inbounds i8, ptr %arg2, i64 %tmp131
 165   %tmp133 = load i8, ptr %tmp132, align 1
 166   %tmp134 = zext i8 %tmp133 to i32
 167   %tmp135 = lshr i32 %tmp134, 2
 168   %tmp136 = shl nuw nsw i32 %tmp135, 5
 169   %tmp137 = or i32 %tmp136, %tmp130
 170   %tmp138 = sext i32 %tmp113 to i64
 171   %tmp139 = getelementptr inbounds i8, ptr %arg2, i64 %tmp138
 172   %tmp140 = load i8, ptr %tmp139, align 1
 173   %tmp141 = zext i8 %tmp140 to i32
 174   %tmp142 = lshr i32 %tmp141, 3
 175   %tmp143 = or i32 %tmp137, %tmp142
 176   %tmp144 = icmp ult i64 %tmp80, %tmp75
 177   br i1 %tmp144, label %bb145, label %bb173
 178
 179 bb145:                                            ; preds = %bb124
 180   %tmp146 = add nsw i32 %tmp97, %tmp115
 181   %tmp147 = sdiv i32 %tmp146, 256
 182   %tmp148 = sext i32 %tmp147 to i64
 183   %tmp149 = getelementptr inbounds i8, ptr %arg2, i64 %tmp148
 184   %tmp150 = load i8, ptr %tmp149, align 1
 185   %tmp151 = extractvalue { i32, i1 } %tmp122, 0
 186   %tmp152 = sdiv i32 %tmp151, 256
 187   %tmp153 = sext i32 %tmp152 to i64
 188   %tmp154 = getelementptr inbounds i8, ptr %arg2, i64 %tmp153
 189   %tmp155 = load i8, ptr %tmp154, align 1
 190   %tmp156 = sext i32 %tmp117 to i64
 191   %tmp157 = getelementptr inbounds i8, ptr %arg2, i64 %tmp156
 192   %tmp158 = load i8, ptr %tmp157, align 1
 193   %tmp159 = zext i8 %tmp158 to i32
 194   %tmp160 = lshr i32 %tmp159, 3
 195   %tmp161 = shl nuw nsw i32 %tmp160, 11
 196   %tmp162 = zext i8 %tmp155 to i32
 197   %tmp163 = lshr i32 %tmp162, 2
 198   %tmp164 = shl nuw nsw i32 %tmp163, 5
 199   %tmp165 = zext i8 %tmp150 to i32
 200   %tmp166 = lshr i32 %tmp165, 3
 201   %tmp167 = or i32 %tmp164, %tmp166
 202   %tmp168 = or i32 %tmp167, %tmp161
 203   %tmp169 = shl nuw i32 %tmp168, 16
 204   %tmp170 = or i32 %tmp169, %tmp143
 205   %tmp171 = getelementptr inbounds i16, ptr %tmp44, i64 %tmp76
 206   store i32 %tmp170, ptr %tmp171, align 4
 207   br label %bb176
 208
 209 bb173:                                            ; preds = %bb124
 210   %tmp174 = trunc i32 %tmp143 to i16
 211   %tmp175 = getelementptr inbounds i16, ptr %tmp44, i64 %tmp76
 212   store i16 %tmp174, ptr %tmp175, align 2
 213   br label %bb176
 214
 215 bb176:                                            ; preds = %bb173, %bb145
 216   %tmp177 = add i64 %tmp76, 2
 217   %tmp178 = load i64, ptr %tmp35, align 8
 218   %tmp179 = load i64, ptr %tmp11, align 8
 219   %tmp180 = add i64 %tmp178, 1
 220   %tmp181 = sub i64 %tmp180, %tmp179
 221   %tmp182 = icmp ult i64 %tmp177, %tmp181
 222   br i1 %tmp182, label %bb74, label %bb52
 223 }
 224
 225 ; Function Attrs: noreturn nounwind
 226 declare void @llvm.trap() #0
 227
 228 ; Function Attrs: nounwind readnone speculatable
 229 declare { i32, i1 } @llvm.sadd.with.overflow.i32(i32, i32) #1
 230
 231 attributes #0 = { noreturn nounwind }
 232 attributes #1 = { nounwind readnone speculatable }