// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -ffixed-point -S -emit-llvm %s -o - | FileCheck %s --check-prefixes=CHECK,SIGNED
// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -ffixed-point -fpadding-on-unsigned-fixed-point -S -emit-llvm %s -o - | FileCheck %s --check-prefixes=CHECK,UNSIGNED

_Accum a;
_Fract f;
long _Fract lf;
unsigned _Accum ua;
short unsigned _Accum usa;
unsigned _Fract uf;

_Sat _Accum sa;
_Sat _Fract sf;
_Sat long _Fract slf;
_Sat unsigned _Accum sua;
_Sat short unsigned _Accum susa;
_Sat unsigned _Fract suf;

// CHECK-LABEL: @Increment(
void Increment() {
// CHECK:         [[TMP0:%.*]] = load i32, i32* @a, align 4
// CHECK-NEXT:    [[TMP1:%.*]] = sub i32 [[TMP0]], -32768
// CHECK-NEXT:    store i32 [[TMP1]], i32* @a, align 4
  a++;

// CHECK:         [[TMP2:%.*]] = load i16, i16* @f, align 2
// CHECK-NEXT:    [[TMP3:%.*]] = sub i16 [[TMP2]], -32768
// CHECK-NEXT:    store i16 [[TMP3]], i16* @f, align 2
  f++;

// CHECK:         [[TMP4:%.*]] = load i32, i32* @lf, align 4
// CHECK-NEXT:    [[TMP5:%.*]] = sub i32 [[TMP4]], -2147483648
// CHECK-NEXT:    store i32 [[TMP5]], i32* @lf, align 4
  lf++;

// CHECK:         [[TMP6:%.*]] = load i32, i32* @ua, align 4
// SIGNED-NEXT:   [[TMP7:%.*]] = add i32 [[TMP6]], 65536
// UNSIGNED-NEXT: [[TMP7:%.*]] = add i32 [[TMP6]], 32768
// CHECK-NEXT:    store i32 [[TMP7]], i32* @ua, align 4
  ua++;

// CHECK:         [[TMP8:%.*]] = load i16, i16* @usa, align 2
// SIGNED-NEXT:   [[TMP9:%.*]] = add i16 [[TMP8]], 256
// UNSIGNED-NEXT: [[TMP9:%.*]] = add i16 [[TMP8]], 128
// CHECK-NEXT:    store i16 [[TMP9]], i16* @usa, align 2
  usa++;

// CHECK:         [[TMP10:%.*]] = load i16, i16* @uf, align 2
// SIGNED-NEXT:   [[TMP11:%.*]] = add i16 [[TMP10]], undef
// UNSIGNED-NEXT: [[TMP11:%.*]] = add i16 [[TMP10]], -32768
// CHECK-NEXT:    store i16 [[TMP11]], i16* @uf, align 2
  uf++;

// CHECK:         [[TMP12:%.*]] = load i32, i32* @sa, align 4
// CHECK-NEXT:    [[TMP13:%.*]] = call i32 @llvm.ssub.sat.i32(i32 [[TMP12]], i32 -32768)
// CHECK-NEXT:    store i32 [[TMP13]], i32* @sa, align 4
  sa++;

// CHECK:         [[TMP14:%.*]] = load i16, i16* @sf, align 2
// CHECK-NEXT:    [[TMP15:%.*]] = call i16 @llvm.ssub.sat.i16(i16 [[TMP14]], i16 -32768)
// CHECK-NEXT:    store i16 [[TMP15]], i16* @sf, align 2
  sf++;

// CHECK:         [[TMP16:%.*]] = load i32, i32* @slf, align 4
// CHECK-NEXT:    [[TMP17:%.*]] = call i32 @llvm.ssub.sat.i32(i32 [[TMP16]], i32 -2147483648)
// CHECK-NEXT:    store i32 [[TMP17]], i32* @slf, align 4
  slf++;

// CHECK:         [[TMP18:%.*]] = load i32, i32* @sua, align 4
// SIGNED-NEXT:   [[TMP19:%.*]] = call i32 @llvm.uadd.sat.i32(i32 [[TMP18]], i32 65536)
// SIGNED-NEXT:   store i32 [[TMP19]], i32* @sua, align 4
// UNSIGNED-NEXT: [[RESIZE:%.*]] = trunc i32 [[TMP18]] to i31
// UNSIGNED-NEXT: [[TMP19:%.*]] = call i31 @llvm.uadd.sat.i31(i31 [[RESIZE]], i31 32768)
// UNSIGNED-NEXT: [[RESIZE1:%.*]] = zext i31 [[TMP19]] to i32
// UNSIGNED-NEXT: store i32 [[RESIZE1]], i32* @sua, align 4
  sua++;

// CHECK:         [[TMP20:%.*]] = load i16, i16* @susa, align 2
// SIGNED-NEXT:   [[TMP21:%.*]] = call i16 @llvm.uadd.sat.i16(i16 [[TMP20]], i16 256)
// SIGNED-NEXT:   store i16 [[TMP21]], i16* @susa, align 2
// UNSIGNED-NEXT: [[RESIZE2:%.*]] = trunc i16 [[TMP20]] to i15
// UNSIGNED-NEXT: [[TMP21:%.*]] = call i15 @llvm.uadd.sat.i15(i15 [[RESIZE2]], i15 128)
// UNSIGNED-NEXT: [[RESIZE3:%.*]] = zext i15 [[TMP21]] to i16
// UNSIGNED-NEXT: store i16 [[RESIZE3]], i16* @susa, align 2
  susa++;

// CHECK:         [[TMP22:%.*]] = load i16, i16* @suf, align 2
// SIGNED-NEXT:   [[TMP23:%.*]] = call i16 @llvm.uadd.sat.i16(i16 [[TMP22]], i16 -1)
// SIGNED-NEXT:   store i16 [[TMP23]], i16* @suf, align 2
// UNSIGNED-NEXT: [[RESIZE4:%.*]] = trunc i16 [[TMP22]] to i15
// UNSIGNED-NEXT: [[TMP23:%.*]] = call i15 @llvm.uadd.sat.i15(i15 [[RESIZE4]], i15 -1)
// UNSIGNED-NEXT: [[RESIZE5:%.*]] = zext i15 [[TMP23]] to i16
// UNSIGNED-NEXT: store i16 [[RESIZE5]], i16* @suf, align 2
  suf++;
}

// CHECK-LABEL: @Decrement(
void Decrement() {
// CHECK:         [[TMP0:%.*]] = load i32, i32* @a, align 4
// CHECK-NEXT:    [[TMP1:%.*]] = add i32 [[TMP0]], -32768
// CHECK-NEXT:    store i32 [[TMP1]], i32* @a, align 4
  a--;

// CHECK:         [[TMP2:%.*]] = load i16, i16* @f, align 2
// CHECK-NEXT:    [[TMP3:%.*]] = add i16 [[TMP2]], -32768
// CHECK-NEXT:    store i16 [[TMP3]], i16* @f, align 2
  f--;

// CHECK:         [[TMP4:%.*]] = load i32, i32* @lf, align 4
// CHECK-NEXT:    [[TMP5:%.*]] = add i32 [[TMP4]], -2147483648
// CHECK-NEXT:    store i32 [[TMP5]], i32* @lf, align 4
  lf--;

// CHECK:         [[TMP6:%.*]] = load i32, i32* @ua, align 4
// SIGNED-NEXT:   [[TMP7:%.*]] = sub i32 [[TMP6]], 65536
// UNSIGNED-NEXT: [[TMP7:%.*]] = sub i32 [[TMP6]], 32768
// CHECK-NEXT:    store i32 [[TMP7]], i32* @ua, align 4
  ua--;

// CHECK:         [[TMP8:%.*]] = load i16, i16* @usa, align 2
// SIGNED-NEXT:   [[TMP9:%.*]] = sub i16 [[TMP8]], 256
// UNSIGNED-NEXT: [[TMP9:%.*]] = sub i16 [[TMP8]], 128
// CHECK-NEXT:    store i16 [[TMP9]], i16* @usa, align 2
  usa--;

// CHECK:         [[TMP10:%.*]] = load i16, i16* @uf, align 2
// SIGNED-NEXT:   [[TMP11:%.*]] = sub i16 [[TMP10]], undef
// UNSIGNED-NEXT: [[TMP11:%.*]] = sub i16 [[TMP10]], -32768
// CHECK-NEXT:    store i16 [[TMP11]], i16* @uf, align 2
  uf--;

// CHECK:         [[TMP12:%.*]] = load i32, i32* @sa, align 4
// CHECK-NEXT:    [[TMP13:%.*]] = call i32 @llvm.sadd.sat.i32(i32 [[TMP12]], i32 -32768)
// CHECK-NEXT:    store i32 [[TMP13]], i32* @sa, align 4
  sa--;

// CHECK:         [[TMP14:%.*]] = load i16, i16* @sf, align 2
// CHECK-NEXT:    [[TMP15:%.*]] = call i16 @llvm.sadd.sat.i16(i16 [[TMP14]], i16 -32768)
// CHECK-NEXT:    store i16 [[TMP15]], i16* @sf, align 2
  sf--;

// CHECK:         [[TMP16:%.*]] = load i32, i32* @slf, align 4
// CHECK-NEXT:    [[TMP17:%.*]] = call i32 @llvm.sadd.sat.i32(i32 [[TMP16]], i32 -2147483648)
// CHECK-NEXT:    store i32 [[TMP17]], i32* @slf, align 4
  slf--;

// CHECK:         [[TMP18:%.*]] = load i32, i32* @sua, align 4
// SIGNED-NEXT:   [[TMP19:%.*]] = call i32 @llvm.usub.sat.i32(i32 [[TMP18]], i32 65536)
// SIGNED-NEXT:   store i32 [[TMP19]], i32* @sua, align 4
// UNSIGNED-NEXT: [[RESIZE:%.*]] = trunc i32 [[TMP18]] to i31
// UNSIGNED-NEXT: [[TMP19:%.*]] = call i31 @llvm.usub.sat.i31(i31 [[RESIZE]], i31 32768)
// UNSIGNED-NEXT: [[RESIZE1:%.*]] = zext i31 [[TMP19]] to i32
// UNSIGNED-NEXT: store i32 [[RESIZE1]], i32* @sua, align 4
  sua--;

// CHECK:         [[TMP20:%.*]] = load i16, i16* @susa, align 2
// SIGNED-NEXT:   [[TMP21:%.*]] = call i16 @llvm.usub.sat.i16(i16 [[TMP20]], i16 256)
// SIGNED-NEXT:   store i16 [[TMP21]], i16* @susa, align 2
// UNSIGNED-NEXT: [[RESIZE2:%.*]] = trunc i16 [[TMP20]] to i15
// UNSIGNED-NEXT: [[TMP21:%.*]] = call i15 @llvm.usub.sat.i15(i15 [[RESIZE2]], i15 128)
// UNSIGNED-NEXT: [[RESIZE3:%.*]] = zext i15 [[TMP21]] to i16
// UNSIGNED-NEXT: store i16 [[RESIZE3]], i16* @susa, align 2
  susa--;

// CHECK:         [[TMP22:%.*]] = load i16, i16* @suf, align 2
// SIGNED-NEXT:   [[TMP23:%.*]] = call i16 @llvm.usub.sat.i16(i16 [[TMP22]], i16 -1)
// SIGNED-NEXT:   store i16 [[TMP23]], i16* @suf, align 2
// UNSIGNED-NEXT: [[RESIZE4:%.*]] = trunc i16 [[TMP22]] to i15
// UNSIGNED-NEXT: [[TMP23:%.*]] = call i15 @llvm.usub.sat.i15(i15 [[RESIZE4]], i15 -1)
// UNSIGNED-NEXT: [[RESIZE5:%.*]] = zext i15 [[TMP23]] to i16
// UNSIGNED-NEXT: store i16 [[RESIZE5]], i16* @suf, align 2
  suf--;
}

// CHECK-LABEL: @Minus(
void Minus() {
// CHECK:         [[TMP0:%.*]] = load i32, i32* @a, align 4
// CHECK-NEXT:    [[TMP1:%.*]] = sub i32 0, [[TMP0]]
// CHECK-NEXT:    store i32 [[TMP1]], i32* @a, align 4
  a = -a;

// CHECK:         [[TMP2:%.*]] = load i16, i16* @f, align 2
// CHECK-NEXT:    [[TMP3:%.*]] = sub i16 0, [[TMP2]]
// CHECK-NEXT:    store i16 [[TMP3]], i16* @f, align 2
  f = -f;

// CHECK:         [[TMP4:%.*]] = load i16, i16* @usa, align 2
// CHECK-NEXT:    [[TMP5:%.*]] = sub i16 0, [[TMP4]]
// CHECK-NEXT:    store i16 [[TMP5]], i16* @usa, align 2
  usa = -usa;

// CHECK:         [[TMP6:%.*]] = load i16, i16* @uf, align 2
// CHECK-NEXT:    [[TMP7:%.*]] = sub i16 0, [[TMP6]]
// CHECK-NEXT:    store i16 [[TMP7]], i16* @uf, align 2
  uf = -uf;

// CHECK:         [[TMP8:%.*]] = load i32, i32* @sa, align 4
// CHECK-NEXT:    [[TMP9:%.*]] = call i32 @llvm.ssub.sat.i32(i32 0, i32 [[TMP8]])
// CHECK-NEXT:    store i32 [[TMP9]], i32* @sa, align 4
  sa = -sa;

// CHECK:         [[TMP10:%.*]] = load i16, i16* @sf, align 2
// CHECK-NEXT:    [[TMP11:%.*]] = call i16 @llvm.ssub.sat.i16(i16 0, i16 [[TMP10]])
// CHECK-NEXT:    store i16 [[TMP11]], i16* @sf, align 2
  sf = -sf;

// CHECK:         [[TMP12:%.*]] = load i16, i16* @susa, align 2
// SIGNED-NEXT:   [[TMP13:%.*]] = call i16 @llvm.usub.sat.i16(i16 0, i16 [[TMP12]])
// SIGNED-NEXT:   store i16 [[TMP13]], i16* @susa, align 2
// UNSIGNED-NEXT: [[RESIZE:%.*]] = trunc i16 [[TMP12]] to i15
// UNSIGNED-NEXT: [[TMP13:%.*]] = call i15 @llvm.usub.sat.i15(i15 0, i15 [[RESIZE]])
// UNSIGNED-NEXT: [[RESIZE1:%.*]] = zext i15 [[TMP13]] to i16
// UNSIGNED-NEXT: store i16 [[RESIZE1]], i16* @susa, align 2
  susa = -susa;

// CHECK:         [[TMP14:%.*]] = load i16, i16* @suf, align 2
// SIGNED-NEXT:   [[TMP15:%.*]] = call i16 @llvm.usub.sat.i16(i16 0, i16 [[TMP14]])
// SIGNED-NEXT:   store i16 [[TMP15]], i16* @suf, align 2
// UNSIGNED-NEXT: [[RESIZE2:%.*]] = trunc i16 [[TMP14]] to i15
// UNSIGNED-NEXT: [[TMP15:%.*]] = call i15 @llvm.usub.sat.i15(i15 0, i15 [[RESIZE2]])
// UNSIGNED-NEXT: [[RESIZE3:%.*]] = zext i15 [[TMP15]] to i16
// UNSIGNED-NEXT: store i16 [[RESIZE3]], i16* @suf, align 2
  suf = -suf;
}

// CHECK-LABEL: @Plus(
void Plus() {
// CHECK:         [[TMP0:%.*]] = load i32, i32* @a, align 4
// CHECK-NEXT:    store i32 [[TMP0]], i32* @a, align 4
  a = +a;

// CHECK:         [[TMP1:%.*]] = load i16, i16* @uf, align 2
// CHECK-NEXT:    store i16 [[TMP1]], i16* @uf, align 2
  uf = +uf;

// CHECK:         [[TMP2:%.*]] = load i32, i32* @sa, align 4
// CHECK-NEXT:    store i32 [[TMP2]], i32* @sa, align 4
  sa = +sa;
}

// CHECK-LABEL: @Not(
void Not() {
  int i;

// CHECK:         [[TMP0:%.*]] = load i32, i32* @a, align 4
// CHECK-NEXT:    [[TOBOOL:%.*]] = icmp ne i32 [[TMP0]], 0
// CHECK-NEXT:    [[LNOT:%.*]] = xor i1 [[TOBOOL]], true
// CHECK-NEXT:    [[LNOT_EXT:%.*]] = zext i1 [[LNOT]] to i32
// CHECK-NEXT:    store i32 [[LNOT_EXT]], i32* %i, align 4
  i = !a;

// CHECK:         [[TMP1:%.*]] = load i16, i16* @uf, align 2
// CHECK-NEXT:    [[TOBOOL1:%.*]] = icmp ne i16 [[TMP1]], 0
// CHECK-NEXT:    [[LNOT2:%.*]] = xor i1 [[TOBOOL1]], true
// CHECK-NEXT:    [[LNOT_EXT3:%.*]] = zext i1 [[LNOT2]] to i32
// CHECK-NEXT:    store i32 [[LNOT_EXT3]], i32* %i, align 4
  i = !uf;

// CHECK:         [[TMP2:%.*]] = load i16, i16* @susa, align 2
// CHECK-NEXT:    [[TOBOOL4:%.*]] = icmp ne i16 [[TMP2]], 0
// CHECK-NEXT:    [[LNOT5:%.*]] = xor i1 [[TOBOOL4]], true
// CHECK-NEXT:    [[LNOT_EXT6:%.*]] = zext i1 [[LNOT5]] to i32
// CHECK-NEXT:    store i32 [[LNOT_EXT6]], i32* %i, align 4
  i = !susa;
}