src/gallium/drivers/llvmpipe/lp_test_round.c

   1 /**************************************************************************
   2  *
   3  * Copyright 2010 VMware, Inc.
   4  * All Rights Reserved.
   5  *
   6  * Permission is hereby granted, free of charge, to any person obtaining a
   7  * copy of this software and associated documentation files (the
   8  * "Software"), to deal in the Software without restriction, including
   9  * without limitation the rights to use, copy, modify, merge, publish,
  10  * distribute, sub license, and/or sell copies of the Software, and to
  11  * permit persons to whom the Software is furnished to do so, subject to
  12  * the following conditions:
  13  *
  14  * The above copyright notice and this permission notice (including the
  15  * next paragraph) shall be included in all copies or substantial portions
  16  * of the Software.
  17  *
  18  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
  19  * OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
  20  * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT.
  21  * IN NO EVENT SHALL VMWARE AND/OR ITS SUPPLIERS BE LIABLE FOR
  22  * ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
  23  * TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
  24  * SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
  25  *
  26  **************************************************************************/
  27
  28
  29 #include <stdlib.h>
  30 #include <stdio.h>
  31
  32 #include "util/u_pointer.h"
  33 #include "gallivm/lp_bld.h"
  34 #include "gallivm/lp_bld_init.h"
  35 #include "gallivm/lp_bld_arit.h"
  36
  37 #include <llvm-c/Analysis.h>
  38 #include <llvm-c/ExecutionEngine.h>
  39 #include <llvm-c/Target.h>
  40 #include <llvm-c/Transforms/Scalar.h>
  41
  42 #include "lp_test.h"
  43
  44
  45 void
  46 write_tsv_header(FILE *fp)
  47 {
  48    fprintf(fp,
  49            "result\t"
  50            "format\n");
  51
  52    fflush(fp);
  53 }
  54
  55
  56 #ifdef PIPE_ARCH_SSE
  57
  58 #define USE_SSE2
  59 #include "sse_mathfun.h"
  60
  61 typedef __m128 (*test_round_t)(__m128);
  62
  63 typedef LLVMValueRef (*lp_func_t)(struct lp_build_context *, LLVMValueRef);
  64
  65
  66 static LLVMValueRef
  67 add_test(LLVMModuleRef module, const char *name, lp_func_t lp_func)
  68 {
  69    LLVMTypeRef v4sf = LLVMVectorType(LLVMFloatType(), 4);
  70    LLVMTypeRef args[1] = { v4sf };
  71    LLVMValueRef func = LLVMAddFunction(module, name, LLVMFunctionType(v4sf, args, 1, 0));
  72    LLVMValueRef arg1 = LLVMGetParam(func, 0);
  73    LLVMBuilderRef builder = LLVMCreateBuilder();
  74    LLVMBasicBlockRef block = LLVMAppendBasicBlock(func, "entry");
  75    LLVMValueRef ret;
  76    struct lp_build_context bld;
  77
  78    lp_build_context_init(&bld, builder, lp_float32_vec4_type());
  79
  80    LLVMSetFunctionCallConv(func, LLVMCCallConv);
  81
  82    LLVMPositionBuilderAtEnd(builder, block);
  83
  84    ret = lp_func(&bld, arg1);
  85
  86    LLVMBuildRet(builder, ret);
  87    LLVMDisposeBuilder(builder);
  88    return func;
  89 }
  90
  91 static void
  92 printv(char* string, v4sf value)
  93 {
  94    v4sf v = value;
  95    float *f = (float *)&v;
  96    printf("%s: %10f %10f %10f %10f\n", string,
  97            f[0], f[1], f[2], f[3]);
  98 }
  99
 100 static boolean
 101 compare(v4sf x, v4sf y)
 102 {
 103    boolean success = TRUE;
 104    float *xp = (float *) &x;
 105    float *yp = (float *) &y;
 106    if (xp[0] != yp[0] ||
 107        xp[1] != yp[1] ||
 108        xp[2] != yp[2] ||
 109        xp[3] != yp[3]) {
 110       printf(" Incorrect result! ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ \n");
 111       success = FALSE;
 112    }
 113    return success;
 114 }
 115
 116
 117
 118 PIPE_ALIGN_STACK
 119 static boolean
 120 test_round(unsigned verbose, FILE *fp)
 121 {
 122    LLVMModuleRef module = NULL;
 123    LLVMValueRef test_round = NULL, test_trunc, test_floor, test_ceil;
 124    LLVMExecutionEngineRef engine = lp_build_engine;
 125    LLVMPassManagerRef pass = NULL;
 126    char *error = NULL;
 127    test_round_t round_func, trunc_func, floor_func, ceil_func;
 128    float unpacked[4];
 129    unsigned packed;
 130    boolean success = TRUE;
 131    int i;
 132
 133    module = LLVMModuleCreateWithName("test");
 134
 135    test_round = add_test(module, "round", lp_build_round);
 136    test_trunc = add_test(module, "trunc", lp_build_trunc);
 137    test_floor = add_test(module, "floor", lp_build_floor);
 138    test_ceil = add_test(module, "ceil", lp_build_ceil);
 139
 140    if(LLVMVerifyModule(module, LLVMPrintMessageAction, &error)) {
 141       printf("LLVMVerifyModule: %s\n", error);
 142       LLVMDumpModule(module);
 143       abort();
 144    }
 145    LLVMDisposeMessage(error);
 146
 147 #if 0
 148    pass = LLVMCreatePassManager();
 149    LLVMAddTargetData(LLVMGetExecutionEngineTargetData(engine), pass);
 150    /* These are the passes currently listed in llvm-c/Transforms/Scalar.h,
 151     * but there are more on SVN. */
 152    LLVMAddConstantPropagationPass(pass);
 153    LLVMAddInstructionCombiningPass(pass);
 154    LLVMAddPromoteMemoryToRegisterPass(pass);
 155    LLVMAddGVNPass(pass);
 156    LLVMAddCFGSimplificationPass(pass);
 157    LLVMRunPassManager(pass, module);
 158 #else
 159    (void)pass;
 160 #endif
 161
 162    round_func = (test_round_t) pointer_to_func(LLVMGetPointerToGlobal(engine, test_round));
 163    trunc_func = (test_round_t) pointer_to_func(LLVMGetPointerToGlobal(engine, test_trunc));
 164    floor_func = (test_round_t) pointer_to_func(LLVMGetPointerToGlobal(engine, test_floor));
 165    ceil_func = (test_round_t) pointer_to_func(LLVMGetPointerToGlobal(engine, test_ceil));
 166
 167    memset(unpacked, 0, sizeof unpacked);
 168    packed = 0;
 169
 170    if (0)
 171       LLVMDumpModule(module);
 172
 173    for (i = 0; i < 3; i++) {
 174       /* NOTE: There are several acceptable rules for x.5 rounding: ceiling,
 175        * nearest even, etc. So we avoid testing such corner cases here.
 176        */
 177       v4sf xvals[3] = {
 178          {-10.0, -1, 0, 12.0},
 179          {-1.49, -0.25, 1.25, 2.51},
 180          {-0.99, -0.01, 0.01, 0.99}
 181       };
 182       v4sf x = xvals[i];
 183       v4sf y, ref;
 184       float *xp = (float *) &x;
 185       float *refp = (float *) &ref;
 186
 187       printf("\n");
 188       printv("x            ", x);
 189
 190       refp[0] = round(xp[0]);
 191       refp[1] = round(xp[1]);
 192       refp[2] = round(xp[2]);
 193       refp[3] = round(xp[3]);
 194       y = round_func(x);
 195       printv("C round(x)   ", ref);
 196       printv("LLVM round(x)", y);
 197       success = success && compare(ref, y);
 198
 199       refp[0] = trunc(xp[0]);
 200       refp[1] = trunc(xp[1]);
 201       refp[2] = trunc(xp[2]);
 202       refp[3] = trunc(xp[3]);
 203       y = trunc_func(x);
 204       printv("C trunc(x)   ", ref);
 205       printv("LLVM trunc(x)", y);
 206       success = success && compare(ref, y);
 207
 208       refp[0] = floor(xp[0]);
 209       refp[1] = floor(xp[1]);
 210       refp[2] = floor(xp[2]);
 211       refp[3] = floor(xp[3]);
 212       y = floor_func(x);
 213       printv("C floor(x)   ", ref);
 214       printv("LLVM floor(x)", y);
 215       success = success && compare(ref, y);
 216
 217       refp[0] = ceil(xp[0]);
 218       refp[1] = ceil(xp[1]);
 219       refp[2] = ceil(xp[2]);
 220       refp[3] = ceil(xp[3]);
 221       y = ceil_func(x);
 222       printv("C ceil(x)    ", ref);
 223       printv("LLVM ceil(x) ", y);
 224       success = success && compare(ref, y);
 225    }
 226
 227    LLVMFreeMachineCodeForFunction(engine, test_round);
 228    LLVMFreeMachineCodeForFunction(engine, test_trunc);
 229    LLVMFreeMachineCodeForFunction(engine, test_floor);
 230    LLVMFreeMachineCodeForFunction(engine, test_ceil);
 231
 232    LLVMDisposeExecutionEngine(engine);
 233    if(pass)
 234       LLVMDisposePassManager(pass);
 235
 236    return success;
 237 }
 238
 239 #else /* !PIPE_ARCH_SSE */
 240
 241 static boolean
 242 test_round(unsigned verbose, FILE *fp)
 243 {
 244    return TRUE;
 245 }
 246
 247 #endif /* !PIPE_ARCH_SSE */
 248
 249
 250 boolean
 251 test_all(unsigned verbose, FILE *fp)
 252 {
 253    return test_round(verbose, fp);
 254 }
 255
 256
 257 boolean
 258 test_some(unsigned verbose, FILE *fp, unsigned long n)
 259 {
 260    return test_all(verbose, fp);
 261 }
 262
 263 boolean
 264 test_single(unsigned verbose, FILE *fp)
 265 {
 266    printf("no test_single()");
 267    return TRUE;
 268 }