Subzero: Fix a couple of debugging tools.

tests_lit/llvm2ice_tests/asm-verbose.ll

Index: tests_lit/llvm2ice_tests/asm-verbose.ll
diff --git a/tests_lit/llvm2ice_tests/asm-verbose.ll b/tests_lit/llvm2ice_tests/asm-verbose.ll
new file mode 100644
index 0000000000000000000000000000000000000000..37ac588d1c35d7690e6ef25120cae3c7985d9ba1
--- /dev/null
+++ b/tests_lit/llvm2ice_tests/asm-verbose.ll
@@ -0,0 +1,25 @@
+; Tests that -asm-verbose doesn't fail liveness validation because of
+; callee-save pushes/pops in a single-basic-block function.
+
+; REQUIRES: allow_dump
+; RUN: %p2i --target x8632 -i %s --filetype=asm --args -O2 -asm-verbose \
+; RUN:   | FileCheck %s
+; TODO(stichnot,jpp): Enable for x8664 and arm32.
+; RUIN: %p2i --target x8664 -i %s --filetype=asm --args -O2 -asm-verbose \
+; RUIN:   | FileCheck %s
+; RUIN: %p2i --target arm32 -i %s --filetype=asm --args -O2 -asm-verbose \
+; RUIN:   | FileCheck %s
+
+define i32 @single_bb(i32 %arg0, i32 %arg1, i32 %arg2, i32 %arg3, i32 %arg4, i32 %arg5, i32 %arg6, i32 %arg7) {
+b1:
+  %t1 = add i32 %arg0, %arg1
+  %t2 = add i32 %t1, %arg2
+  %t3 = add i32 %t2, %arg3
+  %t4 = add i32 %t3, %arg4
+  %t5 = add i32 %t4, %arg5
+  %t6 = add i32 %t5, %arg6
+  %t7 = add i32 %t6, %arg7
+  ret i32 %t7
+}
+
+; CHECK-LABEL: single_bb