1; Test that simplifycfg can create switch instructions from constant pointers. 2; 3; RUN: opt < %s -simplifycfg -S | FileCheck %s 4 5target datalayout = "e-p:64:64:64-p1:16:16:16-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" 6target triple = "x86_64-apple-darwin10.0.0" 7 8@.str = private constant [5 x i8] c"null\00" ; <[5 x i8]*> [#uses=2] 9@.str1 = private constant [4 x i8] c"one\00" ; <[4 x i8]*> [#uses=2] 10@.str2 = private constant [4 x i8] c"two\00" ; <[4 x i8]*> [#uses=2] 11@.str3 = private constant [5 x i8] c"four\00" ; <[5 x i8]*> [#uses=2] 12 13@.str_as1 = private addrspace(1) constant [5 x i8] c"null\00" ; <[5 x i8]*> [#uses=2] 14@.str1_as1 = private addrspace(1) constant [4 x i8] c"one\00" ; <[4 x i8]*> [#uses=2] 15@.str2_as1 = private addrspace(1) constant [4 x i8] c"two\00" ; <[4 x i8]*> [#uses=2] 16@.str3_as1 = private addrspace(1) constant [5 x i8] c"four\00" ; <[5 x i8]*> [#uses=2] 17 18declare i32 @puts(i8*) 19declare i32 @puts_as1(i8 addrspace(1)*) 20 21define void @f(i8* %x) nounwind ssp { 22; CHECK-LABEL: @f( 23; CHECK: switch i64 %magicptr 24; CHECK: i64 0, label 25; CHECK: i64 1, label 26; CHECK: i64 2, label 27; CHECK: i64 3, label 28; CHECK: i64 4, label 29; CHECK: } 30 31entry: 32 %tobool = icmp eq i8* %x, null ; <i1> [#uses=1] 33 br i1 %tobool, label %if.then, label %if.else 34 35if.then: ; preds = %entry 36 %call = call i32 @puts(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0)) nounwind ; <i32> [#uses=0] 37 br label %if.end21 38 39if.else: ; preds = %entry 40 %cmp = icmp eq i8* %x, inttoptr (i64 1 to i8*) ; <i1> [#uses=1] 41 br i1 %cmp, label %if.then2, label %if.else4 42 43if.then2: ; preds = %if.else 44 %call3 = call i32 @puts(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str1, i64 0, i64 0)) nounwind ; <i32> [#uses=0] 45 br label %if.end20 46 47if.else4: ; preds = %if.else 48 %cmp6 = icmp eq i8* %x, inttoptr (i64 2 to i8*) ; <i1> [#uses=1] 49 br i1 %cmp6, label %if.then9, label %lor.lhs.false 50 51lor.lhs.false: ; preds = %if.else4 52 %cmp8 = icmp eq i8* %x, inttoptr (i64 3 to i8*) ; <i1> [#uses=1] 53 br i1 %cmp8, label %if.then9, label %if.else11 54 55if.then9: ; preds = %lor.lhs.false, %if.else4 56 %call10 = call i32 @puts(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str2, i64 0, i64 0)) nounwind ; <i32> [#uses=0] 57 br label %if.end19 58 59if.else11: ; preds = %lor.lhs.false 60 %cmp13 = icmp eq i8* %x, inttoptr (i64 4 to i8*) ; <i1> [#uses=1] 61 br i1 %cmp13, label %if.then14, label %if.else16 62 63if.then14: ; preds = %if.else11 64 %call15 = call i32 @puts(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str3, i64 0, i64 0)) nounwind ; <i32> [#uses=0] 65 br label %if.end 66 67if.else16: ; preds = %if.else11 68 %call18 = call i32 @puts(i8* %x) nounwind ; <i32> [#uses=0] 69 br label %if.end 70 71if.end: ; preds = %if.else16, %if.then14 72 br label %if.end19 73 74if.end19: ; preds = %if.end, %if.then9 75 br label %if.end20 76 77if.end20: ; preds = %if.end19, %if.then2 78 br label %if.end21 79 80if.end21: ; preds = %if.end20, %if.then 81 ret void 82} 83 84; Is it useful to test a version where the ptrtoints are to the same 85; size? 86define void @f_as1(i8 addrspace(1)* %x) nounwind ssp { 87; CHECK-LABEL: @f_as1( 88; CHECK: ptrtoint i8 addrspace(1)* %x to i16 89; CHECK: switch i16 %magicptr 90; CHECK: i16 0, label 91; CHECK: i16 1, label 92; CHECK: i16 2, label 93; CHECK: i16 3, label 94; CHECK: i16 4, label 95; CHECK: } 96 97entry: 98 %tobool = icmp eq i8 addrspace(1)* %x, null ; <i1> [#uses=1] 99 br i1 %tobool, label %if.then, label %if.else 100 101if.then: ; preds = %entry 102 %call = call i32 @puts_as1(i8 addrspace(1)* getelementptr inbounds ([5 x i8], [5 x i8] addrspace(1)* @.str_as1, i64 0, i64 0)) nounwind ; <i32> [#uses=0] 103 br label %if.end21 104 105if.else: ; preds = %entry 106 %cmp = icmp eq i8 addrspace(1)* %x, inttoptr (i64 1 to i8 addrspace(1)*) ; <i1> [#uses=1] 107 br i1 %cmp, label %if.then2, label %if.else4 108 109if.then2: ; preds = %if.else 110 %call3 = call i32 @puts_as1(i8 addrspace(1)* getelementptr inbounds ([4 x i8], [4 x i8] addrspace(1)* @.str1_as1, i64 0, i64 0)) nounwind ; <i32> [#uses=0] 111 br label %if.end20 112 113if.else4: ; preds = %if.else 114 %cmp6 = icmp eq i8 addrspace(1)* %x, inttoptr (i64 2 to i8 addrspace(1)*) ; <i1> [#uses=1] 115 br i1 %cmp6, label %if.then9, label %lor.lhs.false 116 117lor.lhs.false: ; preds = %if.else4 118 %cmp8 = icmp eq i8 addrspace(1)* %x, inttoptr (i64 3 to i8 addrspace(1)*) ; <i1> [#uses=1] 119 br i1 %cmp8, label %if.then9, label %if.else11 120 121if.then9: ; preds = %lor.lhs.false, %if.else4 122 %call10 = call i32 @puts_as1(i8 addrspace(1)* getelementptr inbounds ([4 x i8], [4 x i8] addrspace(1)* @.str2_as1, i64 0, i64 0)) nounwind ; <i32> [#uses=0] 123 br label %if.end19 124 125if.else11: ; preds = %lor.lhs.false 126 %cmp13 = icmp eq i8 addrspace(1)* %x, inttoptr (i64 4 to i8 addrspace(1)*) ; <i1> [#uses=1] 127 br i1 %cmp13, label %if.then14, label %if.else16 128 129if.then14: ; preds = %if.else11 130 %call15 = call i32 @puts_as1(i8 addrspace(1)* getelementptr inbounds ([5 x i8], [5 x i8] addrspace(1)* @.str3_as1, i64 0, i64 0)) nounwind ; <i32> [#uses=0] 131 br label %if.end 132 133if.else16: ; preds = %if.else11 134 %call18 = call i32 @puts_as1(i8 addrspace(1)* %x) nounwind ; <i32> [#uses=0] 135 br label %if.end 136 137if.end: ; preds = %if.else16, %if.then14 138 br label %if.end19 139 140if.end19: ; preds = %if.end, %if.then9 141 br label %if.end20 142 143if.end20: ; preds = %if.end19, %if.then2 144 br label %if.end21 145 146if.end21: ; preds = %if.end20, %if.then 147 ret void 148} 149 150