[llvm] fb8ce45 - [NewGVN] Add another test for #53218 (NFC)

[Nikita Popov via llvm-commits]

Author: Nikita Popov
Date: 2023-09-26T15:06:19+02:00
New Revision: fb8ce45a037f0b2eb6e9c3eaffe139c6b6b5481c

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

LOG: [NewGVN] Add another test for #53218 (NFC)

Added: 
    

Modified: 
    llvm/test/Transforms/NewGVN/flags.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/NewGVN/flags.ll b/llvm/test/Transforms/NewGVN/flags.ll
index b8b49a343280324..f3e29ff3c094a02 100644
--- a/llvm/test/Transforms/NewGVN/flags.ll
+++ b/llvm/test/Transforms/NewGVN/flags.ll
@@ -19,3 +19,22 @@ entry:
   call void @use(i1 %cmp2)
   ret void
 }
+
+define void @test2(i8 %start, i8 %high) {
+; CHECK-LABEL: define void @test2
+; CHECK-SAME: (i8 [[START:%.*]], i8 [[HIGH:%.*]]) {
+; CHECK-NEXT:    [[START1:%.*]] = add nsw i8 [[START]], 4
+; CHECK-NEXT:    [[T1:%.*]] = icmp ult i8 [[START1]], [[HIGH]]
+; CHECK-NEXT:    call void @use(i1 [[T1]])
+; CHECK-NEXT:    call void @use(i1 [[T1]])
+; CHECK-NEXT:    ret void
+;
+  %start1 = add nsw i8 %start, 4
+  %t1 = icmp ult i8 %start1, %high
+  call void @use(i1 %t1)
+
+  %start2 = add i8 %start, 4
+  %t2 = icmp ult i8 %start2, %high
+  call void @use(i1 %t2)
+  ret void
+}