Mercurial > projects > ldc
view tests/mini/intrinsics_ovf.d @ 1404:11b122f92136
Now that templates instantiations are no longer emitted for all modules that
even blink at them they seem to break due to being linkonce (if compiled with
any optimization level > 0), so let's give them weak linkage instead.
The difference is that unreferenced linkonce symbols can be deleted, while
weak symbols need to be preserved.
author | Frits van Bommel <fvbommel wxs.nl> |
---|---|
date | Thu, 21 May 2009 15:23:28 +0200 |
parents | 34f2fd925de3 |
children |
line wrap: on
line source
module intrinsics_ovf; //version = PRINTF; version(PRINTF) extern(C) int printf(char*, ...); import ldc.intrinsics; int saddo(int a, int b, out bool overflow) { auto Result = llvm_sadd_with_overflow(a, b); overflow = Result.overflow; return Result.result; } int uaddo(int a, int b, out bool overflow) { auto Result = llvm_uadd_with_overflow(a, b); overflow = Result.overflow; return Result.result; } int smulo(int a, int b, out bool overflow) { auto Result = llvm_smul_with_overflow(a, b); overflow = Result.overflow; return Result.result; } /* uint umulo(uint a, uint b, out bool overflow) { auto Result = llvm_umul_with_overflow(a, b); overflow = Result.overflow; return Result.result; } */ void test(int function(int, int, out bool) fn, int a, int b, int result_e, bool ovf_e) { version(PRINTF) printf("%8x :: %8x :: %8x :: %.*s\n", a, b, result_e, (ovf_e ? "true" : "false")); bool ovf; int result = fn(a, b, ovf); version(PRINTF) printf("____________________ %8x :: %.*s\n", result, (ovf ? "true" : "false")); assert(ovf == ovf_e); assert(result == result_e); } void main() { test(&saddo, int.min, int.min, int.min + int.min, true); test(&saddo, int.min, int.max, int.min + int.max, false); test(&saddo, 1, int.max, 1 + int.max, true); test(&saddo, 1, 2, 3, false); test(&saddo, -1, -2, -3, false); test(&uaddo, 0, uint.max, 0 + uint.max, false); test(&uaddo, 1, uint.max, 1 + uint.max, true); test(&uaddo, 1, 2, 3, false); test(&smulo, int.min, int.min, int.min * int.min, true); test(&smulo, int.min, int.max, int.min * int.max, true); test(&smulo, int.max, int.max, int.max * int.max, true); test(&smulo, 1, int.max, 1 * int.max, false); test(&smulo, 2, int.max/2, 2 * (int.max/2), false); test(&smulo, 2, int.max/2 + 1, 2 * (int.max/2 + 1), true); test(&smulo, 2, int.min/2, 2 * (int.min/2), false); test(&smulo, 2, int.min/2 - 1, 2 * (int.min/2 - 1), true); test(&smulo, 1, 2, 2, false); test(&smulo, -1, -2, 2, false); }