• Home
  • History
  • Annotate
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1; Two occurrences of strlen should be zapped.
2; RUN: opt < %s -basicaa -gvn -S | FileCheck %s
3target 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:128:128"
4target triple = "i386-apple-darwin9"
5
6define i32 @test(i32 %g, i8* %P) nounwind  {
7entry:
8	%tmp2 = call i32 @strlen( i8* %P ) nounwind readonly 		; <i32> [#uses=1]
9	%tmp3 = icmp eq i32 %tmp2, 100		; <i1> [#uses=1]
10	%tmp34 = zext i1 %tmp3 to i8		; <i8> [#uses=1]
11	%toBool = icmp ne i8 %tmp34, 0		; <i1> [#uses=1]
12	br i1 %toBool, label %bb, label %bb6
13
14bb:		; preds = %entry
15	br label %bb27
16
17bb6:		; preds = %entry
18	%tmp8 = add i32 %g, 42		; <i32> [#uses=2]
19	%tmp10 = call i32 @strlen( i8* %P ) nounwind readonly 		; <i32> [#uses=1]
20	%tmp11 = icmp eq i32 %tmp10, 100		; <i1> [#uses=1]
21	%tmp1112 = zext i1 %tmp11 to i8		; <i8> [#uses=1]
22	%toBool13 = icmp ne i8 %tmp1112, 0		; <i1> [#uses=1]
23	br i1 %toBool13, label %bb14, label %bb16
24
25bb14:		; preds = %bb6
26	br label %bb27
27
28bb16:		; preds = %bb6
29	%tmp18 = mul i32 %tmp8, 2		; <i32> [#uses=1]
30	%tmp20 = call i32 @strlen( i8* %P ) nounwind readonly 		; <i32> [#uses=1]
31	%tmp21 = icmp eq i32 %tmp20, 100		; <i1> [#uses=1]
32	%tmp2122 = zext i1 %tmp21 to i8		; <i8> [#uses=1]
33	%toBool23 = icmp ne i8 %tmp2122, 0		; <i1> [#uses=1]
34	br i1 %toBool23, label %bb24, label %bb26
35
36bb24:		; preds = %bb16
37	br label %bb27
38
39bb26:		; preds = %bb16
40	br label %bb27
41
42bb27:		; preds = %bb26, %bb24, %bb14, %bb
43	%tmp.0 = phi i32 [ 11, %bb26 ], [ %tmp18, %bb24 ], [ %tmp8, %bb14 ], [ %g, %bb ]		; <i32> [#uses=1]
44	br label %return
45
46return:		; preds = %bb27
47	ret i32 %tmp.0
48}
49
50; CHECK: define i32 @test(i32 %g, i8* %P) #0 {
51; CHECK: entry:
52; CHECK:   %tmp2 = call i32 @strlen(i8* %P) #1
53; CHECK:   %tmp3 = icmp eq i32 %tmp2, 100
54; CHECK:   %tmp34 = zext i1 %tmp3 to i8
55; CHECK:   br i1 %tmp3, label %bb, label %bb6
56; CHECK: bb:
57; CHECK:   br label %bb27
58; CHECK: bb6:
59; CHECK:   %tmp8 = add i32 %g, 42
60; CHECK:   br i1 false, label %bb14, label %bb16
61; CHECK: bb14:
62; CHECK:   br label %bb27
63; CHECK: bb16:
64; CHECK:   %tmp18 = mul i32 %tmp8, 2
65; CHECK:   br i1 false, label %bb24, label %bb26
66; CHECK: bb24:
67; CHECK:   br label %bb27
68; CHECK: bb26:
69; CHECK:   br label %bb27
70; CHECK: bb27:
71; CHECK:   %tmp.0 = phi i32 [ 11, %bb26 ], [ undef, %bb24 ], [ undef, %bb14 ], [ %g, %bb ]
72; CHECK:   ret i32 %tmp.0
73; CHECK: }
74
75declare i32 @strlen(i8*) nounwind readonly
76