1*4882a593Smuzhiyun // SPDX-License-Identifier: GPL-2.0-only
2*4882a593Smuzhiyun /*
3*4882a593Smuzhiyun * Copyright 2015, Michael Neuling, IBM Corp.
4*4882a593Smuzhiyun *
5*4882a593Smuzhiyun * Original: Michael Neuling 4/12/2013
6*4882a593Smuzhiyun * Edited: Rashmica Gupta 4/12/2015
7*4882a593Smuzhiyun *
8*4882a593Smuzhiyun * See if the altivec state is leaked out of an aborted transaction due to
9*4882a593Smuzhiyun * kernel vmx copy loops.
10*4882a593Smuzhiyun *
11*4882a593Smuzhiyun * When the transaction aborts, VSR values should rollback to the values
12*4882a593Smuzhiyun * they held before the transaction commenced. Using VSRs while transaction
13*4882a593Smuzhiyun * is suspended should not affect the checkpointed values.
14*4882a593Smuzhiyun *
15*4882a593Smuzhiyun * (1) write A to a VSR
16*4882a593Smuzhiyun * (2) start transaction
17*4882a593Smuzhiyun * (3) suspend transaction
18*4882a593Smuzhiyun * (4) change the VSR to B
19*4882a593Smuzhiyun * (5) trigger kernel vmx copy loop
20*4882a593Smuzhiyun * (6) abort transaction
21*4882a593Smuzhiyun * (7) check that the VSR value is A
22*4882a593Smuzhiyun */
23*4882a593Smuzhiyun
24*4882a593Smuzhiyun #include <inttypes.h>
25*4882a593Smuzhiyun #include <stdio.h>
26*4882a593Smuzhiyun #include <stdlib.h>
27*4882a593Smuzhiyun #include <unistd.h>
28*4882a593Smuzhiyun #include <sys/mman.h>
29*4882a593Smuzhiyun #include <string.h>
30*4882a593Smuzhiyun #include <assert.h>
31*4882a593Smuzhiyun
32*4882a593Smuzhiyun #include "tm.h"
33*4882a593Smuzhiyun #include "utils.h"
34*4882a593Smuzhiyun
test_vmxcopy()35*4882a593Smuzhiyun int test_vmxcopy()
36*4882a593Smuzhiyun {
37*4882a593Smuzhiyun long double vecin = 1.3;
38*4882a593Smuzhiyun long double vecout;
39*4882a593Smuzhiyun unsigned long pgsize = getpagesize();
40*4882a593Smuzhiyun int i;
41*4882a593Smuzhiyun int fd;
42*4882a593Smuzhiyun int size = pgsize*16;
43*4882a593Smuzhiyun char tmpfile[] = "/tmp/page_faultXXXXXX";
44*4882a593Smuzhiyun char buf[pgsize];
45*4882a593Smuzhiyun char *a;
46*4882a593Smuzhiyun uint64_t aborted = 0;
47*4882a593Smuzhiyun
48*4882a593Smuzhiyun SKIP_IF(!have_htm());
49*4882a593Smuzhiyun SKIP_IF(!is_ppc64le());
50*4882a593Smuzhiyun
51*4882a593Smuzhiyun fd = mkstemp(tmpfile);
52*4882a593Smuzhiyun assert(fd >= 0);
53*4882a593Smuzhiyun
54*4882a593Smuzhiyun memset(buf, 0, pgsize);
55*4882a593Smuzhiyun for (i = 0; i < size; i += pgsize)
56*4882a593Smuzhiyun assert(write(fd, buf, pgsize) == pgsize);
57*4882a593Smuzhiyun
58*4882a593Smuzhiyun unlink(tmpfile);
59*4882a593Smuzhiyun
60*4882a593Smuzhiyun a = mmap(NULL, size, PROT_READ|PROT_WRITE, MAP_PRIVATE, fd, 0);
61*4882a593Smuzhiyun assert(a != MAP_FAILED);
62*4882a593Smuzhiyun
63*4882a593Smuzhiyun asm __volatile__(
64*4882a593Smuzhiyun "lxvd2x 40,0,%[vecinptr];" /* set 40 to initial value*/
65*4882a593Smuzhiyun "tbegin.;"
66*4882a593Smuzhiyun "beq 3f;"
67*4882a593Smuzhiyun "tsuspend.;"
68*4882a593Smuzhiyun "xxlxor 40,40,40;" /* set 40 to 0 */
69*4882a593Smuzhiyun "std 5, 0(%[map]);" /* cause kernel vmx copy page */
70*4882a593Smuzhiyun "tabort. 0;"
71*4882a593Smuzhiyun "tresume.;"
72*4882a593Smuzhiyun "tend.;"
73*4882a593Smuzhiyun "li %[res], 0;"
74*4882a593Smuzhiyun "b 5f;"
75*4882a593Smuzhiyun
76*4882a593Smuzhiyun /* Abort handler */
77*4882a593Smuzhiyun "3:;"
78*4882a593Smuzhiyun "li %[res], 1;"
79*4882a593Smuzhiyun
80*4882a593Smuzhiyun "5:;"
81*4882a593Smuzhiyun "stxvd2x 40,0,%[vecoutptr];"
82*4882a593Smuzhiyun : [res]"=&r"(aborted)
83*4882a593Smuzhiyun : [vecinptr]"r"(&vecin),
84*4882a593Smuzhiyun [vecoutptr]"r"(&vecout),
85*4882a593Smuzhiyun [map]"r"(a)
86*4882a593Smuzhiyun : "memory", "r0", "r3", "r4", "r5", "r6", "r7");
87*4882a593Smuzhiyun
88*4882a593Smuzhiyun if (aborted && (vecin != vecout)){
89*4882a593Smuzhiyun printf("FAILED: vector state leaked on abort %f != %f\n",
90*4882a593Smuzhiyun (double)vecin, (double)vecout);
91*4882a593Smuzhiyun return 1;
92*4882a593Smuzhiyun }
93*4882a593Smuzhiyun
94*4882a593Smuzhiyun munmap(a, size);
95*4882a593Smuzhiyun
96*4882a593Smuzhiyun close(fd);
97*4882a593Smuzhiyun
98*4882a593Smuzhiyun return 0;
99*4882a593Smuzhiyun }
100*4882a593Smuzhiyun
main(void)101*4882a593Smuzhiyun int main(void)
102*4882a593Smuzhiyun {
103*4882a593Smuzhiyun return test_harness(test_vmxcopy, "tm_vmxcopy");
104*4882a593Smuzhiyun }
105