[llvm] 22e6094 - [EarlyCSE] Add test case with inbounds gep where flags can be retained.

[Florian Hahn via llvm-commits]

Author: Florian Hahn
Date: 2021-12-07T13:46:25Z
New Revision: 22e6094b202c40ca5be2a15ae54e0967695fdcf8

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

LOG: [EarlyCSE] Add test case with inbounds gep where flags can be retained.

Added: 
    

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

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/EarlyCSE/flags.ll b/llvm/test/Transforms/EarlyCSE/flags.ll
index 951ba9da13ff..5434db94f246 100644
--- a/llvm/test/Transforms/EarlyCSE/flags.ll
+++ b/llvm/test/Transforms/EarlyCSE/flags.ll
@@ -18,3 +18,32 @@ define void @test1(float %x, float %y) {
   ret void
 }
 
+declare void @use.i8(i8*)
+
+define void @test_inbounds_program_ub_if_first_gep_poison(i8* %ptr, i64 %n) {
+; CHECK-LABEL: @test_inbounds_program_ub_if_first_gep_poison(
+; CHECK-NEXT:    [[ADD_PTR_1:%.*]] = getelementptr i8, i8* [[PTR:%.*]], i64 [[N:%.*]]
+; CHECK-NEXT:    call void @use.i8(i8* noundef [[ADD_PTR_1]])
+; CHECK-NEXT:    call void @use.i8(i8* [[ADD_PTR_1]])
+; CHECK-NEXT:    ret void
+;
+  %add.ptr.1 = getelementptr inbounds i8, i8* %ptr, i64 %n
+  call void @use.i8(i8* noundef %add.ptr.1)
+  %add.ptr.2 = getelementptr i8, i8* %ptr, i64 %n
+  call void @use.i8(i8* %add.ptr.2)
+  ret void
+}
+
+define void @test_inbounds_program_not_ub_if_first_gep_poison(i8* %ptr, i64 %n) {
+; CHECK-LABEL: @test_inbounds_program_not_ub_if_first_gep_poison(
+; CHECK-NEXT:    [[ADD_PTR_1:%.*]] = getelementptr i8, i8* [[PTR:%.*]], i64 [[N:%.*]]
+; CHECK-NEXT:    call void @use.i8(i8* [[ADD_PTR_1]])
+; CHECK-NEXT:    call void @use.i8(i8* [[ADD_PTR_1]])
+; CHECK-NEXT:    ret void
+;
+  %add.ptr.1 = getelementptr inbounds i8, i8* %ptr, i64 %n
+  call void @use.i8(i8* %add.ptr.1)
+  %add.ptr.2 = getelementptr i8, i8* %ptr, i64 %n
+  call void @use.i8(i8* %add.ptr.2)
+  ret void
+}