; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
; RUN: opt -S -passes=normalize < %s | FileCheck %s

define i32 @foo(i32, i32) {
; CHECK-LABEL: define i32 @foo(
; CHECK-SAME: i32 [[A0:%.*]], i32 [[A1:%.*]]) {
; CHECK-NEXT:  [[BB17254:.*:]]
; CHECK-NEXT:    %"vl20416([[A0]], [[A1]])" = mul i32 [[A0]], [[A1]]
; CHECK-NEXT:    ret i32 %"vl20416([[A0]], [[A1]])"
;
  %tmp = mul i32 %0, %1
  ret i32 %tmp
}