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