From ed1ada752118a0aa12d10f7ec7b20c65b11038e8 Mon Sep 17 00:00:00 2001
From: Matt Arsenault <Matthew.Arsenault@amd.com>
Date: Thu, 1 Dec 2022 21:51:13 -0500
Subject: [PATCH] InstCombine: Don't use anonymous values in test

Also don't use grep because it's not 2002.
---
 llvm/test/Transforms/InstCombine/X86/pr2645-1.ll | 89 ++++++++++++++++--------
 1 file changed, 59 insertions(+), 30 deletions(-)

diff --git a/llvm/test/Transforms/InstCombine/X86/pr2645-1.ll b/llvm/test/Transforms/InstCombine/X86/pr2645-1.ll
index 99cf523..9f35c97 100644
--- a/llvm/test/Transforms/InstCombine/X86/pr2645-1.ll
+++ b/llvm/test/Transforms/InstCombine/X86/pr2645-1.ll
@@ -1,39 +1,68 @@
-; RUN: opt < %s -passes=instcombine -S | grep shufflevector
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt -S -passes=instcombine < %s | FileCheck %s
 ; PR2645
-
 ; instcombine shouldn't delete the shufflevector.
 
-define internal void @""(i8*, i32, i8*) {
-; <label>:3
-        br label %4
+define internal void @0(i8* %arg, i32 %arg1, i8* %arg2) {
+; CHECK-LABEL: @0(
+; CHECK-NEXT:  bb:
+; CHECK-NEXT:    br label [[BB3:%.*]]
+; CHECK:       bb3:
+; CHECK-NEXT:    [[DOT0:%.*]] = phi i32 [ 0, [[BB:%.*]] ], [ [[I17:%.*]], [[BB4:%.*]] ]
+; CHECK-NEXT:    [[I:%.*]] = icmp slt i32 [[DOT0]], [[ARG1:%.*]]
+; CHECK-NEXT:    br i1 [[I]], label [[BB4]], label [[BB18:%.*]]
+; CHECK:       bb4:
+; CHECK-NEXT:    [[TMP0:%.*]] = sext i32 [[DOT0]] to i64
+; CHECK-NEXT:    [[I5:%.*]] = getelementptr i8, i8* [[ARG2:%.*]], i64 [[TMP0]]
+; CHECK-NEXT:    [[TMP1:%.*]] = bitcast i8* [[I5]] to <1 x i64>*
+; CHECK-NEXT:    [[I71:%.*]] = load <1 x i64>, <1 x i64>* [[TMP1]], align 1
+; CHECK-NEXT:    [[I9:%.*]] = call <2 x i64> @foo(<1 x i64> [[I71]])
+; CHECK-NEXT:    [[I11:%.*]] = bitcast <2 x i64> [[I9]] to <8 x i16>
+; CHECK-NEXT:    [[I12:%.*]] = shufflevector <8 x i16> [[I11]], <8 x i16> poison, <8 x i32> <i32 0, i32 0, i32 1, i32 1, i32 2, i32 2, i32 3, i32 3>
+; CHECK-NEXT:    [[I13:%.*]] = bitcast <8 x i16> [[I12]] to <4 x i32>
+; CHECK-NEXT:    [[I14:%.*]] = sitofp <4 x i32> [[I13]] to <4 x float>
+; CHECK-NEXT:    [[TMP2:%.*]] = sext i32 [[DOT0]] to i64
+; CHECK-NEXT:    [[I15:%.*]] = getelementptr i8, i8* [[ARG:%.*]], i64 [[TMP2]]
+; CHECK-NEXT:    [[I16:%.*]] = bitcast i8* [[I15]] to <4 x float>*
+; CHECK-NEXT:    store <4 x float> [[I14]], <4 x float>* [[I16]], align 1
+; CHECK-NEXT:    [[I17]] = add i32 [[DOT0]], 1
+; CHECK-NEXT:    br label [[BB3]]
+; CHECK:       bb18:
+; CHECK-NEXT:    call void @llvm.x86.mmx.emms()
+; CHECK-NEXT:    ret void
+;
+bb:
+  br label %bb3
 
-; <label>:4             ; preds = %6, %3
-        %.0 = phi i32 [ 0, %3 ], [ %19, %6 ]            ; <i32> [#uses=4]
-        %5 = icmp slt i32 %.0, %1               ; <i1> [#uses=1]
-        br i1 %5, label %6, label %20
+bb3:                                              ; preds = %bb4, %bb
+  %.0 = phi i32 [ 0, %bb ], [ %i17, %bb4 ]
+  %i = icmp slt i32 %.0, %arg1
+  br i1 %i, label %bb4, label %bb18
 
-; <label>:6             ; preds = %4
-        %7 = getelementptr i8, i8* %2, i32 %.0              ; <i8*> [#uses=1]
-        %8 = bitcast i8* %7 to <4 x i16>*               ; <<4 x i16>*> [#uses=1]
-        %9 = load <4 x i16>, <4 x i16>* %8, align 1                ; <<4 x i16>> [#uses=1]
-        %10 = bitcast <4 x i16> %9 to <1 x i64>         ; <<1 x i64>> [#uses=1]
-        %11 = call <2 x i64> @foo(<1 x i64> %10)
-; <<2 x i64>> [#uses=1]
-        %12 = bitcast <2 x i64> %11 to <4 x i32>                ; <<4 x i32>> [#uses=1]
-        %13 = bitcast <4 x i32> %12 to <8 x i16>                ; <<8 x i16>> [#uses=2]
-        %14 = shufflevector <8 x i16> %13, <8 x i16> %13, <8 x i32> < i32 0, i32 0, i32 1, i32 1, i32 2, i32 2, i32 3, i32 3 >          ; <<8 x i16>> [#uses=1]
-        %15 = bitcast <8 x i16> %14 to <4 x i32>                ; <<4 x i32>> [#uses=1]
-        %16 = sitofp <4 x i32> %15 to <4 x float>               ; <<4 x float>> [#uses=1]
-        %17 = getelementptr i8, i8* %0, i32 %.0             ; <i8*> [#uses=1]
-        %18 = bitcast i8* %17 to <4 x float>*           ; <<4 x float>*> [#uses=1]
-        store <4 x float> %16, <4 x float>* %18, align 1
-        %19 = add i32 %.0, 1            ; <i32> [#uses=1]
-        br label %4
+bb4:                                              ; preds = %bb3
+  %i5 = getelementptr i8, i8* %arg2, i32 %.0
+  %i6 = bitcast i8* %i5 to <4 x i16>*
+  %i7 = load <4 x i16>, <4 x i16>* %i6, align 1
+  %i8 = bitcast <4 x i16> %i7 to <1 x i64>
+  %i9 = call <2 x i64> @foo(<1 x i64> %i8)
+  %i10 = bitcast <2 x i64> %i9 to <4 x i32>
+  %i11 = bitcast <4 x i32> %i10 to <8 x i16>
+  %i12 = shufflevector <8 x i16> %i11, <8 x i16> %i11, <8 x i32> <i32 0, i32 0, i32 1, i32 1, i32 2, i32 2, i32 3, i32 3>
+  %i13 = bitcast <8 x i16> %i12 to <4 x i32>
+  %i14 = sitofp <4 x i32> %i13 to <4 x float>
+  %i15 = getelementptr i8, i8* %arg, i32 %.0
+  %i16 = bitcast i8* %i15 to <4 x float>*
+  store <4 x float> %i14, <4 x float>* %i16, align 1
+  %i17 = add i32 %.0, 1
+  br label %bb3
 
-; <label>:20            ; preds = %4
-        call void @llvm.x86.mmx.emms( )
-        ret void
+bb18:                                             ; preds = %bb3
+  call void @llvm.x86.mmx.emms()
+  ret void
 }
 
 declare <2 x i64> @foo(<1 x i64>)
-declare void @llvm.x86.mmx.emms( )
+
+declare void @llvm.x86.mmx.emms() #0
+
+attributes #0 = { nounwind }
-- 
2.7.4