1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 3 2; RUN: opt -S -passes=dfa-jump-threading %s | FileCheck %s 3 4define void @pr60254() { 5; CHECK-LABEL: define void @pr60254() { 6; CHECK-NEXT: entry_1: 7; CHECK-NEXT: br label [[BB_2:%.*]] 8; CHECK: bb_2: 9; CHECK-NEXT: [[PTR_I32_25_0:%.*]] = phi i32 [ 0, [[BB_4:%.*]] ], [ 0, [[BB_2]] ], [ 0, [[ENTRY_1:%.*]] ] 10; CHECK-NEXT: switch i32 [[PTR_I32_25_0]], label [[BB_2]] [ 11; CHECK-NEXT: ] 12; CHECK: bb_4: 13; CHECK-NEXT: br label [[BB_2]] 14; 15entry_1: 16 br label %bb_2 17 18bb_2: ; preds = %bb_4, %bb_2, %entry_1 19 %ptr_i32_25.0 = phi i32 [ 0, %bb_4 ], [ 0, %bb_2 ], [ 0, %entry_1 ] 20 switch i32 %ptr_i32_25.0, label %bb_2 [ 21 ] 22 23bb_4: ; No predecessors! 24 br label %bb_2 25} 26 27define void @pr56882() { 28; CHECK-LABEL: define void @pr56882() { 29; CHECK-NEXT: entry_1: 30; CHECK-NEXT: br label [[BB_2:%.*]] 31; CHECK: bb_2: 32; CHECK-NEXT: [[PTR_I64_16_0:%.*]] = phi i64 [ -1317805584074026212, [[ENTRY_1:%.*]] ], [ -158622699357888703, [[BB_2]] ] 33; CHECK-NEXT: switch i64 [[PTR_I64_16_0]], label [[BB_2]] [ 34; CHECK-NEXT: ] 35; 36entry_1: 37 br label %bb_2 38 39bb_2: ; preds = %bb_2, %entry_1 40 %ptr_i64_16.0 = phi i64 [ -1317805584074026212, %entry_1 ], [ -158622699357888703, %bb_2 ] 41 switch i64 %ptr_i64_16.0, label %bb_2 [ 42 ] 43} 44