1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -licm -mtriple aarch64-linux-gnu -S < %s | FileCheck %s
3
4define i1 @func(ptr %0, i64 %1) {
5; CHECK-LABEL: @func(
6; CHECK-NEXT:    br label [[TMP3:%.*]]
7; CHECK:       3:
8; CHECK-NEXT:    [[TMP4:%.*]] = phi i64 [ 0, [[TMP2:%.*]] ], [ [[TMP12:%.*]], [[TMP11:%.*]] ]
9; CHECK-NEXT:    [[TMP5:%.*]] = icmp ult i64 [[TMP4]], [[TMP1:%.*]]
10; CHECK-NEXT:    br i1 [[TMP5]], label [[TMP6:%.*]], label [[DOTSPLIT_LOOP_EXIT2:%.*]]
11; CHECK:       6:
12; CHECK-NEXT:    [[TMP7:%.*]] = getelementptr inbounds <1 x i64>, ptr [[TMP0:%.*]], i64 [[TMP4]]
13; CHECK-NEXT:    [[TMP8:%.*]] = load <1 x i64>, ptr [[TMP7]], align 8
14; CHECK-NEXT:    [[TMP9:%.*]] = extractelement <1 x i64> [[TMP8]], i64 0
15; CHECK-NEXT:    [[TMP10:%.*]] = icmp eq i64 [[TMP9]], -1
16; CHECK-NEXT:    br i1 [[TMP10]], label [[TMP11]], label [[DOTSPLIT_LOOP_EXIT:%.*]]
17; CHECK:       11:
18; CHECK-NEXT:    [[TMP12]] = add i64 [[TMP4]], 1
19; CHECK-NEXT:    br label [[TMP3]]
20; CHECK:       .split.loop.exit:
21; CHECK-NEXT:    [[DOTLCSSA7:%.*]] = phi <1 x i64> [ [[TMP8]], [[TMP6]] ]
22; CHECK-NEXT:    [[DOTLCSSA6:%.*]] = phi i64 [ [[TMP4]], [[TMP6]] ]
23; CHECK-NEXT:    [[DOTPH:%.*]] = phi i1 [ [[TMP5]], [[TMP6]] ]
24; CHECK-NEXT:    [[TMP13:%.*]] = extractelement <1 x i64> [[DOTLCSSA7]], i64 0
25; CHECK-NEXT:    [[TMP14:%.*]] = xor i64 [[TMP13]], -1
26; CHECK-NEXT:    [[TMP15:%.*]] = add i64 [[TMP14]], [[DOTLCSSA6]]
27; CHECK-NEXT:    [[TMP16:%.*]] = icmp uge i64 [[TMP15]], [[TMP1]]
28; CHECK-NEXT:    br label [[TMP17:%.*]]
29; CHECK:       .split.loop.exit2:
30; CHECK-NEXT:    [[DOTPH3:%.*]] = phi i1 [ [[TMP5]], [[TMP3]] ]
31; CHECK-NEXT:    [[DOTPH4:%.*]] = phi i1 [ undef, [[TMP3]] ]
32; CHECK-NEXT:    br label [[TMP17]]
33; CHECK:       17:
34; CHECK-NEXT:    [[TMP18:%.*]] = phi i1 [ [[DOTPH]], [[DOTSPLIT_LOOP_EXIT]] ], [ [[DOTPH3]], [[DOTSPLIT_LOOP_EXIT2]] ]
35; CHECK-NEXT:    [[TMP19:%.*]] = phi i1 [ [[TMP16]], [[DOTSPLIT_LOOP_EXIT]] ], [ [[DOTPH4]], [[DOTSPLIT_LOOP_EXIT2]] ]
36; CHECK-NEXT:    [[TMP20:%.*]] = xor i1 [[TMP18]], true
37; CHECK-NEXT:    [[TMP21:%.*]] = select i1 [[TMP20]], i1 true, i1 [[TMP19]]
38; CHECK-NEXT:    ret i1 [[TMP21]]
39;
40  br label %3
41
423:                                                ; preds = %14, %2
43  %4 = phi i64 [ 0, %2 ], [ %15, %14 ]
44  %5 = icmp ult i64 %4, %1
45  br i1 %5, label %6, label %16
46
476:                                                ; preds = %3
48  %7 = getelementptr inbounds <1 x i64>, ptr %0, i64 %4
49  %8 = load <1 x i64>, ptr %7, align 8
50  %9 = extractelement <1 x i64> %8, i64 0
51  %10 = icmp eq i64 %9, -1
52  %11 = xor i64 %9, -1
53  %12 = add i64 %11, %4
54  %13 = icmp uge i64 %12, %1
55  br i1 %10, label %14, label %16
56
5714:                                               ; preds = %6
58  %15 = add i64 %4, 1
59  br label %3
60
6116:                                               ; preds = %3, %6
62  %17 = phi i1 [ %5, %3 ], [ %5, %6 ]
63  %18 = phi i1 [ %13, %6 ], [ undef, %3 ]
64  %19 = xor i1 %17, true
65  %20 = select i1 %19, i1 true, i1 %18
66  ret i1 %20
67}
68