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 3 4define void @test(ptr addrspace(1) %p) { 5; CHECK-LABEL: define void @test( 6; CHECK-SAME: ptr addrspace(1) [[P:%.*]]) { 7; CHECK-NEXT: entry: 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 16; 17entry: 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 24 ret void 25} 26