1; RUN: opt < %s -passes=indvars -S | FileCheck %s 2 3; This loop has backedge-taken-count zero. Indvars shouldn't expand any 4; instructions to compute a trip count. 5 6target 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:32:32" 7target triple = "i386-pc-linux-gnu" 8 9define ptr @string_expandtabs(i1 %arg) nounwind { 10; CHECK-LABEL: @string_expandtabs( 11; CHECK-NOT: select 12entry: 13 br i1 %arg, label %bb33, label %bb1 14 15bb1: ; preds = %entry 16 br i1 %arg, label %overflow1, label %bb15 17 18bb15: ; preds = %bb1 19 br i1 %arg, label %bb33, label %bb17 20 21bb17: ; preds = %bb15 22 br label %bb30 23 24bb19: ; preds = %bb30 25 br i1 %arg, label %bb20, label %bb29 26 27bb20: ; preds = %bb19 28 %0 = load i32, ptr undef, align 4 ; <i32> [#uses=1] 29 %1 = sub i32 %0, undef ; <i32> [#uses=1] 30 br label %bb23 31 32bb21: ; preds = %bb23 33 %2 = icmp ult ptr %q.0, undef ; <i1> [#uses=1] 34 br i1 %2, label %bb22, label %overflow2 35 36bb22: ; preds = %bb21 37 %3 = getelementptr i8, ptr %q.0, i32 1 ; <ptr> [#uses=1] 38 br label %bb23 39 40bb23: ; preds = %bb22, %bb20 41 %i.2 = phi i32 [ %1, %bb20 ], [ %4, %bb22 ] ; <i32> [#uses=1] 42 %q.0 = phi ptr [ undef, %bb20 ], [ %3, %bb22 ] ; <ptr> [#uses=3] 43 %4 = add i32 %i.2, -1 ; <i32> [#uses=2] 44 %5 = icmp eq i32 %4, -1 ; <i1> [#uses=1] 45 br i1 %5, label %bb29, label %bb21 46 47bb29: ; preds = %bb23, %bb19 48 %q.1 = phi ptr [ undef, %bb19 ], [ %q.0, %bb23 ] ; <ptr> [#uses=0] 49 br label %bb30 50 51bb30: ; preds = %bb29, %bb17 52 br i1 %arg, label %bb19, label %bb33 53 54overflow2: ; preds = %bb21 55 br i1 %arg, label %bb32, label %overflow1 56 57bb32: ; preds = %overflow2 58 br label %overflow1 59 60overflow1: ; preds = %bb32, %overflow2, %bb1 61 ret ptr null 62 63bb33: ; preds = %bb30, %bb15, %entry 64 ret ptr undef 65} 66