llvm/test/tools/llvm-reduce/reduce-bb-unreachable-does-not-dominate-error3.ll

   1 ; RUN: llvm-reduce --abort-on-invalid-reduction --delta-passes=unreachable-basic-blocks,basic-blocks --test FileCheck --test-arg --check-prefixes=CHECK-INTERESTINGNESS --test-arg %s --test-arg --input-file %s -o %t
   2 ; RUN: FileCheck %s < %t
   3
   4
   5 ; CHECK-INTERESTINGNESS: store i32 0,
   6 ; CHECK-INTERESTINGNESS: store i32 1,
   7
   8
   9 ; CHECK: bb:
  10 ; CHECK-NEXT: %tmp = icmp eq i8 0, 0
  11 ; CHECK-NEXT: %tmp12 = load i32,
  12 ; CHECK-NEXT: %tmp13 = load i32,
  13 ; CHECK-NEXT: br label %bb14
  14
  15 ; CHECK: bb14:
  16 ; CHECK-NEXT: switch i32 %tmp12, label %bb14 [
  17 ; CHECK-NEXT: i32 2, label %bb14
  18 ; CHECK-NEXT: i32 1, label %bb19
  19 ; CHECK-NEXT: ]
  20
  21 ; CHECK: bb19:
  22 ; CHECK-NEXT: switch i32 %tmp13, label %bb14 [
  23 ; CHECK-NEXT: i32 2, label %bb21
  24 ; CHECK-NEXT: i32 1, label %bb20
  25 ; CHECK-NEXT: ]
  26
  27 ; CHECK: bb20:
  28 ; CHECK-NEXT: store i32 0,
  29 ; CHECK-NEXT: br label %bb14
  30
  31 ; CHECK: bb21:
  32 ; CHECK-NEXT: store i32 1,
  33 ; CHECK-NEXT: br label %bb14
  34 define void @snork() {
  35 bb:
  36   %tmp = icmp eq i8 0, 0
  37   %tmp12 = load i32, ptr addrspace(4) inttoptr (i64 3016 to ptr addrspace(4)), align 8
  38   %tmp13 = load i32, ptr addrspace(4) null, align 8
  39   br label %bb14
  40
  41 bb14:                                             ; preds = %bb21, %bb20, %bb19, %bb14, %bb
  42   switch i32 %tmp12, label %bb22 [
  43     i32 2, label %bb14
  44     i32 1, label %bb19
  45   ]
  46
  47 bb15:                                             ; preds = %bb17
  48   %tmp16 = fadd contract double %tmp18, 1.000000e+00
  49   unreachable
  50
  51 bb17:                                             ; preds = %bb17
  52   %tmp18 = fadd contract double 0.000000e+00, 0.000000e+00
  53   br i1 false, label %bb15, label %bb17
  54
  55 bb19:                                             ; preds = %bb14
  56   switch i32 %tmp13, label %bb14 [
  57     i32 2, label %bb21
  58     i32 1, label %bb20
  59   ]
  60
  61 bb20:                                             ; preds = %bb19
  62   store i32 0, ptr addrspace(3) null, align 4
  63   br label %bb14
  64
  65 bb21:                                             ; preds = %bb19
  66   store i32 1, ptr addrspace(3) null, align 4
  67   br label %bb14
  68
  69 bb22:                                             ; preds = %bb14
  70   unreachable
  71 }