1 ; Test that simplifycfg can create switch instructions from constant pointers. 2 ; 3 ; RUN: opt < %s -simplifycfg -S | FileCheck %s 4 5 ; CHECK: switch i64 %magicptr 6 ; CHECK: i64 0, label 7 ; CHECK: i64 1, label 8 ; CHECK: i64 2, label 9 ; CHECK: i64 3, label 10 ; CHECK: i64 4, label 11 ; CHECK: } 12 13 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-n8:16:32:64" 14 target triple = "x86_64-apple-darwin10.0.0" 15 16 @.str = private constant [5 x i8] c"null\00" ; <[5 x i8]*> [#uses=2] 17 @.str1 = private constant [4 x i8] c"one\00" ; <[4 x i8]*> [#uses=2] 18 @.str2 = private constant [4 x i8] c"two\00" ; <[4 x i8]*> [#uses=2] 19 @.str3 = private constant [5 x i8] c"four\00" ; <[5 x i8]*> [#uses=2] 20 21 define void @f(i8* %x) nounwind ssp { 22 entry: 23 %tobool = icmp eq i8* %x, null ; <i1> [#uses=1] 24 br i1 %tobool, label %if.then, label %if.else 25 26 if.then: ; preds = %entry 27 %call = call i32 @puts(i8* getelementptr inbounds ([5 x i8]* @.str, i64 0, i64 0)) nounwind ; <i32> [#uses=0] 28 br label %if.end21 29 30 if.else: ; preds = %entry 31 %cmp = icmp eq i8* %x, inttoptr (i64 1 to i8*) ; <i1> [#uses=1] 32 br i1 %cmp, label %if.then2, label %if.else4 33 34 if.then2: ; preds = %if.else 35 %call3 = call i32 @puts(i8* getelementptr inbounds ([4 x i8]* @.str1, i64 0, i64 0)) nounwind ; <i32> [#uses=0] 36 br label %if.end20 37 38 if.else4: ; preds = %if.else 39 %cmp6 = icmp eq i8* %x, inttoptr (i64 2 to i8*) ; <i1> [#uses=1] 40 br i1 %cmp6, label %if.then9, label %lor.lhs.false 41 42 lor.lhs.false: ; preds = %if.else4 43 %cmp8 = icmp eq i8* %x, inttoptr (i64 3 to i8*) ; <i1> [#uses=1] 44 br i1 %cmp8, label %if.then9, label %if.else11 45 46 if.then9: ; preds = %lor.lhs.false, %if.else4 47 %call10 = call i32 @puts(i8* getelementptr inbounds ([4 x i8]* @.str2, i64 0, i64 0)) nounwind ; <i32> [#uses=0] 48 br label %if.end19 49 50 if.else11: ; preds = %lor.lhs.false 51 %cmp13 = icmp eq i8* %x, inttoptr (i64 4 to i8*) ; <i1> [#uses=1] 52 br i1 %cmp13, label %if.then14, label %if.else16 53 54 if.then14: ; preds = %if.else11 55 %call15 = call i32 @puts(i8* getelementptr inbounds ([5 x i8]* @.str3, i64 0, i64 0)) nounwind ; <i32> [#uses=0] 56 br label %if.end 57 58 if.else16: ; preds = %if.else11 59 %call18 = call i32 @puts(i8* %x) nounwind ; <i32> [#uses=0] 60 br label %if.end 61 62 if.end: ; preds = %if.else16, %if.then14 63 br label %if.end19 64 65 if.end19: ; preds = %if.end, %if.then9 66 br label %if.end20 67 68 if.end20: ; preds = %if.end19, %if.then2 69 br label %if.end21 70 71 if.end21: ; preds = %if.end20, %if.then 72 ret void 73 } 74 75 declare i32 @puts(i8*) 76
