1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -loop-reduce -S | FileCheck %s 2*9880d681SAndroid Build Coastguard Worker 3*9880d681SAndroid Build Coastguard Worker; The multiply in bb2 must not be reduced to an add, as the sext causes the 4*9880d681SAndroid Build Coastguard Worker; %1 argument to become negative after a while. 5*9880d681SAndroid Build Coastguard Worker 6*9880d681SAndroid Build Coastguard Worker; CHECK: sext i8 7*9880d681SAndroid Build Coastguard Worker; CHECK: mul i32 8*9880d681SAndroid Build Coastguard Worker; CHECK: store i32 9*9880d681SAndroid Build Coastguard Worker 10*9880d681SAndroid Build Coastguard Workertarget 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" 11*9880d681SAndroid Build Coastguard Workertarget triple = "i386-apple-darwin9.6" 12*9880d681SAndroid Build Coastguard Worker@table = common global [32 x [256 x i32]] zeroinitializer, align 32 ; <[32 x [256 x i32]]*> [#uses=2] 13*9880d681SAndroid Build Coastguard Worker 14*9880d681SAndroid Build Coastguard Workerdefine i32 @main() nounwind { 15*9880d681SAndroid Build Coastguard Workerbb4.thread: 16*9880d681SAndroid Build Coastguard Worker br label %bb2 17*9880d681SAndroid Build Coastguard Worker 18*9880d681SAndroid Build Coastguard Workerbb2: ; preds = %bb4, %bb2, %bb4.thread 19*9880d681SAndroid Build Coastguard Worker %i.0.reg2mem.0.ph = phi i32 [ 0, %bb4.thread ], [ %i.0.reg2mem.0.ph, %bb2 ], [ %indvar.next9, %bb4 ] ; <i32> [#uses=4] 20*9880d681SAndroid Build Coastguard Worker %j.0.reg2mem.0 = phi i32 [ 0, %bb4.thread ], [ %indvar.next, %bb2 ], [ 0, %bb4 ] ; <i32> [#uses=3] 21*9880d681SAndroid Build Coastguard Worker %0 = trunc i32 %j.0.reg2mem.0 to i8 ; <i8> [#uses=1] 22*9880d681SAndroid Build Coastguard Worker %1 = sext i8 %0 to i32 ; <i32> [#uses=1] 23*9880d681SAndroid Build Coastguard Worker %2 = mul i32 %1, %i.0.reg2mem.0.ph ; <i32> [#uses=1] 24*9880d681SAndroid Build Coastguard Worker %3 = getelementptr [32 x [256 x i32]], [32 x [256 x i32]]* @table, i32 0, i32 %i.0.reg2mem.0.ph, i32 %j.0.reg2mem.0 ; <i32*> [#uses=1] 25*9880d681SAndroid Build Coastguard Worker store i32 %2, i32* %3, align 4 26*9880d681SAndroid Build Coastguard Worker %indvar.next = add i32 %j.0.reg2mem.0, 1 ; <i32> [#uses=2] 27*9880d681SAndroid Build Coastguard Worker %exitcond = icmp eq i32 %indvar.next, 256 ; <i1> [#uses=1] 28*9880d681SAndroid Build Coastguard Worker br i1 %exitcond, label %bb4, label %bb2 29*9880d681SAndroid Build Coastguard Worker 30*9880d681SAndroid Build Coastguard Workerbb4: ; preds = %bb2 31*9880d681SAndroid Build Coastguard Worker %indvar.next9 = add i32 %i.0.reg2mem.0.ph, 1 ; <i32> [#uses=2] 32*9880d681SAndroid Build Coastguard Worker %exitcond10 = icmp eq i32 %indvar.next9, 32 ; <i1> [#uses=1] 33*9880d681SAndroid Build Coastguard Worker br i1 %exitcond10, label %bb5, label %bb2 34*9880d681SAndroid Build Coastguard Worker 35*9880d681SAndroid Build Coastguard Workerbb5: ; preds = %bb4 36*9880d681SAndroid Build Coastguard Worker %4 = load i32, i32* getelementptr ([32 x [256 x i32]], [32 x [256 x i32]]* @table, i32 0, i32 9, i32 132), align 16 ; <i32> [#uses=1] 37*9880d681SAndroid Build Coastguard Worker %5 = icmp eq i32 %4, -1116 ; <i1> [#uses=1] 38*9880d681SAndroid Build Coastguard Worker br i1 %5, label %bb7, label %bb6 39*9880d681SAndroid Build Coastguard Worker 40*9880d681SAndroid Build Coastguard Workerbb6: ; preds = %bb5 41*9880d681SAndroid Build Coastguard Worker tail call void @abort() noreturn nounwind 42*9880d681SAndroid Build Coastguard Worker unreachable 43*9880d681SAndroid Build Coastguard Worker 44*9880d681SAndroid Build Coastguard Workerbb7: ; preds = %bb5 45*9880d681SAndroid Build Coastguard Worker ret i32 0 46*9880d681SAndroid Build Coastguard Worker} 47*9880d681SAndroid Build Coastguard Worker 48*9880d681SAndroid Build Coastguard Workerdeclare void @abort() noreturn nounwind 49