177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao//===-- subvdi3_test.c - Test __subvdi3 -----------------------------------===// 277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// 377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// The LLVM Compiler Infrastructure 477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// 577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// This file is distributed under the University of Illinois Open Source 677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// License. See LICENSE.TXT for details. 777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// 877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao//===----------------------------------------------------------------------===// 977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// 1077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// This file tests __subvdi3 for the compiler_rt library. 1177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// 1277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao//===----------------------------------------------------------------------===// 1377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 1477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao#include "int_lib.h" 1577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao#include <stdio.h> 1677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao#include <stdlib.h> 1777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 1877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// Returns: a - b 1977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 2077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// Effects: aborts if a - b overflows 2177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 2277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liaodi_int __subvdi3(di_int a, di_int b); 2377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 2477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liaoint test__subvdi3(di_int a, di_int b) 2577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ 2677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao di_int x = __subvdi3(a, b); 2777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao di_int expected = a - b; 2877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (x != expected) 2977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao printf("error in test__subvsi3(0x%llX, 0x%llX) = %lld, expected %lld\n", 3077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao a, b, x, expected); 3177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return x != expected; 3277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao} 3377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 3477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liaoint main() 3577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ 3677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// test__subvdi3(0x8000000000000000LL, 1); // should abort 3777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// test__subvdi3(0, 0x8000000000000000LL); // should abort 3877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// test__subvdi3(1, 0x8000000000000000LL); // should abort 3977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// test__subvdi3(0x7FFFFFFFFFFFFFFFLL, -1); // should abort 4077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// test__subvdi3(-2, 0x7FFFFFFFFFFFFFFFLL); // should abort 4177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 4277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__subvdi3(0x8000000000000000LL, -1)) 4377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 4477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__subvdi3(0x8000000000000000LL, 0)) 4577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 4677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__subvdi3(-1, 0x8000000000000000LL)) 4777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 4877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__subvdi3(0x7FFFFFFFFFFFFFFLL, 1)) 4977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 5077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__subvdi3(0x7FFFFFFFFFFFFFFFLL, 0)) 5177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 5277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__subvdi3(1, 0x7FFFFFFFFFFFFFFLL)) 5377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 5477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__subvdi3(0, 0x7FFFFFFFFFFFFFFFLL)) 5577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 5677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__subvdi3(-1, 0x7FFFFFFFFFFFFFFFLL)) 5777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 5877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 5977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 0; 6077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao} 61