[InstSimplify] Test for D149001

[floatshadow]

Summary

[u]sdiv X (1 [u]srem Y) --> X, [u]srem X (1 [u]srem Y) --> 0

https://reviews.llvm.org/D149001

[junaire]

This doesn't look right. I don't know how other people do this, but below is my regular workflow:

# Let's say you have a commit A and you need to split a part of it to B, which is a commit before A
git reset HEAD^ # This unstaged all your changes to A
git add -p . # add changes you want to split
git commit # This is the commit B
git add -p . # add the rest of your changes
git commit # This is the commit A
# Now do git log you can see you have B --> A 
git reset --hard HEAD^ # jump to commit B because arc only uploads the top one commit
arc diff # Create revision B, then add a child revision, which is your old revision of your folds
git reset --hard xxxx # jump back to A, you can use git reflog to find the commit hash
arc diff --update xxx # update your old revision

[floatshadow]

In D149008#4290189, @junaire wrote:

This doesn't look right. I don't know how other people do this, but below is my regular workflow:

# Let's say you have a commit A and you need to split a part of it to B, which is a commit before A
git reset HEAD^ # This unstaged all your changes to A
git add -p . # add changes you want to split
git commit # This is the commit B
git add -p . # add the rest of your changes
git commit # This is the commit A
# Now do git log you can see you have B --> A 
git reset --hard HEAD^ # jump to commit B because arc only uploads the top one commit
arc diff # Create revision B, then add a child revision, which is your old revision of your folds
git reset --hard xxxx # jump back to A, you can use git reflog to find the commit hash
arc diff --update xxx # update your old revision

Thank you for your reply. I am not familiar with parent/child chain. I will try a fix later.

llvm/test/Transforms/InstSimplify/div.ll

 ; CHECK-NEXT:    ret <2 x i8> [[R]]
 ;
   %o = or <2 x i8> %x, <i8 3, i8 3>
   %r = udiv exact <2 x i8> %o, <i8 12, i8 1>
   ret <2 x i8> %r
 }
 
 !0 = !{i32 0, i32 3}
+
+define i32 @sdiv_one_srem_divisor(i32 %a, i32 %b) {
+; CHECK-LABEL: @sdiv_one_srem_divisor(
+; CHECK-NEXT:    ret i32 [[O:%.*]]
+;
+  %srem = srem i32 1, %b
+  %sdiv = sdiv i32 %a, %srem
+  ret i32 %sdiv
+}
+
+define i32 @sdiv_one_urem_divisor(i32 %a, i32 %b) {
+; CHECK-LABEL: @sdiv_one_urem_divisor(
+; CHECK-NEXT:    ret i32 [[O:%.*]]
+;
+  %urem = urem i32 1, %b
+  %sdiv = sdiv i32 %a, %urem
+  ret i32 %sdiv 
+}
+
+define i32 @udiv_one_srem_divisor(i32 %a, i32 %b) {
+; CHECK-LABEL: @udiv_one_srem_divisor(
+; CHECK-NEXT:    ret i32 [[O:%.*]]
+;
+  %srem = srem i32 1, %b
+  %udiv = udiv i32 %a, %srem
+  ret i32 %udiv 
+}
+
+define i32 @udiv_one_urem_divisor(i32 %a, i32 %b) {
+; CHECK-LABEL: @udiv_one_urem_divisor(
+; CHECK-NEXT:    ret i32 [[O:%.*]]
+;
+  %urem = urem i32 1, %b
+  %udiv = udiv i32 %a, %urem
+  ret i32 %udiv 
+}
+
+define i32 @srem_one_srem_divisor(i32 %a, i32 %b) {
+; CHECK-LABEL: @srem_one_srem_divisor(
+; CHECK-NEXT:    ret i32 0
+;
+  %srem = srem i32 1, %b
+  %srem1 = srem i32 %a, %srem
+  ret i32 %srem1
+}
+
+define i32 @urem_one_srem_divisor(i32 %a, i32 %b) {
+; CHECK-LABEL: @urem_one_srem_divisor(
+; CHECK-NEXT:    ret i32 0
+;
+  %srem = srem i32 1, %b
+  %urem = urem i32 %a, %srem
+  ret i32 %urem
+}
+
+define i32 @srem_one_urem_divisor(i32 %a, i32 %b) {
+; CHECK-LABEL: @srem_one_urem_divisor(
+; CHECK-NEXT:    ret i32 0
+;
+  %urem = urem i32 1, %b
+  %srem = srem i32 %a, %urem
+  ret i32 %srem
+}
+
+define i32 @urem_one_urem_divisor(i32 %a, i32 %b) {
+; CHECK-LABEL: @urem_one_urem_divisor(
+; CHECK-NEXT:    ret i32 0
+;
+  %urem = urem i32 1, %b
+  %urem1 = urem i32 %a, %urem
+  ret i32 %urem1
+}
+
+define <2 x i8> @sdiv_one_vec_srem_divisor(<2 x i8> %a, <2 x i8> %b) {
+; CHECK-LABEL: @sdiv_one_vec_srem_divisor(
+; CHECK-NEXT:    ret <2 x i8> [[O:%.*]]
+;
+  %srem = srem <2 x i8> <i8 1, i8 1>, %b 
+  %sdiv = sdiv <2 x i8> %a, %srem
+  ret <2 x i8> %sdiv
+}
 No newline at end of file