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