; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --include-generated-funcs --version 3
; RUN: opt < %s -S | FileCheck %s
; The assumption underlying this test is that there are pre-existing check lines
; but something has changed, and we would like to avoid needless changes of
; meta variable names so that diffs end up being easier to read, e.g. avoid
; changing X_I33 into X_I34 or renumbering the various TMP variables.
define i32 @func({i32, i32} %x, i32 %y) {
%x.i34 = extractvalue {i32, i32} %x, 0
%1 = add i32 %y, 1
%2 = add i32 %x.i34, %1
%3 = mul i32 %2, 3
ret i32 %3
}
; CHECK-LABEL: define i32 @func(
; CHECK-SAME: { i32, i32 } [[X:%.*]], i32 [[Y:%.*]]) {
; CHECK-NEXT: [[X_I33:%.*]] = extractvalue { i32, i32 } [[X]], 0
; CHECK-NEXT: [[TMP3:%.*]] = add i32 [[Y]], 1
; CHECK-NEXT: [[TMP1:%.*]] = add i32 [[X_I33]], [[TMP3]]
; CHECK-NEXT: [[TMP2:%.*]] = mul i32 [[TMP1]], 3
; CHECK-NEXT: ret i32 [[TMP2]]
;