Separate out the case that uses llvm-dis without
--force-opaque-pointers. This will generally produce a different
result from the other cases, because things like global symbol
pointers will be non-opaque in this case.
--- /dev/null
+; RUN: llvm-as --force-opaque-pointers < %s | llvm-dis | FileCheck %s
+
+; CHECK: @g = external global i16
+@g = external global i16
+
+define void @f(i32* %p) {
+; CHECK-LABEL: @f(
+; CHECK-NEXT: [[A:%.*]] = alloca i17, align 4
+; CHECK-NEXT: ret void
+;
+ %a = alloca i17
+ ret void
+}
-; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
-; RUN: llvm-as --force-opaque-pointers < %s | llvm-dis | FileCheck %s
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature
; RUN: llvm-as < %s | llvm-dis --force-opaque-pointers | FileCheck %s
; RUN: opt --force-opaque-pointers < %s -S | FileCheck %s
@g = external global i16
define void @f(i32* %p) {
-; CHECK-LABEL: @f(
+; CHECK-LABEL: define {{[^@]+}}@f
+; CHECK-SAME: (ptr [[P:%.*]]) {
; CHECK-NEXT: [[A:%.*]] = alloca i17, align 4
; CHECK-NEXT: ret void
;