This is an archive of the discontinued LLVM Phabricator instance.

	# This reproduces a bug triggered by a relocation referencing a section symbol			# This reproduces a bug triggered by a relocation referencing a section symbol
	# plus a negative reloc. BOLT handles such cases specially, but while doing so,			# plus a negative reloc. BOLT handles such cases specially, but while doing so,
	# it was failing to sign extend a negative result for the relocation (encoded			# it was failing to sign extend a negative result for the relocation (encoded
	# in the immediate operand of an LEA instruction).			# in the immediate operand of an LEA instruction).
	# Originally triggered by https://fossies.org/linux/glib/glib/guniprop.c			# Originally triggered by https://fossies.org/linux/glib/glib/guniprop.c
	# Line 550: const gchar *p = special_case_table + val - 0x1000000;			# Line 550: const gchar *p = special_case_table + val - 0x1000000;

	# REQUIRES: system-linux			# REQUIRES: system-linux

	# RUN: llvm-mc -filetype=obj -triple x86_64-unknown-unknown \			# RUN: llvm-mc -filetype=obj -triple x86_64-unknown-unknown \
	# RUN: %s -o %t.o			# RUN: %s -o %t.o
	# Delete our BB symbols so BOLT doesn't mark them as entry points			# Delete our BB symbols so BOLT doesn't mark them as entry points
	# RUN: llvm-strip --strip-unneeded %t.o			# RUN: llvm-strip --strip-unneeded %t.o
	# RUN: %clang %cflags -no-pie %t.o -o %t.exe -Wl,-q			# RUN: %clang %cflags -no-pie %t.o -o %t.exe -Wl,-q

	# RUN: llvm-bolt %t.exe --relocs=1 --print-finalized --print-only=main -o %t.out			# RUN: llvm-bolt %t.exe --print-finalized --print-only=main -o %t.out \
				# RUN: 2>&1 \| FileCheck %s

	# RUN: %t.out 1 2			# RUN: %t.out 1 2 \| FileCheck --check-prefix=CHECK-RT %s

	.text			.text
	.globl main			.globl main
	.type main, %function			.type main, %function
	.p2align 4			.p2align 4
	main:			main:
	pushq %rbp			pushq %rbp
	movq %rsp, %rbp			movq %rsp, %rbp
	subq $0x18, %rsp			subq $0x10, %rsp
	cmpl $0x2, %edi			cmpl $0x2, %edi
	jb .BBend			jb .BBend
	.BB2:			.BB2:
	leaq .data-0x1000000, %rsi # Use a large negative addend to cause a
				# CHECK: leaq
				# CHECK-SAME: {{.}}-{{.}}
				leaq mystring-0x1000000, %rsi # Use a large negative addend to cause a
	# negative result to be encoded in LEA			# negative result to be encoded in LEA
	addq $0x1000000, %rsi # Eventually program logic compensates to get			addq $0x1000000, %rsi # Eventually program logic compensates to get
	# a real address			# a real address
	movq $2, %rbx			movq $2, %rbx
	xorq %rax, %rax			xorq %rax, %rax
	movb (%rsi), %al			movb (%rsi), %al
	addq %rbx, %rax			addq %rbx, %rax
	movb %al, (%rsi)			movb %al, (%rsi)
	leaq mystring, %rdi			leaq mystring, %rdi
	callq puts			callq puts

	.BBend:			.BBend:
	xorq %rax, %rax			xorq %rax, %rax
	leaveq			leaveq
	retq			retq
	.size main, .-main			.size main, .-main

	.data			.data

				# CHECK-RT: {{.*}} is rbx mod 10 contents in decimal
	mystring: .asciz "0 is rbx mod 10 contents in decimal\n"			mystring: .asciz "0 is rbx mod 10 contents in decimal\n"

This is an archive of the discontinued LLVM Phabricator instance.

[BOLT][TEST] Fix stack alignment in section-reloc-with-addend.sClosedPublic

Details

Diff Detail

Event Timeline

Revision Contents

Diff 438478

bolt/test/runtime/X86/section-reloc-with-addend.s

[BOLT][TEST] Fix stack alignment in section-reloc-with-addend.s
ClosedPublic