71 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt %loadexampleirtransforms -passes=tut-simplifycfg -tut-simplifycfg-version=v1 -S < %s | FileCheck %s3; RUN: opt %loadexampleirtransforms -passes=tut-simplifycfg -tut-simplifycfg-version=v2 -S < %s | FileCheck %s4; RUN: opt %loadexampleirtransforms -passes=tut-simplifycfg -tut-simplifycfg-version=v3 -S < %s | FileCheck %s5 6define i32 @phi_cond_branch_eliminated() {7; CHECK-LABEL: @phi_cond_branch_eliminated(8; CHECK-NEXT: entry:9; CHECK-NEXT: ret i32 2010;11entry:12 br i1 true, label %bb.2, label %bb.313 14bb.2:15 br label %bb.316 17bb.3:18 %ret = phi i32 [ 10, %entry ], [ 20, %bb.2 ]19 ret i32 %ret20}21 22define i32 @phi_removed() {23; CHECK-LABEL: @phi_removed(24; CHECK-NEXT: entry:25; CHECK-NEXT: br label [[BB_3:%.*]]26; CHECK: bb.3:27; CHECK-NEXT: ret i32 028;29entry:30 br i1 false, label %bb.2, label %bb.331 32bb.2:33 %pv = phi i32 [ 10, %entry ]34 br label %bb.335 36bb.3:37 ret i32 038}39 40define i32 @phi_in_dead_region() {41; CHECK-LABEL: @phi_in_dead_region(42; CHECK-NEXT: entry:43; CHECK-NEXT: ret i32 144;45entry:46 ret i32 147 48bb.1:49 br i1 true, label %bb.2, label %bb.350 51bb.2:52 br label %bb.353 54bb.3:55 %ret = phi i32 [ 10, %bb.1 ], [ 20, %bb.2 ]56 ret i32 %ret57}58 59define i32 @phi_in_mergable_blocks() {60; CHECK-LABEL: @phi_in_mergable_blocks(61; CHECK-NEXT: entry:62; CHECK-NEXT: ret i32 1063;64entry:65 br label %bb.166 67bb.1:68 %pv = phi i32 [ 10, %entry ]69 ret i32 %pv70}71