1 files changed, 127 insertions, 0 deletions
diff --git a/llvm/test/CodeGen/Hexagon/twoaddressbug.ll b/llvm/test/CodeGen/Hexagon/twoaddressbug.ll
new file mode 100644
index 00000000000..a5a7333295e
--- /dev/null
+++ b/llvm/test/CodeGen/Hexagon/twoaddressbug.ll
@@ -0,0 +1,127 @@
+; RUN: llc -march=hexagon -O2 < %s
+; REQUIRES: asserts
+
+; This file used to fail with an "UNREACHABLE executed!" in Post-RA pseudo
+; instruction expansion pass due to a bug in the TwoAddressInstructionPass we
+; were not handling sub register indexes when rewriting tied operands.
+
+target triple = "hexagon"
+
+%0 = type { i8, i8, %1, i32, i32, %7, i8, i8, %8, i8, i32, i16, i16, [2500 x i8], i16, i16, i16, i8*, [1024 x i8], i32, i32, i32, i32, i32, i8 }
+%1 = type { i8, %2, i8, i8, i32 }
+%2 = type { %3 }
+%3 = type { i8, [256 x i8], %4, i8, i16, i32 }
+%4 = type { %5 }
+%5 = type { %6 }
+%6 = type { [2 x i64] }
+%7 = type { i32, i8 }
+%8 = type { %7, i32, i32, %1 }
+%9 = type { %10, i8* }
+%10 = type { i16, i16, i32 }
+%11 = type { i8, i32 }
+
+@g0 = external hidden global [2 x %0], align 8
+@g1 = external hidden constant %9, align 4
+@g2 = external hidden constant %9, align 4
+@g3 = external hidden constant %9, align 4
+@g4 = external hidden constant %9, align 4
+
+; Function Attrs: optsize
+declare void @f0(%9*, i32, i32, i32) #0
+
+; Function Attrs: nounwind optsize ssp
+define hidden fastcc void @f1(i64 %a0, i8 zeroext %a1, i8 zeroext %a2) #1 {
+b0:
+  %v0 = alloca %11, align 4
+  %v1 = icmp ne i8 %a1, 0
+  %v2 = trunc i64 %a0 to i32
+  br i1 %v1, label %b1, label %b4
+
+b1:                                               ; preds = %b0
+  call void @f0(%9* @g1, i32 %v2, i32 0, i32 0) #2
+  %v3 = getelementptr inbounds [2 x %0], [2 x %0]* @g0, i32 0, i32 %v2, i32 7
+  store i8 1, i8* %v3, align 1
+  %v4 = icmp eq i8 %a2, 0
+  br i1 %v4, label %b4, label %b2
+
+b2:                                               ; preds = %b1
+  %v5 = getelementptr inbounds %11, %11* %v0, i32 0, i32 0
+  store i8 0, i8* %v5, align 4
+  %v6 = getelementptr inbounds %11, %11* %v0, i32 0, i32 1
+  store i32 0, i32* %v6, align 4
+  %v7 = getelementptr inbounds [2 x %0], [2 x %0]* @g0, i32 0, i32 %v2, i32 3
+  %v8 = load i32, i32* %v7, align 8
+  %v9 = getelementptr inbounds [2 x %0], [2 x %0]* @g0, i32 0, i32 %v2, i32 4
+  %v10 = load i32, i32* %v9, align 4
+  %v11 = getelementptr inbounds [2 x %0], [2 x %0]* @g0, i32 0, i32 %v2, i32 19
+  %v12 = load i32, i32* %v11, align 4
+  %v13 = call zeroext i8 @f2(i64 %a0, i32 %v8, i32 %v10, i32 %v12, i8 zeroext 0, %11* %v0) #2
+  %v14 = icmp eq i8 %v13, 0
+  br i1 %v14, label %b4, label %b3
+
+b3:                                               ; preds = %b2
+  %v15 = zext i8 %v13 to i32
+  call void @f0(%9* @g2, i32 %v15, i32 %v2, i32 0) #2
+  br label %b4
+
+b4:                                               ; preds = %b3, %b2, %b1, %b0
+  %v16 = getelementptr inbounds [2 x %0], [2 x %0]* @g0, i32 0, i32 %v2, i32 1
+  %v17 = load i8, i8* %v16, align 1
+  %v18 = zext i8 %v17 to i32
+  switch i32 %v18, label %b14 [
+    i32 2, label %b11
+    i32 1, label %b5
+    i32 4, label %b8
+    i32 3, label %b11
+  ]
+
+b5:                                               ; preds = %b4
+  call void @f0(%9* @g3, i32 %v2, i32 0, i32 0) #2
+  br i1 %v1, label %b7, label %b6
+
+b6:                                               ; preds = %b5
+  call fastcc void @f3(i64 %a0, i8 zeroext 0, i8 zeroext 1, i32 1) #0
+  br label %b14
+
+b7:                                               ; preds = %b5
+  call fastcc void @f3(i64 %a0, i8 zeroext 0, i8 zeroext 0, i32 1) #0
+  br label %b14
+
+b8:                                               ; preds = %b4
+  call void @f0(%9* @g4, i32 %v2, i32 0, i32 0) #2
+  %v19 = getelementptr inbounds [2 x %0], [2 x %0]* @g0, i32 0, i32 %v2, i32 6
+  store i8 1, i8* %v19, align 8
+  br i1 %v1, label %b10, label %b9
+
+b9:                                               ; preds = %b8
+  call fastcc void @f3(i64 %a0, i8 zeroext 0, i8 zeroext 1, i32 1) #0
+  br label %b14
+
+b10:                                              ; preds = %b8
+  call fastcc void @f3(i64 %a0, i8 zeroext 0, i8 zeroext 0, i32 1) #0
+  br label %b14
+
+b11:                                              ; preds = %b4, %b4
+  br i1 %v1, label %b13, label %b12
+
+b12:                                              ; preds = %b11
+  call fastcc void @f3(i64 %a0, i8 zeroext 0, i8 zeroext 1, i32 1) #0
+  br label %b14
+
+b13:                                              ; preds = %b11
+  call fastcc void @f3(i64 %a0, i8 zeroext 0, i8 zeroext 0, i32 1) #0
+  br label %b14
+
+b14:                                              ; preds = %b13, %b12, %b10, %b9, %b7, %b6, %b4
+  ret void
+}
+
+; Function Attrs: optsize
+declare zeroext i8 @f2(i64, i32, i32, i32, i8 zeroext, %11*) #0
+
+; Function Attrs: nounwind optsize ssp
+declare hidden fastcc void @f3(i64, i8 zeroext, i8 zeroext, i32) #1
+
+attributes #0 = { optsize }
+attributes #1 = { nounwind optsize ssp }
+attributes #2 = { nounwind optsize }