72 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 32; Compiler should not be broken with a dead user.3; RUN: opt -passes=sink -S < %s | FileCheck %s4 5define void @test(i16 %p1, i1 %arg) {6; CHECK-LABEL: define void @test(i16 %p1, i1 %arg) {7; CHECK-NEXT: bb.0:8; CHECK-NEXT: %conv = sext i16 %p1 to i329; CHECK-NEXT: br i1 %arg, label %bb.1, label %bb.310; CHECK: bb.1:11; CHECK-NEXT: br label %bb.212; CHECK: bb.2:13; CHECK-NEXT: %and.2 = and i32 undef, %conv14; CHECK-NEXT: br label %bb.215; CHECK: bb.3:16; CHECK-NEXT: %and.3 = and i32 undef, %conv17; CHECK-NEXT: br label %bb.318; CHECK: dead:19; CHECK-NEXT: %and.dead = and i32 undef, %conv20; CHECK-NEXT: br label %dead21;22bb.0:23 %conv = sext i16 %p1 to i3224 br i1 %arg, label %bb.1, label %bb.325 26bb.1: ; preds = %bb.027 br label %bb.228 29bb.2: ; preds = %bb.2, %bb.130 %and.2 = and i32 undef, %conv31 br label %bb.232 33bb.3: ; preds = %bb.3, %bb.034 %and.3 = and i32 undef, %conv35 br label %bb.336 37dead: ; preds = %dead38 %and.dead = and i32 undef, %conv39 br label %dead40}41 42define i32 @dead_from_phi(i32 %a) {43; CHECK-LABEL: define i32 @dead_from_phi(44; CHECK-SAME: i32 [[A:%.*]]) {45; CHECK-NEXT: entry:46; CHECK-NEXT: [[DOTNOT:%.*]] = icmp eq i32 [[A]], 047; CHECK-NEXT: br i1 [[DOTNOT]], label [[IF_END:%.*]], label [[IF_THEN:%.*]]48; CHECK: if.then:49; CHECK-NEXT: [[B:%.*]] = and i32 undef, 6553550; CHECK-NEXT: br label [[IF_END]]51; CHECK: dead:52; CHECK-NEXT: br label [[IF_END]]53; CHECK: if.end:54; CHECK-NEXT: [[DOT0:%.*]] = phi i32 [ [[A]], [[ENTRY:%.*]] ], [ [[B]], [[IF_THEN]] ], [ [[B]], [[DEAD:%.*]] ]55; CHECK-NEXT: ret i32 [[DOT0]]56;57entry:58 %.not = icmp eq i32 %a, 059 br i1 %.not, label %if.end, label %if.then60 61if.then: ; preds = %162 %b = and i32 undef, 6553563 br label %if.end64 65dead: ; No predecessors!66 br label %if.end67 68if.end: ; preds = %4, %if.then, %169 %.0 = phi i32 [ %a, %entry ], [ %b, %if.then ], [ %b, %dead ]70 ret i32 %.071}72