test/Transforms/IndVarSimplify/2009-04-14-shorten_iv_vars.ll

   1 ; RUN: opt < %s -indvars -S | not grep {sext}
   2 ; ModuleID = '<stdin>'
   3 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
   4 target triple = "x86_64-apple-darwin9.6"
   5 @a = external global i32*               ; <i32**> [#uses=3]
   6 @b = external global i32*               ; <i32**> [#uses=3]
   7 @c = external global i32*               ; <i32**> [#uses=3]
   8 @d = external global i32*               ; <i32**> [#uses=3]
   9 @e = external global i32*               ; <i32**> [#uses=3]
  10 @f = external global i32*               ; <i32**> [#uses=3]
  11
  12 define void @foo() nounwind {
  13 bb1.thread:
  14         br label %bb1
  15
  16 bb1:            ; preds = %bb1, %bb1.thread
  17         %i.0.reg2mem.0 = phi i32 [ 0, %bb1.thread ], [ %84, %bb1 ]              ; <i32> [#uses=19]
  18         %0 = load i32** @a, align 8             ; <i32*> [#uses=1]
  19         %1 = load i32** @b, align 8             ; <i32*> [#uses=1]
  20         %2 = sext i32 %i.0.reg2mem.0 to i64             ; <i64> [#uses=1]
  21         %3 = getelementptr i32* %1, i64 %2              ; <i32*> [#uses=1]
  22         %4 = load i32* %3, align 1              ; <i32> [#uses=1]
  23         %5 = load i32** @c, align 8             ; <i32*> [#uses=1]
  24         %6 = sext i32 %i.0.reg2mem.0 to i64             ; <i64> [#uses=1]
  25         %7 = getelementptr i32* %5, i64 %6              ; <i32*> [#uses=1]
  26         %8 = load i32* %7, align 1              ; <i32> [#uses=1]
  27         %9 = add i32 %8, %4             ; <i32> [#uses=1]
  28         %10 = sext i32 %i.0.reg2mem.0 to i64            ; <i64> [#uses=1]
  29         %11 = getelementptr i32* %0, i64 %10            ; <i32*> [#uses=1]
  30         store i32 %9, i32* %11, align 1
  31         %12 = load i32** @a, align 8            ; <i32*> [#uses=1]
  32         %13 = add i32 %i.0.reg2mem.0, 1         ; <i32> [#uses=1]
  33         %14 = load i32** @b, align 8            ; <i32*> [#uses=1]
  34         %15 = add i32 %i.0.reg2mem.0, 1         ; <i32> [#uses=1]
  35         %16 = sext i32 %15 to i64               ; <i64> [#uses=1]
  36         %17 = getelementptr i32* %14, i64 %16           ; <i32*> [#uses=1]
  37         %18 = load i32* %17, align 1            ; <i32> [#uses=1]
  38         %19 = load i32** @c, align 8            ; <i32*> [#uses=1]
  39         %20 = add i32 %i.0.reg2mem.0, 1         ; <i32> [#uses=1]
  40         %21 = sext i32 %20 to i64               ; <i64> [#uses=1]
  41         %22 = getelementptr i32* %19, i64 %21           ; <i32*> [#uses=1]
  42         %23 = load i32* %22, align 1            ; <i32> [#uses=1]
  43         %24 = add i32 %23, %18          ; <i32> [#uses=1]
  44         %25 = sext i32 %13 to i64               ; <i64> [#uses=1]
  45         %26 = getelementptr i32* %12, i64 %25           ; <i32*> [#uses=1]
  46         store i32 %24, i32* %26, align 1
  47         %27 = load i32** @a, align 8            ; <i32*> [#uses=1]
  48         %28 = add i32 %i.0.reg2mem.0, 2         ; <i32> [#uses=1]
  49         %29 = load i32** @b, align 8            ; <i32*> [#uses=1]
  50         %30 = add i32 %i.0.reg2mem.0, 2         ; <i32> [#uses=1]
  51         %31 = sext i32 %30 to i64               ; <i64> [#uses=1]
  52         %32 = getelementptr i32* %29, i64 %31           ; <i32*> [#uses=1]
  53         %33 = load i32* %32, align 1            ; <i32> [#uses=1]
  54         %34 = load i32** @c, align 8            ; <i32*> [#uses=1]
  55         %35 = add i32 %i.0.reg2mem.0, 2         ; <i32> [#uses=1]
  56         %36 = sext i32 %35 to i64               ; <i64> [#uses=1]
  57         %37 = getelementptr i32* %34, i64 %36           ; <i32*> [#uses=1]
  58         %38 = load i32* %37, align 1            ; <i32> [#uses=1]
  59         %39 = add i32 %38, %33          ; <i32> [#uses=1]
  60         %40 = sext i32 %28 to i64               ; <i64> [#uses=1]
  61         %41 = getelementptr i32* %27, i64 %40           ; <i32*> [#uses=1]
  62         store i32 %39, i32* %41, align 1
  63         %42 = load i32** @d, align 8            ; <i32*> [#uses=1]
  64         %43 = load i32** @e, align 8            ; <i32*> [#uses=1]
  65         %44 = sext i32 %i.0.reg2mem.0 to i64            ; <i64> [#uses=1]
  66         %45 = getelementptr i32* %43, i64 %44           ; <i32*> [#uses=1]
  67         %46 = load i32* %45, align 1            ; <i32> [#uses=1]
  68         %47 = load i32** @f, align 8            ; <i32*> [#uses=1]
  69         %48 = sext i32 %i.0.reg2mem.0 to i64            ; <i64> [#uses=1]
  70         %49 = getelementptr i32* %47, i64 %48           ; <i32*> [#uses=1]
  71         %50 = load i32* %49, align 1            ; <i32> [#uses=1]
  72         %51 = add i32 %50, %46          ; <i32> [#uses=1]
  73         %52 = sext i32 %i.0.reg2mem.0 to i64            ; <i64> [#uses=1]
  74         %53 = getelementptr i32* %42, i64 %52           ; <i32*> [#uses=1]
  75         store i32 %51, i32* %53, align 1
  76         %54 = load i32** @d, align 8            ; <i32*> [#uses=1]
  77         %55 = add i32 %i.0.reg2mem.0, 1         ; <i32> [#uses=1]
  78         %56 = load i32** @e, align 8            ; <i32*> [#uses=1]
  79         %57 = add i32 %i.0.reg2mem.0, 1         ; <i32> [#uses=1]
  80         %58 = sext i32 %57 to i64               ; <i64> [#uses=1]
  81         %59 = getelementptr i32* %56, i64 %58           ; <i32*> [#uses=1]
  82         %60 = load i32* %59, align 1            ; <i32> [#uses=1]
  83         %61 = load i32** @f, align 8            ; <i32*> [#uses=1]
  84         %62 = add i32 %i.0.reg2mem.0, 1         ; <i32> [#uses=1]
  85         %63 = sext i32 %62 to i64               ; <i64> [#uses=1]
  86         %64 = getelementptr i32* %61, i64 %63           ; <i32*> [#uses=1]
  87         %65 = load i32* %64, align 1            ; <i32> [#uses=1]
  88         %66 = add i32 %65, %60          ; <i32> [#uses=1]
  89         %67 = sext i32 %55 to i64               ; <i64> [#uses=1]
  90         %68 = getelementptr i32* %54, i64 %67           ; <i32*> [#uses=1]
  91         store i32 %66, i32* %68, align 1
  92         %69 = load i32** @d, align 8            ; <i32*> [#uses=1]
  93         %70 = add i32 %i.0.reg2mem.0, 2         ; <i32> [#uses=1]
  94         %71 = load i32** @e, align 8            ; <i32*> [#uses=1]
  95         %72 = add i32 %i.0.reg2mem.0, 2         ; <i32> [#uses=1]
  96         %73 = sext i32 %72 to i64               ; <i64> [#uses=1]
  97         %74 = getelementptr i32* %71, i64 %73           ; <i32*> [#uses=1]
  98         %75 = load i32* %74, align 1            ; <i32> [#uses=1]
  99         %76 = load i32** @f, align 8            ; <i32*> [#uses=1]
 100         %77 = add i32 %i.0.reg2mem.0, 2         ; <i32> [#uses=1]
 101         %78 = sext i32 %77 to i64               ; <i64> [#uses=1]
 102         %79 = getelementptr i32* %76, i64 %78           ; <i32*> [#uses=1]
 103         %80 = load i32* %79, align 1            ; <i32> [#uses=1]
 104         %81 = add i32 %80, %75          ; <i32> [#uses=1]
 105         %82 = sext i32 %70 to i64               ; <i64> [#uses=1]
 106         %83 = getelementptr i32* %69, i64 %82           ; <i32*> [#uses=1]
 107         store i32 %81, i32* %83, align 1
 108         %84 = add i32 %i.0.reg2mem.0, 1         ; <i32> [#uses=2]
 109         %85 = icmp sgt i32 %84, 23646           ; <i1> [#uses=1]
 110         br i1 %85, label %return, label %bb1
 111
 112 return:         ; preds = %bb1
 113         ret void
 114 }