[llvm] 0f8e4a5 - [InstCombine] Add test for PR47730

[Nikita Popov via llvm-commits]

Author: Nikita Popov
Date: 2020-10-05T21:09:53+02:00
New Revision: 0f8e4a5ed0e556af82592f7cae4a6082ab238da3

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

LOG: [InstCombine] Add test for PR47730

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 df506477eed1..326050c5a200 100644
--- a/llvm/test/Transforms/InstCombine/select.ll
+++ b/llvm/test/Transforms/InstCombine/select.ll
@@ -2725,6 +2725,19 @@ define i32 @select_replacement_loop2(i32 %arg, i32 %arg2) {
   ret i32 %sel
 }
 
+define i8* @select_replacement_gep_inbounds(i8* %base, i64 %offset) {
+; CHECK-LABEL: @select_replacement_gep_inbounds(
+; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i64 [[OFFSET:%.*]], 0
+; CHECK-NEXT:    [[GEP:%.*]] = getelementptr inbounds i8, i8* [[BASE:%.*]], i64 [[OFFSET]]
+; CHECK-NEXT:    [[SEL:%.*]] = select i1 [[CMP]], i8* [[BASE]], i8* [[GEP]]
+; CHECK-NEXT:    ret i8* [[SEL]]
+;
+  %cmp = icmp eq i64 %offset, 0
+  %gep = getelementptr inbounds i8, i8* %base, i64 %offset
+  %sel = select i1 %cmp, i8* %base, i8* %gep
+  ret i8* %sel
+}
+
 declare void @use(i1)
 declare void @use_i8(i8)
 declare i32 @llvm.cttz.i32(i32, i1 immarg)