| blob | 37ad63a9a77298f5d2f1d5f9a222525ca8876423 |
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]
12 define void @foo() nounwind {
13 bb1.thread:
14 br label %bb1
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
112 return: ; preds = %bb1
113 ret void
114 }