; GVN should ignore the store to p[1] to see that the load from p[0] is
; fully redundant.
-; CHECK: @yes
+; CHECK-LABEL: @yes(
; CHECK: if.then:
; CHECK-NEXT: store i32 0, i32* %q
; CHECK-NEXT: ret void
; fully redundant. However, the second load is larger, so it's not a simple
; redundancy.
-; CHECK: @watch_out_for_size_change
+; CHECK-LABEL: @watch_out_for_size_change(
; CHECK: if.then:
; CHECK-NEXT: store i32 0, i32* %q
; CHECK-NEXT: ret void