$ diff -y restrict.s not-restrict.s
	.file	"foo.c"							.file	"foo.c"
	.text								.text
	.p2align 4							.p2align 4
	.globl	t							.globl	t
	.type	t, @function						.type	t, @function
t:								t:
.LFB0:								.LFB0:
	.cfi_startproc							.cfi_startproc
	endbr64								endbr64
	movsbl	(%rdx), %eax						movsbl	(%rdx), %eax
	addl	%eax, (%rdi)						addl	%eax, (%rdi)
							      >		movsbl	(%rdx), %eax
	addl	%eax, (%rsi)						addl	%eax, (%rsi)
	ret								ret
	.cfi_endproc							.cfi_endproc
.LFE0:								.LFE0:
	.size	t, .-t							.size	t, .-t
	.ident	"GCC: (Ubuntu 11.4.0-1ubuntu1~22.04) 11.4.0"		.ident	"GCC: (Ubuntu 11.4.0-1ubuntu1~22.04) 11.4.0"
	.section	.note.GNU-stack,"",@progbits			.section	.note.GNU-stack,"",@progbits
	.section	.note.gnu.property,"a"				.section	.note.gnu.property,"a"
	.align 8							.align 8
	.long	1f - 0f							.long	1f - 0f
	.long	4f - 1f							.long	4f - 1f
	.long	5							.long	5
0:								0:
	.string	"GNU"							.string	"GNU"
1:								1:
	.align 8							.align 8
	.long	0xc0000002						.long	0xc0000002
	.long	3f - 2f							.long	3f - 2f
2:								2:
	.long	0x3							.long	0x3
3:								3:
	.align 8							.align 8
4:								4: