1; RUN: opt < %s -indvars -S | not grep {sext} 2; ModuleID = '<stdin>' 3target 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" 4target 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 12define void @foo() nounwind { 13bb1.thread: 14 br label %bb1 15 16bb1: ; 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 112return: ; preds = %bb1 113 ret void 114} 115