1 files changed, 90 insertions, 0 deletions
diff --git a/llvm/test/CodeGen/Hexagon/sub-add.ll b/llvm/test/CodeGen/Hexagon/sub-add.ll
new file mode 100644
index 00000000000..44cb38b75f8
--- /dev/null
+++ b/llvm/test/CodeGen/Hexagon/sub-add.ll
@@ -0,0 +1,90 @@
+; RUN: llc -march=hexagon -enable-timing-class-latency=true < %s | FileCheck -check-prefix=CHECK-ONE %s
+; REQUIRES: asserts
+; Check there is no assert when enabling enable-timing-class-latency
+; CHECK-ONE: f0:
+
+; RUN: llc -march=hexagon < %s | FileCheck -check-prefix=CHECK %s
+; CHECK: add(r{{[0-9]*}},sub(#1,r{{[0-9]*}})
+; CHECK: call f1
+
+target triple = "hexagon"
+
+%s.0 = type { i16, i16, i16, i16*, i16, i16, i16, i16, i16, i16, i32, i32, i16, %s.1*, i16, %s.2*, i16, %s.3*, i16*, i16*, i16, i16*, i16*, i16, i16*, i16, i16*, i8*, %s.5, %s.4, %s.5, %s.5, i32, i32, i32, %s.6, i32, i32, i16, %s.7, %s.7 }
+%s.1 = type { i16, i16, i16, i16 }
+%s.2 = type { i16, i16 }
+%s.3 = type { i16, i16, i16, i16 }
+%s.4 = type { i32, i32, i16* }
+%s.5 = type { i32, i32, i32* }
+%s.6 = type { i16, i16, i16, i16 }
+%s.7 = type { i16, i16, i16, i16, i16, i16*, i16*, i16*, i8*, i16*, i16*, i16*, i8* }
+
+; Function Attrs: nounwind
+define i32 @f0(%s.0* %a0) #0 {
+b0:
+  %v0 = alloca i16, align 2
+  %v1 = getelementptr inbounds %s.0, %s.0* %a0, i32 0, i32 12
+  %v2 = load i16, i16* %v1, align 2, !tbaa !0
+  %v3 = icmp sgt i16 %v2, 0
+  br i1 %v3, label %b1, label %b9
+
+b1:                                               ; preds = %b0
+  %v4 = getelementptr inbounds %s.0, %s.0* %a0, i32 0, i32 17
+  %v5 = getelementptr inbounds %s.0, %s.0* %a0, i32 0, i32 29
+  br label %b2
+
+b2:                                               ; preds = %b7, %b1
+  %v6 = phi i16 [ %v2, %b1 ], [ %v23, %b7 ]
+  %v7 = phi i32 [ 0, %b1 ], [ %v25, %b7 ]
+  %v8 = phi i16 [ 1, %b1 ], [ %v26, %b7 ]
+  %v9 = load %s.3*, %s.3** %v4, align 4, !tbaa !4
+  %v10 = getelementptr inbounds %s.3, %s.3* %v9, i32 %v7, i32 0
+  %v11 = load i16, i16* %v10, align 2, !tbaa !0
+  %v12 = getelementptr inbounds %s.3, %s.3* %v9, i32 %v7, i32 1
+  %v13 = load i16, i16* %v12, align 2, !tbaa !0
+  %v14 = icmp sgt i16 %v11, %v13
+  br i1 %v14, label %b6, label %b3
+
+b3:                                               ; preds = %b2
+  %v15 = sext i16 %v11 to i32
+  %v16 = sext i16 %v13 to i32
+  %v17 = add i32 %v16, 1
+  br label %b4
+
+b4:                                               ; preds = %b4, %b3
+  %v18 = phi i32 [ %v15, %b3 ], [ %v20, %b4 ]
+  %v19 = call i32 bitcast (i32 (...)* @f1 to i32 (%s.4*, i32, i32, i16*)*)(%s.4* %v5, i32 %v7, i32 undef, i16* %v0) #0
+  %v20 = add i32 %v18, 1
+  %v21 = icmp eq i32 %v20, %v17
+  br i1 %v21, label %b5, label %b4
+
+b5:                                               ; preds = %b4
+  %v22 = load i16, i16* %v1, align 2, !tbaa !0
+  br label %b6
+
+b6:                                               ; preds = %b5, %b2
+  %v23 = phi i16 [ %v22, %b5 ], [ %v6, %b2 ]
+  %v24 = icmp slt i16 %v8, %v23
+  br i1 %v24, label %b7, label %b8
+
+b7:                                               ; preds = %b6
+  %v25 = sext i16 %v8 to i32
+  %v26 = add i16 %v8, 1
+  br label %b2
+
+b8:                                               ; preds = %b6
+  br label %b9
+
+b9:                                               ; preds = %b8, %b0
+  ret i32 0
+}
+
+declare i32 @f1(...)
+
+attributes #0 = { nounwind }
+
+!0 = !{!1, !1, i64 0}
+!1 = !{!"short", !2}
+!2 = !{!"omnipotent char", !3}
+!3 = !{!"Simple C/C++ TBAA"}
+!4 = !{!5, !5, i64 0}
+!5 = !{!"any pointer", !2}