1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 3 2; Compiler should not be broken with a dead user. 3; RUN: opt -passes=sink -S < %s | FileCheck %s 4 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 i32 9; CHECK-NEXT: br i1 %arg, label %bb.1, label %bb.3 10; CHECK: bb.1: 11; CHECK-NEXT: br label %bb.2 12; CHECK: bb.2: 13; CHECK-NEXT: %and.2 = and i32 undef, %conv 14; CHECK-NEXT: br label %bb.2 15; CHECK: bb.3: 16; CHECK-NEXT: %and.3 = and i32 undef, %conv 17; CHECK-NEXT: br label %bb.3 18; CHECK: dead: 19; CHECK-NEXT: %and.dead = and i32 undef, %conv 20; CHECK-NEXT: br label %dead 21; 22bb.0: 23 %conv = sext i16 %p1 to i32 24 br i1 %arg, label %bb.1, label %bb.3 25 26bb.1: ; preds = %bb.0 27 br label %bb.2 28 29bb.2: ; preds = %bb.2, %bb.1 30 %and.2 = and i32 undef, %conv 31 br label %bb.2 32 33bb.3: ; preds = %bb.3, %bb.0 34 %and.3 = and i32 undef, %conv 35 br label %bb.3 36 37dead: ; preds = %dead 38 %and.dead = and i32 undef, %conv 39 br label %dead 40} 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]], 0 47; CHECK-NEXT: br i1 [[DOTNOT]], label [[IF_END:%.*]], label [[IF_THEN:%.*]] 48; CHECK: if.then: 49; CHECK-NEXT: [[B:%.*]] = and i32 undef, 65535 50; 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, 0 59 br i1 %.not, label %if.end, label %if.then 60 61if.then: ; preds = %1 62 %b = and i32 undef, 65535 63 br label %if.end 64 65dead: ; No predecessors! 66 br label %if.end 67 68if.end: ; preds = %4, %if.then, %1 69 %.0 = phi i32 [ %a, %entry ], [ %b, %if.then ], [ %b, %dead ] 70 ret i32 %.0 71} 72