llvm/test/Analysis/ScalarEvolution/pr22674.ll

   1 ; RUN: opt -loop-reduce -S %s
   2
   3
   4 target datalayout = "e-m:e-p:32:32-i64:64-f80:128-n8:16:32:64-S128"
   5 target triple = "x86_64-pc-linux-gnux32"
   6
   7 %"class.llvm::AttributeSetNode.230.2029.3828.6141.6912.7683.8454.9482.9996.10253.18506" = type { %"class.llvm::FoldingSetImpl::Node.1.1801.3600.5913.6684.7455.8226.9254.9768.10025.18505", i32 }
   8 %"class.llvm::FoldingSetImpl::Node.1.1801.3600.5913.6684.7455.8226.9254.9768.10025.18505" = type { ptr }
   9 %"struct.std::pair.241.2040.3839.6152.6923.7694.8465.9493.10007.10264.18507" = type { i32, ptr }
  10 %"class.llvm::Attribute.222.2021.3820.6133.6904.7675.8446.9474.9988.10245.18509" = type { ptr }
  11 %"class.llvm::AttributeImpl.2.1802.3601.5914.6685.7456.8227.9255.9769.10026.18508" = type <{ ptr, %"class.llvm::FoldingSetImpl::Node.1.1801.3600.5913.6684.7455.8226.9254.9768.10025.18505", i8, [3 x i8] }>
  12
  13 ; Function Attrs: nounwind uwtable
  14 define void @_ZNK4llvm11AttrBuilder13hasAttributesENS_12AttributeSetEy(i1 %arg) #0 align 2 {
  15 entry:
  16   br i1 %arg, label %cond.false, label %_ZNK4llvm12AttributeSet11getNumSlotsEv.exit
  17
  18 _ZNK4llvm12AttributeSet11getNumSlotsEv.exit:      ; preds = %entry
  19   br i1 %arg, label %cond.false, label %for.body.lr.ph.for.body.lr.ph.split_crit_edge
  20
  21 for.body.lr.ph.for.body.lr.ph.split_crit_edge:    ; preds = %_ZNK4llvm12AttributeSet11getNumSlotsEv.exit
  22   br label %land.lhs.true.i
  23
  24 land.lhs.true.i:                                  ; preds = %for.inc, %for.body.lr.ph.for.body.lr.ph.split_crit_edge
  25   %I.099 = phi i32 [ 0, %for.body.lr.ph.for.body.lr.ph.split_crit_edge ], [ %inc, %for.inc ]
  26   %cmp.i = icmp ugt i32 undef, %I.099
  27   br i1 %cmp.i, label %_ZNK4llvm12AttributeSet12getSlotIndexEj.exit, label %cond.false.i.split
  28
  29 cond.false.i.split:                               ; preds = %land.lhs.true.i
  30   unreachable
  31
  32 _ZNK4llvm12AttributeSet12getSlotIndexEj.exit:     ; preds = %land.lhs.true.i
  33   br i1 %arg, label %for.end, label %for.inc
  34
  35 for.inc:                                          ; preds = %_ZNK4llvm12AttributeSet12getSlotIndexEj.exit
  36   %inc = add i32 %I.099, 1
  37   br i1 %arg, label %cond.false, label %land.lhs.true.i
  38
  39 for.end:                                          ; preds = %_ZNK4llvm12AttributeSet12getSlotIndexEj.exit
  40   %I.099.lcssa129 = phi i32 [ %I.099, %_ZNK4llvm12AttributeSet12getSlotIndexEj.exit ]
  41   br i1 %arg, label %cond.false, label %_ZNK4llvm12AttributeSet3endEj.exit
  42
  43 cond.false:                                       ; preds = %for.end, %for.inc, %_ZNK4llvm12AttributeSet11getNumSlotsEv.exit, %entry
  44   unreachable
  45
  46 _ZNK4llvm12AttributeSet3endEj.exit:               ; preds = %for.end
  47   %second.i.i.i = getelementptr inbounds %"struct.std::pair.241.2040.3839.6152.6923.7694.8465.9493.10007.10264.18507", ptr undef, i32 %I.099.lcssa129, i32 1
  48   %0 = load ptr, ptr %second.i.i.i, align 4, !tbaa !2
  49   %NumAttrs.i.i.i = getelementptr inbounds %"class.llvm::AttributeSetNode.230.2029.3828.6141.6912.7683.8454.9482.9996.10253.18506", ptr %0, i32 0, i32 1
  50   %1 = load i32, ptr %NumAttrs.i.i.i, align 4, !tbaa !8
  51   %add.ptr.i.i.i55 = getelementptr inbounds %"class.llvm::Attribute.222.2021.3820.6133.6904.7675.8446.9474.9988.10245.18509", ptr undef, i32 %1
  52   br i1 %arg, label %return, label %for.body11
  53
  54 for.cond9:                                        ; preds = %_ZNK4llvm9Attribute13getKindAsEnumEv.exit
  55   %cmp10 = icmp eq ptr %incdec.ptr, %add.ptr.i.i.i55
  56   br i1 %cmp10, label %return, label %for.body11
  57
  58 for.body11:                                       ; preds = %for.cond9, %_ZNK4llvm12AttributeSet3endEj.exit
  59   %I5.096 = phi ptr [ %incdec.ptr, %for.cond9 ], [ undef, %_ZNK4llvm12AttributeSet3endEj.exit ]
  60   %2 = load i32, ptr %I5.096, align 4, !tbaa !10
  61   %tobool.i59 = icmp eq i32 %2, 0
  62   br i1 %tobool.i59, label %cond.false21, label %_ZNK4llvm9Attribute15isEnumAttributeEv.exit
  63
  64 _ZNK4llvm9Attribute15isEnumAttributeEv.exit:      ; preds = %for.body11
  65   switch i8 undef, label %cond.false21 [
  66     i8 0, label %_ZNK4llvm9Attribute13getKindAsEnumEv.exit
  67     i8 1, label %_ZNK4llvm9Attribute13getKindAsEnumEv.exit
  68     i8 2, label %_ZNK4llvm9Attribute15getKindAsStringEv.exit
  69   ]
  70
  71 _ZNK4llvm9Attribute13getKindAsEnumEv.exit:        ; preds = %_ZNK4llvm9Attribute15isEnumAttributeEv.exit, %_ZNK4llvm9Attribute15isEnumAttributeEv.exit
  72   %incdec.ptr = getelementptr inbounds %"class.llvm::Attribute.222.2021.3820.6133.6904.7675.8446.9474.9988.10245.18509", ptr %I5.096, i32 1
  73   br i1 %arg, label %for.cond9, label %return
  74
  75 cond.false21:                                     ; preds = %_ZNK4llvm9Attribute15isEnumAttributeEv.exit, %for.body11
  76   unreachable
  77
  78 _ZNK4llvm9Attribute15getKindAsStringEv.exit:      ; preds = %_ZNK4llvm9Attribute15isEnumAttributeEv.exit
  79   unreachable
  80
  81 return:                                           ; preds = %_ZNK4llvm9Attribute13getKindAsEnumEv.exit, %for.cond9, %_ZNK4llvm12AttributeSet3endEj.exit
  82   ret void
  83 }
  84
  85 attributes #0 = { nounwind uwtable "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
  86
  87 !llvm.module.flags = !{!0}
  88 !llvm.ident = !{!1}
  89
  90 !0 = !{i32 1, !"PIC Level", i32 2}
  91 !1 = !{!"clang version 3.7.0 (ssh://llvm@gnu-4.sc.intel.com/export/server/git/llvm/clang 4c31740d4f81614b6d278c7825cfdae5a1c78799) (llvm/llvm.git b693958bd09144aed90312709a7e2ccf7124eb53)"}
  92 !2 = !{!3, !7, i64 4}
  93 !3 = !{!"_ZTSSt4pairIjPN4llvm16AttributeSetNodeEE", !4, i64 0, !7, i64 4}
  94 !4 = !{!"int", !5, i64 0}
  95 !5 = !{!"omnipotent char", !6, i64 0}
  96 !6 = !{!"Simple C/C++ TBAA"}
  97 !7 = !{!"any pointer", !5, i64 0}
  98 !8 = !{!9, !4, i64 4}
  99 !9 = !{!"_ZTSN4llvm16AttributeSetNodeE", !4, i64 4}
 100 !10 = !{!7, !7, i64 0}