|
9 | 9 | ; Aggregate data are wrapped into @llvm.fake.use(), |
10 | 10 | ; and their attributes are packed into a metadata for @llvm.spv.value.md(). |
11 | 11 | ; CHECK-IR: %[[R1:.*]] = call { i32, i1 } @llvm.uadd.with.overflow.i32 |
12 | | -; CHECK-IR: call void @llvm.spv.value.md(metadata !0) |
| 12 | +; CHECK-IR: call void @llvm.spv.value.md(metadata !1) |
13 | 13 | ; CHECK-IR: call void (...) @llvm.fake.use({ i32, i1 } %[[R1]]) |
14 | 14 | ; CHECK-IR: %math = extractvalue { i32, i1 } %[[R1]], 0 |
15 | 15 | ; CHECK-IR: %ov = extractvalue { i32, i1 } %[[R1]], 1 |
16 | 16 | ; Type/Name attributes of the value. |
17 | | -; CHECK-IR: !0 = !{{[{]}}!1, !""{{[}]}} |
| 17 | +; CHECK-IR: !1 = !{{[{]}}!2, !""{{[}]}} |
18 | 18 | ; Origin data type of the value. |
19 | | -; CHECK-IR: !1 = !{{[{]}}{{[{]}} i32, i1 {{[}]}} poison{{[}]}} |
| 19 | +; CHECK-IR: !2 = !{{[{]}}{{[{]}} i32, i1 {{[}]}} poison{{[}]}} |
20 | 20 |
|
21 | 21 | ; RUN: llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -print-after=irtranslator 2>&1 | FileCheck %s --check-prefix=CHECK-GMIR |
22 | 22 | ; Required info succeeded to get through IRTranslator. |
23 | 23 | ; CHECK-GMIR: %[[phires:.*]]:_(s32) = G_PHI |
24 | 24 | ; CHECK-GMIR: %[[math:.*]]:id(s32), %[[ov:.*]]:_(s1) = G_UADDO %[[phires]]:_, %[[#]]:_ |
25 | | -; CHECK-GMIR: G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.spv.value.md), !0 |
| 25 | +; CHECK-GMIR: G_INTRINSIC_W_SIDE_EFFECTS intrinsic(@llvm.spv.value.md), !1 |
26 | 26 | ; CHECK-GMIR: FAKE_USE %[[math]]:id(s32), %[[ov]]:_(s1) |
27 | 27 |
|
28 | 28 | ; RUN: llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -print-after=spirv-prelegalizer 2>&1 | FileCheck %s --check-prefix=CHECK-PRE |
|
0 commit comments