; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; TODO: Test that ...
; RUN: opt < %s -passes=instcombine -S | FileCheck %s

declare i32 @strcmp(i8*, i8*)

@s9 = constant [10 x i8] c"123456789\00"


; Fold strcmp(C ? s3 : s5, s3) to C ? 0 : 1.

define i32 @fold_strcmp_s3_x_s4_s3(i1 %C) {
; CHECK-LABEL: @fold_strcmp_s3_x_s4_s3(
; CHECK-NEXT:    [[PTR:%.*]] = select i1 [[C:%.*]], i8* getelementptr inbounds ([10 x i8], [10 x i8]* @s9, i64 0, i64 6), i8* getelementptr inbounds ([10 x i8], [10 x i8]* @s9, i64 0, i64 5)
; CHECK-NEXT:    [[CMP:%.*]] = call i32 @strcmp(i8* noundef nonnull dereferenceable(1) [[PTR]], i8* noundef nonnull dereferenceable(4) getelementptr inbounds ([10 x i8], [10 x i8]* @s9, i64 0, i64 6))
; CHECK-NEXT:    ret i32 [[CMP]]
;

  %ps3 = getelementptr [10 x i8], [10 x i8]* @s9, i64 0, i64 6
  %ps4 = getelementptr [10 x i8], [10 x i8]* @s9, i64 0, i64 5

  %ptr = select i1 %C, i8* %ps3, i8* %ps4
  %cmp = call i32 @strcmp(i8* %ptr, i8* %ps3)
  ret i32 %cmp
}