26 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 42; RUN: opt --bpf-check-and-opt-ir -S -mtriple=bpf-pc-linux < %s | FileCheck %s3 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 ptr9; CHECK-NEXT: [[A2:%.*]] = getelementptr inbounds i8, ptr [[P1]], i64 810; CHECK-NEXT: [[B3:%.*]] = getelementptr inbounds i8, ptr [[A2]], i64 1611; CHECK-NEXT: [[C4:%.*]] = getelementptr inbounds i8, ptr [[B3]], i64 2412; CHECK-NEXT: [[D5:%.*]] = getelementptr inbounds i8, ptr [[C4]], i64 3213; CHECK-NEXT: store i64 11, ptr [[C4]], align 814; CHECK-NEXT: store i64 22, ptr [[D5]], align 815; CHECK-NEXT: ret void16;17entry:18 %a = getelementptr inbounds i8, ptr addrspace(1) %p, i64 819 %b = getelementptr inbounds i8, ptr addrspace(1) %a, i64 1620 %c = getelementptr inbounds i8, ptr addrspace(1) %b, i64 2421 %d = getelementptr inbounds i8, ptr addrspace(1) %c, i64 3222 store i64 11, ptr addrspace(1) %c, align 823 store i64 22, ptr addrspace(1) %d, align 824 ret void25}26