/* -*- mode: C -*- Time-stamp: "2010-02-18 10:37:57 jeffrey"
*
* File: pdf-i64-mult-i32.c
* Date: Thu Feb 18 03:45:00 2010
*
* GNU PDF Library - Types Module - pdf_i64_mult_i32 test cases
*
*/
/* Copyright (C) 2010 Free Software Foundation, Inc. */
/* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program. If not, see .
*/
#include
#include
#include
#include
#include
#define INTERACTIVE_DEBUG 0
#ifndef pdf_i64_eq
# define pdf_i64_eq(x,y) (0 == pdf_i64_cmp((x), (y)))
#endif /* pdf_i64_eq */
#ifndef pdf_i64_neq
# define pdf_i64_neq(x,y) (0 != pdf_i64_cmp((x), (y)))
#endif /* pdf_i64_neq */
typedef struct _KnownAnswer
{
int32_t ah; /* a high */
uint32_t al; /* a low */
int32_t b; /* b */
int32_t ph; /* p high */
uint32_t pl; /* p low */
int32_t st; /* status */
} KnownAnswer;
static const KnownAnswer tests_mult_i32[] =
{
/* 1 */ {0x80000000,0x00000000,0x80000000,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 2 */ {0x80000000,0x00000000,0x80000001,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 3 */ {0x80000000,0x00000000,0x80000002,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 4 */ {0x80000000,0x00000000,0x80000004,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 5 */ {0x80000000,0x00000000,0x80000008,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 6 */ {0x80000000,0x00000000,0xfffffff8,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 7 */ {0x80000000,0x00000000,0xfffffffc,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 8 */ {0x80000000,0x00000000,0xfffffffe,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 9 */ {0x80000000,0x00000000,0xffffffff,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 10 */ {0x80000000,0x00000000,0x00000000,0x00000000,0x00000000,PDF_OK},
/* 11 */ {0x80000000,0x00000000,0x00000001,0x80000000,0x00000000,PDF_OK},
/* 12 */ {0x80000000,0x00000000,0x00000002,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 13 */ {0x80000000,0x00000000,0x00000004,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 14 */ {0x80000000,0x00000000,0x00000008,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 15 */ {0x80000000,0x00000000,0x7ffffff8,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 16 */ {0x80000000,0x00000000,0x7ffffffb,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 17 */ {0x80000000,0x00000000,0x7ffffffd,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 18 */ {0x80000000,0x00000000,0x7ffffffe,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 19 */ {0x80000000,0x00000000,0x7fffffff,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 20 */ {0x80000000,0x00000001,0x80000000,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 21 */ {0x80000000,0x00000001,0x80000001,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 22 */ {0x80000000,0x00000001,0x80000002,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 23 */ {0x80000000,0x00000001,0x80000004,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 24 */ {0x80000000,0x00000001,0x80000008,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 25 */ {0x80000000,0x00000001,0xfffffff8,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 26 */ {0x80000000,0x00000001,0xfffffffc,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 27 */ {0x80000000,0x00000001,0xfffffffe,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 28 */ {0x80000000,0x00000001,0xffffffff,0x7fffffff,0xffffffff,PDF_OK},
/* 29 */ {0x80000000,0x00000001,0x00000000,0x00000000,0x00000000,PDF_OK},
/* 30 */ {0x80000000,0x00000001,0x00000001,0x80000000,0x00000001,PDF_OK},
/* 31 */ {0x80000000,0x00000001,0x00000002,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 32 */ {0x80000000,0x00000001,0x00000004,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 33 */ {0x80000000,0x00000001,0x00000008,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 34 */ {0x80000000,0x00000001,0x7ffffff8,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 35 */ {0x80000000,0x00000001,0x7ffffffb,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 36 */ {0x80000000,0x00000001,0x7ffffffd,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 37 */ {0x80000000,0x00000001,0x7ffffffe,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 38 */ {0x80000000,0x00000001,0x7fffffff,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 39 */ {0x80000000,0x00000002,0x80000000,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 40 */ {0x80000000,0x00000002,0x80000001,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 41 */ {0x80000000,0x00000002,0x80000002,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 42 */ {0x80000000,0x00000002,0x80000004,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 43 */ {0x80000000,0x00000002,0x80000008,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 44 */ {0x80000000,0x00000002,0xfffffff8,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 45 */ {0x80000000,0x00000002,0xfffffffc,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 46 */ {0x80000000,0x00000002,0xfffffffe,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 47 */ {0x80000000,0x00000002,0xffffffff,0x7fffffff,0xfffffffe,PDF_OK},
/* 48 */ {0x80000000,0x00000002,0x00000000,0x00000000,0x00000000,PDF_OK},
/* 49 */ {0x80000000,0x00000002,0x00000001,0x80000000,0x00000002,PDF_OK},
/* 50 */ {0x80000000,0x00000002,0x00000002,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 51 */ {0x80000000,0x00000002,0x00000004,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 52 */ {0x80000000,0x00000002,0x00000008,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 53 */ {0x80000000,0x00000002,0x7ffffff8,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 54 */ {0x80000000,0x00000002,0x7ffffffb,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 55 */ {0x80000000,0x00000002,0x7ffffffd,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 56 */ {0x80000000,0x00000002,0x7ffffffe,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 57 */ {0x80000000,0x00000002,0x7fffffff,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 58 */ {0x80000000,0x00000004,0x80000000,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 59 */ {0x80000000,0x00000004,0x80000001,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 60 */ {0x80000000,0x00000004,0x80000002,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 61 */ {0x80000000,0x00000004,0x80000004,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 62 */ {0x80000000,0x00000004,0x80000008,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 63 */ {0x80000000,0x00000004,0xfffffff8,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 64 */ {0x80000000,0x00000004,0xfffffffc,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 65 */ {0x80000000,0x00000004,0xfffffffe,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 66 */ {0x80000000,0x00000004,0xffffffff,0x7fffffff,0xfffffffc,PDF_OK},
/* 67 */ {0x80000000,0x00000004,0x00000000,0x00000000,0x00000000,PDF_OK},
/* 68 */ {0x80000000,0x00000004,0x00000001,0x80000000,0x00000004,PDF_OK},
/* 69 */ {0x80000000,0x00000004,0x00000002,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 70 */ {0x80000000,0x00000004,0x00000004,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 71 */ {0x80000000,0x00000004,0x00000008,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 72 */ {0x80000000,0x00000004,0x7ffffff8,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 73 */ {0x80000000,0x00000004,0x7ffffffb,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 74 */ {0x80000000,0x00000004,0x7ffffffd,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 75 */ {0x80000000,0x00000004,0x7ffffffe,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 76 */ {0x80000000,0x00000004,0x7fffffff,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 77 */ {0x80000000,0x00000008,0x80000000,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 78 */ {0x80000000,0x00000008,0x80000001,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 79 */ {0x80000000,0x00000008,0x80000002,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 80 */ {0x80000000,0x00000008,0x80000004,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 81 */ {0x80000000,0x00000008,0x80000008,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 82 */ {0x80000000,0x00000008,0xfffffff8,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 83 */ {0x80000000,0x00000008,0xfffffffc,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 84 */ {0x80000000,0x00000008,0xfffffffe,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 85 */ {0x80000000,0x00000008,0xffffffff,0x7fffffff,0xfffffff8,PDF_OK},
/* 86 */ {0x80000000,0x00000008,0x00000000,0x00000000,0x00000000,PDF_OK},
/* 87 */ {0x80000000,0x00000008,0x00000001,0x80000000,0x00000008,PDF_OK},
/* 88 */ {0x80000000,0x00000008,0x00000002,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 89 */ {0x80000000,0x00000008,0x00000004,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 90 */ {0x80000000,0x00000008,0x00000008,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 91 */ {0x80000000,0x00000008,0x7ffffff8,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 92 */ {0x80000000,0x00000008,0x7ffffffb,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 93 */ {0x80000000,0x00000008,0x7ffffffd,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 94 */ {0x80000000,0x00000008,0x7ffffffe,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 95 */ {0x80000000,0x00000008,0x7fffffff,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 96 */ {0xffffffff,0xfffffff8,0x80000000,0x00000004,0x00000000,PDF_OK},
/* 97 */ {0xffffffff,0xfffffff8,0x80000001,0x00000003,0xfffffff8,PDF_OK},
/* 98 */ {0xffffffff,0xfffffff8,0x80000002,0x00000003,0xfffffff0,PDF_OK},
/* 99 */ {0xffffffff,0xfffffff8,0x80000004,0x00000003,0xffffffe0,PDF_OK},
/* 100 */ {0xffffffff,0xfffffff8,0x80000008,0x00000003,0xffffffc0,PDF_OK},
/* 101 */ {0xffffffff,0xfffffff8,0xfffffff8,0x00000000,0x00000040,PDF_OK},
/* 102 */ {0xffffffff,0xfffffff8,0xfffffffc,0x00000000,0x00000020,PDF_OK},
/* 103 */ {0xffffffff,0xfffffff8,0xfffffffe,0x00000000,0x00000010,PDF_OK},
/* 104 */ {0xffffffff,0xfffffff8,0xffffffff,0x00000000,0x00000008,PDF_OK},
/* 105 */ {0xffffffff,0xfffffff8,0x00000000,0x00000000,0x00000000,PDF_OK},
/* 106 */ {0xffffffff,0xfffffff8,0x00000001,0xffffffff,0xfffffff8,PDF_OK},
/* 107 */ {0xffffffff,0xfffffff8,0x00000002,0xffffffff,0xfffffff0,PDF_OK},
/* 108 */ {0xffffffff,0xfffffff8,0x00000004,0xffffffff,0xffffffe0,PDF_OK},
/* 109 */ {0xffffffff,0xfffffff8,0x00000008,0xffffffff,0xffffffc0,PDF_OK},
/* 110 */ {0xffffffff,0xfffffff8,0x7ffffff8,0xfffffffc,0x00000040,PDF_OK},
/* 111 */ {0xffffffff,0xfffffff8,0x7ffffffb,0xfffffffc,0x00000028,PDF_OK},
/* 112 */ {0xffffffff,0xfffffff8,0x7ffffffd,0xfffffffc,0x00000018,PDF_OK},
/* 113 */ {0xffffffff,0xfffffff8,0x7ffffffe,0xfffffffc,0x00000010,PDF_OK},
/* 114 */ {0xffffffff,0xfffffff8,0x7fffffff,0xfffffffc,0x00000008,PDF_OK},
/* 115 */ {0xffffffff,0xfffffffc,0x80000000,0x00000002,0x00000000,PDF_OK},
/* 116 */ {0xffffffff,0xfffffffc,0x80000001,0x00000001,0xfffffffc,PDF_OK},
/* 117 */ {0xffffffff,0xfffffffc,0x80000002,0x00000001,0xfffffff8,PDF_OK},
/* 118 */ {0xffffffff,0xfffffffc,0x80000004,0x00000001,0xfffffff0,PDF_OK},
/* 119 */ {0xffffffff,0xfffffffc,0x80000008,0x00000001,0xffffffe0,PDF_OK},
/* 120 */ {0xffffffff,0xfffffffc,0xfffffff8,0x00000000,0x00000020,PDF_OK},
/* 121 */ {0xffffffff,0xfffffffc,0xfffffffc,0x00000000,0x00000010,PDF_OK},
/* 122 */ {0xffffffff,0xfffffffc,0xfffffffe,0x00000000,0x00000008,PDF_OK},
/* 123 */ {0xffffffff,0xfffffffc,0xffffffff,0x00000000,0x00000004,PDF_OK},
/* 124 */ {0xffffffff,0xfffffffc,0x00000000,0x00000000,0x00000000,PDF_OK},
/* 125 */ {0xffffffff,0xfffffffc,0x00000001,0xffffffff,0xfffffffc,PDF_OK},
/* 126 */ {0xffffffff,0xfffffffc,0x00000002,0xffffffff,0xfffffff8,PDF_OK},
/* 127 */ {0xffffffff,0xfffffffc,0x00000004,0xffffffff,0xfffffff0,PDF_OK},
/* 128 */ {0xffffffff,0xfffffffc,0x00000008,0xffffffff,0xffffffe0,PDF_OK},
/* 129 */ {0xffffffff,0xfffffffc,0x7ffffff8,0xfffffffe,0x00000020,PDF_OK},
/* 130 */ {0xffffffff,0xfffffffc,0x7ffffffb,0xfffffffe,0x00000014,PDF_OK},
/* 131 */ {0xffffffff,0xfffffffc,0x7ffffffd,0xfffffffe,0x0000000c,PDF_OK},
/* 132 */ {0xffffffff,0xfffffffc,0x7ffffffe,0xfffffffe,0x00000008,PDF_OK},
/* 133 */ {0xffffffff,0xfffffffc,0x7fffffff,0xfffffffe,0x00000004,PDF_OK},
/* 134 */ {0xffffffff,0xfffffffe,0x80000000,0x00000001,0x00000000,PDF_OK},
/* 135 */ {0xffffffff,0xfffffffe,0x80000001,0x00000000,0xfffffffe,PDF_OK},
/* 136 */ {0xffffffff,0xfffffffe,0x80000002,0x00000000,0xfffffffc,PDF_OK},
/* 137 */ {0xffffffff,0xfffffffe,0x80000004,0x00000000,0xfffffff8,PDF_OK},
/* 138 */ {0xffffffff,0xfffffffe,0x80000008,0x00000000,0xfffffff0,PDF_OK},
/* 139 */ {0xffffffff,0xfffffffe,0xfffffff8,0x00000000,0x00000010,PDF_OK},
/* 140 */ {0xffffffff,0xfffffffe,0xfffffffc,0x00000000,0x00000008,PDF_OK},
/* 141 */ {0xffffffff,0xfffffffe,0xfffffffe,0x00000000,0x00000004,PDF_OK},
/* 142 */ {0xffffffff,0xfffffffe,0xffffffff,0x00000000,0x00000002,PDF_OK},
/* 143 */ {0xffffffff,0xfffffffe,0x00000000,0x00000000,0x00000000,PDF_OK},
/* 144 */ {0xffffffff,0xfffffffe,0x00000001,0xffffffff,0xfffffffe,PDF_OK},
/* 145 */ {0xffffffff,0xfffffffe,0x00000002,0xffffffff,0xfffffffc,PDF_OK},
/* 146 */ {0xffffffff,0xfffffffe,0x00000004,0xffffffff,0xfffffff8,PDF_OK},
/* 147 */ {0xffffffff,0xfffffffe,0x00000008,0xffffffff,0xfffffff0,PDF_OK},
/* 148 */ {0xffffffff,0xfffffffe,0x7ffffff8,0xffffffff,0x00000010,PDF_OK},
/* 149 */ {0xffffffff,0xfffffffe,0x7ffffffb,0xffffffff,0x0000000a,PDF_OK},
/* 150 */ {0xffffffff,0xfffffffe,0x7ffffffd,0xffffffff,0x00000006,PDF_OK},
/* 151 */ {0xffffffff,0xfffffffe,0x7ffffffe,0xffffffff,0x00000004,PDF_OK},
/* 152 */ {0xffffffff,0xfffffffe,0x7fffffff,0xffffffff,0x00000002,PDF_OK},
/* 153 */ {0xffffffff,0xffffffff,0x80000000,0x00000000,0x80000000,PDF_OK},
/* 154 */ {0xffffffff,0xffffffff,0x80000001,0x00000000,0x7fffffff,PDF_OK},
/* 155 */ {0xffffffff,0xffffffff,0x80000002,0x00000000,0x7ffffffe,PDF_OK},
/* 156 */ {0xffffffff,0xffffffff,0x80000004,0x00000000,0x7ffffffc,PDF_OK},
/* 157 */ {0xffffffff,0xffffffff,0x80000008,0x00000000,0x7ffffff8,PDF_OK},
/* 158 */ {0xffffffff,0xffffffff,0xfffffff8,0x00000000,0x00000008,PDF_OK},
/* 159 */ {0xffffffff,0xffffffff,0xfffffffc,0x00000000,0x00000004,PDF_OK},
/* 160 */ {0xffffffff,0xffffffff,0xfffffffe,0x00000000,0x00000002,PDF_OK},
/* 161 */ {0xffffffff,0xffffffff,0xffffffff,0x00000000,0x00000001,PDF_OK},
/* 162 */ {0xffffffff,0xffffffff,0x00000000,0x00000000,0x00000000,PDF_OK},
/* 163 */ {0xffffffff,0xffffffff,0x00000001,0xffffffff,0xffffffff,PDF_OK},
/* 164 */ {0xffffffff,0xffffffff,0x00000002,0xffffffff,0xfffffffe,PDF_OK},
/* 165 */ {0xffffffff,0xffffffff,0x00000004,0xffffffff,0xfffffffc,PDF_OK},
/* 166 */ {0xffffffff,0xffffffff,0x00000008,0xffffffff,0xfffffff8,PDF_OK},
/* 167 */ {0xffffffff,0xffffffff,0x7ffffff8,0xffffffff,0x80000008,PDF_OK},
/* 168 */ {0xffffffff,0xffffffff,0x7ffffffb,0xffffffff,0x80000005,PDF_OK},
/* 169 */ {0xffffffff,0xffffffff,0x7ffffffd,0xffffffff,0x80000003,PDF_OK},
/* 170 */ {0xffffffff,0xffffffff,0x7ffffffe,0xffffffff,0x80000002,PDF_OK},
/* 171 */ {0xffffffff,0xffffffff,0x7fffffff,0xffffffff,0x80000001,PDF_OK},
/* 172 */ {0x00000000,0x00000000,0x80000000,0x00000000,0x00000000,PDF_OK},
/* 173 */ {0x00000000,0x00000000,0x80000001,0x00000000,0x00000000,PDF_OK},
/* 174 */ {0x00000000,0x00000000,0x80000002,0x00000000,0x00000000,PDF_OK},
/* 175 */ {0x00000000,0x00000000,0x80000004,0x00000000,0x00000000,PDF_OK},
/* 176 */ {0x00000000,0x00000000,0x80000008,0x00000000,0x00000000,PDF_OK},
/* 177 */ {0x00000000,0x00000000,0xfffffff8,0x00000000,0x00000000,PDF_OK},
/* 178 */ {0x00000000,0x00000000,0xfffffffc,0x00000000,0x00000000,PDF_OK},
/* 179 */ {0x00000000,0x00000000,0xfffffffe,0x00000000,0x00000000,PDF_OK},
/* 180 */ {0x00000000,0x00000000,0xffffffff,0x00000000,0x00000000,PDF_OK},
/* 181 */ {0x00000000,0x00000000,0x00000000,0x00000000,0x00000000,PDF_OK},
/* 182 */ {0x00000000,0x00000000,0x00000001,0x00000000,0x00000000,PDF_OK},
/* 183 */ {0x00000000,0x00000000,0x00000002,0x00000000,0x00000000,PDF_OK},
/* 184 */ {0x00000000,0x00000000,0x00000004,0x00000000,0x00000000,PDF_OK},
/* 185 */ {0x00000000,0x00000000,0x00000008,0x00000000,0x00000000,PDF_OK},
/* 186 */ {0x00000000,0x00000000,0x7ffffff8,0x00000000,0x00000000,PDF_OK},
/* 187 */ {0x00000000,0x00000000,0x7ffffffb,0x00000000,0x00000000,PDF_OK},
/* 188 */ {0x00000000,0x00000000,0x7ffffffd,0x00000000,0x00000000,PDF_OK},
/* 189 */ {0x00000000,0x00000000,0x7ffffffe,0x00000000,0x00000000,PDF_OK},
/* 190 */ {0x00000000,0x00000000,0x7fffffff,0x00000000,0x00000000,PDF_OK},
/* 191 */ {0x00000000,0x00000001,0x80000000,0xffffffff,0x80000000,PDF_OK},
/* 192 */ {0x00000000,0x00000001,0x80000001,0xffffffff,0x80000001,PDF_OK},
/* 193 */ {0x00000000,0x00000001,0x80000002,0xffffffff,0x80000002,PDF_OK},
/* 194 */ {0x00000000,0x00000001,0x80000004,0xffffffff,0x80000004,PDF_OK},
/* 195 */ {0x00000000,0x00000001,0x80000008,0xffffffff,0x80000008,PDF_OK},
/* 196 */ {0x00000000,0x00000001,0xfffffff8,0xffffffff,0xfffffff8,PDF_OK},
/* 197 */ {0x00000000,0x00000001,0xfffffffc,0xffffffff,0xfffffffc,PDF_OK},
/* 198 */ {0x00000000,0x00000001,0xfffffffe,0xffffffff,0xfffffffe,PDF_OK},
/* 199 */ {0x00000000,0x00000001,0xffffffff,0xffffffff,0xffffffff,PDF_OK},
/* 200 */ {0x00000000,0x00000001,0x00000000,0x00000000,0x00000000,PDF_OK},
/* 201 */ {0x00000000,0x00000001,0x00000001,0x00000000,0x00000001,PDF_OK},
/* 202 */ {0x00000000,0x00000001,0x00000002,0x00000000,0x00000002,PDF_OK},
/* 203 */ {0x00000000,0x00000001,0x00000004,0x00000000,0x00000004,PDF_OK},
/* 204 */ {0x00000000,0x00000001,0x00000008,0x00000000,0x00000008,PDF_OK},
/* 205 */ {0x00000000,0x00000001,0x7ffffff8,0x00000000,0x7ffffff8,PDF_OK},
/* 206 */ {0x00000000,0x00000001,0x7ffffffb,0x00000000,0x7ffffffb,PDF_OK},
/* 207 */ {0x00000000,0x00000001,0x7ffffffd,0x00000000,0x7ffffffd,PDF_OK},
/* 208 */ {0x00000000,0x00000001,0x7ffffffe,0x00000000,0x7ffffffe,PDF_OK},
/* 209 */ {0x00000000,0x00000001,0x7fffffff,0x00000000,0x7fffffff,PDF_OK},
/* 210 */ {0x00000000,0x00000002,0x80000000,0xffffffff,0x00000000,PDF_OK},
/* 211 */ {0x00000000,0x00000002,0x80000001,0xffffffff,0x00000002,PDF_OK},
/* 212 */ {0x00000000,0x00000002,0x80000002,0xffffffff,0x00000004,PDF_OK},
/* 213 */ {0x00000000,0x00000002,0x80000004,0xffffffff,0x00000008,PDF_OK},
/* 214 */ {0x00000000,0x00000002,0x80000008,0xffffffff,0x00000010,PDF_OK},
/* 215 */ {0x00000000,0x00000002,0xfffffff8,0xffffffff,0xfffffff0,PDF_OK},
/* 216 */ {0x00000000,0x00000002,0xfffffffc,0xffffffff,0xfffffff8,PDF_OK},
/* 217 */ {0x00000000,0x00000002,0xfffffffe,0xffffffff,0xfffffffc,PDF_OK},
/* 218 */ {0x00000000,0x00000002,0xffffffff,0xffffffff,0xfffffffe,PDF_OK},
/* 219 */ {0x00000000,0x00000002,0x00000000,0x00000000,0x00000000,PDF_OK},
/* 220 */ {0x00000000,0x00000002,0x00000001,0x00000000,0x00000002,PDF_OK},
/* 221 */ {0x00000000,0x00000002,0x00000002,0x00000000,0x00000004,PDF_OK},
/* 222 */ {0x00000000,0x00000002,0x00000004,0x00000000,0x00000008,PDF_OK},
/* 223 */ {0x00000000,0x00000002,0x00000008,0x00000000,0x00000010,PDF_OK},
/* 224 */ {0x00000000,0x00000002,0x7ffffff8,0x00000000,0xfffffff0,PDF_OK},
/* 225 */ {0x00000000,0x00000002,0x7ffffffb,0x00000000,0xfffffff6,PDF_OK},
/* 226 */ {0x00000000,0x00000002,0x7ffffffd,0x00000000,0xfffffffa,PDF_OK},
/* 227 */ {0x00000000,0x00000002,0x7ffffffe,0x00000000,0xfffffffc,PDF_OK},
/* 228 */ {0x00000000,0x00000002,0x7fffffff,0x00000000,0xfffffffe,PDF_OK},
/* 229 */ {0x00000000,0x00000004,0x80000000,0xfffffffe,0x00000000,PDF_OK},
/* 230 */ {0x00000000,0x00000004,0x80000001,0xfffffffe,0x00000004,PDF_OK},
/* 231 */ {0x00000000,0x00000004,0x80000002,0xfffffffe,0x00000008,PDF_OK},
/* 232 */ {0x00000000,0x00000004,0x80000004,0xfffffffe,0x00000010,PDF_OK},
/* 233 */ {0x00000000,0x00000004,0x80000008,0xfffffffe,0x00000020,PDF_OK},
/* 234 */ {0x00000000,0x00000004,0xfffffff8,0xffffffff,0xffffffe0,PDF_OK},
/* 235 */ {0x00000000,0x00000004,0xfffffffc,0xffffffff,0xfffffff0,PDF_OK},
/* 236 */ {0x00000000,0x00000004,0xfffffffe,0xffffffff,0xfffffff8,PDF_OK},
/* 237 */ {0x00000000,0x00000004,0xffffffff,0xffffffff,0xfffffffc,PDF_OK},
/* 238 */ {0x00000000,0x00000004,0x00000000,0x00000000,0x00000000,PDF_OK},
/* 239 */ {0x00000000,0x00000004,0x00000001,0x00000000,0x00000004,PDF_OK},
/* 240 */ {0x00000000,0x00000004,0x00000002,0x00000000,0x00000008,PDF_OK},
/* 241 */ {0x00000000,0x00000004,0x00000004,0x00000000,0x00000010,PDF_OK},
/* 242 */ {0x00000000,0x00000004,0x00000008,0x00000000,0x00000020,PDF_OK},
/* 243 */ {0x00000000,0x00000004,0x7ffffff8,0x00000001,0xffffffe0,PDF_OK},
/* 244 */ {0x00000000,0x00000004,0x7ffffffb,0x00000001,0xffffffec,PDF_OK},
/* 245 */ {0x00000000,0x00000004,0x7ffffffd,0x00000001,0xfffffff4,PDF_OK},
/* 246 */ {0x00000000,0x00000004,0x7ffffffe,0x00000001,0xfffffff8,PDF_OK},
/* 247 */ {0x00000000,0x00000004,0x7fffffff,0x00000001,0xfffffffc,PDF_OK},
/* 248 */ {0x00000000,0x00000008,0x80000000,0xfffffffc,0x00000000,PDF_OK},
/* 249 */ {0x00000000,0x00000008,0x80000001,0xfffffffc,0x00000008,PDF_OK},
/* 250 */ {0x00000000,0x00000008,0x80000002,0xfffffffc,0x00000010,PDF_OK},
/* 251 */ {0x00000000,0x00000008,0x80000004,0xfffffffc,0x00000020,PDF_OK},
/* 252 */ {0x00000000,0x00000008,0x80000008,0xfffffffc,0x00000040,PDF_OK},
/* 253 */ {0x00000000,0x00000008,0xfffffff8,0xffffffff,0xffffffc0,PDF_OK},
/* 254 */ {0x00000000,0x00000008,0xfffffffc,0xffffffff,0xffffffe0,PDF_OK},
/* 255 */ {0x00000000,0x00000008,0xfffffffe,0xffffffff,0xfffffff0,PDF_OK},
/* 256 */ {0x00000000,0x00000008,0xffffffff,0xffffffff,0xfffffff8,PDF_OK},
/* 257 */ {0x00000000,0x00000008,0x00000000,0x00000000,0x00000000,PDF_OK},
/* 258 */ {0x00000000,0x00000008,0x00000001,0x00000000,0x00000008,PDF_OK},
/* 259 */ {0x00000000,0x00000008,0x00000002,0x00000000,0x00000010,PDF_OK},
/* 260 */ {0x00000000,0x00000008,0x00000004,0x00000000,0x00000020,PDF_OK},
/* 261 */ {0x00000000,0x00000008,0x00000008,0x00000000,0x00000040,PDF_OK},
/* 262 */ {0x00000000,0x00000008,0x7ffffff8,0x00000003,0xffffffc0,PDF_OK},
/* 263 */ {0x00000000,0x00000008,0x7ffffffb,0x00000003,0xffffffd8,PDF_OK},
/* 264 */ {0x00000000,0x00000008,0x7ffffffd,0x00000003,0xffffffe8,PDF_OK},
/* 265 */ {0x00000000,0x00000008,0x7ffffffe,0x00000003,0xfffffff0,PDF_OK},
/* 266 */ {0x00000000,0x00000008,0x7fffffff,0x00000003,0xfffffff8,PDF_OK},
/* 267 */ {0x7fffffff,0xfffffff8,0x80000000,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 268 */ {0x7fffffff,0xfffffff8,0x80000001,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 269 */ {0x7fffffff,0xfffffff8,0x80000002,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 270 */ {0x7fffffff,0xfffffff8,0x80000004,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 271 */ {0x7fffffff,0xfffffff8,0x80000008,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 272 */ {0x7fffffff,0xfffffff8,0xfffffff8,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 273 */ {0x7fffffff,0xfffffff8,0xfffffffc,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 274 */ {0x7fffffff,0xfffffff8,0xfffffffe,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 275 */ {0x7fffffff,0xfffffff8,0xffffffff,0x80000000,0x00000008,PDF_OK},
/* 276 */ {0x7fffffff,0xfffffff8,0x00000000,0x00000000,0x00000000,PDF_OK},
/* 277 */ {0x7fffffff,0xfffffff8,0x00000001,0x7fffffff,0xfffffff8,PDF_OK},
/* 278 */ {0x7fffffff,0xfffffff8,0x00000002,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 279 */ {0x7fffffff,0xfffffff8,0x00000004,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 280 */ {0x7fffffff,0xfffffff8,0x00000008,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 281 */ {0x7fffffff,0xfffffff8,0x7ffffff8,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 282 */ {0x7fffffff,0xfffffff8,0x7ffffffb,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 283 */ {0x7fffffff,0xfffffff8,0x7ffffffd,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 284 */ {0x7fffffff,0xfffffff8,0x7ffffffe,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 285 */ {0x7fffffff,0xfffffff8,0x7fffffff,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 286 */ {0x7fffffff,0xfffffffb,0x80000000,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 287 */ {0x7fffffff,0xfffffffb,0x80000001,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 288 */ {0x7fffffff,0xfffffffb,0x80000002,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 289 */ {0x7fffffff,0xfffffffb,0x80000004,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 290 */ {0x7fffffff,0xfffffffb,0x80000008,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 291 */ {0x7fffffff,0xfffffffb,0xfffffff8,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 292 */ {0x7fffffff,0xfffffffb,0xfffffffc,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 293 */ {0x7fffffff,0xfffffffb,0xfffffffe,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 294 */ {0x7fffffff,0xfffffffb,0xffffffff,0x80000000,0x00000005,PDF_OK},
/* 295 */ {0x7fffffff,0xfffffffb,0x00000000,0x00000000,0x00000000,PDF_OK},
/* 296 */ {0x7fffffff,0xfffffffb,0x00000001,0x7fffffff,0xfffffffb,PDF_OK},
/* 297 */ {0x7fffffff,0xfffffffb,0x00000002,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 298 */ {0x7fffffff,0xfffffffb,0x00000004,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 299 */ {0x7fffffff,0xfffffffb,0x00000008,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 300 */ {0x7fffffff,0xfffffffb,0x7ffffff8,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 301 */ {0x7fffffff,0xfffffffb,0x7ffffffb,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 302 */ {0x7fffffff,0xfffffffb,0x7ffffffd,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 303 */ {0x7fffffff,0xfffffffb,0x7ffffffe,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 304 */ {0x7fffffff,0xfffffffb,0x7fffffff,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 305 */ {0x7fffffff,0xfffffffd,0x80000000,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 306 */ {0x7fffffff,0xfffffffd,0x80000001,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 307 */ {0x7fffffff,0xfffffffd,0x80000002,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 308 */ {0x7fffffff,0xfffffffd,0x80000004,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 309 */ {0x7fffffff,0xfffffffd,0x80000008,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 310 */ {0x7fffffff,0xfffffffd,0xfffffff8,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 311 */ {0x7fffffff,0xfffffffd,0xfffffffc,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 312 */ {0x7fffffff,0xfffffffd,0xfffffffe,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 313 */ {0x7fffffff,0xfffffffd,0xffffffff,0x80000000,0x00000003,PDF_OK},
/* 314 */ {0x7fffffff,0xfffffffd,0x00000000,0x00000000,0x00000000,PDF_OK},
/* 315 */ {0x7fffffff,0xfffffffd,0x00000001,0x7fffffff,0xfffffffd,PDF_OK},
/* 316 */ {0x7fffffff,0xfffffffd,0x00000002,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 317 */ {0x7fffffff,0xfffffffd,0x00000004,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 318 */ {0x7fffffff,0xfffffffd,0x00000008,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 319 */ {0x7fffffff,0xfffffffd,0x7ffffff8,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 320 */ {0x7fffffff,0xfffffffd,0x7ffffffb,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 321 */ {0x7fffffff,0xfffffffd,0x7ffffffd,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 322 */ {0x7fffffff,0xfffffffd,0x7ffffffe,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 323 */ {0x7fffffff,0xfffffffd,0x7fffffff,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 324 */ {0x7fffffff,0xfffffffe,0x80000000,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 325 */ {0x7fffffff,0xfffffffe,0x80000001,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 326 */ {0x7fffffff,0xfffffffe,0x80000002,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 327 */ {0x7fffffff,0xfffffffe,0x80000004,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 328 */ {0x7fffffff,0xfffffffe,0x80000008,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 329 */ {0x7fffffff,0xfffffffe,0xfffffff8,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 330 */ {0x7fffffff,0xfffffffe,0xfffffffc,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 331 */ {0x7fffffff,0xfffffffe,0xfffffffe,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 332 */ {0x7fffffff,0xfffffffe,0xffffffff,0x80000000,0x00000002,PDF_OK},
/* 333 */ {0x7fffffff,0xfffffffe,0x00000000,0x00000000,0x00000000,PDF_OK},
/* 334 */ {0x7fffffff,0xfffffffe,0x00000001,0x7fffffff,0xfffffffe,PDF_OK},
/* 335 */ {0x7fffffff,0xfffffffe,0x00000002,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 336 */ {0x7fffffff,0xfffffffe,0x00000004,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 337 */ {0x7fffffff,0xfffffffe,0x00000008,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 338 */ {0x7fffffff,0xfffffffe,0x7ffffff8,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 339 */ {0x7fffffff,0xfffffffe,0x7ffffffb,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 340 */ {0x7fffffff,0xfffffffe,0x7ffffffd,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 341 */ {0x7fffffff,0xfffffffe,0x7ffffffe,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 342 */ {0x7fffffff,0xfffffffe,0x7fffffff,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 343 */ {0x7fffffff,0xffffffff,0x80000000,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 344 */ {0x7fffffff,0xffffffff,0x80000001,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 345 */ {0x7fffffff,0xffffffff,0x80000002,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 346 */ {0x7fffffff,0xffffffff,0x80000004,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 347 */ {0x7fffffff,0xffffffff,0x80000008,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 348 */ {0x7fffffff,0xffffffff,0xfffffff8,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 349 */ {0x7fffffff,0xffffffff,0xfffffffc,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 350 */ {0x7fffffff,0xffffffff,0xfffffffe,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 351 */ {0x7fffffff,0xffffffff,0xffffffff,0x80000000,0x00000001,PDF_OK},
/* 352 */ {0x7fffffff,0xffffffff,0x00000000,0x00000000,0x00000000,PDF_OK},
/* 353 */ {0x7fffffff,0xffffffff,0x00000001,0x7fffffff,0xffffffff,PDF_OK},
/* 354 */ {0x7fffffff,0xffffffff,0x00000002,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 355 */ {0x7fffffff,0xffffffff,0x00000004,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 356 */ {0x7fffffff,0xffffffff,0x00000008,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 357 */ {0x7fffffff,0xffffffff,0x7ffffff8,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 358 */ {0x7fffffff,0xffffffff,0x7ffffffb,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 359 */ {0x7fffffff,0xffffffff,0x7ffffffd,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 360 */ {0x7fffffff,0xffffffff,0x7ffffffe,0x00000000,0x00000000,PDF_EOVERFLOW},
/* 361 */ {0x7fffffff,0xffffffff,0x7fffffff,0x00000000,0x00000000,PDF_EOVERFLOW},
};
/*
* Test: pdf_i64_mult_i32_001
* Description:
* Checks if the multiplication of two positive numbers
* is carried out properly
* Success conditions:
* The call should not produce an error
*/
START_TEST (pdf_i64_mult_i32_001)
{
int i;
for(i=0; i