CheckNonStreamingSVEEnabled(); let VL : integer{} = CurrentVL(); let PL : integer{} = VL DIV 8; let elements : integer = VL DIV esize; let mask : bits(PL) = P{}(g); var base : bits(VL); var result : bits(VL); let orig : bits(VL) = Z{}(t); var data : bits(msize); let mbytes : integer{} = msize DIV 8; var fault : boolean = FALSE; var faulted : boolean = FALSE; var unknown : boolean = FALSE; let contiguous : boolean = FALSE; let tagchecked : boolean = TRUE; var accdesc : AccessDescriptor = CreateAccDescSVEFF(contiguous, tagchecked); if AnyActiveElement{PL}(mask, esize) then base = Z{VL}(n); end; assert accdesc.first; for e = 0 to elements-1 do if ActivePredicateElement{PL}(mask, e, esize) then let baddr : bits(64) = ZeroExtend{}(base[e*:esize]); let addr : bits(64) = AddressAdd(baddr, offset * mbytes, accdesc); if accdesc.first then // Mem[] will not return if a fault is detected for the First active element data = Mem{msize}(addr, accdesc); accdesc.first = FALSE; else // MemNF[] will return fault=TRUE if access is not performed for any reason (data, fault) = MemNF{msize}(addr, accdesc); faulted = faulted || ConstrainUnpredictableBool(Unpredictable_NONFAULT); end; else (data, fault) = (Zeros{msize}, FALSE); end; // FFR elements set to FALSE following a suppressed access/fault faulted = faulted || fault; if faulted then ElemFFR(e, esize) = '0'; end; // Value becomes CONSTRAINED UNPREDICTABLE after an FFR element is FALSE unknown = unknown || ElemFFR(e, esize) == '0'; if unknown then if !fault && ConstrainUnpredictableBool(Unpredictable_SVELDNFDATA) then result[e*:esize] = Extend{esize}(data, unsigned); elsif ConstrainUnpredictableBool(Unpredictable_SVELDNFZERO) then result[e*:esize] = Zeros{esize}; else // merge result[e*:esize] = orig[e*:esize]; end; else result[e*:esize] = Extend{esize}(data, unsigned); end; end; Z{VL}(t) = result;