1; RUN: opt -jump-threading -S < %s | FileCheck %s 2 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-n8:16:32:64" 4target triple = "x86_64-apple-darwin10.0.0" 5 6%class.StringSwitch = type { i8*, i32, i32, i8 } 7 8@.str = private constant [4 x i8] c"red\00" ; <[4 x i8]*> [#uses=1] 9@.str1 = private constant [7 x i8] c"orange\00" ; <[7 x i8]*> [#uses=1] 10@.str2 = private constant [7 x i8] c"yellow\00" ; <[7 x i8]*> [#uses=1] 11@.str3 = private constant [6 x i8] c"green\00" ; <[6 x i8]*> [#uses=1] 12@.str4 = private constant [5 x i8] c"blue\00" ; <[5 x i8]*> [#uses=1] 13@.str5 = private constant [7 x i8] c"indigo\00" ; <[7 x i8]*> [#uses=1] 14@.str6 = private constant [7 x i8] c"violet\00" ; <[7 x i8]*> [#uses=1] 15@.str7 = private constant [12 x i8] c"Color = %d\0A\00" ; <[12 x i8]*> [#uses=1] 16 17define i32 @main(i32 %argc, i8** nocapture %argv) nounwind ssp { 18entry: 19 %cmp142 = icmp sgt i32 %argc, 1 ; <i1> [#uses=1] 20 br i1 %cmp142, label %bb.nph, label %for.end 21 22bb.nph: ; preds = %entry 23 %tmp = add i32 %argc, -2 ; <i32> [#uses=1] 24 %tmp144 = zext i32 %tmp to i64 ; <i64> [#uses=1] 25 %tmp145 = add i64 %tmp144, 1 ; <i64> [#uses=1] 26 br label %land.lhs.true.i 27 28land.lhs.true.i: ; preds = %_ZN12StringSwitchI5ColorE4CaseILj7EEERS1_RAT__KcRKS0_.exit134, %bb.nph 29 %retval.0.i.pre161 = phi i32 [ undef, %bb.nph ], [ %retval.0.i.pre, %_ZN12StringSwitchI5ColorE4CaseILj7EEERS1_RAT__KcRKS0_.exit134 ] ; <i32> [#uses=3] 30 %indvar = phi i64 [ 0, %bb.nph ], [ %tmp146, %_ZN12StringSwitchI5ColorE4CaseILj7EEERS1_RAT__KcRKS0_.exit134 ] ; <i64> [#uses=1] 31 %tmp146 = add i64 %indvar, 1 ; <i64> [#uses=3] 32 %arrayidx = getelementptr i8*, i8** %argv, i64 %tmp146 ; <i8**> [#uses=1] 33 %tmp6 = load i8*, i8** %arrayidx, align 8 ; <i8*> [#uses=8] 34 %call.i.i = call i64 @strlen(i8* %tmp6) nounwind ; <i64> [#uses=1] 35 %conv.i.i = trunc i64 %call.i.i to i32 ; <i32> [#uses=6]\ 36; CHECK: switch i32 %conv.i.i 37; CHECK-NOT: if.then.i40 38; CHECK: } 39 switch i32 %conv.i.i, label %_ZN12StringSwitchI5ColorE4CaseILj7EEERS1_RAT__KcRKS0_.exit [ 40 i32 3, label %land.lhs.true5.i 41 i32 6, label %land.lhs.true5.i37 42 ] 43 44land.lhs.true5.i: ; preds = %land.lhs.true.i 45 %call.i = call i32 @memcmp(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), i8* %tmp6, i64 4) nounwind ; <i32> [#uses=1] 46 %cmp9.i = icmp eq i32 %call.i, 0 ; <i1> [#uses=1] 47 br i1 %cmp9.i, label %_ZN12StringSwitchI5ColorE4CaseILj4EEERS1_RAT__KcRKS0_.exit, label %_ZN12StringSwitchI5ColorE4CaseILj7EEERS1_RAT__KcRKS0_.exit 48 49_ZN12StringSwitchI5ColorE4CaseILj4EEERS1_RAT__KcRKS0_.exit: ; preds = %land.lhs.true5.i 50 br label %_ZN12StringSwitchI5ColorE4CaseILj7EEERS1_RAT__KcRKS0_.exit 51 52land.lhs.true5.i37: ; preds = %land.lhs.true.i 53 %call.i35 = call i32 @memcmp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str1, i64 0, i64 0), i8* %tmp6, i64 7) nounwind ; <i32> [#uses=1] 54 %cmp9.i36 = icmp eq i32 %call.i35, 0 ; <i1> [#uses=1] 55 br i1 %cmp9.i36, label %if.then.i40, label %_ZN12StringSwitchI5ColorE4CaseILj7EEERS1_RAT__KcRKS0_.exit 56 57if.then.i40: ; preds = %land.lhs.true5.i37 58 br label %_ZN12StringSwitchI5ColorE4CaseILj7EEERS1_RAT__KcRKS0_.exit 59 60_ZN12StringSwitchI5ColorE4CaseILj7EEERS1_RAT__KcRKS0_.exit: ; preds = %if.then.i40, %land.lhs.true5.i37, %_ZN12StringSwitchI5ColorE4CaseILj4EEERS1_RAT__KcRKS0_.exit, %land.lhs.true5.i, %land.lhs.true.i 61 %retval.0.i.pre159 = phi i32 [ 1, %_ZN12StringSwitchI5ColorE4CaseILj4EEERS1_RAT__KcRKS0_.exit ], [ %retval.0.i.pre161, %land.lhs.true5.i37 ], [ 2, %if.then.i40 ], [ %retval.0.i.pre161, %land.lhs.true5.i ], [ %retval.0.i.pre161, %land.lhs.true.i ] ; <i32> [#uses=2] 62 %tmp2.i44 = phi i8 [ 1, %_ZN12StringSwitchI5ColorE4CaseILj4EEERS1_RAT__KcRKS0_.exit ], [ 0, %land.lhs.true5.i37 ], [ 1, %if.then.i40 ], [ 0, %land.lhs.true5.i ], [ 0, %land.lhs.true.i ] ; <i8> [#uses=3] 63 %tobool.i46 = icmp eq i8 %tmp2.i44, 0 ; <i1> [#uses=1] 64 %cmp.i49 = icmp eq i32 %conv.i.i, 6 ; <i1> [#uses=1] 65 %or.cond = and i1 %tobool.i46, %cmp.i49 ; <i1> [#uses=1] 66 br i1 %or.cond, label %land.lhs.true5.i55, label %_ZN12StringSwitchI5ColorE4CaseILj7EEERS1_RAT__KcRKS0_.exit60 67 68land.lhs.true5.i55: ; preds = %_ZN12StringSwitchI5ColorE4CaseILj7EEERS1_RAT__KcRKS0_.exit 69 %call.i53 = call i32 @memcmp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str2, i64 0, i64 0), i8* %tmp6, i64 7) nounwind ; <i32> [#uses=1] 70 %cmp9.i54 = icmp eq i32 %call.i53, 0 ; <i1> [#uses=1] 71 br i1 %cmp9.i54, label %if.then.i58, label %_ZN12StringSwitchI5ColorE4CaseILj7EEERS1_RAT__KcRKS0_.exit60 72 73if.then.i58: ; preds = %land.lhs.true5.i55 74 br label %_ZN12StringSwitchI5ColorE4CaseILj7EEERS1_RAT__KcRKS0_.exit60 75 76_ZN12StringSwitchI5ColorE4CaseILj7EEERS1_RAT__KcRKS0_.exit60: ; preds = %if.then.i58, %land.lhs.true5.i55, %_ZN12StringSwitchI5ColorE4CaseILj7EEERS1_RAT__KcRKS0_.exit 77 %retval.0.i.pre158 = phi i32 [ %retval.0.i.pre159, %_ZN12StringSwitchI5ColorE4CaseILj7EEERS1_RAT__KcRKS0_.exit ], [ %retval.0.i.pre159, %land.lhs.true5.i55 ], [ 3, %if.then.i58 ] ; <i32> [#uses=2] 78 %tmp2.i63 = phi i8 [ %tmp2.i44, %_ZN12StringSwitchI5ColorE4CaseILj7EEERS1_RAT__KcRKS0_.exit ], [ %tmp2.i44, %land.lhs.true5.i55 ], [ 1, %if.then.i58 ] ; <i8> [#uses=3] 79 %tmp14.i64 = and i8 %tmp2.i63, 1 ; <i8> [#uses=1] 80 %tobool.i65 = icmp eq i8 %tmp14.i64, 0 ; <i1> [#uses=1] 81 %cmp.i68 = icmp eq i32 %conv.i.i, 5 ; <i1> [#uses=1] 82 %or.cond168 = and i1 %tobool.i65, %cmp.i68 ; <i1> [#uses=1] 83 br i1 %or.cond168, label %land.lhs.true5.i74, label %_ZN12StringSwitchI5ColorE4CaseILj6EEERS1_RAT__KcRKS0_.exit 84 85land.lhs.true5.i74: ; preds = %_ZN12StringSwitchI5ColorE4CaseILj7EEERS1_RAT__KcRKS0_.exit60 86 %call.i72 = call i32 @memcmp(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str3, i64 0, i64 0), i8* %tmp6, i64 6) nounwind ; <i32> [#uses=1] 87 %cmp9.i73 = icmp eq i32 %call.i72, 0 ; <i1> [#uses=1] 88 br i1 %cmp9.i73, label %if.then.i77, label %_ZN12StringSwitchI5ColorE4CaseILj6EEERS1_RAT__KcRKS0_.exit 89 90if.then.i77: ; preds = %land.lhs.true5.i74 91 br label %_ZN12StringSwitchI5ColorE4CaseILj6EEERS1_RAT__KcRKS0_.exit 92 93_ZN12StringSwitchI5ColorE4CaseILj6EEERS1_RAT__KcRKS0_.exit: ; preds = %if.then.i77, %land.lhs.true5.i74, %_ZN12StringSwitchI5ColorE4CaseILj7EEERS1_RAT__KcRKS0_.exit60 94 %retval.0.i.pre157 = phi i32 [ %retval.0.i.pre158, %_ZN12StringSwitchI5ColorE4CaseILj7EEERS1_RAT__KcRKS0_.exit60 ], [ %retval.0.i.pre158, %land.lhs.true5.i74 ], [ 4, %if.then.i77 ] ; <i32> [#uses=2] 95 %tmp2.i81 = phi i8 [ %tmp2.i63, %_ZN12StringSwitchI5ColorE4CaseILj7EEERS1_RAT__KcRKS0_.exit60 ], [ %tmp2.i63, %land.lhs.true5.i74 ], [ 1, %if.then.i77 ] ; <i8> [#uses=3] 96 %tmp14.i82 = and i8 %tmp2.i81, 1 ; <i8> [#uses=1] 97 %tobool.i83 = icmp eq i8 %tmp14.i82, 0 ; <i1> [#uses=1] 98 %cmp.i86 = icmp eq i32 %conv.i.i, 4 ; <i1> [#uses=1] 99 %or.cond169 = and i1 %tobool.i83, %cmp.i86 ; <i1> [#uses=1] 100 br i1 %or.cond169, label %land.lhs.true5.i92, label %_ZN12StringSwitchI5ColorE4CaseILj5EEERS1_RAT__KcRKS0_.exit 101 102land.lhs.true5.i92: ; preds = %_ZN12StringSwitchI5ColorE4CaseILj6EEERS1_RAT__KcRKS0_.exit 103 %call.i90 = call i32 @memcmp(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str4, i64 0, i64 0), i8* %tmp6, i64 5) nounwind ; <i32> [#uses=1] 104 %cmp9.i91 = icmp eq i32 %call.i90, 0 ; <i1> [#uses=1] 105 br i1 %cmp9.i91, label %if.then.i95, label %_ZN12StringSwitchI5ColorE4CaseILj5EEERS1_RAT__KcRKS0_.exit 106 107if.then.i95: ; preds = %land.lhs.true5.i92 108 br label %_ZN12StringSwitchI5ColorE4CaseILj5EEERS1_RAT__KcRKS0_.exit 109 110_ZN12StringSwitchI5ColorE4CaseILj5EEERS1_RAT__KcRKS0_.exit: ; preds = %if.then.i95, %land.lhs.true5.i92, %_ZN12StringSwitchI5ColorE4CaseILj6EEERS1_RAT__KcRKS0_.exit 111 %retval.0.i.pre156 = phi i32 [ %retval.0.i.pre157, %_ZN12StringSwitchI5ColorE4CaseILj6EEERS1_RAT__KcRKS0_.exit ], [ %retval.0.i.pre157, %land.lhs.true5.i92 ], [ 5, %if.then.i95 ] ; <i32> [#uses=2] 112 %tmp2.i99 = phi i8 [ %tmp2.i81, %_ZN12StringSwitchI5ColorE4CaseILj6EEERS1_RAT__KcRKS0_.exit ], [ %tmp2.i81, %land.lhs.true5.i92 ], [ 1, %if.then.i95 ] ; <i8> [#uses=3] 113 %tmp14.i100 = and i8 %tmp2.i99, 1 ; <i8> [#uses=1] 114 %tobool.i101 = icmp eq i8 %tmp14.i100, 0 ; <i1> [#uses=1] 115 %cmp.i104 = icmp eq i32 %conv.i.i, 6 ; <i1> [#uses=1] 116 %or.cond170 = and i1 %tobool.i101, %cmp.i104 ; <i1> [#uses=1] 117 br i1 %or.cond170, label %land.lhs.true5.i110, label %_ZN12StringSwitchI5ColorE4CaseILj7EEERS1_RAT__KcRKS0_.exit115 118 119land.lhs.true5.i110: ; preds = %_ZN12StringSwitchI5ColorE4CaseILj5EEERS1_RAT__KcRKS0_.exit 120 %call.i108 = call i32 @memcmp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str5, i64 0, i64 0), i8* %tmp6, i64 7) nounwind ; <i32> [#uses=1] 121 %cmp9.i109 = icmp eq i32 %call.i108, 0 ; <i1> [#uses=1] 122 br i1 %cmp9.i109, label %if.then.i113, label %_ZN12StringSwitchI5ColorE4CaseILj7EEERS1_RAT__KcRKS0_.exit115 123 124if.then.i113: ; preds = %land.lhs.true5.i110 125 br label %_ZN12StringSwitchI5ColorE4CaseILj7EEERS1_RAT__KcRKS0_.exit115 126 127_ZN12StringSwitchI5ColorE4CaseILj7EEERS1_RAT__KcRKS0_.exit115: ; preds = %if.then.i113, %land.lhs.true5.i110, %_ZN12StringSwitchI5ColorE4CaseILj5EEERS1_RAT__KcRKS0_.exit 128 %retval.0.i.pre155 = phi i32 [ %retval.0.i.pre156, %_ZN12StringSwitchI5ColorE4CaseILj5EEERS1_RAT__KcRKS0_.exit ], [ %retval.0.i.pre156, %land.lhs.true5.i110 ], [ 6, %if.then.i113 ] ; <i32> [#uses=2] 129 %tmp2.i118 = phi i8 [ %tmp2.i99, %_ZN12StringSwitchI5ColorE4CaseILj5EEERS1_RAT__KcRKS0_.exit ], [ %tmp2.i99, %land.lhs.true5.i110 ], [ 1, %if.then.i113 ] ; <i8> [#uses=3] 130 %tmp14.i119 = and i8 %tmp2.i118, 1 ; <i8> [#uses=1] 131 %tobool.i120 = icmp eq i8 %tmp14.i119, 0 ; <i1> [#uses=1] 132 %cmp.i123 = icmp eq i32 %conv.i.i, 6 ; <i1> [#uses=1] 133 %or.cond171 = and i1 %tobool.i120, %cmp.i123 ; <i1> [#uses=1] 134 br i1 %or.cond171, label %land.lhs.true5.i129, label %_ZN12StringSwitchI5ColorE4CaseILj7EEERS1_RAT__KcRKS0_.exit134 135 136land.lhs.true5.i129: ; preds = %_ZN12StringSwitchI5ColorE4CaseILj7EEERS1_RAT__KcRKS0_.exit115 137 %call.i127 = call i32 @memcmp(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str6, i64 0, i64 0), i8* %tmp6, i64 7) nounwind ; <i32> [#uses=1] 138 %cmp9.i128 = icmp eq i32 %call.i127, 0 ; <i1> [#uses=1] 139 br i1 %cmp9.i128, label %if.then.i132, label %_ZN12StringSwitchI5ColorE4CaseILj7EEERS1_RAT__KcRKS0_.exit134 140 141if.then.i132: ; preds = %land.lhs.true5.i129 142 br label %_ZN12StringSwitchI5ColorE4CaseILj7EEERS1_RAT__KcRKS0_.exit134 143 144_ZN12StringSwitchI5ColorE4CaseILj7EEERS1_RAT__KcRKS0_.exit134: ; preds = %if.then.i132, %land.lhs.true5.i129, %_ZN12StringSwitchI5ColorE4CaseILj7EEERS1_RAT__KcRKS0_.exit115 145 %retval.0.i.pre = phi i32 [ %retval.0.i.pre155, %_ZN12StringSwitchI5ColorE4CaseILj7EEERS1_RAT__KcRKS0_.exit115 ], [ %retval.0.i.pre155, %land.lhs.true5.i129 ], [ 7, %if.then.i132 ] ; <i32> [#uses=2] 146 %tmp2.i137 = phi i8 [ %tmp2.i118, %_ZN12StringSwitchI5ColorE4CaseILj7EEERS1_RAT__KcRKS0_.exit115 ], [ %tmp2.i118, %land.lhs.true5.i129 ], [ 1, %if.then.i132 ] ; <i8> [#uses=1] 147 %tmp7.i138 = and i8 %tmp2.i137, 1 ; <i8> [#uses=1] 148 %tobool.i139 = icmp eq i8 %tmp7.i138, 0 ; <i1> [#uses=1] 149 %retval.0.i = select i1 %tobool.i139, i32 0, i32 %retval.0.i.pre ; <i32> [#uses=1] 150 %call22 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str7, i64 0, i64 0), i32 %retval.0.i) ; <i32> [#uses=0] 151 %exitcond = icmp eq i64 %tmp146, %tmp145 ; <i1> [#uses=1] 152 br i1 %exitcond, label %for.end, label %land.lhs.true.i 153 154for.end: ; preds = %_ZN12StringSwitchI5ColorE4CaseILj7EEERS1_RAT__KcRKS0_.exit134, %entry 155 ret i32 0 156} 157 158declare i32 @printf(i8* nocapture, ...) nounwind 159 160declare i32 @memcmp(i8* nocapture, i8* nocapture, i64) nounwind readonly 161 162declare i64 @strlen(i8* nocapture) nounwind readonly 163