177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao//===-- subvsi3_test.c - Test __subvsi3 -----------------------------------===// 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 __subvsi3 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 Liaosi_int __subvsi3(si_int a, si_int b); 2377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 2477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liaoint test__subvsi3(si_int a, si_int b) 2577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao{ 2677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao si_int x = __subvsi3(a, b); 2777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao si_int expected = a - b; 2877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (x != expected) 2977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao printf("error in test__subvsi3(0x%X, 0x%X) = %d, expected %d\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__subvsi3(0x80000000, 1); // should abort 3777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// test__subvsi3(0, 0x80000000); // should abort 3877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// test__subvsi3(1, 0x80000000); // should abort 3977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// test__subvsi3(0x7FFFFFFF, -1); // should abort 4077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao// test__subvsi3(-2, 0x7FFFFFFF); // should abort 4177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 4277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__subvsi3(0x80000000, -1)) 4377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 4477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__subvsi3(0x80000000, 0)) 4577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 4677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__subvsi3(-1, 0x80000000)) 4777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 4877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__subvsi3(0x7FFFFFFF, 1)) 4977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 5077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__subvsi3(0x7FFFFFFF, 0)) 5177ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 5277ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__subvsi3(1, 0x7FFFFFFF)) 5377ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 5477ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__subvsi3(0, 0x7FFFFFFF)) 5577ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 5677ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao if (test__subvsi3(-1, 0x7FFFFFFF)) 5777ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 1; 5877ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao 5977ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao return 0; 6077ed6142daed1e068fbda64405d0de9845e40e1Shih-wei Liao} 61