llvm/test/Transforms/InstCombine/RISCV/memcmp.ll

   1 ; RUN: opt %s -passes=instcombine -mtriple=riscv64-unknown-linux-gnu -S | FileCheck %s
   2
   3 declare signext i32 @memcmp(ptr, ptr, i64)
   4
   5 ; Make sure we use signext attribute for the bcmp result.
   6 define signext i32 @test_bcmp(ptr %mem1, ptr %mem2, i64 %size) {
   7 ; CHECK-LABEL: define {{[^@]+}}@test_bcmp(
   8 ; CHECK-NEXT:    [[BCMP:%.*]] = call i32 @bcmp(ptr [[MEM1:%.*]], ptr [[MEM2:%.*]], i64 [[SIZE:%.*]])
   9 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[BCMP]], 0
  10 ; CHECK-NEXT:    [[ZEXT:%.*]] = zext i1 [[CMP]] to i32
  11 ; CHECK-NEXT:    ret i32 [[ZEXT]]
  12 ;
  13   %call = call signext i32 @memcmp(ptr %mem1, ptr %mem2, i64 %size)
  14   %cmp = icmp eq i32 %call, 0
  15   %zext = zext i1 %cmp to i32
  16   ret i32 %zext
  17 }
  18
  19 ; CHECK: declare signext i32 @bcmp(ptr nocapture, ptr nocapture, i64)