llvm/test/Transforms/IndVarSimplify/divide-pointer.ll

   1 ; RUN: opt < %s -passes=indvars
   2 ; PR4271
   3
   4 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
   5 target triple = "i386-apple-darwin10.0"
   6         %struct.xyz = type <{ i64, i64, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i64, [8 x i8], i64, i64, i32, i32, [4 x i32], i32, i32, i32, i32, i32, i32, [76 x i32], i32, [2 x %struct.uvw] }>
   7         %struct.uvw = type <{ i64, i64 }>
   8
   9 define i32 @foo(ptr %header, ptr %p2, ptr %p3, ptr nocapture %p4) nounwind {
  10 entry:
  11         br label %while.body.i
  12
  13 while.body.i:           ; preds = %while.body.i, %entry
  14         br i1 undef, label %while.body.i, label %bcopy_internal.exit
  15
  16 bcopy_internal.exit:            ; preds = %while.body.i
  17         %conv135 = ptrtoint ptr %header to i32          ; <i32> [#uses=1]
  18         %shr136 = lshr i32 %conv135, 12         ; <i32> [#uses=1]
  19         br label %for.body
  20
  21 for.body:               ; preds = %for.body, %bcopy_internal.exit
  22         %ppnum.052 = phi i32 [ %inc, %for.body ], [ %shr136, %bcopy_internal.exit ]             ; <i32> [#uses=1]
  23         %inc = add i32 %ppnum.052, 1            ; <i32> [#uses=2]
  24         %cmp = icmp ugt i32 %inc, undef         ; <i1> [#uses=1]
  25         br i1 %cmp, label %if.then199, label %for.body
  26
  27 if.then199:             ; preds = %if.then199, %for.body
  28         br label %if.then199
  29 }
  30
  31 define i32 @same_thing_but_signed(ptr %header, ptr %p2, ptr %p3, ptr nocapture %p4) nounwind {
  32 entry:
  33         br label %while.body.i
  34
  35 while.body.i:           ; preds = %while.body.i, %entry
  36         br i1 undef, label %while.body.i, label %bcopy_internal.exit
  37
  38 bcopy_internal.exit:            ; preds = %while.body.i
  39         %conv135 = ptrtoint ptr %header to i32          ; <i32> [#uses=1]
  40         %shr136 = ashr i32 %conv135, 12         ; <i32> [#uses=1]
  41         br label %for.body
  42
  43 for.body:               ; preds = %for.body, %bcopy_internal.exit
  44         %ppnum.052 = phi i32 [ %inc, %for.body ], [ %shr136, %bcopy_internal.exit ]             ; <i32> [#uses=1]
  45         %inc = add i32 %ppnum.052, 1            ; <i32> [#uses=2]
  46         %cmp = icmp ugt i32 %inc, undef         ; <i1> [#uses=1]
  47         br i1 %cmp, label %if.then199, label %for.body
  48
  49 if.then199:             ; preds = %if.then199, %for.body
  50         br label %if.then199
  51 }
  52
  53 define i32 @same_thing_but_multiplied(ptr %header, ptr %p2, ptr %p3, ptr nocapture %p4) nounwind {
  54 entry:
  55         br label %while.body.i
  56
  57 while.body.i:           ; preds = %while.body.i, %entry
  58         br i1 undef, label %while.body.i, label %bcopy_internal.exit
  59
  60 bcopy_internal.exit:            ; preds = %while.body.i
  61         %conv135 = ptrtoint ptr %header to i32          ; <i32> [#uses=1]
  62         %shr136 = shl i32 %conv135, 12          ; <i32> [#uses=1]
  63         br label %for.body
  64
  65 for.body:               ; preds = %for.body, %bcopy_internal.exit
  66         %ppnum.052 = phi i32 [ %inc, %for.body ], [ %shr136, %bcopy_internal.exit ]             ; <i32> [#uses=1]
  67         %inc = add i32 %ppnum.052, 1            ; <i32> [#uses=2]
  68         %cmp = icmp ugt i32 %inc, undef         ; <i1> [#uses=1]
  69         br i1 %cmp, label %if.then199, label %for.body
  70
  71 if.then199:             ; preds = %if.then199, %for.body
  72         br label %if.then199
  73 }
  74
  75 define i32 @same_thing_but_xored(ptr %header, ptr %p2, ptr %p3, ptr nocapture %p4) nounwind {
  76 entry:
  77         br label %while.body.i
  78
  79 while.body.i:           ; preds = %while.body.i, %entry
  80         br i1 undef, label %while.body.i, label %bcopy_internal.exit
  81
  82 bcopy_internal.exit:            ; preds = %while.body.i
  83         %conv135 = ptrtoint ptr %header to i32          ; <i32> [#uses=1]
  84         %shr136 = xor i32 %conv135, 12          ; <i32> [#uses=1]
  85         br label %for.body
  86
  87 for.body:               ; preds = %for.body, %bcopy_internal.exit
  88         %ppnum.052 = phi i32 [ %inc, %for.body ], [ %shr136, %bcopy_internal.exit ]             ; <i32> [#uses=1]
  89         %inc = add i32 %ppnum.052, 1            ; <i32> [#uses=2]
  90         %cmp = icmp ugt i32 %inc, undef         ; <i1> [#uses=1]
  91         br i1 %cmp, label %if.then199, label %for.body
  92
  93 if.then199:             ; preds = %if.then199, %for.body
  94         br label %if.then199
  95 }