+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -mem2reg < %s -S | FileCheck %s
-
-; CHECK-LABEL: void @patatino()
-; CHECK-NEXT: ret void
-
-; CHECK-LABEL: cantreachme:
-; CHECK-NEXT: %dec = add nsw i32 undef, -1
-; CHECK-NEXT: br label %cantreachme
-
define void @patatino() {
+; CHECK-LABEL: @patatino(
+; CHECK-NEXT: ret void
+; CHECK: cantreachme:
+; CHECK-NEXT: [[DEC:%.*]] = add nsw i32 undef, -1
+; CHECK-NEXT: br label [[CANTREACHME:%.*]]
+;
%a = alloca i32, align 4
ret void
cantreachme: