124 lines · plain
1; XFAIL: *2; RUN: opt < %s -passes=newgvn -S | FileCheck %s3 4@a = external global i32 ; <ptr> [#uses=7]5 6;; NewGVN takes two passes to get this, because we prune predicateinfo7; CHECK-LABEL: @test1(8define i32 @test1() nounwind {9entry:10 %0 = load i32, ptr @a, align 411 %1 = icmp eq i32 %0, 412 br i1 %1, label %bb, label %bb113 14bb: ; preds = %entry15 br label %bb816 17bb1: ; preds = %entry18 %2 = load i32, ptr @a, align 419 %3 = icmp eq i32 %2, 520 br i1 %3, label %bb2, label %bb321 22bb2: ; preds = %bb123 br label %bb824 25bb3: ; preds = %bb126 %4 = load i32, ptr @a, align 427 %5 = icmp eq i32 %4, 428; CHECK: br i1 false, label %bb4, label %bb529 br i1 %5, label %bb4, label %bb530 31bb4: ; preds = %bb332 %6 = load i32, ptr @a, align 433 %7 = add i32 %6, 534 br label %bb835 36bb5: ; preds = %bb337 %8 = load i32, ptr @a, align 438 %9 = icmp eq i32 %8, 539; CHECK: br i1 false, label %bb6, label %bb740 br i1 %9, label %bb6, label %bb741 42bb6: ; preds = %bb543 %10 = load i32, ptr @a, align 444 %11 = add i32 %10, 445 br label %bb846 47bb7: ; preds = %bb548 %12 = load i32, ptr @a, align 449 br label %bb850 51bb8: ; preds = %bb7, %bb6, %bb4, %bb2, %bb52 %.0 = phi i32 [ %12, %bb7 ], [ %11, %bb6 ], [ %7, %bb4 ], [ 4, %bb2 ], [ 5, %bb ]53 br label %return54 55return: ; preds = %bb856 ret i32 %.057}58;; NewGVN takes two passes to get test[6,8] and test[6,8]_fp's main part59;; The icmp ne requires an equality table that inserts the inequalities for each60;; discovered equality while processing.61; CHECK-LABEL: @test6(62define i1 @test6(i32 %x, i32 %y) {63 %cmp2 = icmp ne i32 %x, %y64 %cmp = icmp eq i32 %x, %y65 %cmp3 = icmp eq i32 %x, %y66 br i1 %cmp, label %same, label %different67 68same:69; CHECK: ret i1 false70 ret i1 %cmp271 72different:73; CHECK: ret i1 false74 ret i1 %cmp375}76 77; CHECK-LABEL: @test6_fp(78define i1 @test6_fp(float %x, float %y) {79 %cmp2 = fcmp une float %x, %y80 %cmp = fcmp oeq float %x, %y81 %cmp3 = fcmp oeq float %x, %y82 br i1 %cmp, label %same, label %different83 84same:85; CHECK: ret i1 false86 ret i1 %cmp287 88different:89; CHECK: ret i1 false90 ret i1 %cmp391}92; CHECK-LABEL: @test8(93define i1 @test8(i32 %x, i32 %y) {94 %cmp2 = icmp sle i32 %x, %y95 %cmp = icmp sgt i32 %x, %y96 %cmp3 = icmp sgt i32 %x, %y97 br i1 %cmp, label %same, label %different98 99same:100; CHECK: ret i1 false101 ret i1 %cmp2102 103different:104; CHECK: ret i1 false105 ret i1 %cmp3106}107 108; CHECK-LABEL: @test8_fp(109define i1 @test8_fp(float %x, float %y) {110 %cmp2 = fcmp ule float %x, %y111 %cmp = fcmp ogt float %x, %y112 %cmp3 = fcmp ogt float %x, %y113 br i1 %cmp, label %same, label %different114 115same:116; CHECK: ret i1 false117 ret i1 %cmp2118 119different:120; CHECK: ret i1 false121 ret i1 %cmp3122}123 124