| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4 |
| ; RUN: opt --bpf-check-and-opt-ir -S -mtriple=bpf-pc-linux < %s | FileCheck %s |
| |
| ; Generated from the following C code: |
| ; |
| ; #define __uptr __attribute__((address_space(1))) |
| ; |
| ; extern int __uptr *magic1(); |
| ; extern int __uptr *magic2(); |
| ; |
| ; void test(long i) { |
| ; int __uptr *a; |
| ; |
| ; if (i > 42) |
| ; a = magic1(); |
| ; else |
| ; a = magic2(); |
| ; a[5] = 7; |
| ; } |
| ; |
| ; Using the following command: |
| ; |
| ; clang --target=bpf -O2 -S -emit-llvm -o t.ll t.c |
| |
| define void @test(i64 noundef %i) { |
| ; CHECK: if.end: |
| ; CHECK-NEXT: [[A_0:%.*]] = phi ptr addrspace(1) |
| ; CHECK-NEXT: [[A_01:%.*]] = addrspacecast ptr addrspace(1) [[A_0]] to ptr |
| ; CHECK-NEXT: [[ARRAYIDX2:%.*]] = getelementptr inbounds i32, ptr [[A_01]], i64 5 |
| ; CHECK-NEXT: store i32 7, ptr [[ARRAYIDX2]], align 4 |
| ; CHECK-NEXT: ret void |
| ; |
| entry: |
| %cmp = icmp sgt i64 %i, 42 |
| br i1 %cmp, label %if.then, label %if.else |
| |
| if.then: ; preds = %entry |
| %call = tail call ptr addrspace(1) @magic1() |
| br label %if.end |
| |
| if.else: ; preds = %entry |
| %call1 = tail call ptr addrspace(1) @magic2() |
| br label %if.end |
| |
| if.end: ; preds = %if.else, %if.then |
| %a.0 = phi ptr addrspace(1) [ %call, %if.then ], [ %call1, %if.else ] |
| %arrayidx = getelementptr inbounds i32, ptr addrspace(1) %a.0, i64 5 |
| store i32 7, ptr addrspace(1) %arrayidx, align 4 |
| ret void |
| } |
| |
| declare ptr addrspace(1) @magic1(...) |
| declare ptr addrspace(1) @magic2(...) |