From 1a57889618e63a0c839b0ae414bc8596eefac5f3 Mon Sep 17 00:00:00 2001 From: Nikita Popov Date: Wed, 4 Jan 2023 17:09:13 +0100 Subject: [PATCH] [MakeGuardsExplicit] Convert test to opaque pointers (NFC) --- llvm/test/Transforms/MakeGuardsExplicit/basic.ll | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/llvm/test/Transforms/MakeGuardsExplicit/basic.ll b/llvm/test/Transforms/MakeGuardsExplicit/basic.ll index d83f193..8661734 100644 --- a/llvm/test/Transforms/MakeGuardsExplicit/basic.ll +++ b/llvm/test/Transforms/MakeGuardsExplicit/basic.ll @@ -57,10 +57,10 @@ entry: } ; Check that all instructions between the guards preserve. -define void @split_block_contents(i1 %cond1, i1 %cond2, i1 %cond3, i32* %p) { +define void @split_block_contents(i1 %cond1, i1 %cond2, i1 %cond3, ptr %p) { ; CHECK-LABEL: @split_block_contents( ; CHECK-NEXT: entry: -; CHECK-NEXT: store i32 0, i32* [[P:%.*]] +; CHECK-NEXT: store i32 0, ptr [[P:%.*]] ; CHECK-NEXT: [[WIDENABLE_COND:%.*]] = call i1 @llvm.experimental.widenable.condition() ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND:%.*]] = and i1 [[COND1:%.*]], [[WIDENABLE_COND]] ; CHECK-NEXT: br i1 [[EXIPLICIT_GUARD_COND]], label [[GUARDED:%.*]], label [[DEOPT:%.*]], !prof !0 @@ -68,7 +68,7 @@ define void @split_block_contents(i1 %cond1, i1 %cond2, i1 %cond3, i32* %p) { ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"(i32 123, i64 456) ] ; CHECK-NEXT: ret void ; CHECK: guarded: -; CHECK-NEXT: store i32 1, i32* [[P]] +; CHECK-NEXT: store i32 1, ptr [[P]] ; CHECK-NEXT: [[WIDENABLE_COND3:%.*]] = call i1 @llvm.experimental.widenable.condition() ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND4:%.*]] = and i1 [[COND2:%.*]], [[WIDENABLE_COND3]] ; CHECK-NEXT: br i1 [[EXIPLICIT_GUARD_COND4]], label [[GUARDED1:%.*]], label [[DEOPT2:%.*]], !prof !0 @@ -76,7 +76,7 @@ define void @split_block_contents(i1 %cond1, i1 %cond2, i1 %cond3, i32* %p) { ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"(i32 789, i64 123) ] ; CHECK-NEXT: ret void ; CHECK: guarded1: -; CHECK-NEXT: store i32 2, i32* [[P]] +; CHECK-NEXT: store i32 2, ptr [[P]] ; CHECK-NEXT: [[WIDENABLE_COND7:%.*]] = call i1 @llvm.experimental.widenable.condition() ; CHECK-NEXT: [[EXIPLICIT_GUARD_COND8:%.*]] = and i1 [[COND3:%.*]], [[WIDENABLE_COND7]] ; CHECK-NEXT: br i1 [[EXIPLICIT_GUARD_COND8]], label [[GUARDED5:%.*]], label [[DEOPT6:%.*]], !prof !0 @@ -84,17 +84,17 @@ define void @split_block_contents(i1 %cond1, i1 %cond2, i1 %cond3, i32* %p) { ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"(i32 456, i64 789) ] ; CHECK-NEXT: ret void ; CHECK: guarded5: -; CHECK-NEXT: store i32 3, i32* [[P]] +; CHECK-NEXT: store i32 3, ptr [[P]] ; CHECK-NEXT: ret void ; entry: - store i32 0, i32* %p + store i32 0, ptr %p call void(i1, ...) @llvm.experimental.guard(i1 %cond1) [ "deopt"(i32 123, i64 456) ] - store i32 1, i32* %p + store i32 1, ptr %p call void(i1, ...) @llvm.experimental.guard(i1 %cond2) [ "deopt"(i32 789, i64 123) ] - store i32 2, i32* %p + store i32 2, ptr %p call void(i1, ...) @llvm.experimental.guard(i1 %cond3) [ "deopt"(i32 456, i64 789) ] - store i32 3, i32* %p + store i32 3, ptr %p ret void } -- 2.7.4