...rax and %rdi
0000000100001623    callq    _foo
0000000100001628    xorl    %eax, %eax
000000010000162a    popq    %rbp
000000010000162b    retq...

...0x2dd, %edi
00000001000014a9	movl	$0x3f, %esi
00000001000014ae	xorl	%ecx, %ecx
00000001000014b0	callq	0x10006e0a2 ## symbol stub...

...i) {
      assume(i<6);
      return i==9;
   }
   // => "xorl %eax, %eax; ret"


`assume`, unlike `assert`, may...

...a) {
  return a > (a + 1);
}
---
produces
---
_D4test3fooFiZb:
    xorl    %eax, %eax
    ret
---
using the GDC 4...

...programs. ldc2 optimizes away both programs to "xorl %eax, %eax".

And I can't test...

...testl	%ecx, %ecx
	je	L7
	fldl	LC0
	xorl	%edx, %edx
	movl	$1, %eax
	fldl	LC2...

...xmm0
	testl	%eax, %eax
	je	LBB0_8
	xorl	%ecx, %ecx
	movb	$1, %dl
	movsd	LCPI0...

...1), %st
	ja	L4

	fstp	%st(0)
	xorl	%eax, %eax
	leave
	ret

--------------------------

LDC2 asm:

__Dmain...

...rax
.Ltmp33:
	.cfi_def_cfa_offset 16
	xorl	%eax, %eax
	testq	%r8, %r8
	je	.LBB6...

...leal    20(%esp), %ebx
    xorl    %esi, %esi
    movl    $2, %ebp
    xorl    %edi, %edi
    .align  16...