79 lines · plain
1; XFAIL: *2;; NewGVN zaps the strlens, but currently takes two iterations to evaluate the conditions, because3;; we prune predicateinfo, and the icmps only become equivalent after the strlens are zapped4; Two occurrences of strlen should be zapped.5; RUN: opt < %s -passes=newgvn -S | FileCheck %s6target 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"7target triple = "i386-apple-darwin9"8 9define i32 @test(i32 %g, ptr %P) nounwind {10entry:11 %tmp2 = call i32 @strlen( ptr %P ) nounwind readonly ; <i32> [#uses=1]12 %tmp3 = icmp eq i32 %tmp2, 100 ; <i1> [#uses=1]13 %tmp34 = zext i1 %tmp3 to i8 ; <i8> [#uses=1]14 %toBool = icmp ne i8 %tmp34, 0 ; <i1> [#uses=1]15 br i1 %toBool, label %bb, label %bb616 17bb: ; preds = %entry18 br label %bb2719 20bb6: ; preds = %entry21 %tmp8 = add i32 %g, 42 ; <i32> [#uses=2]22 %tmp10 = call i32 @strlen( ptr %P ) nounwind readonly ; <i32> [#uses=1]23 %tmp11 = icmp eq i32 %tmp10, 100 ; <i1> [#uses=1]24 %tmp1112 = zext i1 %tmp11 to i8 ; <i8> [#uses=1]25 %toBool13 = icmp ne i8 %tmp1112, 0 ; <i1> [#uses=1]26 br i1 %toBool13, label %bb14, label %bb1627 28bb14: ; preds = %bb629 br label %bb2730 31bb16: ; preds = %bb632 %tmp18 = mul i32 %tmp8, 2 ; <i32> [#uses=1]33 %tmp20 = call i32 @strlen( ptr %P ) nounwind readonly ; <i32> [#uses=1]34 %tmp21 = icmp eq i32 %tmp20, 100 ; <i1> [#uses=1]35 %tmp2122 = zext i1 %tmp21 to i8 ; <i8> [#uses=1]36 %toBool23 = icmp ne i8 %tmp2122, 0 ; <i1> [#uses=1]37 br i1 %toBool23, label %bb24, label %bb2638 39bb24: ; preds = %bb1640 br label %bb2741 42bb26: ; preds = %bb1643 br label %bb2744 45bb27: ; preds = %bb26, %bb24, %bb14, %bb46 %tmp.0 = phi i32 [ 11, %bb26 ], [ %tmp18, %bb24 ], [ %tmp8, %bb14 ], [ %g, %bb ] ; <i32> [#uses=1]47 br label %return48 49return: ; preds = %bb2750 ret i32 %tmp.051}52 53; CHECK: define i32 @test(i32 %g, ptr %P) #0 {54; CHECK: entry:55; CHECK: %tmp2 = call i32 @strlen(ptr %P) #156; CHECK: %tmp3 = icmp eq i32 %tmp2, 10057; CHECK: %tmp34 = zext i1 %tmp3 to i858; CHECK: br i1 %tmp3, label %bb, label %bb659; CHECK: bb:60; CHECK: br label %bb2761; CHECK: bb6:62; CHECK: %tmp8 = add i32 %g, 4263; CHECK: br i1 false, label %bb14, label %bb1664; CHECK: bb14:65; CHECK: br label %bb2766; CHECK: bb16:67; CHECK: %tmp18 = mul i32 %tmp8, 268; CHECK: br i1 false, label %bb24, label %bb2669; CHECK: bb24:70; CHECK: br label %bb2771; CHECK: bb26:72; CHECK: br label %bb2773; CHECK: bb27:74; CHECK: %tmp.0 = phi i32 [ 11, %bb26 ], [ undef, %bb24 ], [ undef, %bb14 ], [ %g, %bb ]75; CHECK: ret i32 %tmp.076; CHECK: }77 78declare i32 @strlen(ptr) nounwind readonly 79