Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / e93c63d468d36e67cb15d183ecc6b8216c87c138 / . / llvm / test / Transforms / SimplifyCFG / MagicPointer.ll
blob: 7789600f3f0c0c531a829f47fb3a5609da673618 [file] [log] [blame]
Jakob Stoklund Olesen916f48a2010-02-05 22:03:18 +0000[diff] [blame]1; Test that simplifycfg can create switch instructions from constant pointers.
2;
3; RUN: opt < %s -simplifycfg -S | FileCheck %s
4
Matt Arsenaultfa646592013-10-21 18:55:08 +0000[diff] [blame]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(
Jakob Stoklund Olesen916f48a2010-02-05 22:03:18 +0000[diff] [blame]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
Jakob Stoklund Olesen916f48a2010-02-05 22:03:18 +0000[diff] [blame]29; CHECK: }
30
Jakob Stoklund Olesen916f48a2010-02-05 22:03:18 +0000[diff] [blame]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
David Blaikief72d05b2015-03-13 18:20:45 +0000[diff] [blame]36 %call = call i32 @puts(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0)) nounwind ; <i32> [#uses=0]
Jakob Stoklund Olesen916f48a2010-02-05 22:03:18 +0000[diff] [blame]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
David Blaikief72d05b2015-03-13 18:20:45 +0000[diff] [blame]44 %call3 = call i32 @puts(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str1, i64 0, i64 0)) nounwind ; <i32> [#uses=0]
Jakob Stoklund Olesen916f48a2010-02-05 22:03:18 +0000[diff] [blame]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
David Blaikief72d05b2015-03-13 18:20:45 +0000[diff] [blame]56 %call10 = call i32 @puts(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str2, i64 0, i64 0)) nounwind ; <i32> [#uses=0]
Jakob Stoklund Olesen916f48a2010-02-05 22:03:18 +0000[diff] [blame]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
David Blaikief72d05b2015-03-13 18:20:45 +0000[diff] [blame]64 %call15 = call i32 @puts(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str3, i64 0, i64 0)) nounwind ; <i32> [#uses=0]
Jakob Stoklund Olesen916f48a2010-02-05 22:03:18 +0000[diff] [blame]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
Matt Arsenaultfa646592013-10-21 18:55:08 +0000[diff] [blame]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
David Blaikief72d05b2015-03-13 18:20:45 +0000[diff] [blame]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]
Matt Arsenaultfa646592013-10-21 18:55:08 +0000[diff] [blame]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
David Blaikief72d05b2015-03-13 18:20:45 +0000[diff] [blame]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]
Matt Arsenaultfa646592013-10-21 18:55:08 +0000[diff] [blame]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
David Blaikief72d05b2015-03-13 18:20:45 +0000[diff] [blame]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]
Matt Arsenaultfa646592013-10-21 18:55:08 +0000[diff] [blame]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
David Blaikief72d05b2015-03-13 18:20:45 +0000[diff] [blame]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]
Matt Arsenaultfa646592013-10-21 18:55:08 +0000[diff] [blame]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