[llvm] 558b33c - [NFC] Regenerate test NewGVN/metadata-nonnull.ll
via llvm-commits
llvm-commits at lists.llvm.org
Fri Mar 24 01:28:02 PDT 2023
Author: luxufan
Date: 2023-03-24T16:26:32+08:00
New Revision: 558b33c5aa7ec37d313a9f348c1ccc718d8242d8
URL: https://github.com/llvm/llvm-project/commit/558b33c5aa7ec37d313a9f348c1ccc718d8242d8
DIFF: https://github.com/llvm/llvm-project/commit/558b33c5aa7ec37d313a9f348c1ccc718d8242d8.diff
LOG: [NFC] Regenerate test NewGVN/metadata-nonnull.ll
Added:
Modified:
llvm/test/Transforms/NewGVN/metadata-nonnull.ll
Removed:
################################################################################
diff --git a/llvm/test/Transforms/NewGVN/metadata-nonnull.ll b/llvm/test/Transforms/NewGVN/metadata-nonnull.ll
index 4b050666d54e9..d76d46edc0a59 100644
--- a/llvm/test/Transforms/NewGVN/metadata-nonnull.ll
+++ b/llvm/test/Transforms/NewGVN/metadata-nonnull.ll
@@ -1,12 +1,14 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2
; RUN: opt %s -passes=newgvn -S | FileCheck %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"
define ptr @test1(ptr %v0, ptr %v1) {
-; CHECK-LABEL: @test1(
+; CHECK-LABEL: define ptr @test1
+; CHECK-SAME: (ptr [[V0:%.*]], ptr [[V1:%.*]]) {
; CHECK-NEXT: top:
-; CHECK-NEXT: [[V2:%.*]] = load ptr, ptr [[V0:%[a-z0-9]+]], align 8, !nonnull !0
-; CHECK-NEXT: store ptr [[V2]], ptr [[V1:%.*]]
+; CHECK-NEXT: [[V2:%.*]] = load ptr, ptr [[V0]], align 8, !nonnull !0
+; CHECK-NEXT: store ptr [[V2]], ptr [[V1]], align 8
; CHECK-NEXT: ret ptr [[V2]]
;
top:
@@ -18,11 +20,11 @@ top:
; FIXME: could propagate nonnull to first load?
define ptr @test2(ptr %v0, ptr %v1) {
-; CHECK-LABEL: @test2(
+; CHECK-LABEL: define ptr @test2
+; CHECK-SAME: (ptr [[V0:%.*]], ptr [[V1:%.*]]) {
; CHECK-NEXT: top:
-; CHECK-NEXT: [[V2:%.*]] = load ptr, ptr [[V0:%[a-z0-9]+]]
-; CHECK-NOT: !nonnull
-; CHECK-NEXT: store ptr [[V2]], ptr [[V1:%.*]]
+; CHECK-NEXT: [[V2:%.*]] = load ptr, ptr [[V0]], align 8
+; CHECK-NEXT: store ptr [[V2]], ptr [[V1]], align 8
; CHECK-NEXT: ret ptr [[V2]]
;
top:
@@ -35,10 +37,10 @@ top:
declare void @use1(ptr %a) readonly
define ptr @test3(ptr %v0) {
-; CHECK-LABEL: @test3(
+; CHECK-LABEL: define ptr @test3
+; CHECK-SAME: (ptr [[V0:%.*]]) {
; CHECK-NEXT: top:
-; CHECK-NEXT: [[V1:%.*]] = load ptr, ptr [[V0:%[a-z0-9]+]]
-; CHECK-NOT: !nonnull
+; CHECK-NEXT: [[V1:%.*]] = load ptr, ptr [[V0]], align 8
; CHECK-NEXT: call void @use1(ptr [[V1]])
; CHECK-NEXT: br i1 undef, label [[BB1:%.*]], label [[BB2:%.*]]
; CHECK: bb1:
@@ -61,10 +63,10 @@ bb2:
}
define ptr @test4(ptr %v0) {
-; CHECK-LABEL: @test4(
+; CHECK-LABEL: define ptr @test4
+; CHECK-SAME: (ptr [[V0:%.*]]) {
; CHECK-NEXT: top:
-; CHECK-NEXT: [[V1:%.*]] = load ptr, ptr [[V0:%[a-z0-9]+]]
-; CHECK-NOT: !nonnull
+; CHECK-NEXT: [[V1:%.*]] = load ptr, ptr [[V0]], align 8
; CHECK-NEXT: call void @use1(ptr [[V1]])
; CHECK-NEXT: br i1 undef, label [[BB1:%.*]], label [[BB2:%.*]]
; CHECK: bb1:
@@ -87,9 +89,10 @@ bb2:
}
define ptr @test5(ptr %v0) {
-; CHECK-LABEL: @test5(
+; CHECK-LABEL: define ptr @test5
+; CHECK-SAME: (ptr [[V0:%.*]]) {
; CHECK-NEXT: top:
-; CHECK-NEXT: [[V1:%.*]] = load ptr, ptr [[V0:%[a-z0-9]+]], align 8, !nonnull !0
+; CHECK-NEXT: [[V1:%.*]] = load ptr, ptr [[V0]], align 8, !nonnull !0
; CHECK-NEXT: call void @use1(ptr [[V1]])
; CHECK-NEXT: br i1 undef, label [[BB1:%.*]], label [[BB2:%.*]]
; CHECK: bb1:
@@ -112,18 +115,17 @@ bb2:
}
define ptr @test6(ptr %v0, ptr %v1) {
-; CHECK-LABEL: @test6(
+; CHECK-LABEL: define ptr @test6
+; CHECK-SAME: (ptr [[V0:%.*]], ptr [[V1:%.*]]) {
; CHECK-NEXT: top:
; CHECK-NEXT: br i1 undef, label [[BB1:%.*]], label [[BB2:%.*]]
; CHECK: bb1:
-; CHECK-NEXT: [[V2:%.*]] = load ptr, ptr [[V0:%[a-z0-9]+]], align 8, !nonnull !0
-; CHECK-NEXT: store ptr [[V2]], ptr [[V1:%.*]]
+; CHECK-NEXT: [[V2:%.*]] = load ptr, ptr [[V0]], align 8, !nonnull !0
+; CHECK-NEXT: store ptr [[V2]], ptr [[V1]], align 8
; CHECK-NEXT: ret ptr [[V2]]
; CHECK: bb2:
-; CHECK-NEXT: [[V4:%.*]] = load ptr, ptr [[V0]]
-; CHECK-NOT: !nonnull
-; CHECK-NEXT: store ptr [[V4]], ptr [[V1]]
-; CHECK-NOT: !nonnull
+; CHECK-NEXT: [[V4:%.*]] = load ptr, ptr [[V0]], align 8
+; CHECK-NEXT: store ptr [[V4]], ptr [[V1]], align 8
; CHECK-NEXT: ret ptr [[V4]]
;
top:
@@ -145,18 +147,17 @@ bb2:
declare void @use2(ptr %a)
define ptr @test7(ptr %v0) {
-; CHECK-LABEL: @test7(
+; CHECK-LABEL: define ptr @test7
+; CHECK-SAME: (ptr [[V0:%.*]]) {
; CHECK-NEXT: top:
-; CHECK-NEXT: [[V1:%.*]] = load ptr, ptr [[V0:%[a-z0-9]+]], align 8, !nonnull !0
+; CHECK-NEXT: [[V1:%.*]] = load ptr, ptr [[V0]], align 8, !nonnull !0
; CHECK-NEXT: call void @use2(ptr [[V1]])
; CHECK-NEXT: br i1 undef, label [[BB1:%.*]], label [[BB2:%.*]]
; CHECK: bb1:
-; CHECK-NEXT: [[V2:%.*]] = load ptr, ptr [[V0]]
-; CHECK-NOT: !nonnull
+; CHECK-NEXT: [[V2:%.*]] = load ptr, ptr [[V0]], align 8
; CHECK-NEXT: ret ptr [[V2]]
; CHECK: bb2:
-; CHECK-NEXT: [[V3:%.*]] = load ptr, ptr [[V0]]
-; CHECK-NOT: !nonnull
+; CHECK-NEXT: [[V3:%.*]] = load ptr, ptr [[V0]], align 8
; CHECK-NEXT: ret ptr [[V3]]
;
top:
More information about the llvm-commits
mailing list