Mercurial > projects > ldc
view tests/mini/intrinsics_ovf.d @ 1569:755abafbf25d
Push the context through StructType::get.
Requires LLVM >= 78258. Also remove old #if's.
author | Benjamin Kramer <benny.kra@gmail.com> |
---|---|
date | Thu, 06 Aug 2009 01:47:39 +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); }