| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals all --version 5 |
| ; RUN: opt -passes=pre-isel-intrinsic-lowering -mattr=+pauth -S < %s | FileCheck %s |
| |
| target triple = "aarch64-unknown-linux-gnu" |
| |
| @ds1 = external global i8 |
| @ds2 = external global i8 |
| |
| |
| ;. |
| ; CHECK: @ds1 = external global i8 |
| ; CHECK: @ds2 = hidden alias i8, inttoptr (i64 3573751839 to ptr) |
| ;. |
| define i1 @compare(ptr addrspace(1) %ptrptr) { |
| ; CHECK-LABEL: define i1 @compare( |
| ; CHECK-SAME: ptr addrspace(1) [[PTRPTR:%.*]]) #[[ATTR0:[0-9]+]] { |
| ; CHECK-NEXT: [[CMP1:%.*]] = icmp eq ptr addrspace(1) [[PTRPTR]], null |
| ; CHECK-NEXT: [[CMP2:%.*]] = icmp eq ptr addrspace(1) null, [[PTRPTR]] |
| ; CHECK-NEXT: [[CMP:%.*]] = or i1 [[CMP1]], [[CMP2]] |
| ; CHECK-NEXT: ret i1 [[CMP]] |
| ; |
| %protptrptr = call ptr addrspace(1) @llvm.protected.field.ptr.p1(ptr addrspace(1) %ptrptr, i64 3, i1 true) [ "deactivation-symbol"(ptr @ds1) ] |
| %cmp1 = icmp eq ptr addrspace(1) %protptrptr, null |
| %cmp2 = icmp eq ptr addrspace(1) null, %protptrptr |
| %cmp = or i1 %cmp1, %cmp2 |
| ret i1 %cmp |
| } |
| |
| define ptr addrspace(1) @escape(ptr addrspace(1) %ptrptr) { |
| ; CHECK-LABEL: define ptr addrspace(1) @escape( |
| ; CHECK-SAME: ptr addrspace(1) [[PTRPTR:%.*]]) #[[ATTR0]] { |
| ; CHECK-NEXT: ret ptr addrspace(1) [[PTRPTR]] |
| ; |
| %protptrptr = call ptr addrspace(1) @llvm.protected.field.ptr.p1(ptr addrspace(1) %ptrptr, i64 3, i1 true) [ "deactivation-symbol"(ptr @ds2) ] |
| ret ptr addrspace(1) %protptrptr |
| } |
| |
| declare ptr addrspace(1) @llvm.protected.field.ptr.p1(ptr addrspace(1), i64, i1 immarg) |
| ;. |
| ; CHECK: attributes #[[ATTR0]] = { "target-features"="+pauth" } |
| ; CHECK: attributes #[[ATTR1:[0-9]+]] = { nocallback nofree nosync nounwind willreturn memory(none) "target-features"="+pauth" } |
| ;. |
