Add baseline tests for upcoming patch

Author: ken-matsui

llvm/test/Transforms/SCCP/assume-mul-nuw-square.ll

@@ -0,0 +1,21 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt -passes=sccp -S < %s | FileCheck %s
+
+declare void @llvm.assume(i1)
+
+define i1 @src(i16 %num, i16 %s) {
+; CHECK-LABEL: @src(
+; CHECK-NEXT:  start:
+; CHECK-NEXT:    [[MUL:%.*]] = mul nuw i16 [[S:%.*]], [[S]]
+; CHECK-NEXT:    [[COND:%.*]] = icmp ule i16 [[MUL]], [[NUM:%.*]]
+; CHECK-NEXT:    call void @llvm.assume(i1 [[COND]])
+; CHECK-NEXT:    [[CMP:%.*]] = icmp ult i16 [[S]], 256
+; CHECK-NEXT:    ret i1 [[CMP]]
+;
+start:
+  %mul = mul nuw i16 %s, %s
+  %cond = icmp ule i16 %mul, %num
+  call void @llvm.assume(i1 %cond)
+  %cmp = icmp ult i16 %s, 256
+  ret i1 %cmp
+}