xref: /llvm-project/llvm/test/tools/UpdateTestChecks/update_test_checks/Inputs/stable_ir_values_funcs.ll (revision 191be2a8a8531129c779bf23c4eec86f32c69bf9)
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --include-generated-funcs --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  %x.i34 = extractvalue {i32, i32} %x, 0
11  %1 = add i32 %y, 1
12  %2 = add i32 %x.i34, %1
13  %3 = mul i32 %2, 3
14  ret i32 %3
15}
16
17; CHECK-LABEL: define i32 @func(
18; CHECK-SAME: { i32, i32 } [[X:%.*]], i32 [[Y:%.*]]) {
19; CHECK-NEXT:    [[X_I33:%.*]] = extractvalue { i32, i32 } [[X]], 0
20; CHECK-NEXT:    [[TMP1:%.*]] = add i32 [[X_I33]], [[Y]]
21; CHECK-NEXT:    [[TMP2:%.*]] = mul i32 [[TMP1]], 3
22; CHECK-NEXT:    ret i32 [[TMP2]]
23;
24