105 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 @remove_dead_blocks() {7; CHECK-LABEL: @remove_dead_blocks(8; CHECK-NEXT: entry:9; CHECK-NEXT: ret i32 110;11entry:12 ret i32 113 14bb.1:15 ret i32 216 17bb.2:18 ret i32 319}20 21define i32 @simp1(i1 %arg) {22; CHECK-LABEL: @simp1(23; CHECK-NEXT: entry:24; CHECK-NEXT: ret i32 125; CHECK: bb.1:26; CHECK-NEXT: ret i32 227;28entry:29 ret i32 130 31bb.1:32 ret i32 233 34bb.2:35 br i1 %arg, label %bb.1, label %bb.336 37bb.3:38 ret i32 339}40 41define i32 @remove_dead_block_with_phi() {42; CHECK-LABEL: @remove_dead_block_with_phi(43; CHECK-NEXT: entry:44; CHECK-NEXT: br label [[BB_2:%.*]]45; CHECK: bb.2:46; CHECK-NEXT: ret i32 147;48entry:49 br label %bb.250 51bb.1:52 br label %bb.253 54bb.2:55 %rv = phi i32 [ 1, %entry ], [ 2, %bb.1 ]56 ret i32 %rv57}58 59define i32 @remove_dead_blocks_remaining_uses(i32 %a) {60; CHECK-LABEL: @remove_dead_blocks_remaining_uses(61; CHECK-NEXT: entry:62; CHECK-NEXT: ret i32 163;64entry:65 ret i32 166 67bb.2:68 ret i32 %res69 70bb.1:71 %res = add i32 %a, 1072 br label %bb.273}74 75define i32 @remove_dead_blocks_remaining_uses2(i32 %a, i1 %cond) {76; CHECK-LABEL: @remove_dead_blocks_remaining_uses2(77; CHECK-NEXT: entry:78; CHECK-NEXT: ret i32 179; CHECK: bb.2:80; CHECK-NEXT: [[RES2:%.*]] = add i32 poison, 1081; CHECK-NEXT: [[RES3:%.*]] = mul i32 [[RES2]], poison82; CHECK-NEXT: ret i32 [[RES3]]83; CHECK: bb.3:84; CHECK-NEXT: ret i32 poison85;86entry:87 ret i32 188 89bb.2:90 %res2 = add i32 %res, 1091 %res3 = mul i32 %res2, %res92 ret i32 %res393 94bb.3:95 br label %bb.496 97bb.4:98 ret i32 %res99 100bb.1:101 %res = add i32 %a, 10102 br i1 %cond, label %bb.2, label %bb.3103 br label %bb.2104}105