llvm/test/Transforms/InstCombine/strcmp-4.ll

   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
   5 declare 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
  12 define 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 (i8, ptr @s9, i64 6), ptr getelementptr inbounds (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 (i8, ptr @s9, i64 6))
  16 ; CHECK-NEXT:    ret i32 [[CMP]]
  17 ;
  18
  19   %ps3 = getelementptr [10 x i8], ptr @s9, i64 0, i64 6
  20   %ps4 = getelementptr [10 x i8], ptr @s9, i64 0, i64 5
  21
  22   %ptr = select i1 %C, ptr %ps3, ptr %ps4
  23   %cmp = call i32 @strcmp(ptr %ptr, ptr %ps3)
  24   ret i32 %cmp
  25 }