[llvm-branch-commits] [llvm] 49eb5f9 - [InstCombine] Generate test checks (NFC) (#234648)

[via llvm-branch-commits]

Author: Nikita Popov
Date: 2026-10-22T15:57:22Z
New Revision: 49eb5f9cd80af3f764ed1068a01b9ca725b896e0

URL: https://github.com/llvm/llvm-project/commit/49eb5f9cd80af3f764ed1068a01b9ca725b896e0
DIFF: https://github.com/llvm/llvm-project/commit/49eb5f9cd80af3f764ed1068a01b9ca725b896e0.diff

LOG: [InstCombine] Generate test checks (NFC) (#234648)

Added: 
    

Modified: 
    llvm/test/Transforms/InstCombine/insert-val-extract-elem.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/InstCombine/insert-val-extract-elem.ll b/llvm/test/Transforms/InstCombine/insert-val-extract-elem.ll
index 20a73186d9e01..23b1061881f54 100644
--- a/llvm/test/Transforms/InstCombine/insert-val-extract-elem.ll
+++ b/llvm/test/Transforms/InstCombine/insert-val-extract-elem.ll
@@ -1,10 +1,14 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 6
 ; RUN: opt -S -passes=instcombine %s | FileCheck %s
 
-; CHECK-LABEL: julia_2xdouble
-; CHECK-NOT: insertvalue
-; CHECK-NOT: extractelement
-; CHECK: store <2 x double>
 define void @julia_2xdouble(ptr sret([2 x double]), ptr) {
+; CHECK-LABEL: define void @julia_2xdouble(
+; CHECK-SAME: ptr sret([2 x double]) [[TMP0:%.*]], ptr [[TMP1:%.*]]) {
+; CHECK-NEXT:  [[TOP:.*:]]
+; CHECK-NEXT:    [[X:%.*]] = load <2 x double>, ptr [[TMP1]], align 16
+; CHECK-NEXT:    store <2 x double> [[X]], ptr [[TMP0]], align 4
+; CHECK-NEXT:    ret void
+;
 top:
   %x = load <2 x double>, ptr %1
   %x0 = extractelement <2 x double> %x, i32 0
@@ -16,11 +20,14 @@ top:
 }
 
 ; Test with two inserts to the same index
-; CHECK-LABEL: julia_2xi64
-; CHECK-NOT: insertvalue
-; CHECK-NOT: extractelement
-; CHECK: store <2 x i64>
 define void @julia_2xi64(ptr sret([2 x i64]), ptr) {
+; CHECK-LABEL: define void @julia_2xi64(
+; CHECK-SAME: ptr sret([2 x i64]) [[TMP0:%.*]], ptr [[TMP1:%.*]]) {
+; CHECK-NEXT:  [[TOP:.*:]]
+; CHECK-NEXT:    [[X:%.*]] = load <2 x i64>, ptr [[TMP1]], align 16
+; CHECK-NEXT:    store <2 x i64> [[X]], ptr [[TMP0]], align 4
+; CHECK-NEXT:    ret void
+;
 top:
   %x = load <2 x i64>, ptr %1
   %x0 = extractelement <2 x i64> %x, i32 1
@@ -33,11 +40,14 @@ top:
   ret void
 }
 
-; CHECK-LABEL: julia_4xfloat
-; CHECK-NOT: insertvalue
-; CHECK-NOT: extractelement
-; CHECK: store <4 x float>
 define void @julia_4xfloat(ptr sret([4 x float]), ptr) {
+; CHECK-LABEL: define void @julia_4xfloat(
+; CHECK-SAME: ptr sret([4 x float]) [[TMP0:%.*]], ptr [[TMP1:%.*]]) {
+; CHECK-NEXT:  [[TOP:.*:]]
+; CHECK-NEXT:    [[X:%.*]] = load <4 x float>, ptr [[TMP1]], align 16
+; CHECK-NEXT:    store <4 x float> [[X]], ptr [[TMP0]], align 4
+; CHECK-NEXT:    ret void
+;
 top:
   %x = load <4 x float>, ptr %1
   %x0 = extractelement <4 x float> %x, i32 0
@@ -54,11 +64,14 @@ top:
 
 %pseudovec = type { float, float, float, float }
 
-; CHECK-LABEL: julia_pseudovec
-; CHECK-NOT: insertvalue
-; CHECK-NOT: extractelement
-; CHECK: store <4 x float>
 define void @julia_pseudovec(ptr sret(%pseudovec), ptr) {
+; CHECK-LABEL: define void @julia_pseudovec(
+; CHECK-SAME: ptr sret([[PSEUDOVEC:%.*]]) [[TMP0:%.*]], ptr [[TMP1:%.*]]) {
+; CHECK-NEXT:  [[TOP:.*:]]
+; CHECK-NEXT:    [[X:%.*]] = load <4 x float>, ptr [[TMP1]], align 16
+; CHECK-NEXT:    store <4 x float> [[X]], ptr [[TMP0]], align 4
+; CHECK-NEXT:    ret void
+;
 top:
   %x = load <4 x float>, ptr %1
   %x0 = extractelement <4 x float> %x, i32 0