136cd5fbdSRichard Henderson /*
236cd5fbdSRichard Henderson * Memory tagging, basic pass cases.
336cd5fbdSRichard Henderson *
436cd5fbdSRichard Henderson * Copyright (c) 2021 Linaro Ltd
536cd5fbdSRichard Henderson * SPDX-License-Identifier: GPL-2.0-or-later
636cd5fbdSRichard Henderson */
736cd5fbdSRichard Henderson
836cd5fbdSRichard Henderson #include "mte.h"
936cd5fbdSRichard Henderson
main(int ac,char ** av)1036cd5fbdSRichard Henderson int main(int ac, char **av)
1136cd5fbdSRichard Henderson {
1236cd5fbdSRichard Henderson int *p0, *p1, *p2;
1336cd5fbdSRichard Henderson long c;
1436cd5fbdSRichard Henderson
1536cd5fbdSRichard Henderson enable_mte(PR_MTE_TCF_NONE);
1636cd5fbdSRichard Henderson p0 = alloc_mte_mem(sizeof(*p0));
1736cd5fbdSRichard Henderson
18*69375de1SAkihiko Odaki asm("irg %0,%1,%2" : "=r"(p1) : "r"(p0), "r"(1l));
1936cd5fbdSRichard Henderson assert(p1 != p0);
2036cd5fbdSRichard Henderson asm("subp %0,%1,%2" : "=r"(c) : "r"(p0), "r"(p1));
2136cd5fbdSRichard Henderson assert(c == 0);
2236cd5fbdSRichard Henderson
2336cd5fbdSRichard Henderson asm("stg %0, [%0]" : : "r"(p1));
2436cd5fbdSRichard Henderson asm("ldg %0, [%1]" : "=r"(p2) : "r"(p0), "0"(p0));
2536cd5fbdSRichard Henderson assert(p1 == p2);
2636cd5fbdSRichard Henderson
2736cd5fbdSRichard Henderson return 0;
2836cd5fbdSRichard Henderson }
29