1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4
2 ; RUN: opt --bpf-check-and-opt-ir -S -mtriple=bpf-pc-linux < %s | FileCheck %s
4 define void @test(ptr addrspace(1) %p) {
5 ; CHECK-LABEL: define void @test(
6 ; CHECK-SAME: ptr addrspace(1) [[P:%.*]]) {
8 ; CHECK-NEXT: [[P1:%.*]] = addrspacecast ptr addrspace(1) [[P]] to ptr
9 ; CHECK-NEXT: [[A2:%.*]] = getelementptr inbounds i8, ptr [[P1]], i64 8
10 ; CHECK-NEXT: [[B3:%.*]] = getelementptr inbounds i8, ptr [[A2]], i64 16
11 ; CHECK-NEXT: [[C4:%.*]] = getelementptr inbounds i8, ptr [[B3]], i64 24
12 ; CHECK-NEXT: [[D5:%.*]] = getelementptr inbounds i8, ptr [[C4]], i64 32
13 ; CHECK-NEXT: store i64 11, ptr [[C4]], align 8
14 ; CHECK-NEXT: store i64 22, ptr [[D5]], align 8
15 ; CHECK-NEXT: ret void
18 %a = getelementptr inbounds i8, ptr addrspace(1) %p, i64 8
19 %b = getelementptr inbounds i8, ptr addrspace(1) %a, i64 16
20 %c = getelementptr inbounds i8, ptr addrspace(1) %b, i64 24
21 %d = getelementptr inbounds i8, ptr addrspace(1) %c, i64 32
22 store i64 11, ptr addrspace(1) %c, align 8
23 store i64 22, ptr addrspace(1) %d, align 8