1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -dse -S %s | FileCheck %s
3
4target datalayout = "e-m:o-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
5
6; Make sure we do not crash when we encounter unreachable blocks while checking
7; if all paths to DomAccess go through a killing block.
8define void @test(float* %ptr, i1 %c.1, i1 %c.2, i1 %c.3) {
9; CHECK-LABEL: @test(
10; CHECK-NEXT:  bb:
11; CHECK-NEXT:    br i1 [[C_1:%.*]], label [[BB27:%.*]], label [[BB53:%.*]]
12; CHECK:       bb10:
13; CHECK-NEXT:    br label [[BB43:%.*]]
14; CHECK:       bb22:
15; CHECK-NEXT:    br i1 [[C_2:%.*]], label [[BB22:%.*]], label [[BB53]]
16; CHECK:       bb27:
17; CHECK-NEXT:    br i1 [[C_3:%.*]], label [[BB38:%.*]], label [[BB39:%.*]]
18; CHECK:       bb38:
19; CHECK-NEXT:    store float 0.000000e+00, float* [[PTR:%.*]], align 4
20; CHECK-NEXT:    br label [[BB38]]
21; CHECK:       bb39:
22; CHECK-NEXT:    br i1 [[C_2]], label [[BB43]], label [[BB38]]
23; CHECK:       bb43:
24; CHECK-NEXT:    store float 0.000000e+00, float* [[PTR]], align 4
25; CHECK-NEXT:    br label [[BB50:%.*]]
26; CHECK:       bb50:
27; CHECK-NEXT:    br i1 [[C_3]], label [[BB27]], label [[BB53]]
28; CHECK:       bb53:
29; CHECK-NEXT:    br label [[BB53]]
30;
31bb:
32  br i1 %c.1, label %bb27, label %bb53
33
34bb10:                                             ; No predecessors!
35  br label %bb43
36
37bb22:                                             ; preds = %bb22
38  br i1 %c.2, label %bb22, label %bb53
39
40bb27:                                             ; preds = %bb50, %bb
41  br i1 %c.3, label %bb38, label %bb39
42
43bb38:                                             ; preds = %bb39, %bb38, %bb27
44  store float 0.000000e+00, float* %ptr, align 4
45  br label %bb38
46
47bb39:                                             ; preds = %bb27
48  br i1 %c.2, label %bb43, label %bb38
49
50bb43:                                             ; preds = %bb39, %bb10
51  store float 0.000000e+00, float* %ptr, align 4
52  br label %bb50
53
54bb50:                                             ; preds = %bb43
55  br i1 %c.3, label %bb27, label %bb53
56
57bb53:                                             ; preds = %bb53, %bb50, %bb22, %bb
58  br label %bb53
59}
60