20 lines · plain
1; RUN: opt %s -passes=instcombine -mtriple=riscv64-unknown-linux-gnu -S | FileCheck %s2 3declare signext i32 @memcmp(ptr, ptr, i64)4 5; Make sure we use signext attribute for the bcmp result.6define 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]], 010; CHECK-NEXT: [[ZEXT:%.*]] = zext i1 [[CMP]] to i3211; CHECK-NEXT: ret i32 [[ZEXT]]12;13 %call = call signext i32 @memcmp(ptr %mem1, ptr %mem2, i64 %size)14 %cmp = icmp eq i32 %call, 015 %zext = zext i1 %cmp to i3216 ret i32 %zext17}18 19; CHECK: declare signext i32 @bcmp(ptr captures(none), ptr captures(none), i64)20