tests/tcg/aarch64: Add pauth-4
Perform the set of operations and test described in LP 1859713. Suggested-by: Adrien GRASSEIN <adrien.grassein@smile.fr> Signed-off-by: Richard Henderson <richard.henderson@linaro.org> Message-id: 20200116230809.19078-5-richard.henderson@linaro.org [PMM: fixed hard-coded tabs] Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
This commit is contained in:
		
							parent
							
								
									73fc079849
								
							
						
					
					
						commit
						dd684ead29
					
				@ -18,7 +18,7 @@ run-fcvt: fcvt
 | 
				
			|||||||
	$(call diff-out,$<,$(AARCH64_SRC)/fcvt.ref)
 | 
						$(call diff-out,$<,$(AARCH64_SRC)/fcvt.ref)
 | 
				
			||||||
 | 
					
 | 
				
			||||||
# Pauth Tests
 | 
					# Pauth Tests
 | 
				
			||||||
AARCH64_TESTS += pauth-1 pauth-2
 | 
					AARCH64_TESTS += pauth-1 pauth-2 pauth-4
 | 
				
			||||||
run-pauth-%: QEMU_OPTS += -cpu max
 | 
					run-pauth-%: QEMU_OPTS += -cpu max
 | 
				
			||||||
pauth-%: CFLAGS += -march=armv8.3-a
 | 
					pauth-%: CFLAGS += -march=armv8.3-a
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
				
			|||||||
							
								
								
									
										25
									
								
								tests/tcg/aarch64/pauth-4.c
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										25
									
								
								tests/tcg/aarch64/pauth-4.c
									
									
									
									
									
										Normal file
									
								
							@ -0,0 +1,25 @@
 | 
				
			|||||||
 | 
					#include <stdint.h>
 | 
				
			||||||
 | 
					#include <assert.h>
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					int main()
 | 
				
			||||||
 | 
					{
 | 
				
			||||||
 | 
					  uintptr_t x, y;
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					  asm("mov %0, lr\n\t"
 | 
				
			||||||
 | 
					      "pacia %0, sp\n\t"        /* sigill if pauth not supported */
 | 
				
			||||||
 | 
					      "eor %0, %0, #4\n\t"      /* corrupt single bit */
 | 
				
			||||||
 | 
					      "mov %1, %0\n\t"
 | 
				
			||||||
 | 
					      "autia %1, sp\n\t"        /* validate corrupted pointer */
 | 
				
			||||||
 | 
					      "xpaci %0\n\t"            /* strip pac from corrupted pointer */
 | 
				
			||||||
 | 
					      : "=r"(x), "=r"(y));
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					  /*
 | 
				
			||||||
 | 
					   * Once stripped, the corrupted pointer is of the form 0x0000...wxyz.
 | 
				
			||||||
 | 
					   * We expect the autia to indicate failure, producing a pointer of the
 | 
				
			||||||
 | 
					   * form 0x000e....wxyz.  Use xpaci and != for the test, rather than
 | 
				
			||||||
 | 
					   * extracting explicit bits from the top, because the location of the
 | 
				
			||||||
 | 
					   * error code "e" depends on the configuration of virtual memory.
 | 
				
			||||||
 | 
					   */
 | 
				
			||||||
 | 
					  assert(x != y);
 | 
				
			||||||
 | 
					  return 0;
 | 
				
			||||||
 | 
					}
 | 
				
			||||||
		Loading…
	
	
			
			x
			
			
		
	
		Reference in New Issue
	
	Block a user