1*4882a593Smuzhiyun // SPDX-License-Identifier: GPL-2.0-only
2*4882a593Smuzhiyun /*
3*4882a593Smuzhiyun * Copyright 2017, Michael Neuling, IBM Corp.
4*4882a593Smuzhiyun * Original: Breno Leitao <brenohl@br.ibm.com> &
5*4882a593Smuzhiyun * Gustavo Bueno Romero <gromero@br.ibm.com>
6*4882a593Smuzhiyun * Edited: Michael Neuling
7*4882a593Smuzhiyun *
8*4882a593Smuzhiyun * Force VMX unavailable during a transaction and see if it corrupts
9*4882a593Smuzhiyun * the checkpointed VMX register state after the abort.
10*4882a593Smuzhiyun */
11*4882a593Smuzhiyun
12*4882a593Smuzhiyun #include <inttypes.h>
13*4882a593Smuzhiyun #include <htmintrin.h>
14*4882a593Smuzhiyun #include <string.h>
15*4882a593Smuzhiyun #include <stdlib.h>
16*4882a593Smuzhiyun #include <stdio.h>
17*4882a593Smuzhiyun #include <pthread.h>
18*4882a593Smuzhiyun #include <sys/mman.h>
19*4882a593Smuzhiyun #include <unistd.h>
20*4882a593Smuzhiyun #include <pthread.h>
21*4882a593Smuzhiyun
22*4882a593Smuzhiyun #include "tm.h"
23*4882a593Smuzhiyun #include "utils.h"
24*4882a593Smuzhiyun
25*4882a593Smuzhiyun int passed;
26*4882a593Smuzhiyun
worker(void * unused)27*4882a593Smuzhiyun void *worker(void *unused)
28*4882a593Smuzhiyun {
29*4882a593Smuzhiyun __int128 vmx0;
30*4882a593Smuzhiyun uint64_t texasr;
31*4882a593Smuzhiyun
32*4882a593Smuzhiyun asm goto (
33*4882a593Smuzhiyun "li 3, 1;" /* Stick non-zero value in VMX0 */
34*4882a593Smuzhiyun "std 3, 0(%[vmx0_ptr]);"
35*4882a593Smuzhiyun "lvx 0, 0, %[vmx0_ptr];"
36*4882a593Smuzhiyun
37*4882a593Smuzhiyun /* Wait here a bit so we get scheduled out 255 times */
38*4882a593Smuzhiyun "lis 3, 0x3fff;"
39*4882a593Smuzhiyun "1: ;"
40*4882a593Smuzhiyun "addi 3, 3, -1;"
41*4882a593Smuzhiyun "cmpdi 3, 0;"
42*4882a593Smuzhiyun "bne 1b;"
43*4882a593Smuzhiyun
44*4882a593Smuzhiyun /* Kernel will hopefully turn VMX off now */
45*4882a593Smuzhiyun
46*4882a593Smuzhiyun "tbegin. ;"
47*4882a593Smuzhiyun "beq failure;"
48*4882a593Smuzhiyun
49*4882a593Smuzhiyun /* Cause VMX unavail. Any VMX instruction */
50*4882a593Smuzhiyun "vaddcuw 0,0,0;"
51*4882a593Smuzhiyun
52*4882a593Smuzhiyun "tend. ;"
53*4882a593Smuzhiyun "b %l[success];"
54*4882a593Smuzhiyun
55*4882a593Smuzhiyun /* Check VMX0 sanity after abort */
56*4882a593Smuzhiyun "failure: ;"
57*4882a593Smuzhiyun "lvx 1, 0, %[vmx0_ptr];"
58*4882a593Smuzhiyun "vcmpequb. 2, 0, 1;"
59*4882a593Smuzhiyun "bc 4, 24, %l[value_mismatch];"
60*4882a593Smuzhiyun "b %l[value_match];"
61*4882a593Smuzhiyun :
62*4882a593Smuzhiyun : [vmx0_ptr] "r"(&vmx0)
63*4882a593Smuzhiyun : "r3"
64*4882a593Smuzhiyun : success, value_match, value_mismatch
65*4882a593Smuzhiyun );
66*4882a593Smuzhiyun
67*4882a593Smuzhiyun /* HTM aborted and VMX0 is corrupted */
68*4882a593Smuzhiyun value_mismatch:
69*4882a593Smuzhiyun texasr = __builtin_get_texasr();
70*4882a593Smuzhiyun
71*4882a593Smuzhiyun printf("\n\n==============\n\n");
72*4882a593Smuzhiyun printf("Failure with error: %lx\n", _TEXASR_FAILURE_CODE(texasr));
73*4882a593Smuzhiyun printf("Summary error : %lx\n", _TEXASR_FAILURE_SUMMARY(texasr));
74*4882a593Smuzhiyun printf("TFIAR exact : %lx\n\n", _TEXASR_TFIAR_EXACT(texasr));
75*4882a593Smuzhiyun
76*4882a593Smuzhiyun passed = 0;
77*4882a593Smuzhiyun return NULL;
78*4882a593Smuzhiyun
79*4882a593Smuzhiyun /* HTM aborted but VMX0 is correct */
80*4882a593Smuzhiyun value_match:
81*4882a593Smuzhiyun // printf("!");
82*4882a593Smuzhiyun return NULL;
83*4882a593Smuzhiyun
84*4882a593Smuzhiyun success:
85*4882a593Smuzhiyun // printf(".");
86*4882a593Smuzhiyun return NULL;
87*4882a593Smuzhiyun }
88*4882a593Smuzhiyun
tm_vmx_unavail_test()89*4882a593Smuzhiyun int tm_vmx_unavail_test()
90*4882a593Smuzhiyun {
91*4882a593Smuzhiyun int threads;
92*4882a593Smuzhiyun pthread_t *thread;
93*4882a593Smuzhiyun
94*4882a593Smuzhiyun SKIP_IF(!have_htm());
95*4882a593Smuzhiyun
96*4882a593Smuzhiyun passed = 1;
97*4882a593Smuzhiyun
98*4882a593Smuzhiyun threads = sysconf(_SC_NPROCESSORS_ONLN) * 4;
99*4882a593Smuzhiyun thread = malloc(sizeof(pthread_t)*threads);
100*4882a593Smuzhiyun if (!thread)
101*4882a593Smuzhiyun return EXIT_FAILURE;
102*4882a593Smuzhiyun
103*4882a593Smuzhiyun for (uint64_t i = 0; i < threads; i++)
104*4882a593Smuzhiyun pthread_create(&thread[i], NULL, &worker, NULL);
105*4882a593Smuzhiyun
106*4882a593Smuzhiyun for (uint64_t i = 0; i < threads; i++)
107*4882a593Smuzhiyun pthread_join(thread[i], NULL);
108*4882a593Smuzhiyun
109*4882a593Smuzhiyun free(thread);
110*4882a593Smuzhiyun
111*4882a593Smuzhiyun return passed ? EXIT_SUCCESS : EXIT_FAILURE;
112*4882a593Smuzhiyun }
113*4882a593Smuzhiyun
114*4882a593Smuzhiyun
main(int argc,char ** argv)115*4882a593Smuzhiyun int main(int argc, char **argv)
116*4882a593Smuzhiyun {
117*4882a593Smuzhiyun return test_harness(tm_vmx_unavail_test, "tm_vmx_unavail_test");
118*4882a593Smuzhiyun }
119