diff --git a/llvm/test/Transforms/InstSimplify/assume_icmp.ll b/llvm/test/Transforms/InstSimplify/assume_cmp.ll rename from llvm/test/Transforms/InstSimplify/assume_icmp.ll rename to llvm/test/Transforms/InstSimplify/assume_cmp.ll --- a/llvm/test/Transforms/InstSimplify/assume_icmp.ll +++ b/llvm/test/Transforms/InstSimplify/assume_cmp.ll @@ -4,8 +4,8 @@ declare void @llvm.assume(i1) declare void @use(i1) -define void @basic_ugt(i32 %x, i32 %y) { -; CHECK-LABEL: @basic_ugt( +define void @icmp_ugt(i32 %x, i32 %y) { +; CHECK-LABEL: @icmp_ugt( ; CHECK-NEXT: [[CMP1:%.*]] = icmp ugt i32 [[X:%.*]], [[Y:%.*]] ; CHECK-NEXT: call void @llvm.assume(i1 [[CMP1]]) ; CHECK-NEXT: call void @use(i1 true) @@ -42,8 +42,8 @@ ret void } -define void @basic_uge(i32 %x, i32 %y) { -; CHECK-LABEL: @basic_uge( +define void @icmp_uge(i32 %x, i32 %y) { +; CHECK-LABEL: @icmp_uge( ; CHECK-NEXT: [[CMP1:%.*]] = icmp uge i32 [[X:%.*]], [[Y:%.*]] ; CHECK-NEXT: call void @llvm.assume(i1 [[CMP1]]) ; CHECK-NEXT: [[CMP2:%.*]] = icmp ugt i32 [[X]], [[Y]] @@ -87,8 +87,8 @@ ; This does not simplify in InstSimplify, because AssumptionCache tracker ; does not track values through "and". The "and" assume will be broken ; down into two separate assume calls by InstCombine. -define void @and(i32 %x, i32 %y, i32 %z) { -; CHECK-LABEL: @and( +define void @icmp_and(i32 %x, i32 %y, i32 %z) { +; CHECK-LABEL: @icmp_and( ; CHECK-NEXT: [[CMP1:%.*]] = icmp ugt i32 [[X:%.*]], [[Y:%.*]] ; CHECK-NEXT: [[CMP2:%.*]] = icmp ugt i32 [[Z:%.*]], [[Y]] ; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP1]], [[CMP2]]