[llvm] 94d9120 - [InstCombine] Add test for infinite combine loop (NFC)

[Nikita Popov via llvm-commits]

Author: Nikita Popov
Date: 2020-09-16T20:53:25+02:00
New Revision: 94d912021ff35d33cde96dacd6f1db925fe9f2b8

URL: https://github.com/llvm/llvm-project/commit/94d912021ff35d33cde96dacd6f1db925fe9f2b8
DIFF: https://github.com/llvm/llvm-project/commit/94d912021ff35d33cde96dacd6f1db925fe9f2b8.diff

LOG: [InstCombine] Add test for infinite combine loop (NFC)

Test courtesy of bkramer for the infinite combine loop introduced
by D87480.

Added: 
    

Modified: 
    llvm/test/Transforms/InstCombine/select.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/InstCombine/select.ll b/llvm/test/Transforms/InstCombine/select.ll
index d9a4f4bdbd47..6c3e577b4c71 100644
--- a/llvm/test/Transforms/InstCombine/select.ll
+++ b/llvm/test/Transforms/InstCombine/select.ll
@@ -2683,5 +2683,20 @@ define i8 @select_replacement_loop(i8 %x, i8 %y, i8 %z) {
   ret i8 %sel
 }
 
+define i32 @select_replacement_loop2(i32 %arg, i32 %arg2) {
+; CHECK-LABEL: @select_replacement_loop2(
+; CHECK-NEXT:    [[DIV:%.*]] = udiv i32 [[ARG:%.*]], [[ARG2:%.*]]
+; CHECK-NEXT:    [[MUL:%.*]] = mul nsw i32 [[DIV]], [[ARG2]]
+; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[MUL]], [[ARG]]
+; CHECK-NEXT:    [[SEL:%.*]] = select i1 [[CMP]], i32 [[DIV]], i32 undef
+; CHECK-NEXT:    ret i32 [[SEL]]
+;
+  %div = udiv i32 %arg, %arg2
+  %mul = mul nsw i32 %div, %arg2
+  %cmp = icmp eq i32 %mul, %arg
+  %sel = select i1 %cmp, i32 %div, i32 undef
+  ret i32 %sel
+}
+
 declare void @use(i1)
 declare i32 @llvm.cttz.i32(i32, i1 immarg)