Skip to content

Commit e9cf3b2

Browse files
arichardsonresistor
authored andcommitted
Update comments on isav9-cap-from-ptr.ll
This was missed in CTSRD-CHERI#708
1 parent 228fbec commit e9cf3b2

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

llvm/test/CodeGen/RISCV/cheri/isav9-cap-from-ptr.ll

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
11
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2-
;; The CFromPtr instruction is not part of ISAv9, check that we emit `x == 0 ? null : csetoffset(auth, x)` instead.
2+
;; The CFromPtr instruction is not part of ISAv9, check that we emit `x == 0 ? null : csetaddr(auth, x)` instead.
3+
;; Note: Since DDC-offsetting is no longer part of ISAv9, the expansion consistently uses csetaddr and not csetoffset!
34
; RUN: %riscv64_cheri_purecap_llc < %s | FileCheck %s --check-prefix=ISAV9
45

56
;; (int_cheri_cap_from_ptr auth, x) -> x == 0 ? null : csetoffset(auth, x)
@@ -22,8 +23,7 @@ entry:
2223
ret i8 addrspace(200)* %new
2324
}
2425

25-
;; (int_cheri_cap_from_ptr ddc, y) -> x == 0 ? null : csetoffset(ddc, x)
26-
;; NB: This is not the same as (inttoptr x), since the explicit intrinsic retains the offsetting semantics.
26+
;; (int_cheri_cap_from_ptr ddc, y) -> x == 0 ? null : csetaddr(ddc, x)
2727
define dso_local i8 addrspace(200)* @cap_from_ptr_ddc(i8 addrspace(200)* addrspace(200)* %ptr, i64 %offset) nounwind {
2828
; ISAV9-LABEL: cap_from_ptr_ddc:
2929
; ISAV9: # %bb.0: # %entry

0 commit comments

Comments
 (0)