[NFC] Regenerate test NewGVN/metadata-nonnull.ll

diff --git a/llvm/test/Transforms/NewGVN/metadata-nonnull.ll b/llvm/test/Transforms/NewGVN/metadata-nonnull.ll
index 4b05066..d76d46e 100644 (file)
--- 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: