[llvm] 6a7d04c - [NFC] Regenerate test of InstCombine/load-combine-metadata-dominance.ll

[via llvm-commits]

Author: luxufan
Date: 2023-03-24T16:47:53+08:00
New Revision: 6a7d04c6b44de91dd1188d9e614b6e681d378b0e

URL: https://github.com/llvm/llvm-project/commit/6a7d04c6b44de91dd1188d9e614b6e681d378b0e
DIFF: https://github.com/llvm/llvm-project/commit/6a7d04c6b44de91dd1188d9e614b6e681d378b0e.diff

LOG: [NFC] Regenerate test of InstCombine/load-combine-metadata-dominance.ll

Added: 
    

Modified: 
    llvm/test/Transforms/InstCombine/load-combine-metadata-dominance.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/InstCombine/load-combine-metadata-dominance.ll b/llvm/test/Transforms/InstCombine/load-combine-metadata-dominance.ll
index 882d775291e59..4949b00f5ffcf 100644
--- a/llvm/test/Transforms/InstCombine/load-combine-metadata-dominance.ll
+++ b/llvm/test/Transforms/InstCombine/load-combine-metadata-dominance.ll
@@ -1,13 +1,19 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2
 ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
 
 target datalayout = "e-m:e-p:64:64:64-i64:64-f80:128-n8:16:32:64-S128"
 
 ; Check that nonnull metadata is propagated from dominating load.
-; CHECK-LABEL: @combine_metadata_dominance1(
-; CHECK-LABEL: bb1:
-; CHECK: load ptr, ptr %p, align 8, !nonnull !0
-; CHECK-NOT: load ptr, ptr %p
 define void @combine_metadata_dominance1(ptr %p) {
+; CHECK-LABEL: define void @combine_metadata_dominance1
+; CHECK-SAME: (ptr [[P:%.*]]) {
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    br label [[BB1:%.*]]
+; CHECK:       bb1:
+; CHECK-NEXT:    [[A:%.*]] = load ptr, ptr [[P]], align 8, !nonnull !0
+; CHECK-NEXT:    store i32 0, ptr [[A]], align 4
+; CHECK-NEXT:    ret void
+;
 entry:
   %a = load ptr, ptr %p, !nonnull !0
   br label %bb1
@@ -23,9 +29,18 @@ declare i32 @use(ptr, i32) readonly
 
 ; Check that nonnull from the dominated load does not get propagated.
 ; There are some cases where it would be safe to keep it.
-; CHECK-LABEL: @combine_metadata_dominance2(
-; CHECK-NOT: nonnull
 define void @combine_metadata_dominance2(ptr %p, i1 %c1) {
+; CHECK-LABEL: define void @combine_metadata_dominance2
+; CHECK-SAME: (ptr [[P:%.*]], i1 [[C1:%.*]]) {
+; CHECK-NEXT:  entry:
+; CHECK-NEXT:    br i1 [[C1]], label [[BB1:%.*]], label [[BB2:%.*]]
+; CHECK:       bb1:
+; CHECK-NEXT:    [[A:%.*]] = load ptr, ptr [[P]], align 8
+; CHECK-NEXT:    store i32 0, ptr [[A]], align 4
+; CHECK-NEXT:    ret void
+; CHECK:       bb2:
+; CHECK-NEXT:    ret void
+;
 entry:
   %a = load ptr, ptr %p
   br i1 %c1, label %bb1, label %bb2