1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; TODO: Test that ...
3; RUN: opt < %s -passes=instcombine -S | FileCheck %s
4
5declare i32 @strcmp(i8*, i8*)
6
7@s9 = constant [10 x i8] c"123456789\00"
8
9
10; Fold strcmp(C ? s3 : s5, s3) to C ? 0 : 1.
11
12define i32 @fold_strcmp_s3_x_s4_s3(i1 %C) {
13; CHECK-LABEL: @fold_strcmp_s3_x_s4_s3(
14; 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)
15; 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))
16; CHECK-NEXT:    ret i32 [[CMP]]
17;
18
19  %ps3 = getelementptr [10 x i8], [10 x i8]* @s9, i64 0, i64 6
20  %ps4 = getelementptr [10 x i8], [10 x i8]* @s9, i64 0, i64 5
21
22  %ptr = select i1 %C, i8* %ps3, i8* %ps4
23  %cmp = call i32 @strcmp(i8* %ptr, i8* %ps3)
24  ret i32 %cmp
25}
26