67 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=licm -mtriple aarch64-linux-gnu -S < %s | FileCheck %s3 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 814; CHECK-NEXT: [[TMP9:%.*]] = extractelement <1 x i64> [[TMP8]], i64 015; CHECK-NEXT: [[TMP10:%.*]] = icmp eq i64 [[TMP9]], -116; CHECK-NEXT: br i1 [[TMP10]], label [[TMP11]], label [[DOTSPLIT_LOOP_EXIT:%.*]]17; CHECK: 11:18; CHECK-NEXT: [[TMP12]] = add i64 [[TMP4]], 119; CHECK-NEXT: br label [[TMP3]]20; CHECK: .split.loop.exit:21; CHECK-NEXT: [[DOTLCSSA:%.*]] = phi i64 [ [[TMP9]], [[TMP6]] ]22; CHECK-NEXT: [[DOTLCSSA6:%.*]] = phi i64 [ [[TMP4]], [[TMP6]] ]23; CHECK-NEXT: [[DOTPH:%.*]] = phi i1 [ [[TMP5]], [[TMP6]] ]24; CHECK-NEXT: [[TMP13:%.*]] = xor i64 [[DOTLCSSA]], -125; CHECK-NEXT: [[TMP14:%.*]] = add i64 [[TMP13]], [[DOTLCSSA6]]26; CHECK-NEXT: [[TMP15:%.*]] = icmp uge i64 [[TMP14]], [[TMP1]]27; CHECK-NEXT: br label [[TMP16:%.*]]28; CHECK: .split.loop.exit2:29; CHECK-NEXT: [[DOTPH3:%.*]] = phi i1 [ [[TMP5]], [[TMP3]] ]30; CHECK-NEXT: [[DOTPH4:%.*]] = phi i1 [ undef, [[TMP3]] ]31; CHECK-NEXT: br label [[TMP16]]32; CHECK: 16:33; CHECK-NEXT: [[TMP17:%.*]] = phi i1 [ [[DOTPH]], [[DOTSPLIT_LOOP_EXIT]] ], [ [[DOTPH3]], [[DOTSPLIT_LOOP_EXIT2]] ]34; CHECK-NEXT: [[TMP18:%.*]] = phi i1 [ [[TMP15]], [[DOTSPLIT_LOOP_EXIT]] ], [ [[DOTPH4]], [[DOTSPLIT_LOOP_EXIT2]] ]35; CHECK-NEXT: [[TMP19:%.*]] = xor i1 [[TMP17]], true36; CHECK-NEXT: [[TMP20:%.*]] = select i1 [[TMP19]], i1 true, i1 [[TMP18]]37; CHECK-NEXT: ret i1 [[TMP20]]38;39 br label %340 413: ; preds = %14, %242 %4 = phi i64 [ 0, %2 ], [ %15, %14 ]43 %5 = icmp ult i64 %4, %144 br i1 %5, label %6, label %1645 466: ; preds = %347 %7 = getelementptr inbounds <1 x i64>, ptr %0, i64 %448 %8 = load <1 x i64>, ptr %7, align 849 %9 = extractelement <1 x i64> %8, i64 050 %10 = icmp eq i64 %9, -151 %11 = xor i64 %9, -152 %12 = add i64 %11, %453 %13 = icmp uge i64 %12, %154 br i1 %10, label %14, label %1655 5614: ; preds = %657 %15 = add i64 %4, 158 br label %359 6016: ; preds = %3, %661 %17 = phi i1 [ %5, %3 ], [ %5, %6 ]62 %18 = phi i1 [ %13, %6 ], [ undef, %3 ]63 %19 = xor i1 %17, true64 %20 = select i1 %19, i1 true, i1 %1865 ret i1 %2066}67