|
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