[Frontend] Remove unused includes (NFC) (#116927)
[llvm-project.git] / llvm / test / tools / llvm-reduce / reduce-bb-unreachable-does-not-dominate-error2.ll
blob99531c808758a54d298821b495ff9d58e1faba1b
1 ; RUN: llvm-reduce --abort-on-invalid-reduction --delta-passes=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
4 ; Make sure an invalid reduction isn't produced due to leaving behind
5 ; invalid code in %bb8 after it becomes unreachable.
7 ; CHECK-INTERESTINGNESS: store i32 0,
8 ; CHECK-INTERESTINGNESS: store i32 1,
9 ; CHECK-INTERESTINGNESS: store i32 2,
12 ; CHECK: bb:
13 ; CHECK-NEXT: store i32 0, ptr addrspace(3) null, align 4
15 ; CHECK: bb6: ; preds = %bb8, %bb
16 ; CHECK-NEXT: store i32 1, ptr addrspace(3) null, align 4
18 ; CHECK: bb8: ; preds = %bb6
19 ; CHECK-NEXT: %tmp = phi ptr addrspace(5) [ null, %bb6 ]
20 define amdgpu_kernel void @foo(i32 %arg) {
21 bb:
22   store i32 0, ptr addrspace(3) null
23   br label %bb6
25 bb6:                                              ; preds = %bb10, %bb9, %bb8, %bb
26   store i32 1, ptr addrspace(3) null
27   switch i32 0, label %bb7 [
28     i32 0, label %bb8
29   ]
31 bb7:                                              ; preds = %bb6
32   unreachable
34 bb8:                                              ; preds = %bb6
35   %tmp = phi ptr addrspace(5) [ null, %bb6 ]
36   store i32 2, ptr addrspace(5) %tmp
37   switch i32 %arg, label %bb6 [
38     i32 0, label %bb10
39     i32 1, label %bb9
40   ]
42 bb9:                                              ; preds = %bb8
43   br label %bb6
45 bb10:                                             ; preds = %bb8
46   br label %bb6