[llvm] 61d8e27 - [test] precommit a test for D109354

[Jingu Kang via llvm-commits]

Author: Jingu Kang
Date: 2021-09-07T16:02:53+01:00
New Revision: 61d8e2719351ad0277a13d57c160962ba2d54976

URL: https://github.com/llvm/llvm-project/commit/61d8e2719351ad0277a13d57c160962ba2d54976
DIFF: https://github.com/llvm/llvm-project/commit/61d8e2719351ad0277a13d57c160962ba2d54976.diff

LOG: [test] precommit a test for D109354

Added: 
    llvm/test/Transforms/LoopBoundSplit/bug51766.ll

Modified: 
    

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/LoopBoundSplit/bug51766.ll b/llvm/test/Transforms/LoopBoundSplit/bug51766.ll
new file mode 100644
index 0000000000000..a243a3da42de7
--- /dev/null
+++ b/llvm/test/Transforms/LoopBoundSplit/bug51766.ll
@@ -0,0 +1,81 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt  -passes=loop-bound-split -S < %s | FileCheck %s
+
+; LoopBoundSplit pass should fail to split this test's loop because the split
+; condition is false in first iteration of the loop.
+
+define i16 @main(i16 %qqq) {
+; CHECK-LABEL: @main(
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    br label [[ENTRY_SPLIT:%.*]]
+; CHECK:       entry.split:
+; CHECK-NEXT:    [[NEW_BOUND:%.*]] = call i16 @llvm.umin.i16(i16 [[QQQ:%.*]], i16 2)
+; CHECK-NEXT:    br label [[FOR_BODY:%.*]]
+; CHECK:       for.body:
+; CHECK-NEXT:    [[T0:%.*]] = phi i16 [ 0, [[ENTRY_SPLIT]] ], [ [[T8:%.*]], [[CONT19:%.*]] ]
+; CHECK-NEXT:    [[T1:%.*]] = shl nuw nsw i16 [[T0]], 1
+; CHECK-NEXT:    [[T2:%.*]] = add i16 [[T1]], [[QQQ]]
+; CHECK-NEXT:    [[DOTNOT9:%.*]] = icmp ult i16 [[T2]], [[QQQ]]
+; CHECK-NEXT:    br i1 true, label [[HANDLER_POINTER_OVERFLOW:%.*]], label [[CONT15_CRITEDGE:%.*]]
+; CHECK:       handler.pointer_overflow:
+; CHECK-NEXT:    call void @__ubsan_handle_pointer_overflow()
+; CHECK-NEXT:    br label [[CONT19]]
+; CHECK:       cont15.critedge:
+; CHECK-NEXT:    br label [[CONT19]]
+; CHECK:       cont19:
+; CHECK-NEXT:    [[T8]] = add nuw nsw i16 [[T0]], 1
+; CHECK-NEXT:    [[EXITCOND_NOT:%.*]] = icmp eq i16 [[T8]], [[NEW_BOUND]]
+; CHECK-NEXT:    br i1 [[EXITCOND_NOT]], label [[ENTRY_SPLIT_SPLIT:%.*]], label [[FOR_BODY]]
+; CHECK:       entry.split.split:
+; CHECK-NEXT:    [[T8_LCSSA:%.*]] = phi i16 [ [[T8]], [[CONT19]] ]
+; CHECK-NEXT:    [[TMP0:%.*]] = icmp ne i16 [[T8_LCSSA]], 3
+; CHECK-NEXT:    br i1 [[TMP0]], label [[FOR_BODY_SPLIT_PREHEADER:%.*]], label [[FOR_COND_CLEANUP:%.*]]
+; CHECK:       for.body.split.preheader:
+; CHECK-NEXT:    br label [[FOR_BODY_SPLIT:%.*]]
+; CHECK:       for.body.split:
+; CHECK-NEXT:    [[T0_SPLIT:%.*]] = phi i16 [ [[T8_SPLIT:%.*]], [[CONT19_SPLIT:%.*]] ], [ [[NEW_BOUND]], [[FOR_BODY_SPLIT_PREHEADER]] ]
+; CHECK-NEXT:    [[T1_SPLIT:%.*]] = shl nuw nsw i16 [[T0_SPLIT]], 1
+; CHECK-NEXT:    [[T2_SPLIT:%.*]] = add i16 [[T1_SPLIT]], [[QQQ]]
+; CHECK-NEXT:    [[DOTNOT9_SPLIT:%.*]] = icmp ult i16 [[T2_SPLIT]], [[QQQ]]
+; CHECK-NEXT:    br i1 false, label [[HANDLER_POINTER_OVERFLOW_SPLIT:%.*]], label [[CONT15_CRITEDGE_SPLIT:%.*]]
+; CHECK:       cont15.critedge.split:
+; CHECK-NEXT:    br label [[CONT19_SPLIT]]
+; CHECK:       handler.pointer_overflow.split:
+; CHECK-NEXT:    call void @__ubsan_handle_pointer_overflow()
+; CHECK-NEXT:    br label [[CONT19_SPLIT]]
+; CHECK:       cont19.split:
+; CHECK-NEXT:    [[T8_SPLIT]] = add nuw nsw i16 [[T0_SPLIT]], 1
+; CHECK-NEXT:    [[EXITCOND_NOT_SPLIT:%.*]] = icmp eq i16 [[T8_SPLIT]], 3
+; CHECK-NEXT:    br i1 [[EXITCOND_NOT_SPLIT]], label [[FOR_COND_CLEANUP_LOOPEXIT:%.*]], label [[FOR_BODY_SPLIT]]
+; CHECK:       for.cond.cleanup.loopexit:
+; CHECK-NEXT:    br label [[FOR_COND_CLEANUP]]
+; CHECK:       for.cond.cleanup:
+; CHECK-NEXT:    ret i16 0
+;
+entry:
+  br label %for.body
+
+for.body:
+  %t0 = phi i16 [ 0, %entry ], [ %t8, %cont19 ]
+  %t1 = shl nuw nsw i16 %t0, 1
+  %t2 = add i16 %t1, %qqq
+  %.not9 = icmp ult i16 %t2, %qqq
+  br i1 %.not9, label %handler.pointer_overflow, label %cont15.critedge
+
+handler.pointer_overflow:
+  call void @__ubsan_handle_pointer_overflow()
+  br label %cont19
+
+cont15.critedge:
+  br label %cont19
+
+cont19:
+  %t8 = add nuw nsw i16 %t0, 1
+  %exitcond.not = icmp eq i16 %t8, 3
+  br i1 %exitcond.not, label %for.cond.cleanup, label %for.body
+
+for.cond.cleanup:
+  ret i16 0
+}
+
+declare dso_local void @__ubsan_handle_pointer_overflow()