This is an archive of the discontinued LLVM Phabricator instance.

Differential D106184

[BPF] Use elementtype attribute for preserve.array/struct.index intrinsics
ClosedPublic

Authored by nikic on Jul 16 2021, 1:18 PM.

Details

Reviewers
yonghong-song
aeubanks
Group Reviewers
Restricted Project
Summary

Use the elementtype attribute introduced in D105407 for the llvm.preserve.array/struct.index intrinsics. It carries the element type of the GEP these intrinsics effectively encode.

This patch:

  • Adds a verifier check that the attribute is required.
  • Adds it in the IRBuilder methods for these intrinsics.
  • Autoupgrades old bitcode without the attribute.
  • Updates the lowering code to use the attribute rather than the pointer element type.
  • Updates lots of tests to specify the attribute.
  • Adds -force-opaque-pointers to the intrinsic-array.ll test to demonstrate they work now.

Diff Detail

Unit TestsFailed

TimeTest
60 msx64 debian > LLVM.Bitcode::upgrade-elementtype.ll
2,820 msx64 debian > libarcher.critical::critical.c
2,820 msx64 debian > libarcher.parallel::parallel-simple2.c
2,660 msx64 debian > libarcher.races::critical-unrelated.c
2,590 msx64 debian > libarcher.races::lock-nested-unrelated.c
View Full Test Results (20 Failed)

Event Timeline

nikic created this revision.Jul 16 2021, 1:18 PM
Herald added subscribers: dexonsmith, jdoerfert, arphaman, hiraditya. · View Herald TranscriptJul 16 2021, 1:18 PM
nikic requested review of this revision.Jul 16 2021, 1:18 PM
Herald added projects: Restricted Project, Restricted Project. · View Herald TranscriptJul 16 2021, 1:18 PM
Herald added subscribers: llvm-commits, cfe-commits. · View Herald Transcript
nikic added inline comments.Jul 16 2021, 1:23 PM
llvm/lib/Target/BPF/BPFAbstractMemberAccess.cpp
303

I noticed too late that this intrinsic also uses the element type to get the alignment. I'll have to follow up with the same change for this intrinsic.

Though I'm not completely sure if this is actually used, because no tests fail if I replace this with dummy values like 1 or 128.

Harbormaster completed remote builds in B114579: Diff 359425.Jul 16 2021, 2:10 PM
aeubanks accepted this revision.Jul 16 2021, 3:13 PM
aeubanks added a subscriber: aeubanks.

awesome!

This revision is now accepted and ready to land.Jul 16 2021, 3:13 PM
nikic updated this revision to Diff 359543.Jul 17 2021, 1:07 AM

Add CHECK-LABEL to autoupgrade test. It's failing on pre-merge checking and the output is not helpful...

Harbormaster completed remote builds in B114672: Diff 359543.Jul 17 2021, 1:55 AM
nikic mentioned this in rGbe5af50e7d02: [BPF] Use elementtype attribute for preserve.array/struct.index intrinsics.Jul 17 2021, 2:11 AM
nikic closed this revision.Jul 17 2021, 2:23 AM

Landed as https://github.com/llvm/llvm-project/commit/be5af50e7d028849bf2fab5f4b0f2ad36ae56e11, missed the "Differential Revision" tag.

For the record, the problem with the autoupgrade test was PEBKAC: The textual diff that gets uploaded to Phabricator didn't include the contents of the binary bitcode file, and apparently LLVM happily interprets an empty bitcode file as an empty module.

yonghong-song added a comment.Jul 17 2021, 10:26 AM

I just tested the patch with kernel bpf selftests and it works fine. The patch looks good to me too.

llvm/lib/Target/BPF/BPFAbstractMemberAccess.cpp
303

This is for llvm.preserve.union.access.index. It is used only if the union member type is a bitfield and we don't have any usecase and test case for that. That is why we didn't hit it.

It is okay for now. I probably will change to use getBaseElementType(Call) later by myself.

nikic added inline comments.Mar 7 2022, 8:14 AM
llvm/lib/Target/BPF/BPFAbstractMemberAccess.cpp
303

I want to check back here on what we should do with this intrinsic. Should it be changed to use elementtype as well?

A possible alternative is to only add an align attribute to it, as it's the only part being actually used.

Herald added a project: Restricted Project. · View Herald TranscriptMar 7 2022, 8:14 AM

Revision Contents

PathSize
clang/
test/
CodeGen/
6 lines
8 lines
8 lines
4 lines
6 lines
8 lines
8 lines
8 lines
4 lines
4 lines
2 lines
28 lines
6 lines
8 lines
llvm/
docs/
10 lines
include/
llvm/
IR/
3 lines
lib/
Bitcode/
Reader/
26 lines
IR/
4 lines
16 lines
8 lines
Target/
BPF/
14 lines
test/
Bitcode/
15 lines
CodeGen/
BPF/
CORE/
2 lines
2 lines
2 lines
2 lines
2 lines
4 lines
2 lines
6 lines
8 lines
4 lines
6 lines
2 lines
6 lines
4 lines
6 lines
2 lines
8 lines
8 lines
4 lines
8 lines
4 lines
6 lines
6 lines
6 lines
10 lines
2 lines
2 lines
4 lines
4 lines
2 lines
10 lines
12 lines
4 lines
4 lines
6 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
6 lines
2 lines
2 lines
6 lines
8 lines
10 lines
4 lines
2 lines
4 lines
6 lines
6 lines
4 lines
2 lines
2 lines
4 lines
2 lines
2 lines
Verifier/
9 lines

Diff 359543

clang/test/CodeGen/bpf-attr-preserve-access-index-1.c

Show All 11 Linesstruct s1 {
}; };
} __reloc__; } __reloc__;
typedef struct s1 __s1; typedef struct s1 __s1;
int test(__s1 *arg) { int test(__s1 *arg) {
return arg->a + arg[1].b; return arg->a + arg[1].b;
} }
// CHECK: call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* %{{[0-9a-z]+}}, i32 0, i32 0) // CHECK: call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %{{[0-9a-z]+}}, i32 0, i32 0)
// CHECK: call %struct.s1* @llvm.preserve.array.access.index.p0s_struct.s1s.p0s_struct.s1s(%struct.s1* %{{[0-9a-z]+}}, i32 0, i32 1) // CHECK: call %struct.s1* @llvm.preserve.array.access.index.p0s_struct.s1s.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %{{[0-9a-z]+}}, i32 0, i32 1)
// CHECK: call %union.anon* @llvm.preserve.struct.access.index.p0s_union.anons.p0s_struct.s1s(%struct.s1* %{{[0-9a-z]+}}, i32 1, i32 1) // CHECK: call %union.anon* @llvm.preserve.struct.access.index.p0s_union.anons.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %{{[0-9a-z]+}}, i32 1, i32 1)
// CHECK: call %union.anon* @llvm.preserve.union.access.index.p0s_union.anons.p0s_union.anons(%union.anon* %{{[0-9a-z]+}}, i32 0) // CHECK: call %union.anon* @llvm.preserve.union.access.index.p0s_union.anons.p0s_union.anons(%union.anon* %{{[0-9a-z]+}}, i32 0)

clang/test/CodeGen/bpf-attr-preserve-access-index-2.c

Show All 11 Linesstruct s1 {
}; };
} __reloc__; } __reloc__;
typedef struct s1 __s1; typedef struct s1 __s1;
int test(__s1 *arg) { int test(__s1 *arg) {
return arg->a[2] + arg->c[2]; return arg->a[2] + arg->c[2];
} }
// CHECK: call [3 x i32]* @llvm.preserve.struct.access.index.p0a3i32.p0s_struct.s1s(%struct.s1* %{{[0-9a-z]+}}, i32 0, i32 0) // CHECK: call [3 x i32]* @llvm.preserve.struct.access.index.p0a3i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %{{[0-9a-z]+}}, i32 0, i32 0)
// CHECK: call i32* @llvm.preserve.array.access.index.p0i32.p0a3i32([3 x i32]* %{{[0-9a-z]+}}, i32 1, i32 2) // CHECK: call i32* @llvm.preserve.array.access.index.p0i32.p0a3i32([3 x i32]* elementtype([3 x i32]) %{{[0-9a-z]+}}, i32 1, i32 2)
// CHECK: call %union.anon* @llvm.preserve.struct.access.index.p0s_union.anons.p0s_struct.s1s(%struct.s1* %{{[0-9a-z]+}}, i32 1, i32 1) // CHECK: call %union.anon* @llvm.preserve.struct.access.index.p0s_union.anons.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %{{[0-9a-z]+}}, i32 1, i32 1)
// CHECK: call %union.anon* @llvm.preserve.union.access.index.p0s_union.anons.p0s_union.anons(%union.anon* %{{[0-9a-z]+}}, i32 1) // CHECK: call %union.anon* @llvm.preserve.union.access.index.p0s_union.anons.p0s_union.anons(%union.anon* %{{[0-9a-z]+}}, i32 1)
// CHECK: call i32* @llvm.preserve.array.access.index.p0i32.p0a4i32([4 x i32]* %{{[0-9a-z]+}}, i32 1, i32 2) // CHECK: call i32* @llvm.preserve.array.access.index.p0i32.p0a4i32([4 x i32]* elementtype([4 x i32]) %{{[0-9a-z]+}}, i32 1, i32 2)

clang/test/CodeGen/bpf-attr-preserve-access-index-3.c

Show All 19 Linesstruct s3 {
__s2 a; __s2 a;
} __reloc__; } __reloc__;
typedef struct s3 __s3; typedef struct s3 __s3;
int test(__s3 *arg) { int test(__s3 *arg) {
return arg->a.b[2].c; return arg->a.b[2].c;
} }
// CHECK: call %struct.s2* @llvm.preserve.struct.access.index.p0s_struct.s2s.p0s_struct.s3s(%struct.s3* %{{[0-9a-z]+}}, i32 0, i32 0) // CHECK: call %struct.s2* @llvm.preserve.struct.access.index.p0s_struct.s2s.p0s_struct.s3s(%struct.s3* elementtype(%struct.s3) %{{[0-9a-z]+}}, i32 0, i32 0)
// CHECK: call %union.anon* @llvm.preserve.struct.access.index.p0s_union.anons.p0s_struct.s2s(%struct.s2* %{{[0-9a-z]+}}, i32 0, i32 0) // CHECK: call %union.anon* @llvm.preserve.struct.access.index.p0s_union.anons.p0s_struct.s2s(%struct.s2* elementtype(%struct.s2) %{{[0-9a-z]+}}, i32 0, i32 0)
// CHECK: call %union.anon* @llvm.preserve.union.access.index.p0s_union.anons.p0s_union.anons(%union.anon* %{{[0-9a-z]+}}, i32 0) // CHECK: call %union.anon* @llvm.preserve.union.access.index.p0s_union.anons.p0s_union.anons(%union.anon* %{{[0-9a-z]+}}, i32 0)
// CHECK: call %struct.s1* @llvm.preserve.array.access.index.p0s_struct.s1s.p0a3s_struct.s1s([3 x %struct.s1]* %{{[0-9a-z]+}}, i32 1, i32 2) // CHECK: call %struct.s1* @llvm.preserve.array.access.index.p0s_struct.s1s.p0a3s_struct.s1s([3 x %struct.s1]* elementtype([3 x %struct.s1]) %{{[0-9a-z]+}}, i32 1, i32 2)
// CHECK: call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* %{{[0-9a-z]+}}, i32 0, i32 0) // CHECK: call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %{{[0-9a-z]+}}, i32 0, i32 0)

clang/test/CodeGen/bpf-attr-preserve-access-index-4.c

Show All 21 Lines
typedef struct s3 __s3; typedef struct s3 __s3;
int test(__s3 *arg) { int test(__s3 *arg) {
return arg->a.b[2].c; return arg->a.b[2].c;
} }
// CHECK: define dso_local i32 @test // CHECK: define dso_local i32 @test
// CHECK-NOT: call %struct.s2* @llvm.preserve.struct.access.index.p0s_struct.s2s.p0s_struct.s3s // CHECK-NOT: call %struct.s2* @llvm.preserve.struct.access.index.p0s_struct.s2s.p0s_struct.s3s
// CHECK: call %union.anon* @llvm.preserve.struct.access.index.p0s_union.anons.p0s_struct.s2s(%struct.s2* %{{[0-9a-z]+}}, i32 0, i32 0) // CHECK: call %union.anon* @llvm.preserve.struct.access.index.p0s_union.anons.p0s_struct.s2s(%struct.s2* elementtype(%struct.s2) %{{[0-9a-z]+}}, i32 0, i32 0)
// CHECK: call %union.anon* @llvm.preserve.union.access.index.p0s_union.anons.p0s_union.anons(%union.anon* %{{[0-9a-z]+}}, i32 0) // CHECK: call %union.anon* @llvm.preserve.union.access.index.p0s_union.anons.p0s_union.anons(%union.anon* %{{[0-9a-z]+}}, i32 0)
// CHECK: call %struct.s1* @llvm.preserve.array.access.index.p0s_struct.s1s.p0a3s_struct.s1s([3 x %struct.s1]* %{{[0-9a-z]+}}, i32 1, i32 2) // CHECK: call %struct.s1* @llvm.preserve.array.access.index.p0s_struct.s1s.p0a3s_struct.s1s([3 x %struct.s1]* elementtype([3 x %struct.s1]) %{{[0-9a-z]+}}, i32 1, i32 2)
// CHECK-NOT: call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s // CHECK-NOT: call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s

clang/test/CodeGen/bpf-attr-preserve-access-index-5.c

Show All 19 Linesstruct s3 {
__s2 a; __s2 a;
} __reloc__; } __reloc__;
typedef struct s3 __s3; typedef struct s3 __s3;
int test(__s3 *arg) { int test(__s3 *arg) {
return arg->a.b[2].c; return arg->a.b[2].c;
} }
// CHECK: call %struct.s2* @llvm.preserve.struct.access.index.p0s_struct.s2s.p0s_struct.s3s(%struct.s3* %{{[0-9a-z]+}}, i32 0, i32 0) // CHECK: call %struct.s2* @llvm.preserve.struct.access.index.p0s_struct.s2s.p0s_struct.s3s(%struct.s3* elementtype(%struct.s3) %{{[0-9a-z]+}}, i32 0, i32 0)
// CHECK-NOT: call %union.anon* @llvm.preserve.struct.access.index.p0s_union.anons.p0s_struct.s2s // CHECK-NOT: call %union.anon* @llvm.preserve.struct.access.index.p0s_union.anons.p0s_struct.s2s
// CHECK: call %union.anon* @llvm.preserve.union.access.index.p0s_union.anons.p0s_union.anons(%union.anon* %{{[0-9a-z]+}}, i32 0) // CHECK: call %union.anon* @llvm.preserve.union.access.index.p0s_union.anons.p0s_union.anons(%union.anon* %{{[0-9a-z]+}}, i32 0)
// CHECK: call %struct.s1* @llvm.preserve.array.access.index.p0s_struct.s1s.p0a3s_struct.s1s([3 x %struct.s1]* %{{[0-9a-z]+}}, i32 1, i32 2) // CHECK: call %struct.s1* @llvm.preserve.array.access.index.p0s_struct.s1s.p0a3s_struct.s1s([3 x %struct.s1]* elementtype([3 x %struct.s1]) %{{[0-9a-z]+}}, i32 1, i32 2)
// CHECK: call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* %{{[0-9a-z]+}}, i32 0, i32 0) // CHECK: call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %{{[0-9a-z]+}}, i32 0, i32 0)

clang/test/CodeGen/bpf-attr-preserve-access-index-6.c

Show All 19 Linesstruct s3 {
__s2 a; __s2 a;
} __reloc__; } __reloc__;
typedef struct s3 __s3; typedef struct s3 __s3;
int test(__s3 *arg) { int test(__s3 *arg) {
return arg->a.b[2].c; return arg->a.b[2].c;
} }
// CHECK: call %struct.s2* @llvm.preserve.struct.access.index.p0s_struct.s2s.p0s_struct.s3s(%struct.s3* %{{[0-9a-z]+}}, i32 0, i32 0) // CHECK: call %struct.s2* @llvm.preserve.struct.access.index.p0s_struct.s2s.p0s_struct.s3s(%struct.s3* elementtype(%struct.s3) %{{[0-9a-z]+}}, i32 0, i32 0)
// CHECK: call %union.anon* @llvm.preserve.struct.access.index.p0s_union.anons.p0s_struct.s2s(%struct.s2* %{{[0-9a-z]+}}, i32 0, i32 0) // CHECK: call %union.anon* @llvm.preserve.struct.access.index.p0s_union.anons.p0s_struct.s2s(%struct.s2* elementtype(%struct.s2) %{{[0-9a-z]+}}, i32 0, i32 0)
// CHECK: call %union.anon* @llvm.preserve.union.access.index.p0s_union.anons.p0s_union.anons(%union.anon* %{{[0-9a-z]+}}, i32 0) // CHECK: call %union.anon* @llvm.preserve.union.access.index.p0s_union.anons.p0s_union.anons(%union.anon* %{{[0-9a-z]+}}, i32 0)
// CHECK: call %struct.s1* @llvm.preserve.array.access.index.p0s_struct.s1s.p0a3s_struct.s1s([3 x %struct.s1]* %{{[0-9a-z]+}}, i32 1, i32 2) // CHECK: call %struct.s1* @llvm.preserve.array.access.index.p0s_struct.s1s.p0a3s_struct.s1s([3 x %struct.s1]* elementtype([3 x %struct.s1]) %{{[0-9a-z]+}}, i32 1, i32 2)
// CHECK: call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* %{{[0-9a-z]+}}, i32 0, i32 0) // CHECK: call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %{{[0-9a-z]+}}, i32 0, i32 0)

clang/test/CodeGen/bpf-attr-preserve-access-index-7.c

Show All 23 Linesstruct s3 {
__s2 a; __s2 a;
}; };
typedef struct s3 __s3; typedef struct s3 __s3;
int test(__s3 *arg) { int test(__s3 *arg) {
return arg->a.b[2].c; return arg->a.b[2].c;
} }
// CHECK: call %struct.s2* @llvm.preserve.struct.access.index.p0s_struct.s2s.p0s_struct.s3s(%struct.s3* %{{[0-9a-z]+}}, i32 0, i32 0) // CHECK: call %struct.s2* @llvm.preserve.struct.access.index.p0s_struct.s2s.p0s_struct.s3s(%struct.s3* elementtype(%struct.s3) %{{[0-9a-z]+}}, i32 0, i32 0)
// CHECK: call %union.anon* @llvm.preserve.struct.access.index.p0s_union.anons.p0s_struct.s2s(%struct.s2* %{{[0-9a-z]+}}, i32 0, i32 0) // CHECK: call %union.anon* @llvm.preserve.struct.access.index.p0s_union.anons.p0s_struct.s2s(%struct.s2* elementtype(%struct.s2) %{{[0-9a-z]+}}, i32 0, i32 0)
// CHECK: call %union.anon* @llvm.preserve.union.access.index.p0s_union.anons.p0s_union.anons(%union.anon* %{{[0-9a-z]+}}, i32 0) // CHECK: call %union.anon* @llvm.preserve.union.access.index.p0s_union.anons.p0s_union.anons(%union.anon* %{{[0-9a-z]+}}, i32 0)
// CHECK: call %struct.s1* @llvm.preserve.array.access.index.p0s_struct.s1s.p0a3s_struct.s1s([3 x %struct.s1]* %{{[0-9a-z]+}}, i32 1, i32 2) // CHECK: call %struct.s1* @llvm.preserve.array.access.index.p0s_struct.s1s.p0a3s_struct.s1s([3 x %struct.s1]* elementtype([3 x %struct.s1]) %{{[0-9a-z]+}}, i32 1, i32 2)
// CHECK: call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* %{{[0-9a-z]+}}, i32 0, i32 0) // CHECK: call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %{{[0-9a-z]+}}, i32 0, i32 0)

clang/test/CodeGen/bpf-attr-preserve-access-index-8.c

Show All 23 Linesstruct s3 {
__s2 a; __s2 a;
} __reloc__; } __reloc__;
typedef struct s3 __s3; typedef struct s3 __s3;
int test(__s3 *arg) { int test(__s3 *arg) {
return arg->a.b[2].c; return arg->a.b[2].c;
} }
// CHECK: call %struct.s2* @llvm.preserve.struct.access.index.p0s_struct.s2s.p0s_struct.s3s(%struct.s3* %{{[0-9a-z]+}}, i32 0, i32 0) // CHECK: call %struct.s2* @llvm.preserve.struct.access.index.p0s_struct.s2s.p0s_struct.s3s(%struct.s3* elementtype(%struct.s3) %{{[0-9a-z]+}}, i32 0, i32 0)
// CHECK: call %union.anon* @llvm.preserve.struct.access.index.p0s_union.anons.p0s_struct.s2s(%struct.s2* %{{[0-9a-z]+}}, i32 0, i32 0) // CHECK: call %union.anon* @llvm.preserve.struct.access.index.p0s_union.anons.p0s_struct.s2s(%struct.s2* elementtype(%struct.s2) %{{[0-9a-z]+}}, i32 0, i32 0)
// CHECK: call %union.anon* @llvm.preserve.union.access.index.p0s_union.anons.p0s_union.anons(%union.anon* %{{[0-9a-z]+}}, i32 0) // CHECK: call %union.anon* @llvm.preserve.union.access.index.p0s_union.anons.p0s_union.anons(%union.anon* %{{[0-9a-z]+}}, i32 0)
// CHECK: call %struct.s1* @llvm.preserve.array.access.index.p0s_struct.s1s.p0a3s_struct.s1s([3 x %struct.s1]* %{{[0-9a-z]+}}, i32 1, i32 2) // CHECK: call %struct.s1* @llvm.preserve.array.access.index.p0s_struct.s1s.p0a3s_struct.s1s([3 x %struct.s1]* elementtype([3 x %struct.s1]) %{{[0-9a-z]+}}, i32 1, i32 2)
// CHECK: call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* %{{[0-9a-z]+}}, i32 0, i32 0) // CHECK: call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %{{[0-9a-z]+}}, i32 0, i32 0)

clang/test/CodeGen/builtin-preserve-access-index-array.c

// RUN: %clang -target x86_64 -emit-llvm -S -g %s -o - | FileCheck %s // RUN: %clang -target x86_64 -emit-llvm -S -g %s -o - | FileCheck %s
#define _(x) (__builtin_preserve_access_index(x)) #define _(x) (__builtin_preserve_access_index(x))
struct s1 { struct s1 {
char a; char a;
int b[4]; int b[4];
}; };
const void *unit1(struct s1 *arg) { const void *unit1(struct s1 *arg) {
return _(&arg->b[2]); return _(&arg->b[2]);
} }
// CHECK: define dso_local i8* @unit1 // CHECK: define dso_local i8* @unit1
// CHECK: call [4 x i32]* @llvm.preserve.struct.access.index.p0a4i32.p0s_struct.s1s(%struct.s1* %{{[0-9a-z]+}}, i32 1, i32 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_S1:[0-9]+]] // CHECK: call [4 x i32]* @llvm.preserve.struct.access.index.p0a4i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %{{[0-9a-z]+}}, i32 1, i32 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_S1:[0-9]+]]
// CHECK: call i32* @llvm.preserve.array.access.index.p0i32.p0a4i32([4 x i32]* %{{[0-9a-z]+}}, i32 1, i32 2), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[ARRAY:[0-9]+]] // CHECK: call i32* @llvm.preserve.array.access.index.p0i32.p0a4i32([4 x i32]* elementtype([4 x i32]) %{{[0-9a-z]+}}, i32 1, i32 2), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[ARRAY:[0-9]+]]
// //
// CHECK: ![[ARRAY]] = !DICompositeType(tag: DW_TAG_array_type // CHECK: ![[ARRAY]] = !DICompositeType(tag: DW_TAG_array_type
// CHECK: ![[STRUCT_S1]] = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "s1" // CHECK: ![[STRUCT_S1]] = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "s1"

clang/test/CodeGen/builtin-preserve-access-index-nonptr.c

// RUN: %clang -target x86_64 -emit-llvm -S -g %s -o - | FileCheck %s // RUN: %clang -target x86_64 -emit-llvm -S -g %s -o - | FileCheck %s
#define _(x) (__builtin_preserve_access_index(x)) #define _(x) (__builtin_preserve_access_index(x))
struct s1 { struct s1 {
char a; char a;
int b[4]; int b[4];
}; };
int unit1(struct s1 *arg) { int unit1(struct s1 *arg) {
return _(arg->b[2]); return _(arg->b[2]);
} }
// CHECK: define dso_local i32 @unit1 // CHECK: define dso_local i32 @unit1
// CHECK: call [4 x i32]* @llvm.preserve.struct.access.index.p0a4i32.p0s_struct.s1s(%struct.s1* %{{[0-9a-z]+}}, i32 1, i32 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_S1:[0-9]+]] // CHECK: call [4 x i32]* @llvm.preserve.struct.access.index.p0a4i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %{{[0-9a-z]+}}, i32 1, i32 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_S1:[0-9]+]]
// CHECK: call i32* @llvm.preserve.array.access.index.p0i32.p0a4i32([4 x i32]* %{{[0-9a-z]+}}, i32 1, i32 2), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[ARRAY:[0-9]+]] // CHECK: call i32* @llvm.preserve.array.access.index.p0i32.p0a4i32([4 x i32]* elementtype([4 x i32]) %{{[0-9a-z]+}}, i32 1, i32 2), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[ARRAY:[0-9]+]]
// //
// CHECK: ![[ARRAY]] = !DICompositeType(tag: DW_TAG_array_type // CHECK: ![[ARRAY]] = !DICompositeType(tag: DW_TAG_array_type
// CHECK: ![[STRUCT_S1]] = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "s1" // CHECK: ![[STRUCT_S1]] = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "s1"

clang/test/CodeGen/builtin-preserve-access-index-typedef.c

Show All 9 Lines
} __u; } __u;
#pragma clang attribute pop #pragma clang attribute pop
int test1(__t *arg) { return arg->a; } int test1(__t *arg) { return arg->a; }
int test2(const __u *arg) { return arg->b; } int test2(const __u *arg) { return arg->b; }
// CHECK: define dso_local i32 @test1 // CHECK: define dso_local i32 @test1
// CHECK: call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.__ts(%struct.__t* %{{[0-9a-z]+}}, i32 0, i32 0), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[TYPEDEF_STRUCT:[0-9]+]] // CHECK: call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.__ts(%struct.__t* elementtype(%struct.__t) %{{[0-9a-z]+}}, i32 0, i32 0), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[TYPEDEF_STRUCT:[0-9]+]]
// CHECK: define dso_local i32 @test2 // CHECK: define dso_local i32 @test2
// CHECK: call %union.__u* @llvm.preserve.union.access.index.p0s_union.__us.p0s_union.__us(%union.__u* %{{[0-9a-z]+}}, i32 0), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[CONST_TYPEDEF:[0-9]+]] // CHECK: call %union.__u* @llvm.preserve.union.access.index.p0s_union.__us.p0s_union.__us(%union.__u* %{{[0-9a-z]+}}, i32 0), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[CONST_TYPEDEF:[0-9]+]]
// //
// CHECK: ![[TYPEDEF_STRUCT]] = !DIDerivedType(tag: DW_TAG_typedef, name: "__t" // CHECK: ![[TYPEDEF_STRUCT]] = !DIDerivedType(tag: DW_TAG_typedef, name: "__t"
// CHECK: ![[CONST_TYPEDEF]] = !DIDerivedType(tag: DW_TAG_const_type, baseType: ![[TYPEDEF_UNION:[0-9]+]] // CHECK: ![[CONST_TYPEDEF]] = !DIDerivedType(tag: DW_TAG_const_type, baseType: ![[TYPEDEF_UNION:[0-9]+]]
// CHECK: ![[TYPEDEF_UNION]] = !DIDerivedType(tag: DW_TAG_typedef, name: "__u" // CHECK: ![[TYPEDEF_UNION]] = !DIDerivedType(tag: DW_TAG_typedef, name: "__u"

clang/test/CodeGen/builtin-preserve-access-index.c

Show All 25 Lines
// CHECK-NOT: llvm.preserve.struct.access.index // CHECK-NOT: llvm.preserve.struct.access.index
// CHECK-NOT: llvm.preserve.union.access.index // CHECK-NOT: llvm.preserve.union.access.index
const void *unit4(const int *arg) { const void *unit4(const int *arg) {
return _(&arg[1]); return _(&arg[1]);
} }
// CHECK: define dso_local i8* @unit4 // CHECK: define dso_local i8* @unit4
// CHECK-NOT: getelementptr // CHECK-NOT: getelementptr
// CHECK: call i32* @llvm.preserve.array.access.index.p0i32.p0i32(i32* %{{[0-9a-z]+}}, i32 0, i32 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[POINTER:[0-9]+]] // CHECK: call i32* @llvm.preserve.array.access.index.p0i32.p0i32(i32* elementtype(i32) %{{[0-9a-z]+}}, i32 0, i32 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[POINTER:[0-9]+]]
const void *unit5(const int *arg[5]) { const void *unit5(const int *arg[5]) {
return _(&arg[1][2]); return _(&arg[1][2]);
} }
// CHECK: define dso_local i8* @unit5 // CHECK: define dso_local i8* @unit5
// CHECK-NOT: getelementptr // CHECK-NOT: getelementptr
// CHECK: call i32** @llvm.preserve.array.access.index.p0p0i32.p0p0i32(i32** %{{[0-9a-z]+}}, i32 0, i32 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index !{{[0-9]+}} // CHECK: call i32** @llvm.preserve.array.access.index.p0p0i32.p0p0i32(i32** elementtype(i32*) %{{[0-9a-z]+}}, i32 0, i32 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index !{{[0-9]+}}
// CHECK-NOT: getelementptr // CHECK-NOT: getelementptr
// CHECK: call i32* @llvm.preserve.array.access.index.p0i32.p0i32(i32* %{{[0-9a-z]+}}, i32 0, i32 2), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[POINTER:[0-9]+]] // CHECK: call i32* @llvm.preserve.array.access.index.p0i32.p0i32(i32* elementtype(i32) %{{[0-9a-z]+}}, i32 0, i32 2), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[POINTER:[0-9]+]]
struct s1 { struct s1 {
char a; char a;
int b; int b;
}; };
struct s2 { struct s2 {
char a1:1; char a1:1;
char a2:1; char a2:1;
int b; int b;
}; };
struct s3 { struct s3 {
char a1:1; char a1:1;
char a2:1; char a2:1;
char :6; char :6;
int b; int b;
}; };
const void *unit6(struct s1 *arg) { const void *unit6(struct s1 *arg) {
return _(&arg->a); return _(&arg->a);
} }
// CHECK: define dso_local i8* @unit6 // CHECK: define dso_local i8* @unit6
// CHECK-NOT: getelementptr // CHECK-NOT: getelementptr
// CHECK: call i8* @llvm.preserve.struct.access.index.p0i8.p0s_struct.s1s(%struct.s1* %{{[0-9a-z]+}}, i32 0, i32 0), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_S1:[0-9]+]] // CHECK: call i8* @llvm.preserve.struct.access.index.p0i8.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %{{[0-9a-z]+}}, i32 0, i32 0), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_S1:[0-9]+]]
const void *unit7(struct s1 *arg) { const void *unit7(struct s1 *arg) {
return _(&arg->b); return _(&arg->b);
} }
// CHECK: define dso_local i8* @unit7 // CHECK: define dso_local i8* @unit7
// CHECK-NOT: getelementptr // CHECK-NOT: getelementptr
// CHECK: call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* %{{[0-9a-z]+}}, i32 1, i32 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_S1]] // CHECK: call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %{{[0-9a-z]+}}, i32 1, i32 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_S1]]
const void *unit8(struct s2 *arg) { const void *unit8(struct s2 *arg) {
return _(&arg->b); return _(&arg->b);
} }
// CHECK: define dso_local i8* @unit8 // CHECK: define dso_local i8* @unit8
// CHECK-NOT: getelementptr // CHECK-NOT: getelementptr
// CHECK: call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s2s(%struct.s2* %{{[0-9a-z]+}}, i32 1, i32 2), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_S2:[0-9]+]] // CHECK: call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s2s(%struct.s2* elementtype(%struct.s2) %{{[0-9a-z]+}}, i32 1, i32 2), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_S2:[0-9]+]]
const void *unit9(struct s3 *arg) { const void *unit9(struct s3 *arg) {
return _(&arg->b); return _(&arg->b);
} }
// CHECK: define dso_local i8* @unit9 // CHECK: define dso_local i8* @unit9
// CHECK-NOT: getelementptr // CHECK-NOT: getelementptr
// CHECK: call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s3s(%struct.s3* %{{[0-9a-z]+}}, i32 1, i32 2), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_S3:[0-9]+]] // CHECK: call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s3s(%struct.s3* elementtype(%struct.s3) %{{[0-9a-z]+}}, i32 1, i32 2), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_S3:[0-9]+]]
union u1 { union u1 {
char a; char a;
int b; int b;
}; };
union u2 { union u2 {
char a; char a;
Show All 36 Linesunion u3 {
} c; } c;
char a; char a;
}; };
const void *unit13(struct s4 *arg) { const void *unit13(struct s4 *arg) {
return _(&arg->c.b[2]); return _(&arg->c.b[2]);
} }
// CHECK: define dso_local i8* @unit13 // CHECK: define dso_local i8* @unit13
// CHECK: call %union.u* @llvm.preserve.struct.access.index.p0s_union.us.p0s_struct.s4s(%struct.s4* %{{[0-9a-z]+}}, i32 1, i32 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_S4:[0-9]+]] // CHECK: call %union.u* @llvm.preserve.struct.access.index.p0s_union.us.p0s_struct.s4s(%struct.s4* elementtype(%struct.s4) %{{[0-9a-z]+}}, i32 1, i32 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_S4:[0-9]+]]
// CHECK: call %union.u* @llvm.preserve.union.access.index.p0s_union.us.p0s_union.us(%union.u* %{{[0-9a-z]+}}, i32 0), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[UNION_I_U:[0-9]+]] // CHECK: call %union.u* @llvm.preserve.union.access.index.p0s_union.us.p0s_union.us(%union.u* %{{[0-9a-z]+}}, i32 0), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[UNION_I_U:[0-9]+]]
// CHECK: call i32* @llvm.preserve.array.access.index.p0i32.p0a4i32([4 x i32]* %{{[0-9a-z]+}}, i32 1, i32 2), !dbg !{{[0-9]+}}, !llvm.preserve.access.index !{{[0-9]+}} // CHECK: call i32* @llvm.preserve.array.access.index.p0i32.p0a4i32([4 x i32]* elementtype([4 x i32]) %{{[0-9a-z]+}}, i32 1, i32 2), !dbg !{{[0-9]+}}, !llvm.preserve.access.index !{{[0-9]+}}
const void *unit14(union u3 *arg) { const void *unit14(union u3 *arg) {
return _(&arg->c.b[2]); return _(&arg->c.b[2]);
} }
// CHECK: define dso_local i8* @unit14 // CHECK: define dso_local i8* @unit14
// CHECK: call %union.u3* @llvm.preserve.union.access.index.p0s_union.u3s.p0s_union.u3s(%union.u3* %{{[0-9a-z]+}}, i32 0), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[UNION_U3:[0-9]+]] // CHECK: call %union.u3* @llvm.preserve.union.access.index.p0s_union.u3s.p0s_union.u3s(%union.u3* %{{[0-9a-z]+}}, i32 0), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[UNION_U3:[0-9]+]]
// CHECK: call [4 x i32]* @llvm.preserve.struct.access.index.p0a4i32.p0s_struct.ss(%struct.s* %{{[0-9a-z]+}}, i32 0, i32 0), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_I_S:[0-9]+]] // CHECK: call [4 x i32]* @llvm.preserve.struct.access.index.p0a4i32.p0s_struct.ss(%struct.s* elementtype(%struct.s) %{{[0-9a-z]+}}, i32 0, i32 0), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_I_S:[0-9]+]]
// CHECK: call i32* @llvm.preserve.array.access.index.p0i32.p0a4i32([4 x i32]* %{{[0-9a-z]+}}, i32 1, i32 2), !dbg !{{[0-9]+}}, !llvm.preserve.access.index !{{[0-9]+}} // CHECK: call i32* @llvm.preserve.array.access.index.p0i32.p0a4i32([4 x i32]* elementtype([4 x i32]) %{{[0-9a-z]+}}, i32 1, i32 2), !dbg !{{[0-9]+}}, !llvm.preserve.access.index !{{[0-9]+}}
const void *unit15(struct s4 *arg) { const void *unit15(struct s4 *arg) {
return _(&arg[2].c.a); return _(&arg[2].c.a);
} }
// CHECK: define dso_local i8* @unit15 // CHECK: define dso_local i8* @unit15
// CHECK: call %struct.s4* @llvm.preserve.array.access.index.p0s_struct.s4s.p0s_struct.s4s(%struct.s4* %{{[0-9a-z]+}}, i32 0, i32 2), !dbg !{{[0-9]+}}, !llvm.preserve.access.index !{{[0-9]+}} // CHECK: call %struct.s4* @llvm.preserve.array.access.index.p0s_struct.s4s.p0s_struct.s4s(%struct.s4* elementtype(%struct.s4) %{{[0-9a-z]+}}, i32 0, i32 2), !dbg !{{[0-9]+}}, !llvm.preserve.access.index !{{[0-9]+}}
// CHECK: call %union.u* @llvm.preserve.struct.access.index.p0s_union.us.p0s_struct.s4s(%struct.s4* %{{[0-9a-z]+}}, i32 1, i32 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_S4]] // CHECK: call %union.u* @llvm.preserve.struct.access.index.p0s_union.us.p0s_struct.s4s(%struct.s4* elementtype(%struct.s4) %{{[0-9a-z]+}}, i32 1, i32 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_S4]]
// CHECK: call %union.u* @llvm.preserve.union.access.index.p0s_union.us.p0s_union.us(%union.u* %{{[0-9a-z]+}}, i32 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[UNION_I_U]] // CHECK: call %union.u* @llvm.preserve.union.access.index.p0s_union.us.p0s_union.us(%union.u* %{{[0-9a-z]+}}, i32 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[UNION_I_U]]
const void *unit16(union u3 *arg) { const void *unit16(union u3 *arg) {
return _(&arg[2].a); return _(&arg[2].a);
} }
// CHECK: define dso_local i8* @unit16 // CHECK: define dso_local i8* @unit16
// CHECK: call %union.u3* @llvm.preserve.array.access.index.p0s_union.u3s.p0s_union.u3s(%union.u3* %{{[0-9a-z]+}}, i32 0, i32 2), !dbg !{{[0-9]+}}, !llvm.preserve.access.index !{{[0-9]+}} // CHECK: call %union.u3* @llvm.preserve.array.access.index.p0s_union.u3s.p0s_union.u3s(%union.u3* elementtype(%union.u3) %{{[0-9a-z]+}}, i32 0, i32 2), !dbg !{{[0-9]+}}, !llvm.preserve.access.index !{{[0-9]+}}
// CHECK: call %union.u3* @llvm.preserve.union.access.index.p0s_union.u3s.p0s_union.u3s(%union.u3* %{{[0-9a-z]+}}, i32 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[UNION_U3]] // CHECK: call %union.u3* @llvm.preserve.union.access.index.p0s_union.u3s.p0s_union.u3s(%union.u3* %{{[0-9a-z]+}}, i32 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[UNION_U3]]
// CHECK: ![[POINTER]] = !DIDerivedType(tag: DW_TAG_pointer_type // CHECK: ![[POINTER]] = !DIDerivedType(tag: DW_TAG_pointer_type
// CHECK: ![[STRUCT_S4]] = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "s4" // CHECK: ![[STRUCT_S4]] = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "s4"
// CHECK: ![[UNION_I_U]] = distinct !DICompositeType(tag: DW_TAG_union_type, name: "u" // CHECK: ![[UNION_I_U]] = distinct !DICompositeType(tag: DW_TAG_union_type, name: "u"
// CHECK: ![[UNION_U3]] = distinct !DICompositeType(tag: DW_TAG_union_type, name: "u3" // CHECK: ![[UNION_U3]] = distinct !DICompositeType(tag: DW_TAG_union_type, name: "u3"
// CHECK: ![[STRUCT_I_S]] = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "s" // CHECK: ![[STRUCT_I_S]] = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "s"
// CHECK: ![[STRUCT_S1]] = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "s1" // CHECK: ![[STRUCT_S1]] = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "s1"
// CHECK: ![[STRUCT_S2]] = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "s2" // CHECK: ![[STRUCT_S2]] = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "s2"
// CHECK: ![[STRUCT_S3]] = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "s3" // CHECK: ![[STRUCT_S3]] = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "s3"
// CHECK: ![[UNION_U1]] = distinct !DICompositeType(tag: DW_TAG_union_type, name: "u1" // CHECK: ![[UNION_U1]] = distinct !DICompositeType(tag: DW_TAG_union_type, name: "u1"
// CHECK: ![[UNION_U2]] = distinct !DICompositeType(tag: DW_TAG_union_type, name: "u2" // CHECK: ![[UNION_U2]] = distinct !DICompositeType(tag: DW_TAG_union_type, name: "u2"

clang/test/CodeGen/builtins-bpf-preserve-field-info-1.c

Show All 11 Linesunion u1 {
char a; char a;
char b:2; char b:2;
}; };
unsigned unit1(struct s1 *arg) { unsigned unit1(struct s1 *arg) {
return _(arg->a, 10) + _(arg->b, 10); return _(arg->a, 10) + _(arg->b, 10);
} }
// CHECK: define dso_local i32 @unit1 // CHECK: define dso_local i32 @unit1
// CHECK: call i8* @llvm.preserve.struct.access.index.p0i8.p0s_struct.s1s(%struct.s1* %{{[0-9a-z]+}}, i32 0, i32 0), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_S1:[0-9]+]] // CHECK: call i8* @llvm.preserve.struct.access.index.p0i8.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %{{[0-9a-z]+}}, i32 0, i32 0), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_S1:[0-9]+]]
// CHECK: call i32 @llvm.bpf.preserve.field.info.p0i8(i8* %{{[0-9a-z]+}}, i64 10), !dbg !{{[0-9]+}} // CHECK: call i32 @llvm.bpf.preserve.field.info.p0i8(i8* %{{[0-9a-z]+}}, i64 10), !dbg !{{[0-9]+}}
// CHECK: call i8* @llvm.preserve.struct.access.index.p0i8.p0s_struct.s1s(%struct.s1* %{{[0-9a-z]+}}, i32 1, i32 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_S1:[0-9]+]] // CHECK: call i8* @llvm.preserve.struct.access.index.p0i8.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %{{[0-9a-z]+}}, i32 1, i32 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_S1:[0-9]+]]
// CHECK: call i32 @llvm.bpf.preserve.field.info.p0i8(i8* %{{[0-9a-z]+}}, i64 10), !dbg !{{[0-9]+}} // CHECK: call i32 @llvm.bpf.preserve.field.info.p0i8(i8* %{{[0-9a-z]+}}, i64 10), !dbg !{{[0-9]+}}
unsigned unit2(union u1 *arg) { unsigned unit2(union u1 *arg) {
return _(arg->a, 10) + _(arg->b, 10); return _(arg->a, 10) + _(arg->b, 10);
} }
// CHECK: define dso_local i32 @unit2 // CHECK: define dso_local i32 @unit2
// CHECK: call %union.u1* @llvm.preserve.union.access.index.p0s_union.u1s.p0s_union.u1s(%union.u1* %{{[0-9a-z]+}}, i32 0), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[UNION_U1:[0-9]+]] // CHECK: call %union.u1* @llvm.preserve.union.access.index.p0s_union.u1s.p0s_union.u1s(%union.u1* %{{[0-9a-z]+}}, i32 0), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[UNION_U1:[0-9]+]]
// CHECK: call i32 @llvm.bpf.preserve.field.info.p0i8(i8* %{{[0-9a-z]+}}, i64 10), !dbg !{{[0-9]+}} // CHECK: call i32 @llvm.bpf.preserve.field.info.p0i8(i8* %{{[0-9a-z]+}}, i64 10), !dbg !{{[0-9]+}}
// CHECK: call i8* @llvm.preserve.struct.access.index.p0i8.p0s_union.u1s(%union.u1* %{{[0-9a-z]+}}, i32 0, i32 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[UNION_U1:[0-9]+]] // CHECK: call i8* @llvm.preserve.struct.access.index.p0i8.p0s_union.u1s(%union.u1* elementtype(%union.u1) %{{[0-9a-z]+}}, i32 0, i32 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[UNION_U1:[0-9]+]]
// CHECK: call i32 @llvm.bpf.preserve.field.info.p0i8(i8* %{{[0-9a-z]+}}, i64 10), !dbg !{{[0-9]+}} // CHECK: call i32 @llvm.bpf.preserve.field.info.p0i8(i8* %{{[0-9a-z]+}}, i64 10), !dbg !{{[0-9]+}}
// CHECK: ![[STRUCT_S1]] = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "s1" // CHECK: ![[STRUCT_S1]] = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "s1"
// CHECK: ![[UNION_U1]] = distinct !DICompositeType(tag: DW_TAG_union_type, name: "u1" // CHECK: ![[UNION_U1]] = distinct !DICompositeType(tag: DW_TAG_union_type, name: "u1"

clang/test/CodeGen/builtins-bpf-preserve-field-info-2.c

Show All 9 Lines
struct s2 { struct s2 {
struct s1 s; struct s1 s;
}; };
unsigned unit1(struct s2 *arg) { unsigned unit1(struct s2 *arg) {
return _(arg->s.a, 10) + _(arg->s.b, 10); return _(arg->s.a, 10) + _(arg->s.b, 10);
} }
// CHECK: define dso_local i32 @unit1 // CHECK: define dso_local i32 @unit1
// CHECK: call %struct.s1* @llvm.preserve.struct.access.index.p0s_struct.s1s.p0s_struct.s2s(%struct.s2* %{{[0-9a-z]+}}, i32 0, i32 0), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_S2:[0-9]+]] // CHECK: call %struct.s1* @llvm.preserve.struct.access.index.p0s_struct.s1s.p0s_struct.s2s(%struct.s2* elementtype(%struct.s2) %{{[0-9a-z]+}}, i32 0, i32 0), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_S2:[0-9]+]]
// CHECK: call i8* @llvm.preserve.struct.access.index.p0i8.p0s_struct.s1s(%struct.s1* %{{[0-9a-z]+}}, i32 0, i32 0), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_S1:[0-9]+]] // CHECK: call i8* @llvm.preserve.struct.access.index.p0i8.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %{{[0-9a-z]+}}, i32 0, i32 0), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_S1:[0-9]+]]
// CHECK: call i32 @llvm.bpf.preserve.field.info.p0i8(i8* %{{[0-9a-z]+}}, i64 10), !dbg !{{[0-9]+}} // CHECK: call i32 @llvm.bpf.preserve.field.info.p0i8(i8* %{{[0-9a-z]+}}, i64 10), !dbg !{{[0-9]+}}
// CHECK: call %struct.s1* @llvm.preserve.struct.access.index.p0s_struct.s1s.p0s_struct.s2s(%struct.s2* %{{[0-9a-z]+}}, i32 0, i32 0), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_S2:[0-9]+]] // CHECK: call %struct.s1* @llvm.preserve.struct.access.index.p0s_struct.s1s.p0s_struct.s2s(%struct.s2* elementtype(%struct.s2) %{{[0-9a-z]+}}, i32 0, i32 0), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_S2:[0-9]+]]
// CHECK: call i8* @llvm.preserve.struct.access.index.p0i8.p0s_struct.s1s(%struct.s1* %{{[0-9a-z]+}}, i32 1, i32 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_S1:[0-9]+]] // CHECK: call i8* @llvm.preserve.struct.access.index.p0i8.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %{{[0-9a-z]+}}, i32 1, i32 1), !dbg !{{[0-9]+}}, !llvm.preserve.access.index ![[STRUCT_S1:[0-9]+]]
// CHECK: call i32 @llvm.bpf.preserve.field.info.p0i8(i8* %{{[0-9a-z]+}}, i64 10), !dbg !{{[0-9]+}} // CHECK: call i32 @llvm.bpf.preserve.field.info.p0i8(i8* %{{[0-9a-z]+}}, i64 10), !dbg !{{[0-9]+}}
// CHECK: ![[STRUCT_S2]] = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "s2" // CHECK: ![[STRUCT_S2]] = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "s2"
// CHECK: ![[STRUCT_S1]] = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "s1" // CHECK: ![[STRUCT_S1]] = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "s1"

llvm/docs/LangRef.rst

  • This file is larger than 256 KB, so syntax highlighting is disabled by default.
Show First 20 Lines • Show All 1,177 Lines • ▼ Show 20 Lines``sret(<ty>)``
program. This pointer must be guaranteed by the caller to be valid: program. This pointer must be guaranteed by the caller to be valid:
loads and stores to the structure may be assumed by the callee not loads and stores to the structure may be assumed by the callee not
to trap and to be properly aligned. This is not a valid attribute to trap and to be properly aligned. This is not a valid attribute
for return values. for return values.
The sret type argument specifies the in memory type, which must be The sret type argument specifies the in memory type, which must be
the same as the pointee type of the argument. the same as the pointee type of the argument.
.. _attr_elementtype:
``elementtype(<ty>)`` ``elementtype(<ty>)``
The ``elementtype`` argument attribute can be used to specify a pointer The ``elementtype`` argument attribute can be used to specify a pointer
element type in a way that is compatible with `opaque pointers element type in a way that is compatible with `opaque pointers
<OpaquePointers.html>`. <OpaquePointers.html>`.
The ``elementtype`` attribute by itself does not carry any specific The ``elementtype`` attribute by itself does not carry any specific
semantics. However, certain intrinsics may require this attribute to be semantics. However, certain intrinsics may require this attribute to be
▲ Show 20 Lines • Show All 21,354 Lines • ▼ Show 20 Lines
Arguments: Arguments:
"""""""""" """"""""""
The ``base`` is the array base address. The ``dim`` is the array dimension. The ``base`` is the array base address. The ``dim`` is the array dimension.
The ``base`` is a pointer if ``dim`` equals 0. The ``base`` is a pointer if ``dim`` equals 0.
The ``index`` is the last access index into the array or pointer. The ``index`` is the last access index into the array or pointer.
The ``base`` argument must be annotated with an :ref:`elementtype
<attr_elementtype>` attribute at the call-site. This attribute specifies the
getelementptr element type.
Semantics: Semantics:
"""""""""" """"""""""
The '``llvm.preserve.array.access.index``' intrinsic produces the same result The '``llvm.preserve.array.access.index``' intrinsic produces the same result
as a getelementptr with base ``base`` and access operands ``{dim's 0's, index}``. as a getelementptr with base ``base`` and access operands ``{dim's 0's, index}``.
'``llvm.preserve.union.access.index``' Intrinsic '``llvm.preserve.union.access.index``' Intrinsic
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
▲ Show 20 Lines • Show All 49 Lines • ▼ Show 20 Lines
The return type ``ret_type`` is a pointer type to the structure member. The return type ``ret_type`` is a pointer type to the structure member.
Arguments: Arguments:
"""""""""" """"""""""
The ``base`` is the structure base address. The ``gep_index`` is the struct member index The ``base`` is the structure base address. The ``gep_index`` is the struct member index
based on IR structures. The ``di_index`` is the struct member index based on debuginfo. based on IR structures. The ``di_index`` is the struct member index based on debuginfo.
The ``base`` argument must be annotated with an :ref:`elementtype
<attr_elementtype>` attribute at the call-site. This attribute specifies the
getelementptr element type.
Semantics: Semantics:
"""""""""" """"""""""
The '``llvm.preserve.struct.access.index``' intrinsic produces the same result The '``llvm.preserve.struct.access.index``' intrinsic produces the same result
as a getelementptr with base ``base`` and access operands ``{0, gep_index}``. as a getelementptr with base ``base`` and access operands ``{0, gep_index}``.

llvm/include/llvm/IR/Attributes.h

Show First 20 Lines • Show All 709 Lines • ▼ Show 20 Linespublic:
Type *getParamByRefType(unsigned ArgNo) const; Type *getParamByRefType(unsigned ArgNo) const;
/// Return the preallocated type for the specified function parameter. /// Return the preallocated type for the specified function parameter.
Type *getParamPreallocatedType(unsigned ArgNo) const; Type *getParamPreallocatedType(unsigned ArgNo) const;
/// Return the inalloca type for the specified function parameter. /// Return the inalloca type for the specified function parameter.
Type *getParamInAllocaType(unsigned ArgNo) const; Type *getParamInAllocaType(unsigned ArgNo) const;
/// Return the elementtype type for the specified function parameter.
Type *getParamElementType(unsigned ArgNo) const;
/// Get the stack alignment. /// Get the stack alignment.
MaybeAlign getStackAlignment(unsigned Index) const; MaybeAlign getStackAlignment(unsigned Index) const;
/// Get the number of dereferenceable bytes (or zero if unknown). /// Get the number of dereferenceable bytes (or zero if unknown).
uint64_t getDereferenceableBytes(unsigned Index) const; uint64_t getDereferenceableBytes(unsigned Index) const;
/// Get the number of dereferenceable bytes (or zero if unknown) of an /// Get the number of dereferenceable bytes (or zero if unknown) of an
/// arg. /// arg.
▲ Show 20 Lines • Show All 340 Lines • Show Last 20 Lines

llvm/lib/Bitcode/Reader/BitcodeReader.cpp

Show First 20 Lines • Show All 676 Lines • ▼ Show 20 Lines Value *getValueSigned(const SmallVectorImpl<uint64_t> &Record, unsigned Slot,
if (Slot == Record.size()) return nullptr; if (Slot == Record.size()) return nullptr;
unsigned ValNo = (unsigned)decodeSignRotatedValue(Record[Slot]); unsigned ValNo = (unsigned)decodeSignRotatedValue(Record[Slot]);
// Adjust the ValNo, if it was encoded relative to the InstNum. // Adjust the ValNo, if it was encoded relative to the InstNum.
if (UseRelativeIDs) if (UseRelativeIDs)
ValNo = InstNum - ValNo; ValNo = InstNum - ValNo;
return getFnValueByID(ValNo, Ty); return getFnValueByID(ValNo, Ty);
} }
/// Upgrades old-style typeless byval or sret attributes by adding the /// Upgrades old-style typeless byval/sret/inalloca attributes by adding the
/// corresponding argument's pointee type. /// corresponding argument's pointee type. Also upgrades intrinsics that now
void propagateByValSRetTypes(CallBase *CB, ArrayRef<Type *> ArgsTys); /// require an elementtype attribute.
void propagateAttributeTypes(CallBase *CB, ArrayRef<Type *> ArgsTys);
/// Converts alignment exponent (i.e. power of two (or zero)) to the /// Converts alignment exponent (i.e. power of two (or zero)) to the
/// corresponding alignment to use. If alignment is too large, returns /// corresponding alignment to use. If alignment is too large, returns
/// a corresponding error code. /// a corresponding error code.
Error parseAlignmentValue(uint64_t Exponent, MaybeAlign &Alignment); Error parseAlignmentValue(uint64_t Exponent, MaybeAlign &Alignment);
Error parseAttrKind(uint64_t Code, Attribute::AttrKind *Kind); Error parseAttrKind(uint64_t Code, Attribute::AttrKind *Kind);
Error parseModule( Error parseModule(
uint64_t ResumeBit, bool ShouldLazyLoadMetadata = false, uint64_t ResumeBit, bool ShouldLazyLoadMetadata = false,
▲ Show 20 Lines • Show All 3,108 Lines • ▼ Show 20 LinesError BitcodeReader::typeCheckLoadStoreInst(Type *ValType, Type *PtrType) {
if (!cast<PointerType>(PtrType)->isOpaqueOrPointeeTypeMatches(ValType)) if (!cast<PointerType>(PtrType)->isOpaqueOrPointeeTypeMatches(ValType))
return error("Explicit load/store type does not match pointee " return error("Explicit load/store type does not match pointee "
"type of pointer operand"); "type of pointer operand");
if (!PointerType::isLoadableOrStorableType(ValType)) if (!PointerType::isLoadableOrStorableType(ValType))
return error("Cannot load/store from pointer"); return error("Cannot load/store from pointer");
return Error::success(); return Error::success();
} }
void BitcodeReader::propagateByValSRetTypes(CallBase *CB, void BitcodeReader::propagateAttributeTypes(CallBase *CB,
ArrayRef<Type *> ArgsTys) { ArrayRef<Type *> ArgsTys) {
for (unsigned i = 0; i != CB->arg_size(); ++i) { for (unsigned i = 0; i != CB->arg_size(); ++i) {
for (Attribute::AttrKind Kind : {Attribute::ByVal, Attribute::StructRet, for (Attribute::AttrKind Kind : {Attribute::ByVal, Attribute::StructRet,
Attribute::InAlloca}) { Attribute::InAlloca}) {
if (!CB->paramHasAttr(i, Kind)) if (!CB->paramHasAttr(i, Kind))
continue; continue;
CB->removeParamAttr(i, Kind); CB->removeParamAttr(i, Kind);
Show All 12 Lines for (Attribute::AttrKind Kind : {Attribute::ByVal, Attribute::StructRet,
break; break;
default: default:
llvm_unreachable("not an upgraded type attribute"); llvm_unreachable("not an upgraded type attribute");
} }
CB->addParamAttr(i, NewAttr); CB->addParamAttr(i, NewAttr);
} }
} }
switch (CB->getIntrinsicID()) {
case Intrinsic::preserve_array_access_index:
case Intrinsic::preserve_struct_access_index:
if (!CB->getAttributes().getParamElementType(0)) {
Type *ElTy = cast<PointerType>(ArgsTys[0])->getElementType();
Attribute NewAttr = Attribute::get(Context, Attribute::ElementType, ElTy);
CB->addParamAttr(0, NewAttr);
}
break;
default:
break;
}
} }
/// Lazily parse the specified function body block. /// Lazily parse the specified function body block.
Error BitcodeReader::parseFunctionBody(Function *F) { Error BitcodeReader::parseFunctionBody(Function *F) {
if (Error Err = Stream.EnterSubBlock(bitc::FUNCTION_BLOCK_ID)) if (Error Err = Stream.EnterSubBlock(bitc::FUNCTION_BLOCK_ID))
return Err; return Err;
// Unexpected unresolved metadata when parsing function. // Unexpected unresolved metadata when parsing function.
▲ Show 20 Lines • Show All 825 Lines • ▼ Show 20 Lines case bitc::FUNC_CODE_INST_INVOKE: {
I = InvokeInst::Create(FTy, Callee, NormalBB, UnwindBB, Ops, I = InvokeInst::Create(FTy, Callee, NormalBB, UnwindBB, Ops,
OperandBundles); OperandBundles);
OperandBundles.clear(); OperandBundles.clear();
InstructionList.push_back(I); InstructionList.push_back(I);
cast<InvokeInst>(I)->setCallingConv( cast<InvokeInst>(I)->setCallingConv(
static_cast<CallingConv::ID>(CallingConv::MaxID & CCInfo)); static_cast<CallingConv::ID>(CallingConv::MaxID & CCInfo));
cast<InvokeInst>(I)->setAttributes(PAL); cast<InvokeInst>(I)->setAttributes(PAL);
propagateByValSRetTypes(cast<CallBase>(I), ArgsTys); propagateAttributeTypes(cast<CallBase>(I), ArgsTys);
break; break;
} }
case bitc::FUNC_CODE_INST_RESUME: { // RESUME: [opval] case bitc::FUNC_CODE_INST_RESUME: { // RESUME: [opval]
unsigned Idx = 0; unsigned Idx = 0;
Value *Val = nullptr; Value *Val = nullptr;
if (getValueTypePair(Record, Idx, NextValueNo, Val)) if (getValueTypePair(Record, Idx, NextValueNo, Val))
return error("Invalid record"); return error("Invalid record");
▲ Show 20 Lines • Show All 622 Lines • ▼ Show 20 Lines case bitc::FUNC_CODE_INST_CALL: {
if (CCInfo & 1 << bitc::CALL_TAIL) if (CCInfo & 1 << bitc::CALL_TAIL)
TCK = CallInst::TCK_Tail; TCK = CallInst::TCK_Tail;
if (CCInfo & (1 << bitc::CALL_MUSTTAIL)) if (CCInfo & (1 << bitc::CALL_MUSTTAIL))
TCK = CallInst::TCK_MustTail; TCK = CallInst::TCK_MustTail;
if (CCInfo & (1 << bitc::CALL_NOTAIL)) if (CCInfo & (1 << bitc::CALL_NOTAIL))
TCK = CallInst::TCK_NoTail; TCK = CallInst::TCK_NoTail;
cast<CallInst>(I)->setTailCallKind(TCK); cast<CallInst>(I)->setTailCallKind(TCK);
cast<CallInst>(I)->setAttributes(PAL); cast<CallInst>(I)->setAttributes(PAL);
propagateByValSRetTypes(cast<CallBase>(I), ArgsTys); propagateAttributeTypes(cast<CallBase>(I), ArgsTys);
if (FMF.any()) { if (FMF.any()) {
if (!isa<FPMathOperator>(I)) if (!isa<FPMathOperator>(I))
return error("Fast-math-flags specified for call without " return error("Fast-math-flags specified for call without "
"floating-point scalar or vector return type"); "floating-point scalar or vector return type");
I->setFastMathFlags(FMF); I->setFastMathFlags(FMF);
} }
break; break;
} }
▲ Show 20 Lines • Show All 1,708 Lines • Show Last 20 Lines

llvm/lib/IR/Attributes.cpp

Show First 20 Lines • Show All 1,461 Lines • ▼ Show 20 Lines
Type *AttributeList::getParamPreallocatedType(unsigned Index) const { Type *AttributeList::getParamPreallocatedType(unsigned Index) const {
return getAttributes(Index + FirstArgIndex).getPreallocatedType(); return getAttributes(Index + FirstArgIndex).getPreallocatedType();
} }
Type *AttributeList::getParamInAllocaType(unsigned Index) const { Type *AttributeList::getParamInAllocaType(unsigned Index) const {
return getAttributes(Index + FirstArgIndex).getInAllocaType(); return getAttributes(Index + FirstArgIndex).getInAllocaType();
} }
Type *AttributeList::getParamElementType(unsigned Index) const {
return getAttributes(Index + FirstArgIndex).getElementType();
}
MaybeAlign AttributeList::getStackAlignment(unsigned Index) const { MaybeAlign AttributeList::getStackAlignment(unsigned Index) const {
return getAttributes(Index).getStackAlignment(); return getAttributes(Index).getStackAlignment();
} }
uint64_t AttributeList::getDereferenceableBytes(unsigned Index) const { uint64_t AttributeList::getDereferenceableBytes(unsigned Index) const {
return getAttributes(Index).getDereferenceableBytes(); return getAttributes(Index).getDereferenceableBytes();
} }
▲ Show 20 Lines • Show All 641 Lines • Show Last 20 Lines

llvm/lib/IR/IRBuilder.cpp

Show First 20 Lines • Show All 1,137 Lines • ▼ Show 20 Lines if (ExtractedTy != IntTy) {
V = CreateTrunc(V, ExtractedTy, Name + ".trunc"); V = CreateTrunc(V, ExtractedTy, Name + ".trunc");
} }
return V; return V;
} }
Value *IRBuilderBase::CreatePreserveArrayAccessIndex( Value *IRBuilderBase::CreatePreserveArrayAccessIndex(
Type *ElTy, Value *Base, unsigned Dimension, unsigned LastIndex, Type *ElTy, Value *Base, unsigned Dimension, unsigned LastIndex,
MDNode *DbgInfo) { MDNode *DbgInfo) {
assert(isa<PointerType>(Base->getType()) &&
"Invalid Base ptr type for preserve.array.access.index.");
auto *BaseType = Base->getType(); auto *BaseType = Base->getType();
assert(isa<PointerType>(BaseType) &&
"Invalid Base ptr type for preserve.array.access.index.");
assert(cast<PointerType>(BaseType)->isOpaqueOrPointeeTypeMatches(ElTy) &&
"Pointer element type mismatch");
Value *LastIndexV = getInt32(LastIndex); Value *LastIndexV = getInt32(LastIndex);
Constant *Zero = ConstantInt::get(Type::getInt32Ty(Context), 0); Constant *Zero = ConstantInt::get(Type::getInt32Ty(Context), 0);
SmallVector<Value *, 4> IdxList(Dimension, Zero); SmallVector<Value *, 4> IdxList(Dimension, Zero);
IdxList.push_back(LastIndexV); IdxList.push_back(LastIndexV);
Type *ResultType = Type *ResultType =
GetElementPtrInst::getGEPReturnType(ElTy, Base, IdxList); GetElementPtrInst::getGEPReturnType(ElTy, Base, IdxList);
Module *M = BB->getParent()->getParent(); Module *M = BB->getParent()->getParent();
Function *FnPreserveArrayAccessIndex = Intrinsic::getDeclaration( Function *FnPreserveArrayAccessIndex = Intrinsic::getDeclaration(
M, Intrinsic::preserve_array_access_index, {ResultType, BaseType}); M, Intrinsic::preserve_array_access_index, {ResultType, BaseType});
Value *DimV = getInt32(Dimension); Value *DimV = getInt32(Dimension);
CallInst *Fn = CallInst *Fn =
CreateCall(FnPreserveArrayAccessIndex, {Base, DimV, LastIndexV}); CreateCall(FnPreserveArrayAccessIndex, {Base, DimV, LastIndexV});
Fn->addParamAttr(
0, Attribute::get(Fn->getContext(), Attribute::ElementType, ElTy));
if (DbgInfo) if (DbgInfo)
Fn->setMetadata(LLVMContext::MD_preserve_access_index, DbgInfo); Fn->setMetadata(LLVMContext::MD_preserve_access_index, DbgInfo);
return Fn; return Fn;
} }
Value *IRBuilderBase::CreatePreserveUnionAccessIndex( Value *IRBuilderBase::CreatePreserveUnionAccessIndex(
Value *Base, unsigned FieldIndex, MDNode *DbgInfo) { Value *Base, unsigned FieldIndex, MDNode *DbgInfo) {
Show All 12 Lines if (DbgInfo)
Fn->setMetadata(LLVMContext::MD_preserve_access_index, DbgInfo); Fn->setMetadata(LLVMContext::MD_preserve_access_index, DbgInfo);
return Fn; return Fn;
} }
Value *IRBuilderBase::CreatePreserveStructAccessIndex( Value *IRBuilderBase::CreatePreserveStructAccessIndex(
Type *ElTy, Value *Base, unsigned Index, unsigned FieldIndex, Type *ElTy, Value *Base, unsigned Index, unsigned FieldIndex,
MDNode *DbgInfo) { MDNode *DbgInfo) {
assert(isa<PointerType>(Base->getType()) &&
"Invalid Base ptr type for preserve.struct.access.index.");
auto *BaseType = Base->getType(); auto *BaseType = Base->getType();
assert(isa<PointerType>(BaseType) &&
"Invalid Base ptr type for preserve.struct.access.index.");
assert(cast<PointerType>(BaseType)->isOpaqueOrPointeeTypeMatches(ElTy) &&
"Pointer element type mismatch");
Value *GEPIndex = getInt32(Index); Value *GEPIndex = getInt32(Index);
Constant *Zero = ConstantInt::get(Type::getInt32Ty(Context), 0); Constant *Zero = ConstantInt::get(Type::getInt32Ty(Context), 0);
Type *ResultType = Type *ResultType =
GetElementPtrInst::getGEPReturnType(ElTy, Base, {Zero, GEPIndex}); GetElementPtrInst::getGEPReturnType(ElTy, Base, {Zero, GEPIndex});
Module *M = BB->getParent()->getParent(); Module *M = BB->getParent()->getParent();
Function *FnPreserveStructAccessIndex = Intrinsic::getDeclaration( Function *FnPreserveStructAccessIndex = Intrinsic::getDeclaration(
M, Intrinsic::preserve_struct_access_index, {ResultType, BaseType}); M, Intrinsic::preserve_struct_access_index, {ResultType, BaseType});
Value *DIIndex = getInt32(FieldIndex); Value *DIIndex = getInt32(FieldIndex);
CallInst *Fn = CreateCall(FnPreserveStructAccessIndex, CallInst *Fn = CreateCall(FnPreserveStructAccessIndex,
{Base, GEPIndex, DIIndex}); {Base, GEPIndex, DIIndex});
Fn->addParamAttr(
0, Attribute::get(Fn->getContext(), Attribute::ElementType, ElTy));
if (DbgInfo) if (DbgInfo)
Fn->setMetadata(LLVMContext::MD_preserve_access_index, DbgInfo); Fn->setMetadata(LLVMContext::MD_preserve_access_index, DbgInfo);
return Fn; return Fn;
} }
CallInst *IRBuilderBase::CreateAlignmentAssumptionHelper(const DataLayout &DL, CallInst *IRBuilderBase::CreateAlignmentAssumptionHelper(const DataLayout &DL,
Value *PtrValue, Value *PtrValue,
Show All 36 Lines

llvm/lib/IR/Verifier.cpp

Show First 20 Lines • Show All 5,286 Lines • ▼ Show 20 Lines if (VecEC.isScalable() == ResultEC.isScalable()) {
"experimental_vector_extract would overrun."); "experimental_vector_extract would overrun.");
} }
break; break;
} }
case Intrinsic::experimental_noalias_scope_decl: { case Intrinsic::experimental_noalias_scope_decl: {
NoAliasScopeDecls.push_back(cast<IntrinsicInst>(&Call)); NoAliasScopeDecls.push_back(cast<IntrinsicInst>(&Call));
break; break;
} }
case Intrinsic::preserve_array_access_index:
case Intrinsic::preserve_struct_access_index: {
Type *ElemTy = Call.getAttributes().getParamElementType(0);
Assert(ElemTy,
"Intrinsic requires elementtype attribute on first argument.",
&Call);
break;
}
}; };
} }
/// Carefully grab the subprogram from a local scope. /// Carefully grab the subprogram from a local scope.
/// ///
/// This carefully grabs the subprogram from a local scope, avoiding the /// This carefully grabs the subprogram from a local scope, avoiding the
/// built-in assertions that would typically fire. /// built-in assertions that would typically fire.
static DISubprogram *getSubprogram(Metadata *LocalScope) { static DISubprogram *getSubprogram(Metadata *LocalScope) {
▲ Show 20 Lines • Show All 874 Lines • Show Last 20 Lines

llvm/lib/Target/BPF/BPFAbstractMemberAccess.cpp

Show First 20 Lines • Show All 262 Lines • ▼ Show 20 Lines if (auto *Element = dyn_cast_or_null<DINode>(Elements[I]))
auto *CI = SR->getCount().dyn_cast<ConstantInt *>(); auto *CI = SR->getCount().dyn_cast<ConstantInt *>();
DimSize *= CI->getSExtValue(); DimSize *= CI->getSExtValue();
} }
} }
return DimSize; return DimSize;
} }
static Type *getBaseElementType(const CallInst *Call) {
// Element type is stored in an elementtype() attribute on the first param.
return Call->getAttributes().getParamElementType(0);
}
/// Check whether a call is a preserve_*_access_index intrinsic call or not. /// Check whether a call is a preserve_*_access_index intrinsic call or not.
bool BPFAbstractMemberAccess::IsPreserveDIAccessIndexCall(const CallInst *Call, bool BPFAbstractMemberAccess::IsPreserveDIAccessIndexCall(const CallInst *Call,
CallInfo &CInfo) { CallInfo &CInfo) {
if (!Call) if (!Call)
return false; return false;
const auto *GV = dyn_cast<GlobalValue>(Call->getCalledOperand()); const auto *GV = dyn_cast<GlobalValue>(Call->getCalledOperand());
if (!GV) if (!GV)
return false; return false;
if (GV->getName().startswith("llvm.preserve.array.access.index")) { if (GV->getName().startswith("llvm.preserve.array.access.index")) {
CInfo.Kind = BPFPreserveArrayAI; CInfo.Kind = BPFPreserveArrayAI;
CInfo.Metadata = Call->getMetadata(LLVMContext::MD_preserve_access_index); CInfo.Metadata = Call->getMetadata(LLVMContext::MD_preserve_access_index);
if (!CInfo.Metadata) if (!CInfo.Metadata)
report_fatal_error("Missing metadata for llvm.preserve.array.access.index intrinsic"); report_fatal_error("Missing metadata for llvm.preserve.array.access.index intrinsic");
CInfo.AccessIndex = getConstant(Call->getArgOperand(2)); CInfo.AccessIndex = getConstant(Call->getArgOperand(2));
CInfo.Base = Call->getArgOperand(0); CInfo.Base = Call->getArgOperand(0);
CInfo.RecordAlignment = CInfo.RecordAlignment = DL->getABITypeAlign(getBaseElementType(Call));
DL->getABITypeAlign(CInfo.Base->getType()->getPointerElementType());
return true; return true;
} }
if (GV->getName().startswith("llvm.preserve.union.access.index")) { if (GV->getName().startswith("llvm.preserve.union.access.index")) {
CInfo.Kind = BPFPreserveUnionAI; CInfo.Kind = BPFPreserveUnionAI;
CInfo.Metadata = Call->getMetadata(LLVMContext::MD_preserve_access_index); CInfo.Metadata = Call->getMetadata(LLVMContext::MD_preserve_access_index);
if (!CInfo.Metadata) if (!CInfo.Metadata)
report_fatal_error("Missing metadata for llvm.preserve.union.access.index intrinsic"); report_fatal_error("Missing metadata for llvm.preserve.union.access.index intrinsic");
CInfo.AccessIndex = getConstant(Call->getArgOperand(1)); CInfo.AccessIndex = getConstant(Call->getArgOperand(1));
CInfo.Base = Call->getArgOperand(0); CInfo.Base = Call->getArgOperand(0);
CInfo.RecordAlignment = CInfo.RecordAlignment =
DL->getABITypeAlign(CInfo.Base->getType()->getPointerElementType()); DL->getABITypeAlign(CInfo.Base->getType()->getPointerElementType());
nikicAuthorUnsubmitted
Done
ReplyInline Actions

I noticed too late that this intrinsic also uses the element type to get the alignment. I'll have to follow up with the same change for this intrinsic.

Though I'm not completely sure if this is actually used, because no tests fail if I replace this with dummy values like 1 or 128.

nikic: I noticed too late that this intrinsic also uses the element type to get the alignment. I'll…
yonghong-songUnsubmitted
Not Done
ReplyInline Actions

This is for llvm.preserve.union.access.index. It is used only if the union member type is a bitfield and we don't have any usecase and test case for that. That is why we didn't hit it.

It is okay for now. I probably will change to use getBaseElementType(Call) later by myself.

yonghong-song: This is for llvm.preserve.union.access.index. It is used only if the union member type is a…
nikicAuthorUnsubmitted
Done
ReplyInline Actions

I want to check back here on what we should do with this intrinsic. Should it be changed to use elementtype as well?

A possible alternative is to only add an align attribute to it, as it's the only part being actually used.

nikic: I want to check back here on what we should do with this intrinsic. Should it be changed to use…
return true; return true;
} }
if (GV->getName().startswith("llvm.preserve.struct.access.index")) { if (GV->getName().startswith("llvm.preserve.struct.access.index")) {
CInfo.Kind = BPFPreserveStructAI; CInfo.Kind = BPFPreserveStructAI;
CInfo.Metadata = Call->getMetadata(LLVMContext::MD_preserve_access_index); CInfo.Metadata = Call->getMetadata(LLVMContext::MD_preserve_access_index);
if (!CInfo.Metadata) if (!CInfo.Metadata)
report_fatal_error("Missing metadata for llvm.preserve.struct.access.index intrinsic"); report_fatal_error("Missing metadata for llvm.preserve.struct.access.index intrinsic");
CInfo.AccessIndex = getConstant(Call->getArgOperand(2)); CInfo.AccessIndex = getConstant(Call->getArgOperand(2));
CInfo.Base = Call->getArgOperand(0); CInfo.Base = Call->getArgOperand(0);
CInfo.RecordAlignment = CInfo.RecordAlignment = DL->getABITypeAlign(getBaseElementType(Call));
DL->getABITypeAlign(CInfo.Base->getType()->getPointerElementType());
return true; return true;
} }
if (GV->getName().startswith("llvm.bpf.preserve.field.info")) { if (GV->getName().startswith("llvm.bpf.preserve.field.info")) {
CInfo.Kind = BPFPreserveFieldInfoAI; CInfo.Kind = BPFPreserveFieldInfoAI;
CInfo.Metadata = nullptr; CInfo.Metadata = nullptr;
// Check validity of info_kind as clang did not check this. // Check validity of info_kind as clang did not check this.
uint64_t InfoKind = getConstant(Call->getArgOperand(1)); uint64_t InfoKind = getConstant(Call->getArgOperand(1));
if (InfoKind >= BPFCoreSharedInfo::MAX_FIELD_RELOC_KIND) if (InfoKind >= BPFCoreSharedInfo::MAX_FIELD_RELOC_KIND)
▲ Show 20 Lines • Show All 44 Lines • ▼ Show 20 Lines for (auto Call : CallList) {
Constant *Zero = Constant *Zero =
ConstantInt::get(Type::getInt32Ty(Call->getParent()->getContext()), 0); ConstantInt::get(Type::getInt32Ty(Call->getParent()->getContext()), 0);
SmallVector<Value *, 4> IdxList; SmallVector<Value *, 4> IdxList;
for (unsigned I = 0; I < Dimension; ++I) for (unsigned I = 0; I < Dimension; ++I)
IdxList.push_back(Zero); IdxList.push_back(Zero);
IdxList.push_back(Call->getArgOperand(GEPIndex)); IdxList.push_back(Call->getArgOperand(GEPIndex));
auto *GEP = GetElementPtrInst::CreateInBounds( auto *GEP = GetElementPtrInst::CreateInBounds(
Call->getArgOperand(0)->getType()->getPointerElementType(), getBaseElementType(Call), Call->getArgOperand(0), IdxList, "", Call);
Call->getArgOperand(0), IdxList, "", Call);
Call->replaceAllUsesWith(GEP); Call->replaceAllUsesWith(GEP);
Call->eraseFromParent(); Call->eraseFromParent();
} }
} }
bool BPFAbstractMemberAccess::removePreserveAccessIndexIntrinsic(Function &F) { bool BPFAbstractMemberAccess::removePreserveAccessIndexIntrinsic(Function &F) {
std::vector<CallInst *> PreserveArrayIndexCalls; std::vector<CallInst *> PreserveArrayIndexCalls;
std::vector<CallInst *> PreserveUnionIndexCalls; std::vector<CallInst *> PreserveUnionIndexCalls;
▲ Show 20 Lines • Show All 743 Lines • Show Last 20 Lines

llvm/test/Bitcode/upgrade-elementtype.ll

  • This file was added.
; RUN: opt -S < %s.bc | FileCheck %s
%struct.s = type { i32, i32 }
define void @test(%struct.s* %arg) {
; CHECK-LABEL: define void @test
; CHECK: %x = call %struct.s* @llvm.preserve.array.access.index.p0s_struct.ss.p0s_struct.ss(%struct.s* elementtype(%struct.s) %arg, i32 0, i32 2)
; CHECK: %1 = call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.ss(%struct.s* elementtype(%struct.s) %x, i32 1, i32 1)
%x = call %struct.s* @llvm.preserve.array.access.index.p0s_struct.ss.p0s_struct.ss(%struct.s* %arg, i32 0, i32 2)
call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.ss(%struct.s* %x, i32 1, i32 1)
ret void
}
declare %struct.s* @llvm.preserve.array.access.index.p0s_struct.ss.p0s_struct.ss(%struct.s*, i32, i32)
declare i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.ss(%struct.s*, i32, i32)

llvm/test/Bitcode/upgrade-elementtype.ll.bc

  • This binary file was added.

llvm/test/CodeGen/BPF/CORE/field-reloc-alu32.ll

Show All 11 Lines
%struct.b = type { i32, i32 } %struct.b = type { i32, i32 }
@c = common dso_local global %struct.b zeroinitializer, align 4, !dbg !0 @c = common dso_local global %struct.b zeroinitializer, align 4, !dbg !0
; Function Attrs: nounwind readnone ; Function Attrs: nounwind readnone
define dso_local i32 @f() local_unnamed_addr #0 !dbg !15 { define dso_local i32 @f() local_unnamed_addr #0 !dbg !15 {
entry: entry:
%0 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.bs(%struct.b* nonnull @c, i32 1, i32 1), !dbg !18, !llvm.preserve.access.index !6 %0 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.bs(%struct.b* elementtype(%struct.b) nonnull @c, i32 1, i32 1), !dbg !18, !llvm.preserve.access.index !6
%1 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %0, i64 0), !dbg !19 %1 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %0, i64 0), !dbg !19
ret i32 %1, !dbg !20 ret i32 %1, !dbg !20
} }
; CHECK: r0 = 4 ; CHECK: r0 = 4
; CHECK: exit ; CHECK: exit
; CHECK: .long 13 # BTF_KIND_STRUCT(id = 4) ; CHECK: .long 13 # BTF_KIND_STRUCT(id = 4)
▲ Show 20 Lines • Show All 47 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/field-reloc-bitfield-1-bpfeb.ll

Show All 22 Lines
target triple = "bpfeb" target triple = "bpfeb"
%struct.s = type { i64, i32, i32, i32, i8, i8 } %struct.s = type { i64, i32, i32, i32, i8, i8 }
; Function Attrs: nounwind readnone ; Function Attrs: nounwind readnone
define dso_local i32 @test(%struct.s* %arg) local_unnamed_addr #0 !dbg !13 { define dso_local i32 @test(%struct.s* %arg) local_unnamed_addr #0 !dbg !13 {
entry: entry:
call void @llvm.dbg.value(metadata %struct.s* %arg, metadata !30, metadata !DIExpression()), !dbg !31 call void @llvm.dbg.value(metadata %struct.s* %arg, metadata !30, metadata !DIExpression()), !dbg !31
%0 = tail call i8* @llvm.preserve.struct.access.index.p0i8.p0s_struct.ss(%struct.s* %arg, i32 5, i32 6), !dbg !32, !llvm.preserve.access.index !18 %0 = tail call i8* @llvm.preserve.struct.access.index.p0i8.p0s_struct.ss(%struct.s* elementtype(%struct.s) %arg, i32 5, i32 6), !dbg !32, !llvm.preserve.access.index !18
%1 = tail call i32 @llvm.bpf.preserve.field.info.p0i8(i8* %0, i64 0), !dbg !33 %1 = tail call i32 @llvm.bpf.preserve.field.info.p0i8(i8* %0, i64 0), !dbg !33
%2 = tail call i32 @llvm.bpf.preserve.field.info.p0i8(i8* %0, i64 1), !dbg !34 %2 = tail call i32 @llvm.bpf.preserve.field.info.p0i8(i8* %0, i64 1), !dbg !34
%add = add i32 %2, %1, !dbg !35 %add = add i32 %2, %1, !dbg !35
%3 = tail call i32 @llvm.bpf.preserve.field.info.p0i8(i8* %0, i64 4), !dbg !36 %3 = tail call i32 @llvm.bpf.preserve.field.info.p0i8(i8* %0, i64 4), !dbg !36
%add1 = add i32 %add, %3, !dbg !37 %add1 = add i32 %add, %3, !dbg !37
ret i32 %add1, !dbg !38 ret i32 %add1, !dbg !38
} }
▲ Show 20 Lines • Show All 87 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/field-reloc-bitfield-1.ll

Show All 22 Lines
target triple = "bpfel" target triple = "bpfel"
%struct.s = type { i64, i32, i32, i32, i8, i8 } %struct.s = type { i64, i32, i32, i32, i8, i8 }
; Function Attrs: nounwind readnone ; Function Attrs: nounwind readnone
define dso_local i32 @test(%struct.s* %arg) local_unnamed_addr #0 !dbg !13 { define dso_local i32 @test(%struct.s* %arg) local_unnamed_addr #0 !dbg !13 {
entry: entry:
call void @llvm.dbg.value(metadata %struct.s* %arg, metadata !30, metadata !DIExpression()), !dbg !31 call void @llvm.dbg.value(metadata %struct.s* %arg, metadata !30, metadata !DIExpression()), !dbg !31
%0 = tail call i8* @llvm.preserve.struct.access.index.p0i8.p0s_struct.ss(%struct.s* %arg, i32 5, i32 6), !dbg !32, !llvm.preserve.access.index !18 %0 = tail call i8* @llvm.preserve.struct.access.index.p0i8.p0s_struct.ss(%struct.s* elementtype(%struct.s) %arg, i32 5, i32 6), !dbg !32, !llvm.preserve.access.index !18
%1 = tail call i32 @llvm.bpf.preserve.field.info.p0i8(i8* %0, i64 0), !dbg !33 %1 = tail call i32 @llvm.bpf.preserve.field.info.p0i8(i8* %0, i64 0), !dbg !33
%2 = tail call i32 @llvm.bpf.preserve.field.info.p0i8(i8* %0, i64 1), !dbg !34 %2 = tail call i32 @llvm.bpf.preserve.field.info.p0i8(i8* %0, i64 1), !dbg !34
%add = add i32 %2, %1, !dbg !35 %add = add i32 %2, %1, !dbg !35
%3 = tail call i32 @llvm.bpf.preserve.field.info.p0i8(i8* %0, i64 4), !dbg !36 %3 = tail call i32 @llvm.bpf.preserve.field.info.p0i8(i8* %0, i64 4), !dbg !36
%add1 = add i32 %add, %3, !dbg !37 %add1 = add i32 %add, %3, !dbg !37
ret i32 %add1, !dbg !38 ret i32 %add1, !dbg !38
} }
▲ Show 20 Lines • Show All 87 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/field-reloc-bitfield-2-bpfeb.ll

Show All 23 Lines
target triple = "bpfeb" target triple = "bpfeb"
%struct.s = type <{ i8, i16 }> %struct.s = type <{ i8, i16 }>
; Function Attrs: nounwind readnone ; Function Attrs: nounwind readnone
define dso_local i32 @test(%struct.s* %arg) local_unnamed_addr #0 !dbg !13 { define dso_local i32 @test(%struct.s* %arg) local_unnamed_addr #0 !dbg !13 {
entry: entry:
call void @llvm.dbg.value(metadata %struct.s* %arg, metadata !27, metadata !DIExpression()), !dbg !28 call void @llvm.dbg.value(metadata %struct.s* %arg, metadata !27, metadata !DIExpression()), !dbg !28
%0 = tail call i16* @llvm.preserve.struct.access.index.p0i16.p0s_struct.ss(%struct.s* %arg, i32 1, i32 4), !dbg !29, !llvm.preserve.access.index !18 %0 = tail call i16* @llvm.preserve.struct.access.index.p0i16.p0s_struct.ss(%struct.s* elementtype(%struct.s) %arg, i32 1, i32 4), !dbg !29, !llvm.preserve.access.index !18
%1 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %0, i64 0), !dbg !30 %1 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %0, i64 0), !dbg !30
%2 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %0, i64 1), !dbg !31 %2 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %0, i64 1), !dbg !31
%add = add i32 %2, %1, !dbg !32 %add = add i32 %2, %1, !dbg !32
%3 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %0, i64 4), !dbg !33 %3 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %0, i64 4), !dbg !33
%add1 = add i32 %add, %3, !dbg !34 %add1 = add i32 %add, %3, !dbg !34
ret i32 %add1, !dbg !35 ret i32 %add1, !dbg !35
} }
▲ Show 20 Lines • Show All 84 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/field-reloc-bitfield-2.ll

Show All 23 Lines
target triple = "bpfel" target triple = "bpfel"
%struct.s = type <{ i8, i16 }> %struct.s = type <{ i8, i16 }>
; Function Attrs: nounwind readnone ; Function Attrs: nounwind readnone
define dso_local i32 @test(%struct.s* %arg) local_unnamed_addr #0 !dbg !13 { define dso_local i32 @test(%struct.s* %arg) local_unnamed_addr #0 !dbg !13 {
entry: entry:
call void @llvm.dbg.value(metadata %struct.s* %arg, metadata !27, metadata !DIExpression()), !dbg !28 call void @llvm.dbg.value(metadata %struct.s* %arg, metadata !27, metadata !DIExpression()), !dbg !28
%0 = tail call i16* @llvm.preserve.struct.access.index.p0i16.p0s_struct.ss(%struct.s* %arg, i32 1, i32 4), !dbg !29, !llvm.preserve.access.index !18 %0 = tail call i16* @llvm.preserve.struct.access.index.p0i16.p0s_struct.ss(%struct.s* elementtype(%struct.s) %arg, i32 1, i32 4), !dbg !29, !llvm.preserve.access.index !18
%1 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %0, i64 0), !dbg !30 %1 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %0, i64 0), !dbg !30
%2 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %0, i64 1), !dbg !31 %2 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %0, i64 1), !dbg !31
%add = add i32 %2, %1, !dbg !32 %add = add i32 %2, %1, !dbg !32
%3 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %0, i64 4), !dbg !33 %3 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %0, i64 4), !dbg !33
%add1 = add i32 %add, %3, !dbg !34 %add1 = add i32 %add, %3, !dbg !34
ret i32 %add1, !dbg !35 ret i32 %add1, !dbg !35
} }
▲ Show 20 Lines • Show All 84 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/field-reloc-duplicate.ll

Show All 13 Lines
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local i32 @foo(%struct.s1* %arg) #0 !dbg !7 { define dso_local i32 @foo(%struct.s1* %arg) #0 !dbg !7 {
entry: entry:
%arg.addr = alloca %struct.s1*, align 8 %arg.addr = alloca %struct.s1*, align 8
store %struct.s1* %arg, %struct.s1** %arg.addr, align 8, !tbaa !18 store %struct.s1* %arg, %struct.s1** %arg.addr, align 8, !tbaa !18
call void @llvm.dbg.declare(metadata %struct.s1** %arg.addr, metadata !17, metadata !DIExpression()), !dbg !22 call void @llvm.dbg.declare(metadata %struct.s1** %arg.addr, metadata !17, metadata !DIExpression()), !dbg !22
%0 = load %struct.s1*, %struct.s1** %arg.addr, align 8, !dbg !23, !tbaa !18 %0 = load %struct.s1*, %struct.s1** %arg.addr, align 8, !dbg !23, !tbaa !18
%1 = call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* %0, i32 0, i32 0), !dbg !24, !llvm.preserve.access.index !12 %1 = call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %0, i32 0, i32 0), !dbg !24, !llvm.preserve.access.index !12
%2 = load i32, i32* %1, align 4, !dbg !24, !tbaa !25 %2 = load i32, i32* %1, align 4, !dbg !24, !tbaa !25
ret i32 %2, !dbg !28 ret i32 %2, !dbg !28
} }
; Function Attrs: nounwind readnone speculatable willreturn ; Function Attrs: nounwind readnone speculatable willreturn
declare void @llvm.dbg.declare(metadata, metadata, metadata) #1 declare void @llvm.dbg.declare(metadata, metadata, metadata) #1
; Function Attrs: nounwind readnone ; Function Attrs: nounwind readnone
declare i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1*, i32 immarg, i32 immarg) #2 declare i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1*, i32 immarg, i32 immarg) #2
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local i32 @bar(%struct.s1* %arg) #0 !dbg !29 { define dso_local i32 @bar(%struct.s1* %arg) #0 !dbg !29 {
entry: entry:
%arg.addr = alloca %struct.s1*, align 8 %arg.addr = alloca %struct.s1*, align 8
store %struct.s1* %arg, %struct.s1** %arg.addr, align 8, !tbaa !18 store %struct.s1* %arg, %struct.s1** %arg.addr, align 8, !tbaa !18
call void @llvm.dbg.declare(metadata %struct.s1** %arg.addr, metadata !31, metadata !DIExpression()), !dbg !32 call void @llvm.dbg.declare(metadata %struct.s1** %arg.addr, metadata !31, metadata !DIExpression()), !dbg !32
%0 = load %struct.s1*, %struct.s1** %arg.addr, align 8, !dbg !33, !tbaa !18 %0 = load %struct.s1*, %struct.s1** %arg.addr, align 8, !dbg !33, !tbaa !18
%1 = call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* %0, i32 0, i32 0), !dbg !34, !llvm.preserve.access.index !12 %1 = call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %0, i32 0, i32 0), !dbg !34, !llvm.preserve.access.index !12
%2 = load i32, i32* %1, align 4, !dbg !34, !tbaa !25 %2 = load i32, i32* %1, align 4, !dbg !34, !tbaa !25
ret i32 %2, !dbg !35 ret i32 %2, !dbg !35
} }
; CHECK: .long 1 # BTF_KIND_STRUCT(id = 2) ; CHECK: .long 1 # BTF_KIND_STRUCT(id = 2)
; CHECK: .ascii "s1" # string offset=1 ; CHECK: .ascii "s1" # string offset=1
; CHECK: .ascii ".text" # string offset=20 ; CHECK: .ascii ".text" # string offset=20
▲ Show 20 Lines • Show All 58 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/intrinsic-array-2.ll

Show All 14 Lines
target triple = "bpf" target triple = "bpf"
%struct.s1 = type { i32 } %struct.s1 = type { i32 }
; Function Attrs: nounwind readnone ; Function Attrs: nounwind readnone
define dso_local i32 @test() local_unnamed_addr #0 !dbg !17 { define dso_local i32 @test() local_unnamed_addr #0 !dbg !17 {
entry: entry:
call void @llvm.dbg.value(metadata %struct.s1* null, metadata !21, metadata !DIExpression()), !dbg !22 call void @llvm.dbg.value(metadata %struct.s1* null, metadata !21, metadata !DIExpression()), !dbg !22
%0 = tail call %struct.s1* @llvm.preserve.array.access.index.p0s_struct.s1s.p0s_struct.s1s(%struct.s1* null, i32 0, i32 0), !dbg !23, !llvm.preserve.access.index !8 %0 = tail call %struct.s1* @llvm.preserve.array.access.index.p0s_struct.s1s.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) null, i32 0, i32 0), !dbg !23, !llvm.preserve.access.index !8
%1 = tail call i32 @llvm.bpf.preserve.field.info.p0s_struct.s1s(%struct.s1* %0, i64 2), !dbg !24 %1 = tail call i32 @llvm.bpf.preserve.field.info.p0s_struct.s1s(%struct.s1* %0, i64 2), !dbg !24
ret i32 %1, !dbg !25 ret i32 %1, !dbg !25
} }
; CHECK: .long 16 # BTF_KIND_STRUCT(id = 4) ; CHECK: .long 16 # BTF_KIND_STRUCT(id = 4)
; CHECK: .ascii ".text" # string offset=10 ; CHECK: .ascii ".text" # string offset=10
; CHECK: .ascii "s1" # string offset=16 ; CHECK: .ascii "s1" # string offset=16
▲ Show 20 Lines • Show All 53 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/intrinsic-array.ll

; RUN: opt -O2 %s | llvm-dis > %t1 ; RUN: opt -O2 %s | llvm-dis > %t1
; RUN: llc -filetype=asm -o - %t1 | FileCheck %s ; RUN: llc -filetype=asm -o - %t1 | FileCheck %s
; RUN: llc -mattr=+alu32 -filetype=asm -o - %t1 | FileCheck %s ; RUN: llc -mattr=+alu32 -filetype=asm -o - %t1 | FileCheck %s
; RUN: llc -filetype=asm -force-opaque-pointers -o - %t1 | FileCheck %s
; RUN: llc -mattr=+alu32 -filetype=asm -force-opaque-pointers -o - %t1 | FileCheck %s
; ;
; Source code: ; Source code:
; #define _(x) (__builtin_preserve_access_index(x)) ; #define _(x) (__builtin_preserve_access_index(x))
; struct s { int a; int b; }; ; struct s { int a; int b; };
; int get_value(const void *addr); ; int get_value(const void *addr);
; int test(struct s *arg) { return get_value(_(&arg[2].b)); } ; int test(struct s *arg) { return get_value(_(&arg[2].b)); }
; Compiler flag to generate IR: ; Compiler flag to generate IR:
; clang -target bpf -S -O2 -g -emit-llvm -Xclang -disable-llvm-passes test.c ; clang -target bpf -S -O2 -g -emit-llvm -Xclang -disable-llvm-passes test.c
target triple = "bpf" target triple = "bpf"
%struct.s = type { i32, i32 } %struct.s = type { i32, i32 }
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local i32 @test(%struct.s* %arg) local_unnamed_addr #0 !dbg !7 { define dso_local i32 @test(%struct.s* %arg) local_unnamed_addr #0 !dbg !7 {
entry: entry:
call void @llvm.dbg.value(metadata %struct.s* %arg, metadata !17, metadata !DIExpression()), !dbg !18 call void @llvm.dbg.value(metadata %struct.s* %arg, metadata !17, metadata !DIExpression()), !dbg !18
%0 = tail call %struct.s* @llvm.preserve.array.access.index.p0s_struct.ss.p0s_struct.ss(%struct.s* %arg, i32 0, i32 2), !dbg !19, !llvm.preserve.access.index !11 %0 = tail call %struct.s* @llvm.preserve.array.access.index.p0s_struct.ss.p0s_struct.ss(%struct.s* elementtype(%struct.s) %arg, i32 0, i32 2), !dbg !19, !llvm.preserve.access.index !11
%1 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.ss(%struct.s* %0, i32 1, i32 1), !dbg !19, !llvm.preserve.access.index !12 %1 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.ss(%struct.s* elementtype(%struct.s) %0, i32 1, i32 1), !dbg !19, !llvm.preserve.access.index !12
%2 = bitcast i32* %1 to i8*, !dbg !19 %2 = bitcast i32* %1 to i8*, !dbg !19
%call = tail call i32 @get_value(i8* %2) #4, !dbg !20 %call = tail call i32 @get_value(i8* %2) #4, !dbg !20
ret i32 %call, !dbg !21 ret i32 %call, !dbg !21
} }
; CHECK-LABEL: test ; CHECK-LABEL: test
; CHECK: [[RELOC:.Ltmp[0-9]+]] ; CHECK: [[RELOC:.Ltmp[0-9]+]]
; CHECK: r2 = 20 ; CHECK: r2 = 20
; CHECK: r1 += r2 ; CHECK: r1 += r2
▲ Show 20 Lines • Show All 55 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/intrinsic-fieldinfo-byte-size-1.ll

Show All 21 Lines
%struct.s1 = type { i32 } %struct.s1 = type { i32 }
; Function Attrs: nounwind readnone ; Function Attrs: nounwind readnone
define dso_local i32 @test(%union.u1* %arg) local_unnamed_addr #0 !dbg !11 { define dso_local i32 @test(%union.u1* %arg) local_unnamed_addr #0 !dbg !11 {
entry: entry:
call void @llvm.dbg.value(metadata %union.u1* %arg, metadata !28, metadata !DIExpression()), !dbg !33 call void @llvm.dbg.value(metadata %union.u1* %arg, metadata !28, metadata !DIExpression()), !dbg !33
%0 = tail call %union.u1* @llvm.preserve.union.access.index.p0s_union.u1s.p0s_union.u1s(%union.u1* %arg, i32 1), !dbg !34, !llvm.preserve.access.index !16 %0 = tail call %union.u1* @llvm.preserve.union.access.index.p0s_union.u1s.p0s_union.u1s(%union.u1* %arg, i32 1), !dbg !34, !llvm.preserve.access.index !16
%b2 = bitcast %union.u1* %0 to %struct.s1*, !dbg !34 %b2 = bitcast %union.u1* %0 to %struct.s1*, !dbg !34
%1 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* %b2, i32 0, i32 0), !dbg !35, !llvm.preserve.access.index !21 %1 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %b2, i32 0, i32 0), !dbg !35, !llvm.preserve.access.index !21
%2 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %1, i64 1), !dbg !36 %2 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %1, i64 1), !dbg !36
call void @llvm.dbg.value(metadata i32 %2, metadata !29, metadata !DIExpression()), !dbg !33 call void @llvm.dbg.value(metadata i32 %2, metadata !29, metadata !DIExpression()), !dbg !33
%3 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* %b2, i32 0, i32 1), !dbg !37, !llvm.preserve.access.index !21 %3 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %b2, i32 0, i32 1), !dbg !37, !llvm.preserve.access.index !21
%4 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %3, i64 1), !dbg !38 %4 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %3, i64 1), !dbg !38
call void @llvm.dbg.value(metadata i32 %4, metadata !30, metadata !DIExpression()), !dbg !33 call void @llvm.dbg.value(metadata i32 %4, metadata !30, metadata !DIExpression()), !dbg !33
%5 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* %b2, i32 0, i32 2), !dbg !39, !llvm.preserve.access.index !21 %5 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %b2, i32 0, i32 2), !dbg !39, !llvm.preserve.access.index !21
%6 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %5, i64 1), !dbg !40 %6 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %5, i64 1), !dbg !40
call void @llvm.dbg.value(metadata i32 %6, metadata !31, metadata !DIExpression()), !dbg !33 call void @llvm.dbg.value(metadata i32 %6, metadata !31, metadata !DIExpression()), !dbg !33
%7 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* %b2, i32 0, i32 3), !dbg !41, !llvm.preserve.access.index !21 %7 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %b2, i32 0, i32 3), !dbg !41, !llvm.preserve.access.index !21
%8 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %7, i64 1), !dbg !42 %8 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %7, i64 1), !dbg !42
call void @llvm.dbg.value(metadata i32 %8, metadata !32, metadata !DIExpression()), !dbg !33 call void @llvm.dbg.value(metadata i32 %8, metadata !32, metadata !DIExpression()), !dbg !33
%add = add i32 %4, %2, !dbg !43 %add = add i32 %4, %2, !dbg !43
%add4 = add i32 %add, %6, !dbg !44 %add4 = add i32 %add, %6, !dbg !44
%add5 = add i32 %add4, %8, !dbg !45 %add5 = add i32 %add4, %8, !dbg !45
ret i32 %add5, !dbg !46 ret i32 %add5, !dbg !46
} }
▲ Show 20 Lines • Show All 107 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/intrinsic-fieldinfo-byte-size-2.ll

Show All 22 Lines
; Function Attrs: nounwind readnone ; Function Attrs: nounwind readnone
define dso_local i32 @test(%union.u1* %arg) local_unnamed_addr #0 !dbg !11 { define dso_local i32 @test(%union.u1* %arg) local_unnamed_addr #0 !dbg !11 {
entry: entry:
call void @llvm.dbg.value(metadata %union.u1* %arg, metadata !27, metadata !DIExpression()), !dbg !31 call void @llvm.dbg.value(metadata %union.u1* %arg, metadata !27, metadata !DIExpression()), !dbg !31
%0 = tail call %union.u1* @llvm.preserve.union.access.index.p0s_union.u1s.p0s_union.u1s(%union.u1* %arg, i32 1), !dbg !32, !llvm.preserve.access.index !16 %0 = tail call %union.u1* @llvm.preserve.union.access.index.p0s_union.u1s.p0s_union.u1s(%union.u1* %arg, i32 1), !dbg !32, !llvm.preserve.access.index !16
%b2 = getelementptr inbounds %union.u1, %union.u1* %0, i64 0, i32 0, !dbg !32 %b2 = getelementptr inbounds %union.u1, %union.u1* %0, i64 0, i32 0, !dbg !32
%1 = tail call i32 @llvm.bpf.preserve.field.info.p0s_struct.s1s(%struct.s1* %b2, i64 1), !dbg !33 %1 = tail call i32 @llvm.bpf.preserve.field.info.p0s_struct.s1s(%struct.s1* %b2, i64 1), !dbg !33
call void @llvm.dbg.value(metadata i32 %1, metadata !28, metadata !DIExpression()), !dbg !31 call void @llvm.dbg.value(metadata i32 %1, metadata !28, metadata !DIExpression()), !dbg !31
%2 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* %b2, i32 0, i32 0), !dbg !34, !llvm.preserve.access.index !21 %2 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %b2, i32 0, i32 0), !dbg !34, !llvm.preserve.access.index !21
%3 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %2, i64 1), !dbg !35 %3 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %2, i64 1), !dbg !35
call void @llvm.dbg.value(metadata i32 %3, metadata !29, metadata !DIExpression()), !dbg !31 call void @llvm.dbg.value(metadata i32 %3, metadata !29, metadata !DIExpression()), !dbg !31
%4 = tail call i8* @llvm.preserve.struct.access.index.p0i8.p0s_struct.s1s(%struct.s1* %b2, i32 1, i32 1), !dbg !36, !llvm.preserve.access.index !21 %4 = tail call i8* @llvm.preserve.struct.access.index.p0i8.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %b2, i32 1, i32 1), !dbg !36, !llvm.preserve.access.index !21
%5 = tail call i32 @llvm.bpf.preserve.field.info.p0i8(i8* %4, i64 1), !dbg !37 %5 = tail call i32 @llvm.bpf.preserve.field.info.p0i8(i8* %4, i64 1), !dbg !37
call void @llvm.dbg.value(metadata i32 %5, metadata !30, metadata !DIExpression()), !dbg !31 call void @llvm.dbg.value(metadata i32 %5, metadata !30, metadata !DIExpression()), !dbg !31
%add = add i32 %3, %1, !dbg !38 %add = add i32 %3, %1, !dbg !38
%add3 = add i32 %add, %5, !dbg !39 %add3 = add i32 %add, %5, !dbg !39
ret i32 %add3, !dbg !40 ret i32 %add3, !dbg !40
} }
; CHECK: r1 = 8 ; CHECK: r1 = 8
▲ Show 20 Lines • Show All 101 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/intrinsic-fieldinfo-byte-size-3.ll

Show All 19 Lines
%struct.s1 = type { [10 x [10 x i32]] } %struct.s1 = type { [10 x [10 x i32]] }
; Function Attrs: nounwind readnone ; Function Attrs: nounwind readnone
define dso_local i32 @test(%union.u1* %arg) local_unnamed_addr #0 !dbg !18 { define dso_local i32 @test(%union.u1* %arg) local_unnamed_addr #0 !dbg !18 {
entry: entry:
call void @llvm.dbg.value(metadata %union.u1* %arg, metadata !31, metadata !DIExpression()), !dbg !34 call void @llvm.dbg.value(metadata %union.u1* %arg, metadata !31, metadata !DIExpression()), !dbg !34
%0 = tail call %union.u1* @llvm.preserve.union.access.index.p0s_union.u1s.p0s_union.u1s(%union.u1* %arg, i32 1), !dbg !35, !llvm.preserve.access.index !22 %0 = tail call %union.u1* @llvm.preserve.union.access.index.p0s_union.u1s.p0s_union.u1s(%union.u1* %arg, i32 1), !dbg !35, !llvm.preserve.access.index !22
%b2 = getelementptr inbounds %union.u1, %union.u1* %0, i64 0, i32 0, !dbg !35 %b2 = getelementptr inbounds %union.u1, %union.u1* %0, i64 0, i32 0, !dbg !35
%1 = tail call [10 x [10 x i32]]* @llvm.preserve.struct.access.index.p0a10a10i32.p0s_struct.s1s(%struct.s1* %b2, i32 0, i32 0), !dbg !36, !llvm.preserve.access.index !27 %1 = tail call [10 x [10 x i32]]* @llvm.preserve.struct.access.index.p0a10a10i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %b2, i32 0, i32 0), !dbg !36, !llvm.preserve.access.index !27
%2 = tail call [10 x i32]* @llvm.preserve.array.access.index.p0a10i32.p0a10a10i32([10 x [10 x i32]]* %1, i32 1, i32 5), !dbg !37, !llvm.preserve.access.index !8 %2 = tail call [10 x i32]* @llvm.preserve.array.access.index.p0a10i32.p0a10a10i32([10 x [10 x i32]]* elementtype([10 x [10 x i32]]) %1, i32 1, i32 5), !dbg !37, !llvm.preserve.access.index !8
%3 = tail call i32 @llvm.bpf.preserve.field.info.p0a10i32([10 x i32]* %2, i64 1), !dbg !38 %3 = tail call i32 @llvm.bpf.preserve.field.info.p0a10i32([10 x i32]* %2, i64 1), !dbg !38
call void @llvm.dbg.value(metadata i32 %3, metadata !32, metadata !DIExpression()), !dbg !34 call void @llvm.dbg.value(metadata i32 %3, metadata !32, metadata !DIExpression()), !dbg !34
%4 = tail call i32* @llvm.preserve.array.access.index.p0i32.p0a10i32([10 x i32]* %2, i32 1, i32 5), !dbg !39, !llvm.preserve.access.index !12 %4 = tail call i32* @llvm.preserve.array.access.index.p0i32.p0a10i32([10 x i32]* elementtype([10 x i32]) %2, i32 1, i32 5), !dbg !39, !llvm.preserve.access.index !12
%5 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %4, i64 1), !dbg !40 %5 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %4, i64 1), !dbg !40
call void @llvm.dbg.value(metadata i32 %5, metadata !33, metadata !DIExpression()), !dbg !34 call void @llvm.dbg.value(metadata i32 %5, metadata !33, metadata !DIExpression()), !dbg !34
%add = add i32 %5, %3, !dbg !41 %add = add i32 %5, %3, !dbg !41
ret i32 %add, !dbg !42 ret i32 %add, !dbg !42
} }
; CHECK: r1 = 40 ; CHECK: r1 = 40
; CHECK: r0 = 4 ; CHECK: r0 = 4
▲ Show 20 Lines • Show All 94 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/intrinsic-fieldinfo-byte-size-4.ll

Show All 12 Lines
target triple = "bpf" target triple = "bpf"
%struct.s1 = type { i32, i8, i32 } %struct.s1 = type { i32, i8, i32 }
; Function Attrs: nounwind readnone ; Function Attrs: nounwind readnone
define dso_local i32 @test(%struct.s1* readnone %arg) local_unnamed_addr #0 !dbg !11 { define dso_local i32 @test(%struct.s1* readnone %arg) local_unnamed_addr #0 !dbg !11 {
entry: entry:
call void @llvm.dbg.value(metadata %struct.s1* %arg, metadata !23, metadata !DIExpression()), !dbg !24 call void @llvm.dbg.value(metadata %struct.s1* %arg, metadata !23, metadata !DIExpression()), !dbg !24
%0 = tail call i8* @llvm.preserve.struct.access.index.p0i8.p0s_struct.s1s(%struct.s1* %arg, i32 1, i32 1), !dbg !25, !llvm.preserve.access.index !17 %0 = tail call i8* @llvm.preserve.struct.access.index.p0i8.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %arg, i32 1, i32 1), !dbg !25, !llvm.preserve.access.index !17
%1 = tail call i32 @llvm.bpf.preserve.field.info.p0i8(i8* %0, i64 1), !dbg !26 %1 = tail call i32 @llvm.bpf.preserve.field.info.p0i8(i8* %0, i64 1), !dbg !26
ret i32 %1, !dbg !27 ret i32 %1, !dbg !27
} }
; CHECK: r0 = 4 ; CHECK: r0 = 4
; CHECK: exit ; CHECK: exit
; CHECK: .long 6 # BTF_KIND_STRUCT(id = 3) ; CHECK: .long 6 # BTF_KIND_STRUCT(id = 3)
▲ Show 20 Lines • Show All 58 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/intrinsic-fieldinfo-existence-1.ll

Show All 20 Lines
%struct.s1 = type { i32, i16 } %struct.s1 = type { i32, i16 }
%union.u1 = type { i32 } %union.u1 = type { i32 }
; Function Attrs: nounwind readnone ; Function Attrs: nounwind readnone
define dso_local i32 @test(%struct.s1* %arg1, %union.u1* %arg2) local_unnamed_addr #0 !dbg !11 { define dso_local i32 @test(%struct.s1* %arg1, %union.u1* %arg2) local_unnamed_addr #0 !dbg !11 {
entry: entry:
call void @llvm.dbg.value(metadata %struct.s1* %arg1, metadata !29, metadata !DIExpression()), !dbg !35 call void @llvm.dbg.value(metadata %struct.s1* %arg1, metadata !29, metadata !DIExpression()), !dbg !35
call void @llvm.dbg.value(metadata %union.u1* %arg2, metadata !30, metadata !DIExpression()), !dbg !35 call void @llvm.dbg.value(metadata %union.u1* %arg2, metadata !30, metadata !DIExpression()), !dbg !35
%0 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* %arg1, i32 0, i32 0), !dbg !36, !llvm.preserve.access.index !16 %0 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %arg1, i32 0, i32 0), !dbg !36, !llvm.preserve.access.index !16
%1 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %0, i64 2), !dbg !37 %1 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %0, i64 2), !dbg !37
call void @llvm.dbg.value(metadata i32 %1, metadata !31, metadata !DIExpression()), !dbg !35 call void @llvm.dbg.value(metadata i32 %1, metadata !31, metadata !DIExpression()), !dbg !35
%2 = tail call i16* @llvm.preserve.struct.access.index.p0i16.p0s_struct.s1s(%struct.s1* %arg1, i32 1, i32 2), !dbg !38, !llvm.preserve.access.index !16 %2 = tail call i16* @llvm.preserve.struct.access.index.p0i16.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %arg1, i32 1, i32 2), !dbg !38, !llvm.preserve.access.index !16
%3 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %2, i64 2), !dbg !39 %3 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %2, i64 2), !dbg !39
call void @llvm.dbg.value(metadata i32 %3, metadata !32, metadata !DIExpression()), !dbg !35 call void @llvm.dbg.value(metadata i32 %3, metadata !32, metadata !DIExpression()), !dbg !35
%4 = tail call %union.u1* @llvm.preserve.union.access.index.p0s_union.u1s.p0s_union.u1s(%union.u1* %arg2, i32 0), !dbg !40, !llvm.preserve.access.index !23 %4 = tail call %union.u1* @llvm.preserve.union.access.index.p0s_union.u1s.p0s_union.u1s(%union.u1* %arg2, i32 0), !dbg !40, !llvm.preserve.access.index !23
%b1 = getelementptr inbounds %union.u1, %union.u1* %4, i64 0, i32 0, !dbg !40 %b1 = getelementptr inbounds %union.u1, %union.u1* %4, i64 0, i32 0, !dbg !40
%5 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %b1, i64 2), !dbg !41 %5 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %b1, i64 2), !dbg !41
call void @llvm.dbg.value(metadata i32 %5, metadata !33, metadata !DIExpression()), !dbg !35 call void @llvm.dbg.value(metadata i32 %5, metadata !33, metadata !DIExpression()), !dbg !35
%6 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_union.u1s(%union.u1* %arg2, i32 0, i32 2), !dbg !42, !llvm.preserve.access.index !23 %6 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_union.u1s(%union.u1* elementtype(%union.u1) %arg2, i32 0, i32 2), !dbg !42, !llvm.preserve.access.index !23
%7 = bitcast i32* %6 to i8*, !dbg !42 %7 = bitcast i32* %6 to i8*, !dbg !42
%8 = tail call i32 @llvm.bpf.preserve.field.info.p0i8(i8* %7, i64 2), !dbg !43 %8 = tail call i32 @llvm.bpf.preserve.field.info.p0i8(i8* %7, i64 2), !dbg !43
call void @llvm.dbg.value(metadata i32 %8, metadata !34, metadata !DIExpression()), !dbg !35 call void @llvm.dbg.value(metadata i32 %8, metadata !34, metadata !DIExpression()), !dbg !35
%add = add i32 %3, %1, !dbg !44 %add = add i32 %3, %1, !dbg !44
%add1 = add i32 %add, %5, !dbg !45 %add1 = add i32 %add, %5, !dbg !45
%add2 = add i32 %add1, %8, !dbg !46 %add2 = add i32 %add1, %8, !dbg !46
ret i32 %add2, !dbg !47 ret i32 %add2, !dbg !47
} }
▲ Show 20 Lines • Show All 121 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/intrinsic-fieldinfo-existence-2.ll

Show All 19 Lines
%struct.s1 = type { i32, i16 } %struct.s1 = type { i32, i16 }
; Function Attrs: nounwind readnone ; Function Attrs: nounwind readnone
define dso_local i32 @test(%union.u1* %arg) local_unnamed_addr #0 !dbg !11 { define dso_local i32 @test(%union.u1* %arg) local_unnamed_addr #0 !dbg !11 {
entry: entry:
call void @llvm.dbg.value(metadata %union.u1* %arg, metadata !27, metadata !DIExpression()), !dbg !30 call void @llvm.dbg.value(metadata %union.u1* %arg, metadata !27, metadata !DIExpression()), !dbg !30
%0 = tail call %union.u1* @llvm.preserve.union.access.index.p0s_union.u1s.p0s_union.u1s(%union.u1* %arg, i32 1), !dbg !31, !llvm.preserve.access.index !16 %0 = tail call %union.u1* @llvm.preserve.union.access.index.p0s_union.u1s.p0s_union.u1s(%union.u1* %arg, i32 1), !dbg !31, !llvm.preserve.access.index !16
%b2 = getelementptr inbounds %union.u1, %union.u1* %0, i64 0, i32 0, !dbg !31 %b2 = getelementptr inbounds %union.u1, %union.u1* %0, i64 0, i32 0, !dbg !31
%1 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* %b2, i32 0, i32 0), !dbg !32, !llvm.preserve.access.index !20 %1 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %b2, i32 0, i32 0), !dbg !32, !llvm.preserve.access.index !20
%2 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %1, i64 2), !dbg !33 %2 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %1, i64 2), !dbg !33
call void @llvm.dbg.value(metadata i32 %2, metadata !28, metadata !DIExpression()), !dbg !30 call void @llvm.dbg.value(metadata i32 %2, metadata !28, metadata !DIExpression()), !dbg !30
%3 = tail call i16* @llvm.preserve.struct.access.index.p0i16.p0s_struct.s1s(%struct.s1* %b2, i32 1, i32 2), !dbg !34, !llvm.preserve.access.index !20 %3 = tail call i16* @llvm.preserve.struct.access.index.p0i16.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %b2, i32 1, i32 2), !dbg !34, !llvm.preserve.access.index !20
%4 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %3, i64 2), !dbg !35 %4 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %3, i64 2), !dbg !35
call void @llvm.dbg.value(metadata i32 %4, metadata !29, metadata !DIExpression()), !dbg !30 call void @llvm.dbg.value(metadata i32 %4, metadata !29, metadata !DIExpression()), !dbg !30
%add = add i32 %4, %2, !dbg !36 %add = add i32 %4, %2, !dbg !36
ret i32 %add, !dbg !37 ret i32 %add, !dbg !37
} }
; CHECK: r1 = 1 ; CHECK: r1 = 1
; CHECK: r0 = 1 ; CHECK: r0 = 1
▲ Show 20 Lines • Show All 86 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/intrinsic-fieldinfo-existence-3.ll

Show All 18 Lines
%struct.s1 = type { [10 x [10 x i32]] } %struct.s1 = type { [10 x [10 x i32]] }
; Function Attrs: nounwind readnone ; Function Attrs: nounwind readnone
define dso_local i32 @test(%union.u1* %arg) local_unnamed_addr #0 !dbg !18 { define dso_local i32 @test(%union.u1* %arg) local_unnamed_addr #0 !dbg !18 {
entry: entry:
call void @llvm.dbg.value(metadata %union.u1* %arg, metadata !31, metadata !DIExpression()), !dbg !34 call void @llvm.dbg.value(metadata %union.u1* %arg, metadata !31, metadata !DIExpression()), !dbg !34
%0 = tail call %union.u1* @llvm.preserve.union.access.index.p0s_union.u1s.p0s_union.u1s(%union.u1* %arg, i32 1), !dbg !35, !llvm.preserve.access.index !22 %0 = tail call %union.u1* @llvm.preserve.union.access.index.p0s_union.u1s.p0s_union.u1s(%union.u1* %arg, i32 1), !dbg !35, !llvm.preserve.access.index !22
%b2 = getelementptr inbounds %union.u1, %union.u1* %0, i64 0, i32 0, !dbg !35 %b2 = getelementptr inbounds %union.u1, %union.u1* %0, i64 0, i32 0, !dbg !35
%1 = tail call [10 x [10 x i32]]* @llvm.preserve.struct.access.index.p0a10a10i32.p0s_struct.s1s(%struct.s1* %b2, i32 0, i32 0), !dbg !36, !llvm.preserve.access.index !27 %1 = tail call [10 x [10 x i32]]* @llvm.preserve.struct.access.index.p0a10a10i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %b2, i32 0, i32 0), !dbg !36, !llvm.preserve.access.index !27
%2 = tail call [10 x i32]* @llvm.preserve.array.access.index.p0a10i32.p0a10a10i32([10 x [10 x i32]]* %1, i32 1, i32 5), !dbg !37, !llvm.preserve.access.index !8 %2 = tail call [10 x i32]* @llvm.preserve.array.access.index.p0a10i32.p0a10a10i32([10 x [10 x i32]]* elementtype([10 x [10 x i32]]) %1, i32 1, i32 5), !dbg !37, !llvm.preserve.access.index !8
%3 = tail call i32 @llvm.bpf.preserve.field.info.p0a10i32([10 x i32]* %2, i64 2), !dbg !38 %3 = tail call i32 @llvm.bpf.preserve.field.info.p0a10i32([10 x i32]* %2, i64 2), !dbg !38
call void @llvm.dbg.value(metadata i32 %3, metadata !32, metadata !DIExpression()), !dbg !34 call void @llvm.dbg.value(metadata i32 %3, metadata !32, metadata !DIExpression()), !dbg !34
%4 = tail call i32* @llvm.preserve.array.access.index.p0i32.p0a10i32([10 x i32]* %2, i32 1, i32 5), !dbg !39, !llvm.preserve.access.index !12 %4 = tail call i32* @llvm.preserve.array.access.index.p0i32.p0a10i32([10 x i32]* elementtype([10 x i32]) %2, i32 1, i32 5), !dbg !39, !llvm.preserve.access.index !12
%5 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %4, i64 2), !dbg !40 %5 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %4, i64 2), !dbg !40
call void @llvm.dbg.value(metadata i32 %5, metadata !33, metadata !DIExpression()), !dbg !34 call void @llvm.dbg.value(metadata i32 %5, metadata !33, metadata !DIExpression()), !dbg !34
%add = add i32 %5, %3, !dbg !41 %add = add i32 %5, %3, !dbg !41
ret i32 %add, !dbg !42 ret i32 %add, !dbg !42
} }
; CHECK: r1 = 1 ; CHECK: r1 = 1
; CHECK: r0 = 1 ; CHECK: r0 = 1
▲ Show 20 Lines • Show All 94 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/intrinsic-fieldinfo-existence-4.ll

Show All 15 Lines
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local i32 @test1() #0 !dbg !6 { define dso_local i32 @test1() #0 !dbg !6 {
entry: entry:
%bar = alloca %struct.t, align 4 %bar = alloca %struct.t, align 4
%0 = bitcast %struct.t* %bar to i8*, !dbg !20 %0 = bitcast %struct.t* %bar to i8*, !dbg !20
call void @llvm.lifetime.start.p0i8(i64 4, i8* %0) #5, !dbg !20 call void @llvm.lifetime.start.p0i8(i64 4, i8* %0) #5, !dbg !20
call void @llvm.dbg.declare(metadata %struct.t* %bar, metadata !11, metadata !DIExpression()), !dbg !21 call void @llvm.dbg.declare(metadata %struct.t* %bar, metadata !11, metadata !DIExpression()), !dbg !21
%1 = call %struct.t* @llvm.preserve.array.access.index.p0s_struct.ts.p0s_struct.ts(%struct.t* %bar, i32 0, i32 1), !dbg !22, !llvm.preserve.access.index !4 %1 = call %struct.t* @llvm.preserve.array.access.index.p0s_struct.ts.p0s_struct.ts(%struct.t* elementtype(%struct.t) %bar, i32 0, i32 1), !dbg !22, !llvm.preserve.access.index !4
%2 = call i32 @llvm.bpf.preserve.field.info.p0s_struct.ts(%struct.t* %1, i64 2), !dbg !23 %2 = call i32 @llvm.bpf.preserve.field.info.p0s_struct.ts(%struct.t* %1, i64 2), !dbg !23
%3 = bitcast %struct.t* %bar to i8*, !dbg !24 %3 = bitcast %struct.t* %bar to i8*, !dbg !24
call void @llvm.lifetime.end.p0i8(i64 4, i8* %3) #5, !dbg !24 call void @llvm.lifetime.end.p0i8(i64 4, i8* %3) #5, !dbg !24
ret i32 %2, !dbg !25 ret i32 %2, !dbg !25
} }
; CHECK: r0 = 1 ; CHECK: r0 = 1
; CHECK-NEXT: exit ; CHECK-NEXT: exit
▲ Show 20 Lines • Show All 77 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/intrinsic-fieldinfo-lshift-1-bpfeb.ll

Show All 22 Lines
%struct.s1 = type { i32 } %struct.s1 = type { i32 }
; Function Attrs: nounwind readnone ; Function Attrs: nounwind readnone
define dso_local i32 @test(%union.u1* %arg) local_unnamed_addr #0 !dbg !11 { define dso_local i32 @test(%union.u1* %arg) local_unnamed_addr #0 !dbg !11 {
entry: entry:
call void @llvm.dbg.value(metadata %union.u1* %arg, metadata !28, metadata !DIExpression()), !dbg !33 call void @llvm.dbg.value(metadata %union.u1* %arg, metadata !28, metadata !DIExpression()), !dbg !33
%0 = tail call %union.u1* @llvm.preserve.union.access.index.p0s_union.u1s.p0s_union.u1s(%union.u1* %arg, i32 1), !dbg !34, !llvm.preserve.access.index !16 %0 = tail call %union.u1* @llvm.preserve.union.access.index.p0s_union.u1s.p0s_union.u1s(%union.u1* %arg, i32 1), !dbg !34, !llvm.preserve.access.index !16
%b2 = bitcast %union.u1* %0 to %struct.s1*, !dbg !34 %b2 = bitcast %union.u1* %0 to %struct.s1*, !dbg !34
%1 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* %b2, i32 0, i32 0), !dbg !35, !llvm.preserve.access.index !21 %1 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %b2, i32 0, i32 0), !dbg !35, !llvm.preserve.access.index !21
%2 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %1, i64 4), !dbg !36 %2 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %1, i64 4), !dbg !36
call void @llvm.dbg.value(metadata i32 %2, metadata !29, metadata !DIExpression()), !dbg !33 call void @llvm.dbg.value(metadata i32 %2, metadata !29, metadata !DIExpression()), !dbg !33
%3 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* %b2, i32 0, i32 1), !dbg !37, !llvm.preserve.access.index !21 %3 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %b2, i32 0, i32 1), !dbg !37, !llvm.preserve.access.index !21
%4 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %3, i64 4), !dbg !38 %4 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %3, i64 4), !dbg !38
call void @llvm.dbg.value(metadata i32 %4, metadata !30, metadata !DIExpression()), !dbg !33 call void @llvm.dbg.value(metadata i32 %4, metadata !30, metadata !DIExpression()), !dbg !33
%5 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* %b2, i32 0, i32 2), !dbg !39, !llvm.preserve.access.index !21 %5 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %b2, i32 0, i32 2), !dbg !39, !llvm.preserve.access.index !21
%6 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %5, i64 4), !dbg !40 %6 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %5, i64 4), !dbg !40
call void @llvm.dbg.value(metadata i32 %6, metadata !31, metadata !DIExpression()), !dbg !33 call void @llvm.dbg.value(metadata i32 %6, metadata !31, metadata !DIExpression()), !dbg !33
%7 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* %b2, i32 0, i32 3), !dbg !41, !llvm.preserve.access.index !21 %7 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %b2, i32 0, i32 3), !dbg !41, !llvm.preserve.access.index !21
%8 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %7, i64 4), !dbg !42 %8 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %7, i64 4), !dbg !42
call void @llvm.dbg.value(metadata i32 %8, metadata !32, metadata !DIExpression()), !dbg !33 call void @llvm.dbg.value(metadata i32 %8, metadata !32, metadata !DIExpression()), !dbg !33
%add = add i32 %4, %2, !dbg !43 %add = add i32 %4, %2, !dbg !43
%add4 = add i32 %add, %6, !dbg !44 %add4 = add i32 %add, %6, !dbg !44
%add5 = add i32 %add4, %8, !dbg !45 %add5 = add i32 %add4, %8, !dbg !45
ret i32 %add5, !dbg !46 ret i32 %add5, !dbg !46
} }
▲ Show 20 Lines • Show All 107 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/intrinsic-fieldinfo-lshift-1.ll

Show All 22 Lines
%struct.s1 = type { i32 } %struct.s1 = type { i32 }
; Function Attrs: nounwind readnone ; Function Attrs: nounwind readnone
define dso_local i32 @test(%union.u1* %arg) local_unnamed_addr #0 !dbg !11 { define dso_local i32 @test(%union.u1* %arg) local_unnamed_addr #0 !dbg !11 {
entry: entry:
call void @llvm.dbg.value(metadata %union.u1* %arg, metadata !28, metadata !DIExpression()), !dbg !33 call void @llvm.dbg.value(metadata %union.u1* %arg, metadata !28, metadata !DIExpression()), !dbg !33
%0 = tail call %union.u1* @llvm.preserve.union.access.index.p0s_union.u1s.p0s_union.u1s(%union.u1* %arg, i32 1), !dbg !34, !llvm.preserve.access.index !16 %0 = tail call %union.u1* @llvm.preserve.union.access.index.p0s_union.u1s.p0s_union.u1s(%union.u1* %arg, i32 1), !dbg !34, !llvm.preserve.access.index !16
%b2 = bitcast %union.u1* %0 to %struct.s1*, !dbg !34 %b2 = bitcast %union.u1* %0 to %struct.s1*, !dbg !34
%1 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* %b2, i32 0, i32 0), !dbg !35, !llvm.preserve.access.index !21 %1 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %b2, i32 0, i32 0), !dbg !35, !llvm.preserve.access.index !21
%2 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %1, i64 4), !dbg !36 %2 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %1, i64 4), !dbg !36
call void @llvm.dbg.value(metadata i32 %2, metadata !29, metadata !DIExpression()), !dbg !33 call void @llvm.dbg.value(metadata i32 %2, metadata !29, metadata !DIExpression()), !dbg !33
%3 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* %b2, i32 0, i32 1), !dbg !37, !llvm.preserve.access.index !21 %3 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %b2, i32 0, i32 1), !dbg !37, !llvm.preserve.access.index !21
%4 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %3, i64 4), !dbg !38 %4 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %3, i64 4), !dbg !38
call void @llvm.dbg.value(metadata i32 %4, metadata !30, metadata !DIExpression()), !dbg !33 call void @llvm.dbg.value(metadata i32 %4, metadata !30, metadata !DIExpression()), !dbg !33
%5 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* %b2, i32 0, i32 2), !dbg !39, !llvm.preserve.access.index !21 %5 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %b2, i32 0, i32 2), !dbg !39, !llvm.preserve.access.index !21
%6 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %5, i64 4), !dbg !40 %6 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %5, i64 4), !dbg !40
call void @llvm.dbg.value(metadata i32 %6, metadata !31, metadata !DIExpression()), !dbg !33 call void @llvm.dbg.value(metadata i32 %6, metadata !31, metadata !DIExpression()), !dbg !33
%7 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* %b2, i32 0, i32 3), !dbg !41, !llvm.preserve.access.index !21 %7 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %b2, i32 0, i32 3), !dbg !41, !llvm.preserve.access.index !21
%8 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %7, i64 4), !dbg !42 %8 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %7, i64 4), !dbg !42
call void @llvm.dbg.value(metadata i32 %8, metadata !32, metadata !DIExpression()), !dbg !33 call void @llvm.dbg.value(metadata i32 %8, metadata !32, metadata !DIExpression()), !dbg !33
%add = add i32 %4, %2, !dbg !43 %add = add i32 %4, %2, !dbg !43
%add4 = add i32 %add, %6, !dbg !44 %add4 = add i32 %add, %6, !dbg !44
%add5 = add i32 %add4, %8, !dbg !45 %add5 = add i32 %add4, %8, !dbg !45
ret i32 %add5, !dbg !46 ret i32 %add5, !dbg !46
} }
▲ Show 20 Lines • Show All 107 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/intrinsic-fieldinfo-lshift-2.ll

Show All 20 Lines
%struct.s1 = type { i32, i16 } %struct.s1 = type { i32, i16 }
; Function Attrs: nounwind readnone ; Function Attrs: nounwind readnone
define dso_local i32 @test(%union.u1* %arg) local_unnamed_addr #0 !dbg !11 { define dso_local i32 @test(%union.u1* %arg) local_unnamed_addr #0 !dbg !11 {
entry: entry:
call void @llvm.dbg.value(metadata %union.u1* %arg, metadata !27, metadata !DIExpression()), !dbg !30 call void @llvm.dbg.value(metadata %union.u1* %arg, metadata !27, metadata !DIExpression()), !dbg !30
%0 = tail call %union.u1* @llvm.preserve.union.access.index.p0s_union.u1s.p0s_union.u1s(%union.u1* %arg, i32 1), !dbg !31, !llvm.preserve.access.index !16 %0 = tail call %union.u1* @llvm.preserve.union.access.index.p0s_union.u1s.p0s_union.u1s(%union.u1* %arg, i32 1), !dbg !31, !llvm.preserve.access.index !16
%b2 = getelementptr %union.u1, %union.u1* %0, i64 0, i32 0, !dbg !31 %b2 = getelementptr %union.u1, %union.u1* %0, i64 0, i32 0, !dbg !31
%1 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* %b2, i32 0, i32 0), !dbg !32, !llvm.preserve.access.index !21 %1 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %b2, i32 0, i32 0), !dbg !32, !llvm.preserve.access.index !21
%2 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %1, i64 4), !dbg !33 %2 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %1, i64 4), !dbg !33
call void @llvm.dbg.value(metadata i32 %2, metadata !28, metadata !DIExpression()), !dbg !30 call void @llvm.dbg.value(metadata i32 %2, metadata !28, metadata !DIExpression()), !dbg !30
%3 = tail call i16* @llvm.preserve.struct.access.index.p0i16.p0s_struct.s1s(%struct.s1* %b2, i32 1, i32 1), !dbg !34, !llvm.preserve.access.index !21 %3 = tail call i16* @llvm.preserve.struct.access.index.p0i16.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %b2, i32 1, i32 1), !dbg !34, !llvm.preserve.access.index !21
%4 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %3, i64 4), !dbg !35 %4 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %3, i64 4), !dbg !35
call void @llvm.dbg.value(metadata i32 %4, metadata !29, metadata !DIExpression()), !dbg !30 call void @llvm.dbg.value(metadata i32 %4, metadata !29, metadata !DIExpression()), !dbg !30
%add = add i32 %4, %2, !dbg !36 %add = add i32 %4, %2, !dbg !36
ret i32 %add, !dbg !37 ret i32 %add, !dbg !37
} }
; CHECK: r1 = 32 ; CHECK: r1 = 32
; CHECK: r0 = 48 ; CHECK: r0 = 48
▲ Show 20 Lines • Show All 86 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/intrinsic-fieldinfo-rshift-1.ll

Show All 21 Lines
%struct.s1 = type { i32 } %struct.s1 = type { i32 }
; Function Attrs: nounwind readnone ; Function Attrs: nounwind readnone
define dso_local i32 @test(%union.u1* %arg) local_unnamed_addr #0 !dbg !11 { define dso_local i32 @test(%union.u1* %arg) local_unnamed_addr #0 !dbg !11 {
entry: entry:
call void @llvm.dbg.value(metadata %union.u1* %arg, metadata !28, metadata !DIExpression()), !dbg !33 call void @llvm.dbg.value(metadata %union.u1* %arg, metadata !28, metadata !DIExpression()), !dbg !33
%0 = tail call %union.u1* @llvm.preserve.union.access.index.p0s_union.u1s.p0s_union.u1s(%union.u1* %arg, i32 1), !dbg !34, !llvm.preserve.access.index !16 %0 = tail call %union.u1* @llvm.preserve.union.access.index.p0s_union.u1s.p0s_union.u1s(%union.u1* %arg, i32 1), !dbg !34, !llvm.preserve.access.index !16
%b2 = bitcast %union.u1* %0 to %struct.s1*, !dbg !34 %b2 = bitcast %union.u1* %0 to %struct.s1*, !dbg !34
%1 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* %b2, i32 0, i32 0), !dbg !35, !llvm.preserve.access.index !21 %1 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %b2, i32 0, i32 0), !dbg !35, !llvm.preserve.access.index !21
%2 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %1, i64 5), !dbg !36 %2 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %1, i64 5), !dbg !36
call void @llvm.dbg.value(metadata i32 %2, metadata !29, metadata !DIExpression()), !dbg !33 call void @llvm.dbg.value(metadata i32 %2, metadata !29, metadata !DIExpression()), !dbg !33
%3 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* %b2, i32 0, i32 1), !dbg !37, !llvm.preserve.access.index !21 %3 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %b2, i32 0, i32 1), !dbg !37, !llvm.preserve.access.index !21
%4 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %3, i64 5), !dbg !38 %4 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %3, i64 5), !dbg !38
call void @llvm.dbg.value(metadata i32 %4, metadata !30, metadata !DIExpression()), !dbg !33 call void @llvm.dbg.value(metadata i32 %4, metadata !30, metadata !DIExpression()), !dbg !33
%5 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* %b2, i32 0, i32 2), !dbg !39, !llvm.preserve.access.index !21 %5 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %b2, i32 0, i32 2), !dbg !39, !llvm.preserve.access.index !21
%6 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %5, i64 5), !dbg !40 %6 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %5, i64 5), !dbg !40
call void @llvm.dbg.value(metadata i32 %6, metadata !31, metadata !DIExpression()), !dbg !33 call void @llvm.dbg.value(metadata i32 %6, metadata !31, metadata !DIExpression()), !dbg !33
%7 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* %b2, i32 0, i32 3), !dbg !41, !llvm.preserve.access.index !21 %7 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %b2, i32 0, i32 3), !dbg !41, !llvm.preserve.access.index !21
%8 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %7, i64 5), !dbg !42 %8 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %7, i64 5), !dbg !42
call void @llvm.dbg.value(metadata i32 %8, metadata !32, metadata !DIExpression()), !dbg !33 call void @llvm.dbg.value(metadata i32 %8, metadata !32, metadata !DIExpression()), !dbg !33
%add = add i32 %4, %2, !dbg !43 %add = add i32 %4, %2, !dbg !43
%add4 = add i32 %add, %6, !dbg !44 %add4 = add i32 %add, %6, !dbg !44
%add5 = add i32 %add4, %8, !dbg !45 %add5 = add i32 %add4, %8, !dbg !45
ret i32 %add5, !dbg !46 ret i32 %add5, !dbg !46
} }
▲ Show 20 Lines • Show All 107 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/intrinsic-fieldinfo-rshift-2.ll

Show All 19 Lines
%struct.s1 = type { i32, i8 } %struct.s1 = type { i32, i8 }
; Function Attrs: nounwind readnone ; Function Attrs: nounwind readnone
define dso_local i32 @test(%union.u1* %arg) local_unnamed_addr #0 !dbg !11 { define dso_local i32 @test(%union.u1* %arg) local_unnamed_addr #0 !dbg !11 {
entry: entry:
call void @llvm.dbg.value(metadata %union.u1* %arg, metadata !27, metadata !DIExpression()), !dbg !30 call void @llvm.dbg.value(metadata %union.u1* %arg, metadata !27, metadata !DIExpression()), !dbg !30
%0 = tail call %union.u1* @llvm.preserve.union.access.index.p0s_union.u1s.p0s_union.u1s(%union.u1* %arg, i32 1), !dbg !31, !llvm.preserve.access.index !16 %0 = tail call %union.u1* @llvm.preserve.union.access.index.p0s_union.u1s.p0s_union.u1s(%union.u1* %arg, i32 1), !dbg !31, !llvm.preserve.access.index !16
%b2 = getelementptr inbounds %union.u1, %union.u1* %0, i64 0, i32 0, !dbg !31 %b2 = getelementptr inbounds %union.u1, %union.u1* %0, i64 0, i32 0, !dbg !31
%1 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* %b2, i32 0, i32 0), !dbg !32, !llvm.preserve.access.index !21 %1 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %b2, i32 0, i32 0), !dbg !32, !llvm.preserve.access.index !21
%2 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %1, i64 5), !dbg !33 %2 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %1, i64 5), !dbg !33
call void @llvm.dbg.value(metadata i32 %2, metadata !28, metadata !DIExpression()), !dbg !30 call void @llvm.dbg.value(metadata i32 %2, metadata !28, metadata !DIExpression()), !dbg !30
%3 = tail call i8* @llvm.preserve.struct.access.index.p0i8.p0s_struct.s1s(%struct.s1* %b2, i32 1, i32 1), !dbg !34, !llvm.preserve.access.index !21 %3 = tail call i8* @llvm.preserve.struct.access.index.p0i8.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %b2, i32 1, i32 1), !dbg !34, !llvm.preserve.access.index !21
%4 = tail call i32 @llvm.bpf.preserve.field.info.p0i8(i8* %3, i64 5), !dbg !35 %4 = tail call i32 @llvm.bpf.preserve.field.info.p0i8(i8* %3, i64 5), !dbg !35
call void @llvm.dbg.value(metadata i32 %4, metadata !29, metadata !DIExpression()), !dbg !30 call void @llvm.dbg.value(metadata i32 %4, metadata !29, metadata !DIExpression()), !dbg !30
%add = add i32 %4, %2, !dbg !36 %add = add i32 %4, %2, !dbg !36
ret i32 %add, !dbg !37 ret i32 %add, !dbg !37
} }
; CHECK: r1 = 32 ; CHECK: r1 = 32
; CHECK: r0 = 56 ; CHECK: r0 = 56
▲ Show 20 Lines • Show All 86 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/intrinsic-fieldinfo-rshift-3.ll

Show All 19 Lines
%struct.s1 = type { [5 x [5 x i8]] } %struct.s1 = type { [5 x [5 x i8]] }
; Function Attrs: nounwind readnone ; Function Attrs: nounwind readnone
define dso_local i32 @test(%union.u1* %arg) local_unnamed_addr #0 !dbg !18 { define dso_local i32 @test(%union.u1* %arg) local_unnamed_addr #0 !dbg !18 {
entry: entry:
call void @llvm.dbg.value(metadata %union.u1* %arg, metadata !32, metadata !DIExpression()), !dbg !35 call void @llvm.dbg.value(metadata %union.u1* %arg, metadata !32, metadata !DIExpression()), !dbg !35
%0 = tail call %union.u1* @llvm.preserve.union.access.index.p0s_union.u1s.p0s_union.u1s(%union.u1* %arg, i32 1), !dbg !36, !llvm.preserve.access.index !23 %0 = tail call %union.u1* @llvm.preserve.union.access.index.p0s_union.u1s.p0s_union.u1s(%union.u1* %arg, i32 1), !dbg !36, !llvm.preserve.access.index !23
%b2 = bitcast %union.u1* %0 to %struct.s1*, !dbg !36 %b2 = bitcast %union.u1* %0 to %struct.s1*, !dbg !36
%1 = tail call [5 x [5 x i8]]* @llvm.preserve.struct.access.index.p0a5a5i8.p0s_struct.s1s(%struct.s1* %b2, i32 0, i32 0), !dbg !37, !llvm.preserve.access.index !28 %1 = tail call [5 x [5 x i8]]* @llvm.preserve.struct.access.index.p0a5a5i8.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %b2, i32 0, i32 0), !dbg !37, !llvm.preserve.access.index !28
%2 = tail call [5 x i8]* @llvm.preserve.array.access.index.p0a5i8.p0a5a5i8([5 x [5 x i8]]* %1, i32 1, i32 3), !dbg !38, !llvm.preserve.access.index !8 %2 = tail call [5 x i8]* @llvm.preserve.array.access.index.p0a5i8.p0a5a5i8([5 x [5 x i8]]* elementtype([5 x [5 x i8]]) %1, i32 1, i32 3), !dbg !38, !llvm.preserve.access.index !8
%3 = tail call i32 @llvm.bpf.preserve.field.info.p0a5i8([5 x i8]* %2, i64 5), !dbg !39 %3 = tail call i32 @llvm.bpf.preserve.field.info.p0a5i8([5 x i8]* %2, i64 5), !dbg !39
call void @llvm.dbg.value(metadata i32 %3, metadata !33, metadata !DIExpression()), !dbg !35 call void @llvm.dbg.value(metadata i32 %3, metadata !33, metadata !DIExpression()), !dbg !35
%4 = tail call i8* @llvm.preserve.array.access.index.p0i8.p0a5i8([5 x i8]* %2, i32 1, i32 3), !dbg !40, !llvm.preserve.access.index !12 %4 = tail call i8* @llvm.preserve.array.access.index.p0i8.p0a5i8([5 x i8]* elementtype([5 x i8]) %2, i32 1, i32 3), !dbg !40, !llvm.preserve.access.index !12
%5 = tail call i32 @llvm.bpf.preserve.field.info.p0i8(i8* %4, i64 5), !dbg !41 %5 = tail call i32 @llvm.bpf.preserve.field.info.p0i8(i8* %4, i64 5), !dbg !41
call void @llvm.dbg.value(metadata i32 %5, metadata !34, metadata !DIExpression()), !dbg !35 call void @llvm.dbg.value(metadata i32 %5, metadata !34, metadata !DIExpression()), !dbg !35
%add = add i32 %5, %3, !dbg !42 %add = add i32 %5, %3, !dbg !42
ret i32 %add, !dbg !43 ret i32 %add, !dbg !43
} }
; CHECK: r1 = 24 ; CHECK: r1 = 24
; CHECK: r0 = 56 ; CHECK: r0 = 56
▲ Show 20 Lines • Show All 95 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/intrinsic-fieldinfo-signedness-1.ll

Show All 20 Lines
%struct.s1 = type { i32, i16 } %struct.s1 = type { i32, i16 }
%union.u1 = type { i32 } %union.u1 = type { i32 }
; Function Attrs: nounwind readnone ; Function Attrs: nounwind readnone
define dso_local i32 @test(%struct.s1* %arg1, %union.u1* %arg2) local_unnamed_addr #0 !dbg !11 { define dso_local i32 @test(%struct.s1* %arg1, %union.u1* %arg2) local_unnamed_addr #0 !dbg !11 {
entry: entry:
call void @llvm.dbg.value(metadata %struct.s1* %arg1, metadata !29, metadata !DIExpression()), !dbg !35 call void @llvm.dbg.value(metadata %struct.s1* %arg1, metadata !29, metadata !DIExpression()), !dbg !35
call void @llvm.dbg.value(metadata %union.u1* %arg2, metadata !30, metadata !DIExpression()), !dbg !35 call void @llvm.dbg.value(metadata %union.u1* %arg2, metadata !30, metadata !DIExpression()), !dbg !35
%0 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* %arg1, i32 0, i32 0), !dbg !36, !llvm.preserve.access.index !16 %0 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %arg1, i32 0, i32 0), !dbg !36, !llvm.preserve.access.index !16
%1 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %0, i64 3), !dbg !37 %1 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %0, i64 3), !dbg !37
call void @llvm.dbg.value(metadata i32 %1, metadata !31, metadata !DIExpression()), !dbg !35 call void @llvm.dbg.value(metadata i32 %1, metadata !31, metadata !DIExpression()), !dbg !35
%2 = tail call i16* @llvm.preserve.struct.access.index.p0i16.p0s_struct.s1s(%struct.s1* %arg1, i32 1, i32 2), !dbg !38, !llvm.preserve.access.index !16 %2 = tail call i16* @llvm.preserve.struct.access.index.p0i16.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %arg1, i32 1, i32 2), !dbg !38, !llvm.preserve.access.index !16
%3 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %2, i64 3), !dbg !39 %3 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %2, i64 3), !dbg !39
call void @llvm.dbg.value(metadata i32 %3, metadata !32, metadata !DIExpression()), !dbg !35 call void @llvm.dbg.value(metadata i32 %3, metadata !32, metadata !DIExpression()), !dbg !35
%4 = tail call %union.u1* @llvm.preserve.union.access.index.p0s_union.u1s.p0s_union.u1s(%union.u1* %arg2, i32 0), !dbg !40, !llvm.preserve.access.index !23 %4 = tail call %union.u1* @llvm.preserve.union.access.index.p0s_union.u1s.p0s_union.u1s(%union.u1* %arg2, i32 0), !dbg !40, !llvm.preserve.access.index !23
%b1 = getelementptr inbounds %union.u1, %union.u1* %4, i64 0, i32 0, !dbg !40 %b1 = getelementptr inbounds %union.u1, %union.u1* %4, i64 0, i32 0, !dbg !40
%5 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %b1, i64 3), !dbg !41 %5 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %b1, i64 3), !dbg !41
call void @llvm.dbg.value(metadata i32 %5, metadata !33, metadata !DIExpression()), !dbg !35 call void @llvm.dbg.value(metadata i32 %5, metadata !33, metadata !DIExpression()), !dbg !35
%6 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_union.u1s(%union.u1* %arg2, i32 0, i32 2), !dbg !42, !llvm.preserve.access.index !23 %6 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_union.u1s(%union.u1* elementtype(%union.u1) %arg2, i32 0, i32 2), !dbg !42, !llvm.preserve.access.index !23
%7 = bitcast i32* %6 to i8*, !dbg !42 %7 = bitcast i32* %6 to i8*, !dbg !42
%8 = tail call i32 @llvm.bpf.preserve.field.info.p0i8(i8* %7, i64 3), !dbg !43 %8 = tail call i32 @llvm.bpf.preserve.field.info.p0i8(i8* %7, i64 3), !dbg !43
call void @llvm.dbg.value(metadata i32 %8, metadata !34, metadata !DIExpression()), !dbg !35 call void @llvm.dbg.value(metadata i32 %8, metadata !34, metadata !DIExpression()), !dbg !35
%add = add i32 %3, %1, !dbg !44 %add = add i32 %3, %1, !dbg !44
%add1 = add i32 %add, %5, !dbg !45 %add1 = add i32 %add, %5, !dbg !45
%add2 = add i32 %add1, %8, !dbg !46 %add2 = add i32 %add1, %8, !dbg !46
ret i32 %add2, !dbg !47 ret i32 %add2, !dbg !47
} }
▲ Show 20 Lines • Show All 121 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/intrinsic-fieldinfo-signedness-2.ll

Show All 24 Lines
%struct.s1 = type { i32, i16 } %struct.s1 = type { i32, i16 }
; Function Attrs: nounwind readnone ; Function Attrs: nounwind readnone
define dso_local i32 @test(%union.u1* %arg) local_unnamed_addr #0 !dbg !20 { define dso_local i32 @test(%union.u1* %arg) local_unnamed_addr #0 !dbg !20 {
entry: entry:
call void @llvm.dbg.value(metadata %union.u1* %arg, metadata !37, metadata !DIExpression()), !dbg !41 call void @llvm.dbg.value(metadata %union.u1* %arg, metadata !37, metadata !DIExpression()), !dbg !41
%0 = tail call %union.u1* @llvm.preserve.union.access.index.p0s_union.u1s.p0s_union.u1s(%union.u1* %arg, i32 1), !dbg !42, !llvm.preserve.access.index !24 %0 = tail call %union.u1* @llvm.preserve.union.access.index.p0s_union.u1s.p0s_union.u1s(%union.u1* %arg, i32 1), !dbg !42, !llvm.preserve.access.index !24
%b2 = getelementptr inbounds %union.u1, %union.u1* %0, i64 0, i32 0, !dbg !42 %b2 = getelementptr inbounds %union.u1, %union.u1* %0, i64 0, i32 0, !dbg !42
%1 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* %b2, i32 0, i32 0), !dbg !43, !llvm.preserve.access.index !28 %1 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %b2, i32 0, i32 0), !dbg !43, !llvm.preserve.access.index !28
%2 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %1, i64 3), !dbg !44 %2 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %1, i64 3), !dbg !44
call void @llvm.dbg.value(metadata i32 %2, metadata !38, metadata !DIExpression()), !dbg !41 call void @llvm.dbg.value(metadata i32 %2, metadata !38, metadata !DIExpression()), !dbg !41
%3 = tail call i16* @llvm.preserve.struct.access.index.p0i16.p0s_struct.s1s(%struct.s1* %b2, i32 1, i32 1), !dbg !45, !llvm.preserve.access.index !28 %3 = tail call i16* @llvm.preserve.struct.access.index.p0i16.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %b2, i32 1, i32 1), !dbg !45, !llvm.preserve.access.index !28
%4 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %3, i64 3), !dbg !46 %4 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %3, i64 3), !dbg !46
call void @llvm.dbg.value(metadata i32 %4, metadata !39, metadata !DIExpression()), !dbg !41 call void @llvm.dbg.value(metadata i32 %4, metadata !39, metadata !DIExpression()), !dbg !41
%5 = tail call i16* @llvm.preserve.struct.access.index.p0i16.p0s_struct.s1s(%struct.s1* %b2, i32 1, i32 2), !dbg !47, !llvm.preserve.access.index !28 %5 = tail call i16* @llvm.preserve.struct.access.index.p0i16.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %b2, i32 1, i32 2), !dbg !47, !llvm.preserve.access.index !28
%6 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %5, i64 3), !dbg !48 %6 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %5, i64 3), !dbg !48
call void @llvm.dbg.value(metadata i32 %6, metadata !40, metadata !DIExpression()), !dbg !41 call void @llvm.dbg.value(metadata i32 %6, metadata !40, metadata !DIExpression()), !dbg !41
%add = add i32 %4, %2, !dbg !49 %add = add i32 %4, %2, !dbg !49
%add3 = add i32 %add, %6, !dbg !50 %add3 = add i32 %add, %6, !dbg !50
ret i32 %add3, !dbg !51 ret i32 %add3, !dbg !51
} }
; CHECK: r1 = 1 ; CHECK: r1 = 1
▲ Show 20 Lines • Show All 109 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/intrinsic-fieldinfo-signedness-3.ll

Show All 23 Lines
%struct.s1 = type { [10 x i32], [10 x [10 x i32]] } %struct.s1 = type { [10 x i32], [10 x [10 x i32]] }
; Function Attrs: nounwind readnone ; Function Attrs: nounwind readnone
define dso_local i32 @test(%union.u1* %arg) local_unnamed_addr #0 !dbg !29 { define dso_local i32 @test(%union.u1* %arg) local_unnamed_addr #0 !dbg !29 {
entry: entry:
call void @llvm.dbg.value(metadata %union.u1* %arg, metadata !43, metadata !DIExpression()), !dbg !46 call void @llvm.dbg.value(metadata %union.u1* %arg, metadata !43, metadata !DIExpression()), !dbg !46
%0 = tail call %union.u1* @llvm.preserve.union.access.index.p0s_union.u1s.p0s_union.u1s(%union.u1* %arg, i32 1), !dbg !47, !llvm.preserve.access.index !33 %0 = tail call %union.u1* @llvm.preserve.union.access.index.p0s_union.u1s.p0s_union.u1s(%union.u1* %arg, i32 1), !dbg !47, !llvm.preserve.access.index !33
%b2 = getelementptr inbounds %union.u1, %union.u1* %0, i64 0, i32 0, !dbg !47 %b2 = getelementptr inbounds %union.u1, %union.u1* %0, i64 0, i32 0, !dbg !47
%1 = tail call [10 x i32]* @llvm.preserve.struct.access.index.p0a10i32.p0s_struct.s1s(%struct.s1* %b2, i32 0, i32 0), !dbg !48, !llvm.preserve.access.index !38 %1 = tail call [10 x i32]* @llvm.preserve.struct.access.index.p0a10i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %b2, i32 0, i32 0), !dbg !48, !llvm.preserve.access.index !38
%2 = tail call i32* @llvm.preserve.array.access.index.p0i32.p0a10i32([10 x i32]* %1, i32 1, i32 5), !dbg !49, !llvm.preserve.access.index !17 %2 = tail call i32* @llvm.preserve.array.access.index.p0i32.p0a10i32([10 x i32]* elementtype([10 x i32]) %1, i32 1, i32 5), !dbg !49, !llvm.preserve.access.index !17
%3 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %2, i64 3), !dbg !50 %3 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %2, i64 3), !dbg !50
call void @llvm.dbg.value(metadata i32 %3, metadata !44, metadata !DIExpression()), !dbg !46 call void @llvm.dbg.value(metadata i32 %3, metadata !44, metadata !DIExpression()), !dbg !46
%4 = tail call [10 x [10 x i32]]* @llvm.preserve.struct.access.index.p0a10a10i32.p0s_struct.s1s(%struct.s1* %b2, i32 1, i32 1), !dbg !51, !llvm.preserve.access.index !38 %4 = tail call [10 x [10 x i32]]* @llvm.preserve.struct.access.index.p0a10a10i32.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %b2, i32 1, i32 1), !dbg !51, !llvm.preserve.access.index !38
%5 = tail call [10 x i32]* @llvm.preserve.array.access.index.p0a10i32.p0a10a10i32([10 x [10 x i32]]* %4, i32 1, i32 5), !dbg !52, !llvm.preserve.access.index !21 %5 = tail call [10 x i32]* @llvm.preserve.array.access.index.p0a10i32.p0a10a10i32([10 x [10 x i32]]* elementtype([10 x [10 x i32]]) %4, i32 1, i32 5), !dbg !52, !llvm.preserve.access.index !21
%6 = tail call i32* @llvm.preserve.array.access.index.p0i32.p0a10i32([10 x i32]* %5, i32 1, i32 5), !dbg !52, !llvm.preserve.access.index !24 %6 = tail call i32* @llvm.preserve.array.access.index.p0i32.p0a10i32([10 x i32]* elementtype([10 x i32]) %5, i32 1, i32 5), !dbg !52, !llvm.preserve.access.index !24
%7 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %6, i64 3), !dbg !53 %7 = tail call i32 @llvm.bpf.preserve.field.info.p0i32(i32* %6, i64 3), !dbg !53
call void @llvm.dbg.value(metadata i32 %7, metadata !45, metadata !DIExpression()), !dbg !46 call void @llvm.dbg.value(metadata i32 %7, metadata !45, metadata !DIExpression()), !dbg !46
%add = add i32 %7, %3, !dbg !54 %add = add i32 %7, %3, !dbg !54
ret i32 %add, !dbg !55 ret i32 %add, !dbg !55
} }
; CHECK: r1 = 1 ; CHECK: r1 = 1
; CHECK: r0 = 0 ; CHECK: r0 = 0
▲ Show 20 Lines • Show All 107 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/intrinsic-struct.ll

Show All 12 Lines
target triple = "bpf" target triple = "bpf"
%struct.s = type { i32, i32 } %struct.s = type { i32, i32 }
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local i32 @test(%struct.s* %arg) local_unnamed_addr #0 !dbg !7 { define dso_local i32 @test(%struct.s* %arg) local_unnamed_addr #0 !dbg !7 {
entry: entry:
call void @llvm.dbg.value(metadata %struct.s* %arg, metadata !17, metadata !DIExpression()), !dbg !18 call void @llvm.dbg.value(metadata %struct.s* %arg, metadata !17, metadata !DIExpression()), !dbg !18
%0 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.ss(%struct.s* %arg, i32 1, i32 1), !dbg !19, !llvm.preserve.access.index !12 %0 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.ss(%struct.s* elementtype(%struct.s) %arg, i32 1, i32 1), !dbg !19, !llvm.preserve.access.index !12
%1 = bitcast i32* %0 to i8*, !dbg !19 %1 = bitcast i32* %0 to i8*, !dbg !19
%call = tail call i32 @get_value(i8* %1) #4, !dbg !20 %call = tail call i32 @get_value(i8* %1) #4, !dbg !20
ret i32 %call, !dbg !21 ret i32 %call, !dbg !21
} }
; CHECK-LABEL: test ; CHECK-LABEL: test
; CHECK: [[RELOC:.Ltmp[0-9]+]] ; CHECK: [[RELOC:.Ltmp[0-9]+]]
; CHECK: r2 = 4 ; CHECK: r2 = 4
▲ Show 20 Lines • Show All 53 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/no-elf-ama-symbol.ll

Show All 12 Lines
target triple = "bpf" target triple = "bpf"
%struct.tt = type { i32 } %struct.tt = type { i32 }
; Function Attrs: nounwind readonly ; Function Attrs: nounwind readonly
define dso_local i32 @test(%struct.tt* readonly %arg) local_unnamed_addr #0 !dbg !7 { define dso_local i32 @test(%struct.tt* readonly %arg) local_unnamed_addr #0 !dbg !7 {
entry: entry:
call void @llvm.dbg.value(metadata %struct.tt* %arg, metadata !16, metadata !DIExpression()), !dbg !17 call void @llvm.dbg.value(metadata %struct.tt* %arg, metadata !16, metadata !DIExpression()), !dbg !17
%0 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.tts(%struct.tt* %arg, i32 0, i32 0), !dbg !18, !llvm.preserve.access.index !12 %0 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.tts(%struct.tt* elementtype(%struct.tt) %arg, i32 0, i32 0), !dbg !18, !llvm.preserve.access.index !12
%1 = load i32, i32* %0, align 4, !dbg !18, !tbaa !19 %1 = load i32, i32* %0, align 4, !dbg !18, !tbaa !19
ret i32 %1, !dbg !24 ret i32 %1, !dbg !24
} }
; CHECK-NOT: llvm.tt:0:0$0:0 ; CHECK-NOT: llvm.tt:0:0$0:0
; Function Attrs: nounwind readnone ; Function Attrs: nounwind readnone
declare i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.tts(%struct.tt*, i32, i32) #1 declare i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.tts(%struct.tt*, i32, i32) #1
Show All 37 Lines

llvm/test/CodeGen/BPF/CORE/no-narrow-load.ll

Show All 27 Lines
%struct.data_t = type { i32, i32 } %struct.data_t = type { i32, i32 }
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local void @test(%struct.info_t* readonly %args) local_unnamed_addr #0 !dbg !12 { define dso_local void @test(%struct.info_t* readonly %args) local_unnamed_addr #0 !dbg !12 {
entry: entry:
%data = alloca i64, align 8 %data = alloca i64, align 8
%tmpcast = bitcast i64* %data to %struct.data_t* %tmpcast = bitcast i64* %data to %struct.data_t*
call void @llvm.dbg.value(metadata %struct.info_t* %args, metadata !22, metadata !DIExpression()), !dbg !29 call void @llvm.dbg.value(metadata %struct.info_t* %args, metadata !22, metadata !DIExpression()), !dbg !29
%0 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.info_ts(%struct.info_t* %args, i32 1, i32 1), !dbg !30, !llvm.preserve.access.index !16 %0 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.info_ts(%struct.info_t* elementtype(%struct.info_t) %args, i32 1, i32 1), !dbg !30, !llvm.preserve.access.index !16
%1 = load i32, i32* %0, align 4, !dbg !30, !tbaa !31 %1 = load i32, i32* %0, align 4, !dbg !30, !tbaa !31
%and = and i32 %1, 65536, !dbg !36 %and = and i32 %1, 65536, !dbg !36
call void @llvm.dbg.value(metadata i32 %and, metadata !23, metadata !DIExpression()), !dbg !29 call void @llvm.dbg.value(metadata i32 %and, metadata !23, metadata !DIExpression()), !dbg !29
%2 = bitcast i64* %data to i8*, !dbg !37 %2 = bitcast i64* %data to i8*, !dbg !37
call void @llvm.lifetime.start.p0i8(i64 8, i8* nonnull %2) #5, !dbg !37 call void @llvm.lifetime.start.p0i8(i64 8, i8* nonnull %2) #5, !dbg !37
call void @llvm.dbg.declare(metadata %struct.data_t* %tmpcast, metadata !24, metadata !DIExpression()), !dbg !38 call void @llvm.dbg.declare(metadata %struct.data_t* %tmpcast, metadata !24, metadata !DIExpression()), !dbg !38
store i64 0, i64* %data, align 8, !dbg !38 store i64 0, i64* %data, align 8, !dbg !38
%tobool = icmp eq i32 %and, 0, !dbg !39 %tobool = icmp eq i32 %and, 0, !dbg !39
br i1 %tobool, label %cond.false, label %lor.end.critedge, !dbg !39 br i1 %tobool, label %cond.false, label %lor.end.critedge, !dbg !39
cond.false: ; preds = %entry cond.false: ; preds = %entry
%3 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.info_ts(%struct.info_t* %args, i32 0, i32 0), !dbg !40, !llvm.preserve.access.index !16 %3 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.info_ts(%struct.info_t* elementtype(%struct.info_t) %args, i32 0, i32 0), !dbg !40, !llvm.preserve.access.index !16
%4 = load i32, i32* %3, align 4, !dbg !40, !tbaa !41 %4 = load i32, i32* %3, align 4, !dbg !40, !tbaa !41
%d1 = bitcast i64* %data to i32*, !dbg !42 %d1 = bitcast i64* %data to i32*, !dbg !42
store i32 %4, i32* %d1, align 8, !dbg !43, !tbaa !44 store i32 %4, i32* %d1, align 8, !dbg !43, !tbaa !44
%5 = load i32, i32* %0, align 4, !dbg !46, !tbaa !31 %5 = load i32, i32* %0, align 4, !dbg !46, !tbaa !31
%and2 = and i32 %5, 32768, !dbg !47 %and2 = and i32 %5, 32768, !dbg !47
%tobool3 = icmp eq i32 %and2, 0, !dbg !48 %tobool3 = icmp eq i32 %and2, 0, !dbg !48
%phitmp = select i1 %tobool3, i32 2, i32 1, !dbg !48 %phitmp = select i1 %tobool3, i32 2, i32 1, !dbg !48
br label %lor.end, !dbg !48 br label %lor.end, !dbg !48
▲ Show 20 Lines • Show All 102 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/offset-reloc-access-str.ll

Show All 16 Lines
%struct.s = type { i32, i32 } %struct.s = type { i32, i32 }
%struct.t = type { i32, i32 } %struct.t = type { i32, i32 }
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local i32 @test(%struct.s* %arg1, %struct.t* %arg2) local_unnamed_addr #0 !dbg !7 { define dso_local i32 @test(%struct.s* %arg1, %struct.t* %arg2) local_unnamed_addr #0 !dbg !7 {
entry: entry:
call void @llvm.dbg.value(metadata %struct.s* %arg1, metadata !22, metadata !DIExpression()), !dbg !24 call void @llvm.dbg.value(metadata %struct.s* %arg1, metadata !22, metadata !DIExpression()), !dbg !24
call void @llvm.dbg.value(metadata %struct.t* %arg2, metadata !23, metadata !DIExpression()), !dbg !24 call void @llvm.dbg.value(metadata %struct.t* %arg2, metadata !23, metadata !DIExpression()), !dbg !24
%0 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.ss(%struct.s* %arg1, i32 1, i32 1), !dbg !25, !llvm.preserve.access.index !12 %0 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.ss(%struct.s* elementtype(%struct.s) %arg1, i32 1, i32 1), !dbg !25, !llvm.preserve.access.index !12
%1 = bitcast i32* %0 to i8*, !dbg !25 %1 = bitcast i32* %0 to i8*, !dbg !25
%2 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.ts(%struct.t* %arg2, i32 1, i32 1), !dbg !26, !llvm.preserve.access.index !17 %2 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.ts(%struct.t* elementtype(%struct.t) %arg2, i32 1, i32 1), !dbg !26, !llvm.preserve.access.index !17
%3 = bitcast i32* %2 to i8*, !dbg !26 %3 = bitcast i32* %2 to i8*, !dbg !26
%call = tail call i32 @get_value(i8* %1, i8* %3) #4, !dbg !27 %call = tail call i32 @get_value(i8* %1, i8* %3) #4, !dbg !27
ret i32 %call, !dbg !28 ret i32 %call, !dbg !28
} }
; CHECK: .section .BTF,"",@progbits ; CHECK: .section .BTF,"",@progbits
; CHECK: .ascii ".text" # string offset=[[SEC_INDEX:[0-9]+]] ; CHECK: .ascii ".text" # string offset=[[SEC_INDEX:[0-9]+]]
; CHECK-NEXT: .byte 0 ; CHECK-NEXT: .byte 0
▲ Show 20 Lines • Show All 65 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/offset-reloc-basic.ll

Show All 25 Lines
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local i32 @bpf_prog(%struct.sk_buff*) local_unnamed_addr #0 !dbg !15 { define dso_local i32 @bpf_prog(%struct.sk_buff*) local_unnamed_addr #0 !dbg !15 {
%2 = alloca %struct.net_device*, align 8 %2 = alloca %struct.net_device*, align 8
call void @llvm.dbg.value(metadata %struct.sk_buff* %0, metadata !26, metadata !DIExpression()), !dbg !28 call void @llvm.dbg.value(metadata %struct.sk_buff* %0, metadata !26, metadata !DIExpression()), !dbg !28
%3 = bitcast %struct.net_device** %2 to i8*, !dbg !29 %3 = bitcast %struct.net_device** %2 to i8*, !dbg !29
call void @llvm.lifetime.start.p0i8(i64 8, i8* nonnull %3) #4, !dbg !29 call void @llvm.lifetime.start.p0i8(i64 8, i8* nonnull %3) #4, !dbg !29
call void @llvm.dbg.value(metadata %struct.net_device* null, metadata !27, metadata !DIExpression()), !dbg !28 call void @llvm.dbg.value(metadata %struct.net_device* null, metadata !27, metadata !DIExpression()), !dbg !28
store %struct.net_device* null, %struct.net_device** %2, align 8, !dbg !30, !tbaa !31 store %struct.net_device* null, %struct.net_device** %2, align 8, !dbg !30, !tbaa !31
%4 = tail call %struct.net_device** @llvm.preserve.struct.access.index.p0p0s_struct.net_devices.p0s_struct.sk_buffs(%struct.sk_buff* %0, i32 1, i32 1), !dbg !35, !llvm.preserve.access.index !19 %4 = tail call %struct.net_device** @llvm.preserve.struct.access.index.p0p0s_struct.net_devices.p0s_struct.sk_buffs(%struct.sk_buff* elementtype(%struct.sk_buff) %0, i32 1, i32 1), !dbg !35, !llvm.preserve.access.index !19
%5 = bitcast %struct.net_device** %4 to i8*, !dbg !35 %5 = bitcast %struct.net_device** %4 to i8*, !dbg !35
%6 = call i32 inttoptr (i64 4 to i32 (i8*, i32, i8*)*)(i8* nonnull %3, i32 8, i8* %5) #4, !dbg !36 %6 = call i32 inttoptr (i64 4 to i32 (i8*, i32, i8*)*)(i8* nonnull %3, i32 8, i8* %5) #4, !dbg !36
%7 = load %struct.net_device*, %struct.net_device** %2, align 8, !dbg !37, !tbaa !31 %7 = load %struct.net_device*, %struct.net_device** %2, align 8, !dbg !37, !tbaa !31
call void @llvm.dbg.value(metadata %struct.net_device* %7, metadata !27, metadata !DIExpression()), !dbg !28 call void @llvm.dbg.value(metadata %struct.net_device* %7, metadata !27, metadata !DIExpression()), !dbg !28
%8 = icmp ne %struct.net_device* %7, null, !dbg !38 %8 = icmp ne %struct.net_device* %7, null, !dbg !38
%9 = zext i1 %8 to i32, !dbg !38 %9 = zext i1 %8 to i32, !dbg !38
call void @llvm.lifetime.end.p0i8(i64 8, i8* nonnull %3) #4, !dbg !39 call void @llvm.lifetime.end.p0i8(i64 8, i8* nonnull %3) #4, !dbg !39
ret i32 %9, !dbg !40 ret i32 %9, !dbg !40
▲ Show 20 Lines • Show All 146 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/offset-reloc-cast-array-1.ll

Show All 18 Lines
%struct.v3 = type { i8, [100 x i32] } %struct.v3 = type { i8, [100 x i32] }
%struct.v1 = type { i32, i32 } %struct.v1 = type { i32, i32 }
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local i32 @test(%struct.v3* %arg) local_unnamed_addr #0 !dbg !22 { define dso_local i32 @test(%struct.v3* %arg) local_unnamed_addr #0 !dbg !22 {
entry: entry:
call void @llvm.dbg.value(metadata %struct.v3* %arg, metadata !32, metadata !DIExpression()), !dbg !33 call void @llvm.dbg.value(metadata %struct.v3* %arg, metadata !32, metadata !DIExpression()), !dbg !33
%0 = tail call [100 x i32]* @llvm.preserve.struct.access.index.p0a100i32.p0s_struct.v3s(%struct.v3* %arg, i32 1, i32 1), !dbg !34, !llvm.preserve.access.index !26 %0 = tail call [100 x i32]* @llvm.preserve.struct.access.index.p0a100i32.p0s_struct.v3s(%struct.v3* elementtype(%struct.v3) %arg, i32 1, i32 1), !dbg !34, !llvm.preserve.access.index !26
%1 = tail call i32* @llvm.preserve.array.access.index.p0i32.p0a100i32([100 x i32]* %0, i32 1, i32 0), !dbg !34, !llvm.preserve.access.index !15 %1 = tail call i32* @llvm.preserve.array.access.index.p0i32.p0a100i32([100 x i32]* elementtype([100 x i32]) %0, i32 1, i32 0), !dbg !34, !llvm.preserve.access.index !15
%2 = bitcast i32* %1 to [4 x %struct.v1]*, !dbg !34 %2 = bitcast i32* %1 to [4 x %struct.v1]*, !dbg !34
%3 = tail call [4 x %struct.v1]* @llvm.preserve.array.access.index.p0a4s_struct.v1s.p0a4s_struct.v1s([4 x %struct.v1]* %2, i32 0, i32 0), !dbg !34, !llvm.preserve.access.index !4 %3 = tail call [4 x %struct.v1]* @llvm.preserve.array.access.index.p0a4s_struct.v1s.p0a4s_struct.v1s([4 x %struct.v1]* elementtype([4 x %struct.v1]) %2, i32 0, i32 0), !dbg !34, !llvm.preserve.access.index !4
%4 = tail call %struct.v1* @llvm.preserve.array.access.index.p0s_struct.v1s.p0a4s_struct.v1s([4 x %struct.v1]* %3, i32 1, i32 2), !dbg !34, !llvm.preserve.access.index !5 %4 = tail call %struct.v1* @llvm.preserve.array.access.index.p0s_struct.v1s.p0a4s_struct.v1s([4 x %struct.v1]* elementtype([4 x %struct.v1]) %3, i32 1, i32 2), !dbg !34, !llvm.preserve.access.index !5
%5 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.v1s(%struct.v1* %4, i32 1, i32 1), !dbg !34, !llvm.preserve.access.index !8 %5 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.v1s(%struct.v1* elementtype(%struct.v1) %4, i32 1, i32 1), !dbg !34, !llvm.preserve.access.index !8
%call = tail call i32 @get_value(i32* %5) #4, !dbg !35 %call = tail call i32 @get_value(i32* %5) #4, !dbg !35
ret i32 %call, !dbg !36 ret i32 %call, !dbg !36
} }
; CHECK: r2 = 4 ; CHECK: r2 = 4
; CHECK: r1 += r2 ; CHECK: r1 += r2
; CHECK: r2 = 20 ; CHECK: r2 = 20
; CHECK: r1 += r2 ; CHECK: r1 += r2
▲ Show 20 Lines • Show All 89 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/offset-reloc-cast-array-2.ll

Show All 18 Lines
%struct.v3 = type { i8, [100 x i32] } %struct.v3 = type { i8, [100 x i32] }
%struct.v1 = type { i32, i32 } %struct.v1 = type { i32, i32 }
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local i32 @test(%struct.v3* %arg) local_unnamed_addr #0 !dbg !24 { define dso_local i32 @test(%struct.v3* %arg) local_unnamed_addr #0 !dbg !24 {
entry: entry:
call void @llvm.dbg.value(metadata %struct.v3* %arg, metadata !34, metadata !DIExpression()), !dbg !35 call void @llvm.dbg.value(metadata %struct.v3* %arg, metadata !34, metadata !DIExpression()), !dbg !35
%0 = tail call [100 x i32]* @llvm.preserve.struct.access.index.p0a100i32.p0s_struct.v3s(%struct.v3* %arg, i32 1, i32 1), !dbg !36, !llvm.preserve.access.index !28 %0 = tail call [100 x i32]* @llvm.preserve.struct.access.index.p0a100i32.p0s_struct.v3s(%struct.v3* elementtype(%struct.v3) %arg, i32 1, i32 1), !dbg !36, !llvm.preserve.access.index !28
%1 = tail call i32* @llvm.preserve.array.access.index.p0i32.p0a100i32([100 x i32]* %0, i32 1, i32 0), !dbg !36, !llvm.preserve.access.index !15 %1 = tail call i32* @llvm.preserve.array.access.index.p0i32.p0a100i32([100 x i32]* elementtype([100 x i32]) %0, i32 1, i32 0), !dbg !36, !llvm.preserve.access.index !15
%2 = bitcast i32* %1 to [4 x [4 x %struct.v1]]*, !dbg !36 %2 = bitcast i32* %1 to [4 x [4 x %struct.v1]]*, !dbg !36
%3 = tail call [4 x [4 x %struct.v1]]* @llvm.preserve.array.access.index.p0a4a4s_struct.v1s.p0a4a4s_struct.v1s([4 x [4 x %struct.v1]]* %2, i32 0, i32 0), !dbg !36, !llvm.preserve.access.index !4 %3 = tail call [4 x [4 x %struct.v1]]* @llvm.preserve.array.access.index.p0a4a4s_struct.v1s.p0a4a4s_struct.v1s([4 x [4 x %struct.v1]]* elementtype([4 x [4 x %struct.v1]]) %2, i32 0, i32 0), !dbg !36, !llvm.preserve.access.index !4
%4 = tail call [4 x %struct.v1]* @llvm.preserve.array.access.index.p0a4s_struct.v1s.p0a4a4s_struct.v1s([4 x [4 x %struct.v1]]* %3, i32 1, i32 2), !dbg !36, !llvm.preserve.access.index !5 %4 = tail call [4 x %struct.v1]* @llvm.preserve.array.access.index.p0a4s_struct.v1s.p0a4a4s_struct.v1s([4 x [4 x %struct.v1]]* elementtype([4 x [4 x %struct.v1]]) %3, i32 1, i32 2), !dbg !36, !llvm.preserve.access.index !5
%5 = tail call %struct.v1* @llvm.preserve.array.access.index.p0s_struct.v1s.p0a4s_struct.v1s([4 x %struct.v1]* %4, i32 1, i32 3), !dbg !36, !llvm.preserve.access.index !18 %5 = tail call %struct.v1* @llvm.preserve.array.access.index.p0s_struct.v1s.p0a4s_struct.v1s([4 x %struct.v1]* elementtype([4 x %struct.v1]) %4, i32 1, i32 3), !dbg !36, !llvm.preserve.access.index !18
%6 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.v1s(%struct.v1* %5, i32 1, i32 1), !dbg !36, !llvm.preserve.access.index !8 %6 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.v1s(%struct.v1* elementtype(%struct.v1) %5, i32 1, i32 1), !dbg !36, !llvm.preserve.access.index !8
%call = tail call i32 @get_value(i32* %6) #4, !dbg !37 %call = tail call i32 @get_value(i32* %6) #4, !dbg !37
ret i32 %call, !dbg !38 ret i32 %call, !dbg !38
} }
; CHECK: r2 = 4 ; CHECK: r2 = 4
; CHECK: r1 += r2 ; CHECK: r1 += r2
; CHECK: r2 = 92 ; CHECK: r2 = 92
; CHECK: r1 += r2 ; CHECK: r1 += r2
▲ Show 20 Lines • Show All 95 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/offset-reloc-cast-struct-1.ll

Show All 18 Lines
%struct.v3 = type { i8, %struct.v2 } %struct.v3 = type { i8, %struct.v2 }
%struct.v2 = type { i32, i32 } %struct.v2 = type { i32, i32 }
%struct.v1 = type { i32, i32 } %struct.v1 = type { i32, i32 }
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local i32 @test(%struct.v3* %arg) local_unnamed_addr #0 !dbg !14 { define dso_local i32 @test(%struct.v3* %arg) local_unnamed_addr #0 !dbg !14 {
entry: entry:
call void @llvm.dbg.value(metadata %struct.v3* %arg, metadata !28, metadata !DIExpression()), !dbg !29 call void @llvm.dbg.value(metadata %struct.v3* %arg, metadata !28, metadata !DIExpression()), !dbg !29
%0 = tail call %struct.v2* @llvm.preserve.struct.access.index.p0s_struct.v2s.p0s_struct.v3s(%struct.v3* %arg, i32 1, i32 1), !dbg !30, !llvm.preserve.access.index !18 %0 = tail call %struct.v2* @llvm.preserve.struct.access.index.p0s_struct.v2s.p0s_struct.v3s(%struct.v3* elementtype(%struct.v3) %arg, i32 1, i32 1), !dbg !30, !llvm.preserve.access.index !18
%1 = bitcast %struct.v2* %0 to %struct.v1*, !dbg !30 %1 = bitcast %struct.v2* %0 to %struct.v1*, !dbg !30
%2 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.v1s(%struct.v1* %1, i32 1, i32 1), !dbg !30, !llvm.preserve.access.index !5 %2 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.v1s(%struct.v1* elementtype(%struct.v1) %1, i32 1, i32 1), !dbg !30, !llvm.preserve.access.index !5
%call = tail call i32 @get_value(i32* %2) #4, !dbg !31 %call = tail call i32 @get_value(i32* %2) #4, !dbg !31
ret i32 %call, !dbg !32 ret i32 %call, !dbg !32
} }
; CHECK: r2 = 4 ; CHECK: r2 = 4
; CHECK: r1 += r2 ; CHECK: r1 += r2
; CHECK: r2 = 4 ; CHECK: r2 = 4
; CHECK: r1 += r2 ; CHECK: r1 += r2
▲ Show 20 Lines • Show All 80 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/offset-reloc-cast-struct-2.ll

Show All 21 Lines
%struct.v3 = type { i8, %struct.v2 } %struct.v3 = type { i8, %struct.v2 }
%struct.v2 = type { i32, i32 } %struct.v2 = type { i32, i32 }
%struct.v1 = type { i32, i32 } %struct.v1 = type { i32, i32 }
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local i32 @test(%struct.v3* %arg) local_unnamed_addr #0 !dbg !15 { define dso_local i32 @test(%struct.v3* %arg) local_unnamed_addr #0 !dbg !15 {
entry: entry:
call void @llvm.dbg.value(metadata %struct.v3* %arg, metadata !33, metadata !DIExpression()), !dbg !34 call void @llvm.dbg.value(metadata %struct.v3* %arg, metadata !33, metadata !DIExpression()), !dbg !34
%0 = tail call %struct.v2* @llvm.preserve.struct.access.index.p0s_struct.v2s.p0s_struct.v3s(%struct.v3* %arg, i32 1, i32 1), !dbg !35, !llvm.preserve.access.index !20 %0 = tail call %struct.v2* @llvm.preserve.struct.access.index.p0s_struct.v2s.p0s_struct.v3s(%struct.v3* elementtype(%struct.v3) %arg, i32 1, i32 1), !dbg !35, !llvm.preserve.access.index !20
%1 = bitcast %struct.v2* %0 to %struct.v1*, !dbg !35 %1 = bitcast %struct.v2* %0 to %struct.v1*, !dbg !35
%2 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.v1s(%struct.v1* %1, i32 1, i32 1), !dbg !35, !llvm.preserve.access.index !6 %2 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.v1s(%struct.v1* elementtype(%struct.v1) %1, i32 1, i32 1), !dbg !35, !llvm.preserve.access.index !6
%call = tail call i32 @get_value(i32* %2) #4, !dbg !36 %call = tail call i32 @get_value(i32* %2) #4, !dbg !36
ret i32 %call, !dbg !37 ret i32 %call, !dbg !37
} }
; CHECK: r2 = 4 ; CHECK: r2 = 4
; CHECK: r1 += r2 ; CHECK: r1 += r2
; CHECK: r2 = 4 ; CHECK: r2 = 4
; CHECK: r1 += r2 ; CHECK: r1 += r2
▲ Show 20 Lines • Show All 82 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/offset-reloc-cast-struct-3.ll

Show All 19 Lines
%struct.v3 = type { i8, [40 x i32] } %struct.v3 = type { i8, [40 x i32] }
%struct.v1 = type { i32, i32 } %struct.v1 = type { i32, i32 }
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local i32 @test(%struct.v3* %arg) local_unnamed_addr #0 !dbg !19 { define dso_local i32 @test(%struct.v3* %arg) local_unnamed_addr #0 !dbg !19 {
entry: entry:
call void @llvm.dbg.value(metadata %struct.v3* %arg, metadata !30, metadata !DIExpression()), !dbg !31 call void @llvm.dbg.value(metadata %struct.v3* %arg, metadata !30, metadata !DIExpression()), !dbg !31
%0 = tail call [40 x i32]* @llvm.preserve.struct.access.index.p0a40i32.p0s_struct.v3s(%struct.v3* %arg, i32 1, i32 1), !dbg !32, !llvm.preserve.access.index !24 %0 = tail call [40 x i32]* @llvm.preserve.struct.access.index.p0a40i32.p0s_struct.v3s(%struct.v3* elementtype(%struct.v3) %arg, i32 1, i32 1), !dbg !32, !llvm.preserve.access.index !24
%1 = tail call i32* @llvm.preserve.array.access.index.p0i32.p0a40i32([40 x i32]* %0, i32 1, i32 4), !dbg !32, !llvm.preserve.access.index !11 %1 = tail call i32* @llvm.preserve.array.access.index.p0i32.p0a40i32([40 x i32]* elementtype([40 x i32]) %0, i32 1, i32 4), !dbg !32, !llvm.preserve.access.index !11
%2 = bitcast i32* %1 to %struct.v1*, !dbg !32 %2 = bitcast i32* %1 to %struct.v1*, !dbg !32
%3 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.v1s(%struct.v1* %2, i32 1, i32 1), !dbg !32, !llvm.preserve.access.index !6 %3 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.v1s(%struct.v1* elementtype(%struct.v1) %2, i32 1, i32 1), !dbg !32, !llvm.preserve.access.index !6
%call = tail call i32 @get_value(i32* %3) #4, !dbg !33 %call = tail call i32 @get_value(i32* %3) #4, !dbg !33
ret i32 %call, !dbg !34 ret i32 %call, !dbg !34
} }
; CHECK: r2 = 20 ; CHECK: r2 = 20
; CHECK: r1 += r2 ; CHECK: r1 += r2
; CHECK: r2 = 4 ; CHECK: r2 = 4
; CHECK: r1 += r2 ; CHECK: r1 += r2
▲ Show 20 Lines • Show All 82 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/offset-reloc-cast-union-2.ll

Show All 21 Lines
%union.v1 = type { i32 } %union.v1 = type { i32 }
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local i32 @test(%union.v3* %arg) local_unnamed_addr #0 !dbg !19 { define dso_local i32 @test(%union.v3* %arg) local_unnamed_addr #0 !dbg !19 {
entry: entry:
call void @llvm.dbg.value(metadata %union.v3* %arg, metadata !30, metadata !DIExpression()), !dbg !31 call void @llvm.dbg.value(metadata %union.v3* %arg, metadata !30, metadata !DIExpression()), !dbg !31
%0 = tail call %union.v3* @llvm.preserve.union.access.index.p0s_union.v3s.p0s_union.v3s(%union.v3* %arg, i32 1), !dbg !32, !llvm.preserve.access.index !24 %0 = tail call %union.v3* @llvm.preserve.union.access.index.p0s_union.v3s.p0s_union.v3s(%union.v3* %arg, i32 1), !dbg !32, !llvm.preserve.access.index !24
%d = getelementptr inbounds %union.v3, %union.v3* %0, i64 0, i32 0, !dbg !32 %d = getelementptr inbounds %union.v3, %union.v3* %0, i64 0, i32 0, !dbg !32
%1 = tail call i32* @llvm.preserve.array.access.index.p0i32.p0a40i32([40 x i32]* %d, i32 1, i32 4), !dbg !32, !llvm.preserve.access.index !11 %1 = tail call i32* @llvm.preserve.array.access.index.p0i32.p0a40i32([40 x i32]* elementtype([40 x i32]) %d, i32 1, i32 4), !dbg !32, !llvm.preserve.access.index !11
%2 = bitcast i32* %1 to %union.v1*, !dbg !32 %2 = bitcast i32* %1 to %union.v1*, !dbg !32
%3 = tail call %union.v1* @llvm.preserve.union.access.index.p0s_union.v1s.p0s_union.v1s(%union.v1* %2, i32 1), !dbg !32, !llvm.preserve.access.index !6 %3 = tail call %union.v1* @llvm.preserve.union.access.index.p0s_union.v1s.p0s_union.v1s(%union.v1* %2, i32 1), !dbg !32, !llvm.preserve.access.index !6
%b = getelementptr inbounds %union.v1, %union.v1* %3, i64 0, i32 0, !dbg !32 %b = getelementptr inbounds %union.v1, %union.v1* %3, i64 0, i32 0, !dbg !32
%call = tail call i32 @get_value(i32* %b) #4, !dbg !33 %call = tail call i32 @get_value(i32* %b) #4, !dbg !33
ret i32 %call, !dbg !34 ret i32 %call, !dbg !34
} }
; CHECK: r2 = 16 ; CHECK: r2 = 16
▲ Show 20 Lines • Show All 85 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/offset-reloc-end-load.ll

Show All 11 Lines
target triple = "bpf" target triple = "bpf"
%struct.s = type { i32, i32 } %struct.s = type { i32, i32 }
; Function Attrs: nounwind readonly ; Function Attrs: nounwind readonly
define dso_local i32 @test(%struct.s* readonly %arg) local_unnamed_addr #0 !dbg !11 { define dso_local i32 @test(%struct.s* readonly %arg) local_unnamed_addr #0 !dbg !11 {
entry: entry:
call void @llvm.dbg.value(metadata %struct.s* %arg, metadata !20, metadata !DIExpression()), !dbg !21 call void @llvm.dbg.value(metadata %struct.s* %arg, metadata !20, metadata !DIExpression()), !dbg !21
%0 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.ss(%struct.s* %arg, i32 1, i32 1), !dbg !22, !llvm.preserve.access.index !15 %0 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.ss(%struct.s* elementtype(%struct.s) %arg, i32 1, i32 1), !dbg !22, !llvm.preserve.access.index !15
%1 = load i32, i32* %0, align 4, !dbg !23, !tbaa !24 %1 = load i32, i32* %0, align 4, !dbg !23, !tbaa !24
ret i32 %1, !dbg !28 ret i32 %1, !dbg !28
} }
; CHECK-LABEL: test ; CHECK-LABEL: test
; CHECK-ALU64: r0 = *(u32 *)(r1 + 4) ; CHECK-ALU64: r0 = *(u32 *)(r1 + 4)
; CHECK-ALU32: w0 = *(u32 *)(r1 + 4) ; CHECK-ALU32: w0 = *(u32 *)(r1 + 4)
; CHECK: exit ; CHECK: exit
▲ Show 20 Lines • Show All 58 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/offset-reloc-end-ret.ll

Show All 11 Lines
target triple = "bpf" target triple = "bpf"
%struct.s = type { i32, i32 } %struct.s = type { i32, i32 }
; Function Attrs: nounwind readnone ; Function Attrs: nounwind readnone
define dso_local i8* @test(%struct.s* readnone %arg) local_unnamed_addr #0 !dbg !7 { define dso_local i8* @test(%struct.s* readnone %arg) local_unnamed_addr #0 !dbg !7 {
entry: entry:
call void @llvm.dbg.value(metadata %struct.s* %arg, metadata !19, metadata !DIExpression()), !dbg !20 call void @llvm.dbg.value(metadata %struct.s* %arg, metadata !19, metadata !DIExpression()), !dbg !20
%0 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.ss(%struct.s* %arg, i32 1, i32 1), !dbg !21, !llvm.preserve.access.index !13 %0 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.ss(%struct.s* elementtype(%struct.s) %arg, i32 1, i32 1), !dbg !21, !llvm.preserve.access.index !13
%1 = bitcast i32* %0 to i8*, !dbg !21 %1 = bitcast i32* %0 to i8*, !dbg !21
ret i8* %1, !dbg !22 ret i8* %1, !dbg !22
} }
; CHECK-LABEL: test ; CHECK-LABEL: test
; CHECK: r0 = r1 ; CHECK: r0 = r1
; CHECK: r1 = 4 ; CHECK: r1 = 4
; CHECK: r0 += r1 ; CHECK: r0 += r1
▲ Show 20 Lines • Show All 53 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/offset-reloc-fieldinfo-1.ll

Show All 40 Lines
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local i32 @field_read(%struct.s* %arg) local_unnamed_addr #0 !dbg !20 { define dso_local i32 @field_read(%struct.s* %arg) local_unnamed_addr #0 !dbg !20 {
entry: entry:
%ull = alloca i64, align 8 %ull = alloca i64, align 8
call void @llvm.dbg.value(metadata %struct.s* %arg, metadata !31, metadata !DIExpression()), !dbg !37 call void @llvm.dbg.value(metadata %struct.s* %arg, metadata !31, metadata !DIExpression()), !dbg !37
%0 = bitcast i64* %ull to i8*, !dbg !38 %0 = bitcast i64* %ull to i8*, !dbg !38
call void @llvm.lifetime.start.p0i8(i64 8, i8* nonnull %0) #5, !dbg !38 call void @llvm.lifetime.start.p0i8(i64 8, i8* nonnull %0) #5, !dbg !38
%1 = tail call i16* @llvm.preserve.struct.access.index.p0i16.p0s_struct.ss(%struct.s* %arg, i32 1, i32 2), !dbg !39, !llvm.preserve.access.index !25 %1 = tail call i16* @llvm.preserve.struct.access.index.p0i16.p0s_struct.ss(%struct.s* elementtype(%struct.s) %arg, i32 1, i32 2), !dbg !39, !llvm.preserve.access.index !25
%2 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %1, i64 0), !dbg !40 %2 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %1, i64 0), !dbg !40
call void @llvm.dbg.value(metadata i32 %2, metadata !34, metadata !DIExpression()), !dbg !37 call void @llvm.dbg.value(metadata i32 %2, metadata !34, metadata !DIExpression()), !dbg !37
%3 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %1, i64 1), !dbg !41 %3 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %1, i64 1), !dbg !41
call void @llvm.dbg.value(metadata i32 %3, metadata !35, metadata !DIExpression()), !dbg !37 call void @llvm.dbg.value(metadata i32 %3, metadata !35, metadata !DIExpression()), !dbg !37
%4 = bitcast %struct.s* %arg to i8*, !dbg !42 %4 = bitcast %struct.s* %arg to i8*, !dbg !42
%idx.ext = zext i32 %2 to i64, !dbg !43 %idx.ext = zext i32 %2 to i64, !dbg !43
%add.ptr = getelementptr i8, i8* %4, i64 %idx.ext, !dbg !43 %add.ptr = getelementptr i8, i8* %4, i64 %idx.ext, !dbg !43
call void @bpf_probe_read(i8* nonnull %0, i32 %3, i8* %add.ptr) #5, !dbg !44 call void @bpf_probe_read(i8* nonnull %0, i32 %3, i8* %add.ptr) #5, !dbg !44
▲ Show 20 Lines • Show All 143 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/offset-reloc-fieldinfo-2-bpfeb.ll

Show All 39 Lines
target triple = "bpfeb" target triple = "bpfeb"
%struct.s = type { i32, i16 } %struct.s = type { i32, i16 }
; Function Attrs: nounwind readonly ; Function Attrs: nounwind readonly
define dso_local i32 @field_read(%struct.s* %arg) local_unnamed_addr #0 !dbg !26 { define dso_local i32 @field_read(%struct.s* %arg) local_unnamed_addr #0 !dbg !26 {
entry: entry:
call void @llvm.dbg.value(metadata %struct.s* %arg, metadata !37, metadata !DIExpression()), !dbg !41 call void @llvm.dbg.value(metadata %struct.s* %arg, metadata !37, metadata !DIExpression()), !dbg !41
%0 = tail call i16* @llvm.preserve.struct.access.index.p0i16.p0s_struct.ss(%struct.s* %arg, i32 1, i32 2), !dbg !42, !llvm.preserve.access.index !31 %0 = tail call i16* @llvm.preserve.struct.access.index.p0i16.p0s_struct.ss(%struct.s* elementtype(%struct.s) %arg, i32 1, i32 2), !dbg !42, !llvm.preserve.access.index !31
%1 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %0, i64 0), !dbg !43 %1 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %0, i64 0), !dbg !43
call void @llvm.dbg.value(metadata i32 %1, metadata !39, metadata !DIExpression()), !dbg !41 call void @llvm.dbg.value(metadata i32 %1, metadata !39, metadata !DIExpression()), !dbg !41
%2 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %0, i64 1), !dbg !44 %2 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %0, i64 1), !dbg !44
call void @llvm.dbg.value(metadata i32 %2, metadata !40, metadata !DIExpression()), !dbg !41 call void @llvm.dbg.value(metadata i32 %2, metadata !40, metadata !DIExpression()), !dbg !41
switch i32 %2, label %sw.epilog [ switch i32 %2, label %sw.epilog [
i32 1, label %sw.bb i32 1, label %sw.bb
i32 2, label %sw.bb1 i32 2, label %sw.bb1
i32 4, label %sw.bb5 i32 4, label %sw.bb5
▲ Show 20 Lines • Show All 207 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/offset-reloc-fieldinfo-2.ll

Show All 39 Lines
target triple = "bpfel" target triple = "bpfel"
%struct.s = type { i32, i16 } %struct.s = type { i32, i16 }
; Function Attrs: nounwind readonly ; Function Attrs: nounwind readonly
define dso_local i32 @field_read(%struct.s* %arg) local_unnamed_addr #0 !dbg !26 { define dso_local i32 @field_read(%struct.s* %arg) local_unnamed_addr #0 !dbg !26 {
entry: entry:
call void @llvm.dbg.value(metadata %struct.s* %arg, metadata !37, metadata !DIExpression()), !dbg !41 call void @llvm.dbg.value(metadata %struct.s* %arg, metadata !37, metadata !DIExpression()), !dbg !41
%0 = tail call i16* @llvm.preserve.struct.access.index.p0i16.p0s_struct.ss(%struct.s* %arg, i32 1, i32 2), !dbg !42, !llvm.preserve.access.index !31 %0 = tail call i16* @llvm.preserve.struct.access.index.p0i16.p0s_struct.ss(%struct.s* elementtype(%struct.s) %arg, i32 1, i32 2), !dbg !42, !llvm.preserve.access.index !31
%1 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %0, i64 0), !dbg !43 %1 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %0, i64 0), !dbg !43
call void @llvm.dbg.value(metadata i32 %1, metadata !39, metadata !DIExpression()), !dbg !41 call void @llvm.dbg.value(metadata i32 %1, metadata !39, metadata !DIExpression()), !dbg !41
%2 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %0, i64 1), !dbg !44 %2 = tail call i32 @llvm.bpf.preserve.field.info.p0i16(i16* %0, i64 1), !dbg !44
call void @llvm.dbg.value(metadata i32 %2, metadata !40, metadata !DIExpression()), !dbg !41 call void @llvm.dbg.value(metadata i32 %2, metadata !40, metadata !DIExpression()), !dbg !41
switch i32 %2, label %sw.epilog [ switch i32 %2, label %sw.epilog [
i32 1, label %sw.bb i32 1, label %sw.bb
i32 2, label %sw.bb1 i32 2, label %sw.bb1
i32 4, label %sw.bb5 i32 4, label %sw.bb5
▲ Show 20 Lines • Show All 207 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/offset-reloc-global-1.ll

Show All 15 Lines
%struct.v3 = type { i32, i32 } %struct.v3 = type { i32, i32 }
@g = dso_local global %struct.v3 zeroinitializer, section "stats", align 4, !dbg !0 @g = dso_local global %struct.v3 zeroinitializer, section "stats", align 4, !dbg !0
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local i32 @test() local_unnamed_addr #0 !dbg !16 { define dso_local i32 @test() local_unnamed_addr #0 !dbg !16 {
entry: entry:
%0 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.v3s(%struct.v3* nonnull @g, i32 1, i32 1), !dbg !19, !llvm.preserve.access.index !7 %0 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.v3s(%struct.v3* elementtype(%struct.v3) nonnull @g, i32 1, i32 1), !dbg !19, !llvm.preserve.access.index !7
%call = tail call i32 @get_value(i32* %0) #3, !dbg !20 %call = tail call i32 @get_value(i32* %0) #3, !dbg !20
ret i32 %call, !dbg !21 ret i32 %call, !dbg !21
} }
; CHECK: r2 = 4 ; CHECK: r2 = 4
; CHECK: r1 = g ll ; CHECK: r1 = g ll
; CHECK: r1 += r2 ; CHECK: r1 += r2
; CHECK: call get_value ; CHECK: call get_value
▲ Show 20 Lines • Show All 51 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/offset-reloc-global-2.ll

Show All 15 Lines
%struct.v3 = type { i32, i32 } %struct.v3 = type { i32, i32 }
@g = dso_local global [4 x [5 x %struct.v3]] zeroinitializer, section "stats", align 4, !dbg !0 @g = dso_local global [4 x [5 x %struct.v3]] zeroinitializer, section "stats", align 4, !dbg !0
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local i32 @test() local_unnamed_addr #0 !dbg !23 { define dso_local i32 @test() local_unnamed_addr #0 !dbg !23 {
entry: entry:
%0 = tail call [5 x %struct.v3]* @llvm.preserve.array.access.index.p0a5s_struct.v3s.p0a4a5s_struct.v3s([4 x [5 x %struct.v3]]* nonnull @g, i32 1, i32 1), !dbg !26, !llvm.preserve.access.index !6 %0 = tail call [5 x %struct.v3]* @llvm.preserve.array.access.index.p0a5s_struct.v3s.p0a4a5s_struct.v3s([4 x [5 x %struct.v3]]* elementtype([4 x [5 x %struct.v3]]) nonnull @g, i32 1, i32 1), !dbg !26, !llvm.preserve.access.index !6
%1 = tail call %struct.v3* @llvm.preserve.array.access.index.p0s_struct.v3s.p0a5s_struct.v3s([5 x %struct.v3]* %0, i32 1, i32 2), !dbg !26, !llvm.preserve.access.index !16 %1 = tail call %struct.v3* @llvm.preserve.array.access.index.p0s_struct.v3s.p0a5s_struct.v3s([5 x %struct.v3]* elementtype([5 x %struct.v3]) %0, i32 1, i32 2), !dbg !26, !llvm.preserve.access.index !16
%2 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.v3s(%struct.v3* %1, i32 1, i32 1), !dbg !26, !llvm.preserve.access.index !8 %2 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.v3s(%struct.v3* elementtype(%struct.v3) %1, i32 1, i32 1), !dbg !26, !llvm.preserve.access.index !8
%call = tail call i32 @get_value(i32* %2) #3, !dbg !27 %call = tail call i32 @get_value(i32* %2) #3, !dbg !27
ret i32 %call, !dbg !28 ret i32 %call, !dbg !28
} }
; CHECK: r2 = 60 ; CHECK: r2 = 60
; CHECK: r1 = g ll ; CHECK: r1 = g ll
; CHECK: r1 += r2 ; CHECK: r1 += r2
; CHECK: call get_value ; CHECK: call get_value
▲ Show 20 Lines • Show All 65 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/offset-reloc-global-3.ll

Show All 16 Lines
%struct.v3 = type { i32, i32 } %struct.v3 = type { i32, i32 }
@g = dso_local local_unnamed_addr global %struct.v3* null, section "stats", align 8, !dbg !0 @g = dso_local local_unnamed_addr global %struct.v3* null, section "stats", align 8, !dbg !0
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local i32 @test() local_unnamed_addr #0 !dbg !17 { define dso_local i32 @test() local_unnamed_addr #0 !dbg !17 {
entry: entry:
%0 = load %struct.v3*, %struct.v3** @g, align 8, !dbg !20, !tbaa !21 %0 = load %struct.v3*, %struct.v3** @g, align 8, !dbg !20, !tbaa !21
%1 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.v3s(%struct.v3* %0, i32 1, i32 1), !dbg !20, !llvm.preserve.access.index !8 %1 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.v3s(%struct.v3* elementtype(%struct.v3) %0, i32 1, i32 1), !dbg !20, !llvm.preserve.access.index !8
%call = tail call i32 @get_value(i32* %1) #3, !dbg !25 %call = tail call i32 @get_value(i32* %1) #3, !dbg !25
ret i32 %call, !dbg !26 ret i32 %call, !dbg !26
} }
; CHECK: r2 = 4 ; CHECK: r2 = 4
; CHECK: r1 += r2 ; CHECK: r1 += r2
; CHECK: call get_value ; CHECK: call get_value
▲ Show 20 Lines • Show All 55 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/offset-reloc-ignore.ll

Show All 10 Lines
; clang -target bpf -O2 -g -S -emit-llvm -Xclang -disable-llvm-passes test.c ; clang -target bpf -O2 -g -S -emit-llvm -Xclang -disable-llvm-passes test.c
target triple = "bpf" target triple = "bpf"
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local i32 @test(i32* %arg) local_unnamed_addr #0 !dbg !10 { define dso_local i32 @test(i32* %arg) local_unnamed_addr #0 !dbg !10 {
entry: entry:
call void @llvm.dbg.value(metadata i32* %arg, metadata !14, metadata !DIExpression()), !dbg !15 call void @llvm.dbg.value(metadata i32* %arg, metadata !14, metadata !DIExpression()), !dbg !15
%0 = tail call i32* @llvm.preserve.array.access.index.p0i32.p0i32(i32* %arg, i32 0, i32 4), !dbg !16, !llvm.preserve.access.index !4 %0 = tail call i32* @llvm.preserve.array.access.index.p0i32.p0i32(i32* elementtype(i32) %arg, i32 0, i32 4), !dbg !16, !llvm.preserve.access.index !4
%call = tail call i32 @get_value(i32* %0) #4, !dbg !17 %call = tail call i32 @get_value(i32* %0) #4, !dbg !17
ret i32 %call, !dbg !18 ret i32 %call, !dbg !18
} }
; CHECK: r1 += 16 ; CHECK: r1 += 16
; CHECK: call get_value ; CHECK: call get_value
; CHECK: .section .BTF.ext,"",@progbits ; CHECK: .section .BTF.ext,"",@progbits
; CHECK-NOT: .long 16 # FieldReloc ; CHECK-NOT: .long 16 # FieldReloc
Show All 38 Lines

llvm/test/CodeGen/BPF/CORE/offset-reloc-middle-chain.ll

Show All 26 Lines
%struct.r1 = type { %struct.s1 } %struct.r1 = type { %struct.s1 }
%struct.s1 = type { %struct.t1 } %struct.s1 = type { %struct.t1 }
%struct.t1 = type { i32 } %struct.t1 = type { i32 }
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local void @test(%struct.r1* %arg) local_unnamed_addr #0 !dbg !7 { define dso_local void @test(%struct.r1* %arg) local_unnamed_addr #0 !dbg !7 {
entry: entry:
call void @llvm.dbg.value(metadata %struct.r1* %arg, metadata !22, metadata !DIExpression()), !dbg !29 call void @llvm.dbg.value(metadata %struct.r1* %arg, metadata !22, metadata !DIExpression()), !dbg !29
%0 = tail call %struct.s1* @llvm.preserve.struct.access.index.p0s_struct.s1s.p0s_struct.r1s(%struct.r1* %arg, i32 0, i32 0), !dbg !30, !llvm.preserve.access.index !11 %0 = tail call %struct.s1* @llvm.preserve.struct.access.index.p0s_struct.s1s.p0s_struct.r1s(%struct.r1* elementtype(%struct.r1) %arg, i32 0, i32 0), !dbg !30, !llvm.preserve.access.index !11
call void @llvm.dbg.value(metadata %struct.s1* %0, metadata !23, metadata !DIExpression()), !dbg !29 call void @llvm.dbg.value(metadata %struct.s1* %0, metadata !23, metadata !DIExpression()), !dbg !29
%1 = tail call %struct.t1* @llvm.preserve.struct.access.index.p0s_struct.t1s.p0s_struct.s1s(%struct.s1* %0, i32 0, i32 0), !dbg !31, !llvm.preserve.access.index !14 %1 = tail call %struct.t1* @llvm.preserve.struct.access.index.p0s_struct.t1s.p0s_struct.s1s(%struct.s1* elementtype(%struct.s1) %0, i32 0, i32 0), !dbg !31, !llvm.preserve.access.index !14
call void @llvm.dbg.value(metadata %struct.t1* %1, metadata !25, metadata !DIExpression()), !dbg !29 call void @llvm.dbg.value(metadata %struct.t1* %1, metadata !25, metadata !DIExpression()), !dbg !29
%2 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.t1s(%struct.t1* %1, i32 0, i32 0), !dbg !32, !llvm.preserve.access.index !17 %2 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.t1s(%struct.t1* elementtype(%struct.t1) %1, i32 0, i32 0), !dbg !32, !llvm.preserve.access.index !17
call void @llvm.dbg.value(metadata i32* %2, metadata !27, metadata !DIExpression()), !dbg !29 call void @llvm.dbg.value(metadata i32* %2, metadata !27, metadata !DIExpression()), !dbg !29
%3 = bitcast %struct.s1* %0 to i8*, !dbg !33 %3 = bitcast %struct.s1* %0 to i8*, !dbg !33
%4 = bitcast %struct.t1* %1 to i8*, !dbg !34 %4 = bitcast %struct.t1* %1 to i8*, !dbg !34
%5 = bitcast i32* %2 to i8*, !dbg !35 %5 = bitcast i32* %2 to i8*, !dbg !35
tail call void @test1(i8* %3, i8* %4, i8* %5) #4, !dbg !36 tail call void @test1(i8* %3, i8* %4, i8* %5) #4, !dbg !36
ret void, !dbg !37 ret void, !dbg !37
} }
▲ Show 20 Lines • Show All 86 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/offset-reloc-multi-array-1.ll

Show All 14 Lines
target triple = "bpf" target triple = "bpf"
%struct.v3 = type { i32, [4 x [4 x i32]] } %struct.v3 = type { i32, [4 x [4 x i32]] }
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local i32 @test(%struct.v3* %arg) local_unnamed_addr #0 !dbg !21 { define dso_local i32 @test(%struct.v3* %arg) local_unnamed_addr #0 !dbg !21 {
entry: entry:
call void @llvm.dbg.value(metadata %struct.v3* %arg, metadata !25, metadata !DIExpression()), !dbg !26 call void @llvm.dbg.value(metadata %struct.v3* %arg, metadata !25, metadata !DIExpression()), !dbg !26
%0 = tail call %struct.v3* @llvm.preserve.array.access.index.p0s_struct.v3s.p0s_struct.v3s(%struct.v3* %arg, i32 0, i32 1), !dbg !27, !llvm.preserve.access.index !4 %0 = tail call %struct.v3* @llvm.preserve.array.access.index.p0s_struct.v3s.p0s_struct.v3s(%struct.v3* elementtype(%struct.v3) %arg, i32 0, i32 1), !dbg !27, !llvm.preserve.access.index !4
%1 = tail call [4 x [4 x i32]]* @llvm.preserve.struct.access.index.p0a4a4i32.p0s_struct.v3s(%struct.v3* %0, i32 1, i32 1), !dbg !27, !llvm.preserve.access.index !6 %1 = tail call [4 x [4 x i32]]* @llvm.preserve.struct.access.index.p0a4a4i32.p0s_struct.v3s(%struct.v3* elementtype(%struct.v3) %0, i32 1, i32 1), !dbg !27, !llvm.preserve.access.index !6
%2 = tail call [4 x i32]* @llvm.preserve.array.access.index.p0a4i32.p0a4a4i32([4 x [4 x i32]]* %1, i32 1, i32 2), !dbg !27, !llvm.preserve.access.index !11 %2 = tail call [4 x i32]* @llvm.preserve.array.access.index.p0a4i32.p0a4a4i32([4 x [4 x i32]]* elementtype([4 x [4 x i32]]) %1, i32 1, i32 2), !dbg !27, !llvm.preserve.access.index !11
%3 = tail call i32* @llvm.preserve.array.access.index.p0i32.p0a4i32([4 x i32]* %2, i32 1, i32 3), !dbg !27, !llvm.preserve.access.index !15 %3 = tail call i32* @llvm.preserve.array.access.index.p0i32.p0a4i32([4 x i32]* elementtype([4 x i32]) %2, i32 1, i32 3), !dbg !27, !llvm.preserve.access.index !15
%call = tail call i32 @get_value(i32* %3) #4, !dbg !28 %call = tail call i32 @get_value(i32* %3) #4, !dbg !28
ret i32 %call, !dbg !29 ret i32 %call, !dbg !29
} }
; CHECK: r2 = 116 ; CHECK: r2 = 116
; CHECK: r1 += r2 ; CHECK: r1 += r2
; CHECK: call get_value ; CHECK: call get_value
▲ Show 20 Lines • Show All 71 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/offset-reloc-multi-array-2.ll

Show All 14 Lines
target triple = "bpf" target triple = "bpf"
%struct.v3 = type { i32, [4 x [4 x [4 x i32]]] } %struct.v3 = type { i32, [4 x [4 x [4 x i32]]] }
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local i32 @test(%struct.v3* %arg) local_unnamed_addr #0 !dbg !23 { define dso_local i32 @test(%struct.v3* %arg) local_unnamed_addr #0 !dbg !23 {
entry: entry:
call void @llvm.dbg.value(metadata %struct.v3* %arg, metadata !27, metadata !DIExpression()), !dbg !28 call void @llvm.dbg.value(metadata %struct.v3* %arg, metadata !27, metadata !DIExpression()), !dbg !28
%0 = tail call %struct.v3* @llvm.preserve.array.access.index.p0s_struct.v3s.p0s_struct.v3s(%struct.v3* %arg, i32 0, i32 1), !dbg !29, !llvm.preserve.access.index !4 %0 = tail call %struct.v3* @llvm.preserve.array.access.index.p0s_struct.v3s.p0s_struct.v3s(%struct.v3* elementtype(%struct.v3) %arg, i32 0, i32 1), !dbg !29, !llvm.preserve.access.index !4
%1 = tail call [4 x [4 x [4 x i32]]]* @llvm.preserve.struct.access.index.p0a4a4a4i32.p0s_struct.v3s(%struct.v3* %0, i32 1, i32 1), !dbg !29, !llvm.preserve.access.index !6 %1 = tail call [4 x [4 x [4 x i32]]]* @llvm.preserve.struct.access.index.p0a4a4a4i32.p0s_struct.v3s(%struct.v3* elementtype(%struct.v3) %0, i32 1, i32 1), !dbg !29, !llvm.preserve.access.index !6
%2 = tail call [4 x [4 x i32]]* @llvm.preserve.array.access.index.p0a4a4i32.p0a4a4a4i32([4 x [4 x [4 x i32]]]* %1, i32 1, i32 2), !dbg !29, !llvm.preserve.access.index !11 %2 = tail call [4 x [4 x i32]]* @llvm.preserve.array.access.index.p0a4a4i32.p0a4a4a4i32([4 x [4 x [4 x i32]]]* elementtype([4 x [4 x [4 x i32]]]) %1, i32 1, i32 2), !dbg !29, !llvm.preserve.access.index !11
%3 = tail call [4 x i32]* @llvm.preserve.array.access.index.p0a4i32.p0a4a4i32([4 x [4 x i32]]* %2, i32 1, i32 3), !dbg !29, !llvm.preserve.access.index !15 %3 = tail call [4 x i32]* @llvm.preserve.array.access.index.p0a4i32.p0a4a4i32([4 x [4 x i32]]* elementtype([4 x [4 x i32]]) %2, i32 1, i32 3), !dbg !29, !llvm.preserve.access.index !15
%4 = tail call i32* @llvm.preserve.array.access.index.p0i32.p0a4i32([4 x i32]* %3, i32 1, i32 2), !dbg !29, !llvm.preserve.access.index !17 %4 = tail call i32* @llvm.preserve.array.access.index.p0i32.p0a4i32([4 x i32]* elementtype([4 x i32]) %3, i32 1, i32 2), !dbg !29, !llvm.preserve.access.index !17
%call = tail call i32 @get_value(i32* %4) #4, !dbg !30 %call = tail call i32 @get_value(i32* %4) #4, !dbg !30
ret i32 %call, !dbg !31 ret i32 %call, !dbg !31
} }
; CHECK: r2 = 448 ; CHECK: r2 = 448
; CHECK: r1 += r2 ; CHECK: r1 += r2
; CHECK: call get_value ; CHECK: call get_value
▲ Show 20 Lines • Show All 76 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/offset-reloc-multilevel.ll

Show All 27 Lines
%struct.net_device = type { i32, i32 } %struct.net_device = type { i32, i32 }
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local i32 @bpf_prog(%struct.sk_buff*) local_unnamed_addr #0 !dbg !15 { define dso_local i32 @bpf_prog(%struct.sk_buff*) local_unnamed_addr #0 !dbg !15 {
%2 = alloca i32, align 4 %2 = alloca i32, align 4
call void @llvm.dbg.value(metadata %struct.sk_buff* %0, metadata !28, metadata !DIExpression()), !dbg !30 call void @llvm.dbg.value(metadata %struct.sk_buff* %0, metadata !28, metadata !DIExpression()), !dbg !30
%3 = bitcast i32* %2 to i8*, !dbg !31 %3 = bitcast i32* %2 to i8*, !dbg !31
call void @llvm.lifetime.start.p0i8(i64 4, i8* nonnull %3) #4, !dbg !31 call void @llvm.lifetime.start.p0i8(i64 4, i8* nonnull %3) #4, !dbg !31
%4 = tail call %struct.net_device* @llvm.preserve.struct.access.index.p0s_struct.net_devices.p0s_struct.sk_buffs(%struct.sk_buff* %0, i32 1, i32 1), !dbg !32, !llvm.preserve.access.index !19 %4 = tail call %struct.net_device* @llvm.preserve.struct.access.index.p0s_struct.net_devices.p0s_struct.sk_buffs(%struct.sk_buff* elementtype(%struct.sk_buff) %0, i32 1, i32 1), !dbg !32, !llvm.preserve.access.index !19
%5 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.net_devices(%struct.net_device* %4, i32 0, i32 0), !dbg !32, !llvm.preserve.access.index !23 %5 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.net_devices(%struct.net_device* elementtype(%struct.net_device) %4, i32 0, i32 0), !dbg !32, !llvm.preserve.access.index !23
%6 = bitcast i32* %5 to i8*, !dbg !32 %6 = bitcast i32* %5 to i8*, !dbg !32
%7 = call i32 inttoptr (i64 4 to i32 (i8*, i32, i8*)*)(i8* nonnull %3, i32 4, i8* %6) #4, !dbg !33 %7 = call i32 inttoptr (i64 4 to i32 (i8*, i32, i8*)*)(i8* nonnull %3, i32 4, i8* %6) #4, !dbg !33
%8 = load i32, i32* %2, align 4, !dbg !34, !tbaa !35 %8 = load i32, i32* %2, align 4, !dbg !34, !tbaa !35
call void @llvm.dbg.value(metadata i32 %8, metadata !29, metadata !DIExpression()), !dbg !30 call void @llvm.dbg.value(metadata i32 %8, metadata !29, metadata !DIExpression()), !dbg !30
call void @llvm.lifetime.end.p0i8(i64 4, i8* nonnull %3) #4, !dbg !39 call void @llvm.lifetime.end.p0i8(i64 4, i8* nonnull %3) #4, !dbg !39
ret i32 %8, !dbg !40 ret i32 %8, !dbg !40
} }
▲ Show 20 Lines • Show All 154 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/offset-reloc-pointer-1.ll

Show All 13 Lines
target triple = "bpf" target triple = "bpf"
%struct.v3 = type { i32, i32 } %struct.v3 = type { i32, i32 }
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local i32 @test(%struct.v3* %arg) local_unnamed_addr #0 !dbg !15 { define dso_local i32 @test(%struct.v3* %arg) local_unnamed_addr #0 !dbg !15 {
entry: entry:
call void @llvm.dbg.value(metadata %struct.v3* %arg, metadata !19, metadata !DIExpression()), !dbg !20 call void @llvm.dbg.value(metadata %struct.v3* %arg, metadata !19, metadata !DIExpression()), !dbg !20
%0 = tail call %struct.v3* @llvm.preserve.array.access.index.p0s_struct.v3s.p0s_struct.v3s(%struct.v3* %arg, i32 0, i32 1), !dbg !21, !llvm.preserve.access.index !4 %0 = tail call %struct.v3* @llvm.preserve.array.access.index.p0s_struct.v3s.p0s_struct.v3s(%struct.v3* elementtype(%struct.v3) %arg, i32 0, i32 1), !dbg !21, !llvm.preserve.access.index !4
%1 = getelementptr inbounds %struct.v3, %struct.v3* %0, i64 0, i32 0, !dbg !21 %1 = getelementptr inbounds %struct.v3, %struct.v3* %0, i64 0, i32 0, !dbg !21
%call = tail call i32 @get_value(i32* %1) #4, !dbg !22 %call = tail call i32 @get_value(i32* %1) #4, !dbg !22
ret i32 %call, !dbg !23 ret i32 %call, !dbg !23
} }
; CHECK: r2 = 8 ; CHECK: r2 = 8
; CHECK: r1 += r2 ; CHECK: r1 += r2
; CHECK: call get_value ; CHECK: call get_value
▲ Show 20 Lines • Show All 57 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/offset-reloc-pointer-2.ll

Show All 13 Lines
target triple = "bpf" target triple = "bpf"
%struct.v3 = type { i32, i32 } %struct.v3 = type { i32, i32 }
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local i32 @test(%struct.v3* %arg) local_unnamed_addr #0 !dbg !15 { define dso_local i32 @test(%struct.v3* %arg) local_unnamed_addr #0 !dbg !15 {
entry: entry:
call void @llvm.dbg.value(metadata %struct.v3* %arg, metadata !19, metadata !DIExpression()), !dbg !20 call void @llvm.dbg.value(metadata %struct.v3* %arg, metadata !19, metadata !DIExpression()), !dbg !20
%0 = tail call %struct.v3* @llvm.preserve.array.access.index.p0s_struct.v3s.p0s_struct.v3s(%struct.v3* %arg, i32 0, i32 1), !dbg !21, !llvm.preserve.access.index !4 %0 = tail call %struct.v3* @llvm.preserve.array.access.index.p0s_struct.v3s.p0s_struct.v3s(%struct.v3* elementtype(%struct.v3) %arg, i32 0, i32 1), !dbg !21, !llvm.preserve.access.index !4
%1 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.v3s(%struct.v3* %0, i32 1, i32 1), !dbg !21, !llvm.preserve.access.index !6 %1 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.v3s(%struct.v3* elementtype(%struct.v3) %0, i32 1, i32 1), !dbg !21, !llvm.preserve.access.index !6
%call = tail call i32 @get_value(i32* %1) #4, !dbg !22 %call = tail call i32 @get_value(i32* %1) #4, !dbg !22
ret i32 %call, !dbg !23 ret i32 %call, !dbg !23
} }
; CHECK: r2 = 12 ; CHECK: r2 = 12
; CHECK-NEXT: r1 += r2 ; CHECK-NEXT: r1 += r2
; CHECK: call get_value ; CHECK: call get_value
▲ Show 20 Lines • Show All 58 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/offset-reloc-struct-anonymous.ll

Show All 26 Lines
%struct.anon = type { i32, i32 } %struct.anon = type { i32, i32 }
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local i32 @bpf_prog(%struct.sk_buff*) local_unnamed_addr #0 !dbg !15 { define dso_local i32 @bpf_prog(%struct.sk_buff*) local_unnamed_addr #0 !dbg !15 {
%2 = alloca i32, align 4 %2 = alloca i32, align 4
call void @llvm.dbg.value(metadata %struct.sk_buff* %0, metadata !31, metadata !DIExpression()), !dbg !33 call void @llvm.dbg.value(metadata %struct.sk_buff* %0, metadata !31, metadata !DIExpression()), !dbg !33
%3 = bitcast i32* %2 to i8*, !dbg !34 %3 = bitcast i32* %2 to i8*, !dbg !34
call void @llvm.lifetime.start.p0i8(i64 4, i8* nonnull %3) #4, !dbg !34 call void @llvm.lifetime.start.p0i8(i64 4, i8* nonnull %3) #4, !dbg !34
%4 = tail call [10 x %struct.anon]* @llvm.preserve.struct.access.index.p0a10s_struct.anons.p0s_struct.sk_buffs(%struct.sk_buff* %0, i32 1, i32 1), !dbg !35, !llvm.preserve.access.index !19 %4 = tail call [10 x %struct.anon]* @llvm.preserve.struct.access.index.p0a10s_struct.anons.p0s_struct.sk_buffs(%struct.sk_buff* elementtype(%struct.sk_buff) %0, i32 1, i32 1), !dbg !35, !llvm.preserve.access.index !19
%5 = tail call %struct.anon* @llvm.preserve.array.access.index.p0s_struct.anons.p0a10s_struct.anons([10 x %struct.anon]* %4, i32 1, i32 5), !dbg !35, !llvm.preserve.access.index !23 %5 = tail call %struct.anon* @llvm.preserve.array.access.index.p0s_struct.anons.p0a10s_struct.anons([10 x %struct.anon]* elementtype([10 x %struct.anon]) %4, i32 1, i32 5), !dbg !35, !llvm.preserve.access.index !23
%6 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.anons(%struct.anon* %5, i32 0, i32 0), !dbg !35, !llvm.preserve.access.index !24 %6 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.anons(%struct.anon* elementtype(%struct.anon) %5, i32 0, i32 0), !dbg !35, !llvm.preserve.access.index !24
%7 = bitcast i32* %6 to i8*, !dbg !35 %7 = bitcast i32* %6 to i8*, !dbg !35
%8 = call i32 inttoptr (i64 4 to i32 (i8*, i32, i8*)*)(i8* nonnull %3, i32 4, i8* %7) #4, !dbg !36 %8 = call i32 inttoptr (i64 4 to i32 (i8*, i32, i8*)*)(i8* nonnull %3, i32 4, i8* %7) #4, !dbg !36
%9 = load i32, i32* %2, align 4, !dbg !37, !tbaa !38 %9 = load i32, i32* %2, align 4, !dbg !37, !tbaa !38
call void @llvm.dbg.value(metadata i32 %9, metadata !32, metadata !DIExpression()), !dbg !33 call void @llvm.dbg.value(metadata i32 %9, metadata !32, metadata !DIExpression()), !dbg !33
call void @llvm.lifetime.end.p0i8(i64 4, i8* nonnull %3) #4, !dbg !42 call void @llvm.lifetime.end.p0i8(i64 4, i8* nonnull %3) #4, !dbg !42
ret i32 %9, !dbg !43 ret i32 %9, !dbg !43
} }
▲ Show 20 Lines • Show All 170 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/offset-reloc-struct-array.ll

Show All 27 Lines
%struct.net_device = type { i32, i32 } %struct.net_device = type { i32, i32 }
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local i32 @bpf_prog(%struct.sk_buff*) local_unnamed_addr #0 !dbg !15 { define dso_local i32 @bpf_prog(%struct.sk_buff*) local_unnamed_addr #0 !dbg !15 {
%2 = alloca i32, align 4 %2 = alloca i32, align 4
call void @llvm.dbg.value(metadata %struct.sk_buff* %0, metadata !31, metadata !DIExpression()), !dbg !33 call void @llvm.dbg.value(metadata %struct.sk_buff* %0, metadata !31, metadata !DIExpression()), !dbg !33
%3 = bitcast i32* %2 to i8*, !dbg !34 %3 = bitcast i32* %2 to i8*, !dbg !34
call void @llvm.lifetime.start.p0i8(i64 4, i8* nonnull %3) #4, !dbg !34 call void @llvm.lifetime.start.p0i8(i64 4, i8* nonnull %3) #4, !dbg !34
%4 = tail call [10 x %struct.net_device]* @llvm.preserve.struct.access.index.p0a10s_struct.net_devices.p0s_struct.sk_buffs(%struct.sk_buff* %0, i32 1, i32 1), !dbg !35, !llvm.preserve.access.index !19 %4 = tail call [10 x %struct.net_device]* @llvm.preserve.struct.access.index.p0a10s_struct.net_devices.p0s_struct.sk_buffs(%struct.sk_buff* elementtype(%struct.sk_buff) %0, i32 1, i32 1), !dbg !35, !llvm.preserve.access.index !19
%5 = tail call %struct.net_device* @llvm.preserve.array.access.index.p0s_struct.net_devices.p0a10s_struct.net_devices([10 x %struct.net_device]* %4, i32 1, i32 5), !dbg !35, !llvm.preserve.access.index !23 %5 = tail call %struct.net_device* @llvm.preserve.array.access.index.p0s_struct.net_devices.p0a10s_struct.net_devices([10 x %struct.net_device]* elementtype([10 x %struct.net_device]) %4, i32 1, i32 5), !dbg !35, !llvm.preserve.access.index !23
%6 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.net_devices(%struct.net_device* %5, i32 0, i32 0), !dbg !35, !llvm.preserve.access.index !24 %6 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.net_devices(%struct.net_device* elementtype(%struct.net_device) %5, i32 0, i32 0), !dbg !35, !llvm.preserve.access.index !24
%7 = bitcast i32* %6 to i8*, !dbg !35 %7 = bitcast i32* %6 to i8*, !dbg !35
%8 = call i32 inttoptr (i64 4 to i32 (i8*, i32, i8*)*)(i8* nonnull %3, i32 4, i8* %7) #4, !dbg !36 %8 = call i32 inttoptr (i64 4 to i32 (i8*, i32, i8*)*)(i8* nonnull %3, i32 4, i8* %7) #4, !dbg !36
%9 = load i32, i32* %2, align 4, !dbg !37, !tbaa !38 %9 = load i32, i32* %2, align 4, !dbg !37, !tbaa !38
call void @llvm.dbg.value(metadata i32 %9, metadata !32, metadata !DIExpression()), !dbg !33 call void @llvm.dbg.value(metadata i32 %9, metadata !32, metadata !DIExpression()), !dbg !33
call void @llvm.lifetime.end.p0i8(i64 4, i8* nonnull %3) #4, !dbg !42 call void @llvm.lifetime.end.p0i8(i64 4, i8* nonnull %3) #4, !dbg !42
ret i32 %9, !dbg !43 ret i32 %9, !dbg !43
} }
▲ Show 20 Lines • Show All 172 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/offset-reloc-typedef-array.ll

Show All 17 Lines
target triple = "bpf" target triple = "bpf"
%struct.__s = type { [7 x i32] } %struct.__s = type { [7 x i32] }
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local i32 @test(%struct.__s* %arg) local_unnamed_addr #0 !dbg !7 { define dso_local i32 @test(%struct.__s* %arg) local_unnamed_addr #0 !dbg !7 {
entry: entry:
call void @llvm.dbg.value(metadata %struct.__s* %arg, metadata !24, metadata !DIExpression()), !dbg !25 call void @llvm.dbg.value(metadata %struct.__s* %arg, metadata !24, metadata !DIExpression()), !dbg !25
%0 = tail call [7 x i32]* @llvm.preserve.struct.access.index.p0a7i32.p0s_struct.__ss(%struct.__s* %arg, i32 0, i32 0), !dbg !26, !llvm.preserve.access.index !13 %0 = tail call [7 x i32]* @llvm.preserve.struct.access.index.p0a7i32.p0s_struct.__ss(%struct.__s* elementtype(%struct.__s) %arg, i32 0, i32 0), !dbg !26, !llvm.preserve.access.index !13
%1 = tail call i32* @llvm.preserve.array.access.index.p0i32.p0a7i32([7 x i32]* %0, i32 1, i32 1), !dbg !26, !llvm.preserve.access.index !19 %1 = tail call i32* @llvm.preserve.array.access.index.p0i32.p0a7i32([7 x i32]* elementtype([7 x i32]) %0, i32 1, i32 1), !dbg !26, !llvm.preserve.access.index !19
%2 = bitcast i32* %1 to i8*, !dbg !26 %2 = bitcast i32* %1 to i8*, !dbg !26
%call = tail call i32 @get_value(i8* %2) #4, !dbg !27 %call = tail call i32 @get_value(i8* %2) #4, !dbg !27
ret i32 %call, !dbg !28 ret i32 %call, !dbg !28
} }
; CHECK: .cfi_startproc ; CHECK: .cfi_startproc
; CHECK: [[RELOC:.Ltmp[0-9]+]]: ; CHECK: [[RELOC:.Ltmp[0-9]+]]:
; CHECK: r2 = 4 ; CHECK: r2 = 4
▲ Show 20 Lines • Show All 66 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/offset-reloc-typedef-struct-2.ll

Show All 15 Lines
target triple = "bpf" target triple = "bpf"
%struct.__t = type { i32 } %struct.__t = type { i32 }
; Function Attrs: nounwind readonly ; Function Attrs: nounwind readonly
define dso_local i32 @test(%struct.__t* readonly %arg) local_unnamed_addr #0 !dbg !13 { define dso_local i32 @test(%struct.__t* readonly %arg) local_unnamed_addr #0 !dbg !13 {
entry: entry:
call void @llvm.dbg.value(metadata %struct.__t* %arg, metadata !18, metadata !DIExpression()), !dbg !19 call void @llvm.dbg.value(metadata %struct.__t* %arg, metadata !18, metadata !DIExpression()), !dbg !19
%0 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.__ts(%struct.__t* %arg, i32 0, i32 0), !dbg !20, !llvm.preserve.access.index !4 %0 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.__ts(%struct.__t* elementtype(%struct.__t) %arg, i32 0, i32 0), !dbg !20, !llvm.preserve.access.index !4
%1 = load i32, i32* %0, align 4, !dbg !20, !tbaa !21 %1 = load i32, i32* %0, align 4, !dbg !20, !tbaa !21
ret i32 %1, !dbg !26 ret i32 %1, !dbg !26
} }
; CHECK: .long 1 # BTF_KIND_TYPEDEF(id = 2) ; CHECK: .long 1 # BTF_KIND_TYPEDEF(id = 2)
; CHECK-NEXT: .long 134217728 # 0x8000000 ; CHECK-NEXT: .long 134217728 # 0x8000000
; CHECK-NEXT: .long 3 ; CHECK-NEXT: .long 3
; CHECK-NEXT: .long 0 # BTF_KIND_STRUCT(id = 3) ; CHECK-NEXT: .long 0 # BTF_KIND_STRUCT(id = 3)
▲ Show 20 Lines • Show All 60 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/offset-reloc-typedef-struct.ll

Show All 17 Lines
target triple = "bpf" target triple = "bpf"
%struct.__s = type { i32, i32 } %struct.__s = type { i32, i32 }
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local i32 @test(%struct.__s* %arg) local_unnamed_addr #0 !dbg !7 { define dso_local i32 @test(%struct.__s* %arg) local_unnamed_addr #0 !dbg !7 {
entry: entry:
call void @llvm.dbg.value(metadata %struct.__s* %arg, metadata !21, metadata !DIExpression()), !dbg !22 call void @llvm.dbg.value(metadata %struct.__s* %arg, metadata !21, metadata !DIExpression()), !dbg !22
%0 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.__ss(%struct.__s* %arg, i32 1, i32 1), !dbg !23, !llvm.preserve.access.index !14 %0 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.__ss(%struct.__s* elementtype(%struct.__s) %arg, i32 1, i32 1), !dbg !23, !llvm.preserve.access.index !14
%1 = bitcast i32* %0 to i8*, !dbg !23 %1 = bitcast i32* %0 to i8*, !dbg !23
%call = tail call i32 @get_value(i8* %1) #4, !dbg !24 %call = tail call i32 @get_value(i8* %1) #4, !dbg !24
ret i32 %call, !dbg !25 ret i32 %call, !dbg !25
} }
; CHECK: .cfi_startproc ; CHECK: .cfi_startproc
; CHECK: [[RELOC:.Ltmp[0-9]+]]: ; CHECK: [[RELOC:.Ltmp[0-9]+]]:
; CHECK: r2 = 4 ; CHECK: r2 = 4
▲ Show 20 Lines • Show All 60 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/offset-reloc-typedef.ll

Show All 21 Lines
%union.u = type { %struct.s } %union.u = type { %struct.s }
%struct.s = type { i32, i32 } %struct.s = type { i32, i32 }
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local i32 @test([7 x %union.u]* %arg) local_unnamed_addr #0 !dbg !7 { define dso_local i32 @test([7 x %union.u]* %arg) local_unnamed_addr #0 !dbg !7 {
entry: entry:
call void @llvm.dbg.value(metadata [7 x %union.u]* %arg, metadata !28, metadata !DIExpression()), !dbg !29 call void @llvm.dbg.value(metadata [7 x %union.u]* %arg, metadata !28, metadata !DIExpression()), !dbg !29
%0 = tail call [7 x %union.u]* @llvm.preserve.array.access.index.p0a7s_union.us.p0a7s_union.us([7 x %union.u]* %arg, i32 0, i32 1), !dbg !30, !llvm.preserve.access.index !14 %0 = tail call [7 x %union.u]* @llvm.preserve.array.access.index.p0a7s_union.us.p0a7s_union.us([7 x %union.u]* elementtype([7 x %union.u]) %arg, i32 0, i32 1), !dbg !30, !llvm.preserve.access.index !14
%arraydecay = getelementptr inbounds [7 x %union.u], [7 x %union.u]* %0, i64 0, i64 0, !dbg !30 %arraydecay = getelementptr inbounds [7 x %union.u], [7 x %union.u]* %0, i64 0, i64 0, !dbg !30
%1 = tail call %union.u* @llvm.preserve.union.access.index.p0s_union.us.p0s_union.us(%union.u* %arraydecay, i32 1), !dbg !30, !llvm.preserve.access.index !16 %1 = tail call %union.u* @llvm.preserve.union.access.index.p0s_union.us.p0s_union.us(%union.u* %arraydecay, i32 1), !dbg !30, !llvm.preserve.access.index !16
%d = getelementptr inbounds %union.u, %union.u* %1, i64 0, i32 0, !dbg !30 %d = getelementptr inbounds %union.u, %union.u* %1, i64 0, i32 0, !dbg !30
%2 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.ss(%struct.s* %d, i32 1, i32 1), !dbg !30, !llvm.preserve.access.index !20 %2 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.ss(%struct.s* elementtype(%struct.s) %d, i32 1, i32 1), !dbg !30, !llvm.preserve.access.index !20
%3 = bitcast i32* %2 to i8*, !dbg !30 %3 = bitcast i32* %2 to i8*, !dbg !30
%call = tail call i32 @get_value(i8* %3) #4, !dbg !31 %call = tail call i32 @get_value(i8* %3) #4, !dbg !31
ret i32 %call, !dbg !32 ret i32 %call, !dbg !32
} }
; CHECK: .cfi_startproc ; CHECK: .cfi_startproc
; CHECK: [[RELOC:.Ltmp[0-9]+]]: ; CHECK: [[RELOC:.Ltmp[0-9]+]]:
; CHECK: r2 = 12 ; CHECK: r2 = 12
▲ Show 20 Lines • Show All 73 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/offset-reloc-union.ll

Show All 32 Lines
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local i32 @bpf_prog(%union.sk_buff*) local_unnamed_addr #0 !dbg !15 { define dso_local i32 @bpf_prog(%union.sk_buff*) local_unnamed_addr #0 !dbg !15 {
%2 = alloca i32, align 4 %2 = alloca i32, align 4
call void @llvm.dbg.value(metadata %union.sk_buff* %0, metadata !32, metadata !DIExpression()), !dbg !34 call void @llvm.dbg.value(metadata %union.sk_buff* %0, metadata !32, metadata !DIExpression()), !dbg !34
%3 = bitcast i32* %2 to i8*, !dbg !35 %3 = bitcast i32* %2 to i8*, !dbg !35
call void @llvm.lifetime.start.p0i8(i64 4, i8* nonnull %3) #4, !dbg !35 call void @llvm.lifetime.start.p0i8(i64 4, i8* nonnull %3) #4, !dbg !35
%4 = tail call %union.sk_buff* @llvm.preserve.union.access.index.p0s_union.sk_buffs.p0s_union.sk_buffs(%union.sk_buff* %0, i32 1), !dbg !36, !llvm.preserve.access.index !19 %4 = tail call %union.sk_buff* @llvm.preserve.union.access.index.p0s_union.sk_buffs.p0s_union.sk_buffs(%union.sk_buff* %0, i32 1), !dbg !36, !llvm.preserve.access.index !19
%5 = getelementptr inbounds %union.sk_buff, %union.sk_buff* %4, i64 0, i32 0, !dbg !36 %5 = getelementptr inbounds %union.sk_buff, %union.sk_buff* %4, i64 0, i32 0, !dbg !36
%6 = tail call %union.anon* @llvm.preserve.struct.access.index.p0s_union.anons.p0s_struct.anons(%struct.anon* %5, i32 1, i32 1), !dbg !36, !llvm.preserve.access.index !23 %6 = tail call %union.anon* @llvm.preserve.struct.access.index.p0s_union.anons.p0s_struct.anons(%struct.anon* elementtype(%struct.anon) %5, i32 1, i32 1), !dbg !36, !llvm.preserve.access.index !23
%7 = tail call %union.anon* @llvm.preserve.union.access.index.p0s_union.anons.p0s_union.anons(%union.anon* %6, i32 0), !dbg !36, !llvm.preserve.access.index !27 %7 = tail call %union.anon* @llvm.preserve.union.access.index.p0s_union.anons.p0s_union.anons(%union.anon* %6, i32 0), !dbg !36, !llvm.preserve.access.index !27
%8 = bitcast %union.anon* %7 to i8*, !dbg !36 %8 = bitcast %union.anon* %7 to i8*, !dbg !36
%9 = call i32 inttoptr (i64 4 to i32 (i8*, i32, i8*)*)(i8* nonnull %3, i32 4, i8* %8) #4, !dbg !37 %9 = call i32 inttoptr (i64 4 to i32 (i8*, i32, i8*)*)(i8* nonnull %3, i32 4, i8* %8) #4, !dbg !37
%10 = load i32, i32* %2, align 4, !dbg !38, !tbaa !39 %10 = load i32, i32* %2, align 4, !dbg !38, !tbaa !39
call void @llvm.dbg.value(metadata i32 %10, metadata !33, metadata !DIExpression()), !dbg !34 call void @llvm.dbg.value(metadata i32 %10, metadata !33, metadata !DIExpression()), !dbg !34
call void @llvm.lifetime.end.p0i8(i64 4, i8* nonnull %3) #4, !dbg !43 call void @llvm.lifetime.end.p0i8(i64 4, i8* nonnull %3) #4, !dbg !43
ret i32 %10, !dbg !44 ret i32 %10, !dbg !44
} }
▲ Show 20 Lines • Show All 173 Lines • Show Last 20 Lines

llvm/test/CodeGen/BPF/CORE/store-addr.ll

Show All 23 Lines
; Function Attrs: nounwind ; Function Attrs: nounwind
define dso_local i32 @test(%struct.t* %arg) local_unnamed_addr #0 !dbg !14 { define dso_local i32 @test(%struct.t* %arg) local_unnamed_addr #0 !dbg !14 {
entry: entry:
%param = alloca [1 x i64], align 8 %param = alloca [1 x i64], align 8
call void @llvm.dbg.value(metadata %struct.t* %arg, metadata !22, metadata !DIExpression()), !dbg !27 call void @llvm.dbg.value(metadata %struct.t* %arg, metadata !22, metadata !DIExpression()), !dbg !27
%0 = bitcast [1 x i64]* %param to i8*, !dbg !28 %0 = bitcast [1 x i64]* %param to i8*, !dbg !28
call void @llvm.lifetime.start.p0i8(i64 8, i8* nonnull %0) #5, !dbg !28 call void @llvm.lifetime.start.p0i8(i64 8, i8* nonnull %0) #5, !dbg !28
call void @llvm.dbg.declare(metadata [1 x i64]* %param, metadata !23, metadata !DIExpression()), !dbg !29 call void @llvm.dbg.declare(metadata [1 x i64]* %param, metadata !23, metadata !DIExpression()), !dbg !29
%1 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.ts(%struct.t* %arg, i32 0, i32 0), !dbg !30, !llvm.preserve.access.index !18 %1 = tail call i32* @llvm.preserve.struct.access.index.p0i32.p0s_struct.ts(%struct.t* elementtype(%struct.t) %arg, i32 0, i32 0), !dbg !30, !llvm.preserve.access.index !18
%2 = ptrtoint i32* %1 to i64, !dbg !31 %2 = ptrtoint i32* %1 to i64, !dbg !31
%arrayidx = getelementptr inbounds [1 x i64], [1 x i64]* %param, i64 0, i64 0, !dbg !32 %arrayidx = getelementptr inbounds [1 x i64], [1 x i64]* %param, i64 0, i64 0, !dbg !32
store i64 %2, i64* %arrayidx, align 8, !dbg !33, !tbaa !34 store i64 %2, i64* %arrayidx, align 8, !dbg !33, !tbaa !34
%call = call i32 @foo(i8* nonnull %0) #5, !dbg !38 %call = call i32 @foo(i8* nonnull %0) #5, !dbg !38
call void @llvm.lifetime.end.p0i8(i64 8, i8* nonnull %0) #5, !dbg !39 call void @llvm.lifetime.end.p0i8(i64 8, i8* nonnull %0) #5, !dbg !39
ret i32 %call, !dbg !40 ret i32 %call, !dbg !40
} }
▲ Show 20 Lines • Show All 73 Lines • Show Last 20 Lines

llvm/test/Verifier/elementtype.ll

Show All 19 Linesdefine void @not_intrinsic() {
ret void ret void
} }
; CHECK: Attribute 'elementtype' can only be applied to a callsite. ; CHECK: Attribute 'elementtype' can only be applied to a callsite.
define void @llvm.not_call(i32* elementtype(i32)) { define void @llvm.not_call(i32* elementtype(i32)) {
ret void ret void
} }
define void @elementtype_required() {
; CHECK: Intrinsic requires elementtype attribute on first argument.
call i32* @llvm.preserve.array.access.index.p0i32.p0i32(i32* null, i32 0, i32 0)
; CHECK: Intrinsic requires elementtype attribute on first argument.
call i32* @llvm.preserve.struct.access.index.p0i32.p0i32(i32* null, i32 0, i32 0)
ret void
}
declare i32* @llvm.preserve.array.access.index.p0i32.p0i32(i32*, i32, i32) declare i32* @llvm.preserve.array.access.index.p0i32.p0i32(i32*, i32, i32)
declare i32* @llvm.preserve.struct.access.index.p0i32.p0i32(i32*, i32, i32)