// RUN: cp %s %t
// RUN: %clang_cc1 -cl-std=CL1.2 -pedantic -Wall -fixit %t -triple x86_64-unknown-linux-gnu
// RUN: %clang_cc1 -cl-std=CL1.2 -fsyntax-only -pedantic -Wall -Werror %t -triple x86_64-unknown-linux-gnu
// RUN: %clang_cc1 -cl-std=CL1.2 -E -o - %t -triple x86_64-unknown-linux-gnu | FileCheck %s

#pragma OPENCL EXTENSION cl_khr_fp64 : enable

typedef __attribute__((ext_vector_type(4))) char char4;
typedef __attribute__((ext_vector_type(4))) short short4;
typedef __attribute__((ext_vector_type(4))) int int4;
typedef __attribute__((ext_vector_type(4))) unsigned int uint4;
typedef __attribute__((ext_vector_type(8))) int int8;
typedef __attribute__((ext_vector_type(4))) long long4;
typedef __attribute__((ext_vector_type(4))) float float4;
typedef __attribute__((ext_vector_type(4))) double double4;

int printf(__constant const char* st, ...) __attribute__((format(printf, 1, 2)));


void vector_fixits() {
  printf("%v4f", (int4) 123);
  // CHECK: printf("%v4hld", (int4) 123);

  printf("%v8d", (int4) 123);
  // CHECK: printf("%v4hld", (int4) 123);

  printf("%v4d", (int8) 123);
  // CHECK: printf("%v8hld", (int8) 123);

  printf("%v4f", (int8) 123);
  // CHECK: printf("%v8hld", (int8) 123);

  printf("%v4ld", (int8) 123);
  // CHECK: printf("%v8hld", (int8) 123);

  printf("%v4hlf", (int4) 123);
  // CHECK: printf("%v4hld", (int4) 123);

  printf("%v8hld", (int4) 123);
  // CHECK: printf("%v4hld", (int4) 123);

  printf("%v4hld", (int8) 123);
  // CHECK: printf("%v8hld", (int8) 123);

  printf("%v4hlf", (int8) 123);
  // CHECK: printf("%v8hld", (int8) 123);

  printf("%v4hd", (int4) 123);
  // CHECK: printf("%v4hld", (int4) 123);

  printf("%v4hld", (short4) 123);
  // CHECK: printf("%v4hd", (short4) 123);

  printf("%v4ld", (short4) 123);
  // CHECK: printf("%v4hd", (short4) 123);

  printf("%v4hld", (long4) 123);
  // CHECK: printf("%v4ld", (long4) 123);

  printf("%v8f", (float4) 2.0f);
  // CHECK: printf("%v4hlf", (float4) 2.0f);

  printf("%v4f", (float4) 2.0f);
  // CHECK: printf("%v4hlf", (float4) 2.0f);

  printf("%v4lf", (double4) 2.0);
  // CHECK: printf("%v4lf", (double4) 2.0);

  /// FIXME: This should be fixed
  printf("%v4hhd", (int4) 123);
  // CHECK: printf("%v4hhd", (int4) 123);

  /// FIXME: This should be fixed
  printf("%v4hhd", (int8) 123);
  // CHECK: printf("%v4hhd", (int8) 123);
}