26 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; TODO: Test that ...3; RUN: opt < %s -passes=instcombine -S | FileCheck %s4 5declare i32 @strcmp(ptr, ptr)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:%.*]], ptr getelementptr inbounds nuw (i8, ptr @s9, i64 6), ptr getelementptr inbounds nuw (i8, ptr @s9, i64 5)15; CHECK-NEXT: [[CMP:%.*]] = call i32 @strcmp(ptr noundef nonnull dereferenceable(1) [[PTR]], ptr noundef nonnull dereferenceable(4) getelementptr inbounds nuw (i8, ptr @s9, i64 6))16; CHECK-NEXT: ret i32 [[CMP]]17;18 19 %ps3 = getelementptr [10 x i8], ptr @s9, i64 0, i64 620 %ps4 = getelementptr [10 x i8], ptr @s9, i64 0, i64 521 22 %ptr = select i1 %C, ptr %ps3, ptr %ps423 %cmp = call i32 @strcmp(ptr %ptr, ptr %ps3)24 ret i32 %cmp25}26