llvm/test/tools/llvm-reduce/reduce-blocks-only-phi-nodes-may-reference-own-value.ll

   1 ; RUN: llvm-reduce --abort-on-invalid-reduction --delta-passes=basic-blocks --test=FileCheck --test-arg=--check-prefix=CHECK-INTERESTINGNESS --test-arg=%s --test-arg=--input-file %s -o %t
   2 ; RUN: FileCheck %s < %t
   3
   4 ; Make sure an invalid reduction isn't tried when deleting %bb5,
   5 ; causing the or in %bb6 to use its own output value.
   6
   7
   8 ; CHECK-INTERESTINGNESS: store i32 0
   9 ; CHECK-INTERESTINGNESS: store i32 1
  10 ; CHECK-INTERESTINGNESS: store i32 2
  11
  12 ; CHECK: store i32 0
  13 ; CHECK-NEXT: br label %bb5
  14
  15 ; CHECK: bb5:
  16 ; CHECK-NEXT: switch
  17
  18 ; CHECK: bb6:
  19 ; CHECK-NEXT: %tmp = phi i32 [ %tmp7, %bb6 ]
  20 ; CHECK-NEXT: store i32 1
  21 ; CHECK-NEXT: %tmp7 = or i32 %tmp, 0
  22 ; CHECK-NEXT: br label %bb6
  23
  24 ; CHECK-NOT: bb7
  25 ; CHECK: bb8:
  26 ; CHECK-NEXT: store i32 2,
  27 define amdgpu_kernel void @snork(i32 %arg, i1 %arg1) {
  28 bb:
  29   store i32 0, ptr addrspace(3) null
  30   br i1 %arg1, label %bb5, label %bb7
  31
  32 bb5:                                              ; preds = %bb5, %bb
  33   switch i32 %arg, label %bb5 [
  34     i32 0, label %bb8
  35     i32 1, label %bb6
  36   ]
  37
  38 bb6:                                              ; preds = %bb6, %bb5
  39   %tmp = phi i32 [ %tmp7, %bb6 ], [ 0, %bb5 ]
  40   store i32 1, ptr addrspace(3) null
  41   %tmp7 = or i32 %tmp, 0
  42   br label %bb6
  43
  44 bb7:
  45   store i32 3, ptr addrspace(3) null
  46   br label %bb8
  47
  48 bb8:                                              ; preds = %bb5
  49   store i32 2, ptr addrspace(3) null
  50   unreachable
  51 }