From 5a37a774afa858c84c6ea3312bc706983e9ed419 Mon Sep 17 00:00:00 2001
From: Nikita Popov <npopov@redhat.com>
Date: Fri, 16 Dec 2022 12:11:01 +0100
Subject: [PATCH] [MemDep] Run test through instnamer (NFC)

---
 .../invariant.group-bug.ll                         | 175 ++++++++++++---------
 1 file changed, 97 insertions(+), 78 deletions(-)

diff --git a/llvm/test/Analysis/MemoryDependenceAnalysis/invariant.group-bug.ll b/llvm/test/Analysis/MemoryDependenceAnalysis/invariant.group-bug.ll
index bd01669..f206832 100644
--- a/llvm/test/Analysis/MemoryDependenceAnalysis/invariant.group-bug.ll
+++ b/llvm/test/Analysis/MemoryDependenceAnalysis/invariant.group-bug.ll
@@ -17,87 +17,106 @@ target triple = "x86_64-grtev4-linux-gnu"
 %4 = type { i8* }
 %5 = type { i64, [8 x i8] }
 
-define void @fail(i1* noalias sret(i1), %0*, %1*, i8*) local_unnamed_addr #0 {
+define void @fail(i1* noalias sret(i1) %arg, %0* %arg1, %1* %arg2, i8* %arg3) local_unnamed_addr #0 {
 ; CHECK-LABEL: @fail(
-; CHECK-NEXT:    [[TMP5:%.*]] = bitcast %0* [[TMP1:%.*]] to i64 (%0*)***
-; CHECK-NEXT:    [[TMP6:%.*]] = load i64 (%0*)**, i64 (%0*)*** [[TMP5]], align 8, !invariant.group !6
-; CHECK-NEXT:    [[TMP7:%.*]] = getelementptr inbounds i64 (%0*)*, i64 (%0*)** [[TMP6]], i64 6
-; CHECK-NEXT:    [[TMP8:%.*]] = load i64 (%0*)*, i64 (%0*)** [[TMP7]], align 8, !invariant.load !6
-; CHECK-NEXT:    [[TMP9:%.*]] = tail call i64 [[TMP8]](%0* [[TMP1]]) #1
-; CHECK-NEXT:    [[TMP10:%.*]] = getelementptr inbounds [[TMP1]], %1* [[TMP2:%.*]], i64 0, i32 0, i32 0, i32 0, i32 0
-; CHECK-NEXT:    [[TMP11:%.*]] = load i8*, i8** [[TMP10]], align 8
-; CHECK-NEXT:    store i8 0, i8* [[TMP11]], align 1
-; CHECK-NEXT:    [[TMP12:%.*]] = bitcast i64 (%0*)** [[TMP6]] to i64 (%0*, i8*, i64)**
-; CHECK-NEXT:    br i1 undef
-; CHECK:         [[TMP14:%.*]] = bitcast %0* [[TMP1]] to i64 (%0*, i8*, i64)***
-; CHECK-NEXT:    [[DOTPHI_TRANS_INSERT:%.*]] = getelementptr inbounds i64 (%0*, i8*, i64)*, i64 (%0*, i8*, i64)** [[TMP12]], i64 22
-; CHECK-NEXT:    [[DOTPRE:%.*]] = load i64 (%0*, i8*, i64)*, i64 (%0*, i8*, i64)** [[DOTPHI_TRANS_INSERT]], align 8, !invariant.load !6
-; CHECK-NEXT:    br label [[TMP15:%.*]]
-; CHECK:         [[TMP16:%.*]] = call i64 [[DOTPRE]](%0* nonnull [[TMP1]], i8* null, i64 0) #1
-
-  %5 = bitcast %0* %1 to i64 (%0*)***
-  %6 = load i64 (%0*)**, i64 (%0*)*** %5, align 8, !invariant.group !6
-  %7 = getelementptr inbounds i64 (%0*)*, i64 (%0*)** %6, i64 6
-  %8 = load i64 (%0*)*, i64 (%0*)** %7, align 8, !invariant.load !6
-  %9 = tail call i64 %8(%0* %1) #1
-  %10 = getelementptr inbounds %1, %1* %2, i64 0, i32 0, i32 0, i32 0, i32 0
-  %11 = load i8*, i8** %10, align 8
-  store i8 0, i8* %11, align 1
-  br i1 undef, label %12, label %31
-
-; <label>:12:                                     ; preds = %4
-  %13 = bitcast %0* %1 to i64 (%0*, i8*, i64)***
-  br label %14
-
-; <label>:14:                                     ; preds = %30, %12
-  %15 = load i64 (%0*, i8*, i64)**, i64 (%0*, i8*, i64)*** %13, align 8, !invariant.group !6
-  %16 = getelementptr inbounds i64 (%0*, i8*, i64)*, i64 (%0*, i8*, i64)** %15, i64 22
-  %17 = load i64 (%0*, i8*, i64)*, i64 (%0*, i8*, i64)** %16, align 8, !invariant.load !6
-  %18 = call i64 %17(%0* nonnull %1, i8* null, i64 0) #1
-  br i1 undef, label %30, label %19
-
-; <label>:19:                                     ; preds = %14
-  br i1 undef, label %20, label %23
-
-; <label>:20:                                     ; preds = %19
-  br label %21
-
-; <label>:21:                                     ; preds = %20
-  br label %22
-
-; <label>:22:                                     ; preds = %21
-  br label %30
-
-; <label>:23:                                     ; preds = %19
-  br label %24
-
-; <label>:24:                                     ; preds = %23
-  br label %25
-
-; <label>:25:                                     ; preds = %24
-  br label %26
-
-; <label>:26:                                     ; preds = %25
-  br i1 undef, label %27, label %28
-
-; <label>:27:                                     ; preds = %26
-  br label %30
-
-; <label>:28:                                     ; preds = %26
-  br label %29
-
-; <label>:29:                                     ; preds = %28
-  br label %30
-
-; <label>:30:                                     ; preds = %29, %27, %22, %14
-  br i1 undef, label %14, label %31
-
-; <label>:31:                                     ; preds = %30, %4
+; CHECK-NEXT:  bb:
+; CHECK-NEXT:    [[I:%.*]] = bitcast %0* [[ARG1:%.*]] to i64 (%0*)***
+; CHECK-NEXT:    [[I4:%.*]] = load i64 (%0*)**, i64 (%0*)*** [[I]], align 8, !invariant.group !6
+; CHECK-NEXT:    [[I5:%.*]] = getelementptr inbounds i64 (%0*)*, i64 (%0*)** [[I4]], i64 6
+; CHECK-NEXT:    [[I6:%.*]] = load i64 (%0*)*, i64 (%0*)** [[I5]], align 8, !invariant.load !6
+; CHECK-NEXT:    [[I7:%.*]] = tail call i64 [[I6]](%0* [[ARG1]]) #[[ATTR1:[0-9]+]]
+; CHECK-NEXT:    [[I8:%.*]] = getelementptr inbounds [[TMP1:%.*]], %1* [[ARG2:%.*]], i64 0, i32 0, i32 0, i32 0, i32 0
+; CHECK-NEXT:    [[I9:%.*]] = load i8*, i8** [[I8]], align 8
+; CHECK-NEXT:    store i8 0, i8* [[I9]], align 1
+; CHECK-NEXT:    [[TMP0:%.*]] = bitcast i64 (%0*)** [[I4]] to i64 (%0*, i8*, i64)**
+; CHECK-NEXT:    br i1 undef, label [[BB10:%.*]], label [[BB29:%.*]]
+; CHECK:       bb10:
+; CHECK-NEXT:    [[I11:%.*]] = bitcast %0* [[ARG1]] to i64 (%0*, i8*, i64)***
+; CHECK-NEXT:    [[I14_PHI_TRANS_INSERT:%.*]] = getelementptr inbounds i64 (%0*, i8*, i64)*, i64 (%0*, i8*, i64)** [[TMP0]], i64 22
+; CHECK-NEXT:    [[I15_PRE:%.*]] = load i64 (%0*, i8*, i64)*, i64 (%0*, i8*, i64)** [[I14_PHI_TRANS_INSERT]], align 8, !invariant.load !6
+; CHECK-NEXT:    br label [[BB12:%.*]]
+; CHECK:       bb12:
+; CHECK-NEXT:    [[I16:%.*]] = call i64 [[I15_PRE]](%0* nonnull [[ARG1]], i8* null, i64 0) #[[ATTR1]]
+; CHECK-NEXT:    br i1 undef, label [[BB28:%.*]], label [[BB17:%.*]]
+; CHECK:       bb17:
+; CHECK-NEXT:    br i1 undef, label [[BB18:%.*]], label [[BB21:%.*]]
+; CHECK:       bb18:
+; CHECK-NEXT:    br label [[BB28]]
+; CHECK:       bb21:
+; CHECK-NEXT:    br i1 undef, label [[BB25:%.*]], label [[BB26:%.*]]
+; CHECK:       bb25:
+; CHECK-NEXT:    br label [[BB28]]
+; CHECK:       bb26:
+; CHECK-NEXT:    br label [[BB28]]
+; CHECK:       bb28:
+; CHECK-NEXT:    br i1 undef, label [[BB12]], label [[BB29]]
+; CHECK:       bb29:
+; CHECK-NEXT:    ret void
+;
+bb:
+  %i = bitcast %0* %arg1 to i64 (%0*)***
+  %i4 = load i64 (%0*)**, i64 (%0*)*** %i, align 8, !invariant.group !6
+  %i5 = getelementptr inbounds i64 (%0*)*, i64 (%0*)** %i4, i64 6
+  %i6 = load i64 (%0*)*, i64 (%0*)** %i5, align 8, !invariant.load !6
+  %i7 = tail call i64 %i6(%0* %arg1) #1
+  %i8 = getelementptr inbounds %1, %1* %arg2, i64 0, i32 0, i32 0, i32 0, i32 0
+  %i9 = load i8*, i8** %i8, align 8
+  store i8 0, i8* %i9, align 1
+  br i1 undef, label %bb10, label %bb29
+
+bb10:                                             ; preds = %bb
+  %i11 = bitcast %0* %arg1 to i64 (%0*, i8*, i64)***
+  br label %bb12
+
+bb12:                                             ; preds = %bb28, %bb10
+  %i13 = load i64 (%0*, i8*, i64)**, i64 (%0*, i8*, i64)*** %i11, align 8, !invariant.group !6
+  %i14 = getelementptr inbounds i64 (%0*, i8*, i64)*, i64 (%0*, i8*, i64)** %i13, i64 22
+  %i15 = load i64 (%0*, i8*, i64)*, i64 (%0*, i8*, i64)** %i14, align 8, !invariant.load !6
+  %i16 = call i64 %i15(%0* nonnull %arg1, i8* null, i64 0) #1
+  br i1 undef, label %bb28, label %bb17
+
+bb17:                                             ; preds = %bb12
+  br i1 undef, label %bb18, label %bb21
+
+bb18:                                             ; preds = %bb17
+  br label %bb19
+
+bb19:                                             ; preds = %bb18
+  br label %bb20
+
+bb20:                                             ; preds = %bb19
+  br label %bb28
+
+bb21:                                             ; preds = %bb17
+  br label %bb22
+
+bb22:                                             ; preds = %bb21
+  br label %bb23
+
+bb23:                                             ; preds = %bb22
+  br label %bb24
+
+bb24:                                             ; preds = %bb23
+  br i1 undef, label %bb25, label %bb26
+
+bb25:                                             ; preds = %bb24
+  br label %bb28
+
+bb26:                                             ; preds = %bb24
+  br label %bb27
+
+bb27:                                             ; preds = %bb26
+  br label %bb28
+
+bb28:                                             ; preds = %bb27, %bb25, %bb20, %bb12
+  br i1 undef, label %bb12, label %bb29
+
+bb29:                                             ; preds = %bb28, %bb
   ret void
 }
 
-attributes #0 = { "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+fxsr,+mmx,+popcnt,+sse,+sse2,+sse3,+sse4.1,+sse4.2,+ssse3,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
-attributes #1 = { nounwind uwtable "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="non-leaf" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+fxsr,+mmx,+popcnt,+sse,+sse2,+sse3,+sse4.1,+sse4.2,+ssse3,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
+attributes #0 = { "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "frame-pointer"="non-leaf" "less-precise-fpmad"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+fxsr,+mmx,+popcnt,+sse,+sse2,+sse3,+sse4.1,+sse4.2,+ssse3,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
+attributes #1 = { nounwind uwtable "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "frame-pointer"="non-leaf" "less-precise-fpmad"="false" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+fxsr,+mmx,+popcnt,+sse,+sse2,+sse3,+sse4.1,+sse4.2,+ssse3,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
 
 !llvm.linker.options = !{}
 !llvm.module.flags = !{!0, !1, !3, !4, !5}
@@ -106,6 +125,6 @@ attributes #1 = { nounwind uwtable "correctly-rounded-divide-sqrt-fp-math"="fals
 !1 = !{i32 3, !"StrictVTablePointersRequirement", !2}
 !2 = !{!"StrictVTablePointers", i32 1}
 !3 = !{i32 1, !"wchar_size", i32 4}
-!4 = !{i32 7, !"PIC Level", i32 2}
+!4 = !{i32 8, !"PIC Level", i32 2}
 !5 = !{i32 7, !"PIE Level", i32 2}
 !6 = !{}
-- 
2.7.4