From ca6aa4758559c31ac538a4f5a4814c254ec2f740 Mon Sep 17 00:00:00 2001 From: Matt Arsenault Date: Wed, 24 May 2023 08:52:22 +0100 Subject: [PATCH] Inline: Convert test to generated checks --- .../Inline/call-intrinsic-is-constant.ll | 29 ++++++++++++++++------ 1 file changed, 21 insertions(+), 8 deletions(-) diff --git a/llvm/test/Transforms/Inline/call-intrinsic-is-constant.ll b/llvm/test/Transforms/Inline/call-intrinsic-is-constant.ll index 3c96267..ad5c6bf 100644 --- a/llvm/test/Transforms/Inline/call-intrinsic-is-constant.ll +++ b/llvm/test/Transforms/Inline/call-intrinsic-is-constant.ll @@ -1,9 +1,21 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2 ; RUN: opt %s -passes=inline -inline-threshold=20 -S | FileCheck %s declare i1 @llvm.is.constant.i64(i64) declare void @foo() define void @callee(i64 %val) { +; CHECK-LABEL: define void @callee +; CHECK-SAME: (i64 [[VAL:%.*]]) { +; CHECK-NEXT: [[COND:%.*]] = call i1 @llvm.is.constant.i64(i64 [[VAL]]) +; CHECK-NEXT: br i1 [[COND]], label [[COND_TRUE:%.*]], label [[COND_FALSE:%.*]] +; CHECK: cond.true: +; CHECK-NEXT: call void @foo() +; CHECK-NEXT: call void @foo() +; CHECK-NEXT: ret void +; CHECK: cond.false: +; CHECK-NEXT: ret void +; %cond = call i1 @llvm.is.constant.i64(i64 %val) br i1 %cond, label %cond.true, label %cond.false @@ -22,16 +34,17 @@ cond.false: } define void @caller(i64 %val) { -; CHECK-LABEL: @caller( -; CHECK-NEXT: [[COND_I:%.*]] = call i1 @llvm.is.constant.i64(i64 [[VAL:%.*]]) -; CHECK-NEXT: br i1 [[COND_I]], label %[[COND_TRUE_I:.*]], label %[[COND_FALSE_I:.*]] -; CHECK: [[COND_TRUE_I]]: +; CHECK-LABEL: define void @caller +; CHECK-SAME: (i64 [[VAL:%.*]]) { +; CHECK-NEXT: [[COND_I:%.*]] = call i1 @llvm.is.constant.i64(i64 [[VAL]]) +; CHECK-NEXT: br i1 [[COND_I]], label [[COND_TRUE_I:%.*]], label [[COND_FALSE_I:%.*]] +; CHECK: cond.true.i: ; CHECK-NEXT: call void @foo() ; CHECK-NEXT: call void @foo() -; CHECK-NEXT: br label %[[CALLEE_EXIT:.*]] -; CHECK: [[COND_FALSE_I]]: -; CHECK-NEXT: br label %[[CALLEE_EXIT]] -; CHECK: [[CALLEE_EXIT]]: +; CHECK-NEXT: br label [[CALLEE_EXIT:%.*]] +; CHECK: cond.false.i: +; CHECK-NEXT: br label [[CALLEE_EXIT]] +; CHECK: callee.exit: ; CHECK-NEXT: ret void ; call void @callee(i64 %val) -- 2.7.4