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

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