// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py
// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -ffixed-point -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 -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;
int i;
// CHECK-LABEL: @inc_a(
// CHECK-NEXT: entry:
// CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr @a, align 4
// CHECK-NEXT: [[TMP1:%.*]] = sub i32 [[TMP0]], -32768
// CHECK-NEXT: store i32 [[TMP1]], ptr @a, align 4
// CHECK-NEXT: ret void
//
void inc_a(void) {
a++;
}
// CHECK-LABEL: @inc_f(
// CHECK-NEXT: entry:
// CHECK-NEXT: [[TMP0:%.*]] = load i16, ptr @f, align 2
// CHECK-NEXT: [[TMP1:%.*]] = sub i16 [[TMP0]], -32768
// CHECK-NEXT: store i16 [[TMP1]], ptr @f, align 2
// CHECK-NEXT: ret void
//
void inc_f(void) {
f++;
}
// CHECK-LABEL: @inc_lf(
// CHECK-NEXT: entry:
// CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr @lf, align 4
// CHECK-NEXT: [[TMP1:%.*]] = sub i32 [[TMP0]], -2147483648
// CHECK-NEXT: store i32 [[TMP1]], ptr @lf, align 4
// CHECK-NEXT: ret void
//
void inc_lf(void) {
lf++;
}
// SIGNED-LABEL: @inc_ua(
// SIGNED-NEXT: entry:
// SIGNED-NEXT: [[TMP0:%.*]] = load i32, ptr @ua, align 4
// SIGNED-NEXT: [[TMP1:%.*]] = add i32 [[TMP0]], 65536
// SIGNED-NEXT: store i32 [[TMP1]], ptr @ua, align 4
// SIGNED-NEXT: ret void
//
// UNSIGNED-LABEL: @inc_ua(
// UNSIGNED-NEXT: entry:
// UNSIGNED-NEXT: [[TMP0:%.*]] = load i32, ptr @ua, align 4
// UNSIGNED-NEXT: [[TMP1:%.*]] = add i32 [[TMP0]], 32768
// UNSIGNED-NEXT: store i32 [[TMP1]], ptr @ua, align 4
// UNSIGNED-NEXT: ret void
//
void inc_ua(void) {
ua++;
}
// SIGNED-LABEL: @inc_usa(
// SIGNED-NEXT: entry:
// SIGNED-NEXT: [[TMP0:%.*]] = load i16, ptr @usa, align 2
// SIGNED-NEXT: [[TMP1:%.*]] = add i16 [[TMP0]], 256
// SIGNED-NEXT: store i16 [[TMP1]], ptr @usa, align 2
// SIGNED-NEXT: ret void
//
// UNSIGNED-LABEL: @inc_usa(
// UNSIGNED-NEXT: entry:
// UNSIGNED-NEXT: [[TMP0:%.*]] = load i16, ptr @usa, align 2
// UNSIGNED-NEXT: [[TMP1:%.*]] = add i16 [[TMP0]], 128
// UNSIGNED-NEXT: store i16 [[TMP1]], ptr @usa, align 2
// UNSIGNED-NEXT: ret void
//
void inc_usa(void) {
usa++;
}
// SIGNED-LABEL: @inc_uf(
// SIGNED-NEXT: entry:
// SIGNED-NEXT: [[TMP0:%.*]] = load i16, ptr @uf, align 2
// SIGNED-NEXT: [[TMP1:%.*]] = add i16 [[TMP0]], poison
// SIGNED-NEXT: store i16 [[TMP1]], ptr @uf, align 2
// SIGNED-NEXT: ret void
//
// UNSIGNED-LABEL: @inc_uf(
// UNSIGNED-NEXT: entry:
// UNSIGNED-NEXT: [[TMP0:%.*]] = load i16, ptr @uf, align 2
// UNSIGNED-NEXT: [[TMP1:%.*]] = add i16 [[TMP0]], -32768
// UNSIGNED-NEXT: store i16 [[TMP1]], ptr @uf, align 2
// UNSIGNED-NEXT: ret void
//
void inc_uf(void) {
uf++;
}
// CHECK-LABEL: @inc_sa(
// CHECK-NEXT: entry:
// CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr @sa, align 4
// CHECK-NEXT: [[TMP1:%.*]] = call i32 @llvm.ssub.sat.i32(i32 [[TMP0]], i32 -32768)
// CHECK-NEXT: store i32 [[TMP1]], ptr @sa, align 4
// CHECK-NEXT: ret void
//
void inc_sa(void) {
sa++;
}
// CHECK-LABEL: @inc_sf(
// CHECK-NEXT: entry:
// CHECK-NEXT: [[TMP0:%.*]] = load i16, ptr @sf, align 2
// CHECK-NEXT: [[TMP1:%.*]] = call i16 @llvm.ssub.sat.i16(i16 [[TMP0]], i16 -32768)
// CHECK-NEXT: store i16 [[TMP1]], ptr @sf, align 2
// CHECK-NEXT: ret void
//
void inc_sf(void) {
sf++;
}
// CHECK-LABEL: @inc_slf(
// CHECK-NEXT: entry:
// CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr @slf, align 4
// CHECK-NEXT: [[TMP1:%.*]] = call i32 @llvm.ssub.sat.i32(i32 [[TMP0]], i32 -2147483648)
// CHECK-NEXT: store i32 [[TMP1]], ptr @slf, align 4
// CHECK-NEXT: ret void
//
void inc_slf(void) {
slf++;
}
// SIGNED-LABEL: @inc_sua(
// SIGNED-NEXT: entry:
// SIGNED-NEXT: [[TMP0:%.*]] = load i32, ptr @sua, align 4
// SIGNED-NEXT: [[TMP1:%.*]] = call i32 @llvm.uadd.sat.i32(i32 [[TMP0]], i32 65536)
// SIGNED-NEXT: store i32 [[TMP1]], ptr @sua, align 4
// SIGNED-NEXT: ret void
//
// UNSIGNED-LABEL: @inc_sua(
// UNSIGNED-NEXT: entry:
// UNSIGNED-NEXT: [[TMP0:%.*]] = load i32, ptr @sua, align 4
// UNSIGNED-NEXT: [[TMP1:%.*]] = call i32 @llvm.sadd.sat.i32(i32 [[TMP0]], i32 32768)
// UNSIGNED-NEXT: [[RESIZE:%.*]] = trunc i32 [[TMP1]] to i31
// UNSIGNED-NEXT: [[RESIZE1:%.*]] = zext i31 [[RESIZE]] to i32
// UNSIGNED-NEXT: store i32 [[RESIZE1]], ptr @sua, align 4
// UNSIGNED-NEXT: ret void
//
void inc_sua(void) {
sua++;
}
// SIGNED-LABEL: @inc_susa(
// SIGNED-NEXT: entry:
// SIGNED-NEXT: [[TMP0:%.*]] = load i16, ptr @susa, align 2
// SIGNED-NEXT: [[TMP1:%.*]] = call i16 @llvm.uadd.sat.i16(i16 [[TMP0]], i16 256)
// SIGNED-NEXT: store i16 [[TMP1]], ptr @susa, align 2
// SIGNED-NEXT: ret void
//
// UNSIGNED-LABEL: @inc_susa(
// UNSIGNED-NEXT: entry:
// UNSIGNED-NEXT: [[TMP0:%.*]] = load i16, ptr @susa, align 2
// UNSIGNED-NEXT: [[TMP1:%.*]] = call i16 @llvm.sadd.sat.i16(i16 [[TMP0]], i16 128)
// UNSIGNED-NEXT: [[RESIZE:%.*]] = trunc i16 [[TMP1]] to i15
// UNSIGNED-NEXT: [[RESIZE1:%.*]] = zext i15 [[RESIZE]] to i16
// UNSIGNED-NEXT: store i16 [[RESIZE1]], ptr @susa, align 2
// UNSIGNED-NEXT: ret void
//
void inc_susa(void) {
susa++;
}
// SIGNED-LABEL: @inc_suf(
// SIGNED-NEXT: entry:
// SIGNED-NEXT: [[TMP0:%.*]] = load i16, ptr @suf, align 2
// SIGNED-NEXT: [[TMP1:%.*]] = call i16 @llvm.uadd.sat.i16(i16 [[TMP0]], i16 -1)
// SIGNED-NEXT: store i16 [[TMP1]], ptr @suf, align 2
// SIGNED-NEXT: ret void
//
// UNSIGNED-LABEL: @inc_suf(
// UNSIGNED-NEXT: entry:
// UNSIGNED-NEXT: [[TMP0:%.*]] = load i16, ptr @suf, align 2
// UNSIGNED-NEXT: [[TMP1:%.*]] = call i16 @llvm.sadd.sat.i16(i16 [[TMP0]], i16 32767)
// UNSIGNED-NEXT: [[RESIZE:%.*]] = trunc i16 [[TMP1]] to i15
// UNSIGNED-NEXT: [[RESIZE1:%.*]] = zext i15 [[RESIZE]] to i16
// UNSIGNED-NEXT: store i16 [[RESIZE1]], ptr @suf, align 2
// UNSIGNED-NEXT: ret void
//
void inc_suf(void) {
suf++;
}
// CHECK-LABEL: @dec_a(
// CHECK-NEXT: entry:
// CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr @a, align 4
// CHECK-NEXT: [[TMP1:%.*]] = add i32 [[TMP0]], -32768
// CHECK-NEXT: store i32 [[TMP1]], ptr @a, align 4
// CHECK-NEXT: ret void
//
void dec_a(void) {
a--;
}
// CHECK-LABEL: @dec_f(
// CHECK-NEXT: entry:
// CHECK-NEXT: [[TMP0:%.*]] = load i16, ptr @f, align 2
// CHECK-NEXT: [[TMP1:%.*]] = add i16 [[TMP0]], -32768
// CHECK-NEXT: store i16 [[TMP1]], ptr @f, align 2
// CHECK-NEXT: ret void
//
void dec_f(void) {
f--;
}
// CHECK-LABEL: @dec_lf(
// CHECK-NEXT: entry:
// CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr @lf, align 4
// CHECK-NEXT: [[TMP1:%.*]] = add i32 [[TMP0]], -2147483648
// CHECK-NEXT: store i32 [[TMP1]], ptr @lf, align 4
// CHECK-NEXT: ret void
//
void dec_lf(void) {
lf--;
}
// SIGNED-LABEL: @dec_ua(
// SIGNED-NEXT: entry:
// SIGNED-NEXT: [[TMP0:%.*]] = load i32, ptr @ua, align 4
// SIGNED-NEXT: [[TMP1:%.*]] = sub i32 [[TMP0]], 65536
// SIGNED-NEXT: store i32 [[TMP1]], ptr @ua, align 4
// SIGNED-NEXT: ret void
//
// UNSIGNED-LABEL: @dec_ua(
// UNSIGNED-NEXT: entry:
// UNSIGNED-NEXT: [[TMP0:%.*]] = load i32, ptr @ua, align 4
// UNSIGNED-NEXT: [[TMP1:%.*]] = sub i32 [[TMP0]], 32768
// UNSIGNED-NEXT: store i32 [[TMP1]], ptr @ua, align 4
// UNSIGNED-NEXT: ret void
//
void dec_ua(void) {
ua--;
}
// SIGNED-LABEL: @dec_usa(
// SIGNED-NEXT: entry:
// SIGNED-NEXT: [[TMP0:%.*]] = load i16, ptr @usa, align 2
// SIGNED-NEXT: [[TMP1:%.*]] = sub i16 [[TMP0]], 256
// SIGNED-NEXT: store i16 [[TMP1]], ptr @usa, align 2
// SIGNED-NEXT: ret void
//
// UNSIGNED-LABEL: @dec_usa(
// UNSIGNED-NEXT: entry:
// UNSIGNED-NEXT: [[TMP0:%.*]] = load i16, ptr @usa, align 2
// UNSIGNED-NEXT: [[TMP1:%.*]] = sub i16 [[TMP0]], 128
// UNSIGNED-NEXT: store i16 [[TMP1]], ptr @usa, align 2
// UNSIGNED-NEXT: ret void
//
void dec_usa(void) {
usa--;
}
// SIGNED-LABEL: @dec_uf(
// SIGNED-NEXT: entry:
// SIGNED-NEXT: [[TMP0:%.*]] = load i16, ptr @uf, align 2
// SIGNED-NEXT: [[TMP1:%.*]] = sub i16 [[TMP0]], poison
// SIGNED-NEXT: store i16 [[TMP1]], ptr @uf, align 2
// SIGNED-NEXT: ret void
//
// UNSIGNED-LABEL: @dec_uf(
// UNSIGNED-NEXT: entry:
// UNSIGNED-NEXT: [[TMP0:%.*]] = load i16, ptr @uf, align 2
// UNSIGNED-NEXT: [[TMP1:%.*]] = sub i16 [[TMP0]], -32768
// UNSIGNED-NEXT: store i16 [[TMP1]], ptr @uf, align 2
// UNSIGNED-NEXT: ret void
//
void dec_uf(void) {
uf--;
}
// CHECK-LABEL: @dec_sa(
// CHECK-NEXT: entry:
// CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr @sa, align 4
// CHECK-NEXT: [[TMP1:%.*]] = call i32 @llvm.sadd.sat.i32(i32 [[TMP0]], i32 -32768)
// CHECK-NEXT: store i32 [[TMP1]], ptr @sa, align 4
// CHECK-NEXT: ret void
//
void dec_sa(void) {
sa--;
}
// CHECK-LABEL: @dec_sf(
// CHECK-NEXT: entry:
// CHECK-NEXT: [[TMP0:%.*]] = load i16, ptr @sf, align 2
// CHECK-NEXT: [[TMP1:%.*]] = call i16 @llvm.sadd.sat.i16(i16 [[TMP0]], i16 -32768)
// CHECK-NEXT: store i16 [[TMP1]], ptr @sf, align 2
// CHECK-NEXT: ret void
//
void dec_sf(void) {
sf--;
}
// CHECK-LABEL: @dec_slf(
// CHECK-NEXT: entry:
// CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr @slf, align 4
// CHECK-NEXT: [[TMP1:%.*]] = call i32 @llvm.sadd.sat.i32(i32 [[TMP0]], i32 -2147483648)
// CHECK-NEXT: store i32 [[TMP1]], ptr @slf, align 4
// CHECK-NEXT: ret void
//
void dec_slf(void) {
slf--;
}
// SIGNED-LABEL: @dec_sua(
// SIGNED-NEXT: entry:
// SIGNED-NEXT: [[TMP0:%.*]] = load i32, ptr @sua, align 4
// SIGNED-NEXT: [[TMP1:%.*]] = call i32 @llvm.usub.sat.i32(i32 [[TMP0]], i32 65536)
// SIGNED-NEXT: store i32 [[TMP1]], ptr @sua, align 4
// SIGNED-NEXT: ret void
//
// UNSIGNED-LABEL: @dec_sua(
// UNSIGNED-NEXT: entry:
// UNSIGNED-NEXT: [[TMP0:%.*]] = load i32, ptr @sua, align 4
// UNSIGNED-NEXT: [[TMP1:%.*]] = call i32 @llvm.ssub.sat.i32(i32 [[TMP0]], i32 32768)
// UNSIGNED-NEXT: [[TMP2:%.*]] = icmp slt i32 [[TMP1]], 0
// UNSIGNED-NEXT: [[SATMIN:%.*]] = select i1 [[TMP2]], i32 0, i32 [[TMP1]]
// UNSIGNED-NEXT: [[RESIZE:%.*]] = trunc i32 [[SATMIN]] to i31
// UNSIGNED-NEXT: [[RESIZE1:%.*]] = zext i31 [[RESIZE]] to i32
// UNSIGNED-NEXT: store i32 [[RESIZE1]], ptr @sua, align 4
// UNSIGNED-NEXT: ret void
//
void dec_sua(void) {
sua--;
}
// SIGNED-LABEL: @dec_susa(
// SIGNED-NEXT: entry:
// SIGNED-NEXT: [[TMP0:%.*]] = load i16, ptr @susa, align 2
// SIGNED-NEXT: [[TMP1:%.*]] = call i16 @llvm.usub.sat.i16(i16 [[TMP0]], i16 256)
// SIGNED-NEXT: store i16 [[TMP1]], ptr @susa, align 2
// SIGNED-NEXT: ret void
//
// UNSIGNED-LABEL: @dec_susa(
// UNSIGNED-NEXT: entry:
// UNSIGNED-NEXT: [[TMP0:%.*]] = load i16, ptr @susa, align 2
// UNSIGNED-NEXT: [[TMP1:%.*]] = call i16 @llvm.ssub.sat.i16(i16 [[TMP0]], i16 128)
// UNSIGNED-NEXT: [[TMP2:%.*]] = icmp slt i16 [[TMP1]], 0
// UNSIGNED-NEXT: [[SATMIN:%.*]] = select i1 [[TMP2]], i16 0, i16 [[TMP1]]
// UNSIGNED-NEXT: [[RESIZE:%.*]] = trunc i16 [[SATMIN]] to i15
// UNSIGNED-NEXT: [[RESIZE1:%.*]] = zext i15 [[RESIZE]] to i16
// UNSIGNED-NEXT: store i16 [[RESIZE1]], ptr @susa, align 2
// UNSIGNED-NEXT: ret void
//
void dec_susa(void) {
susa--;
}
// SIGNED-LABEL: @dec_suf(
// SIGNED-NEXT: entry:
// SIGNED-NEXT: [[TMP0:%.*]] = load i16, ptr @suf, align 2
// SIGNED-NEXT: [[TMP1:%.*]] = call i16 @llvm.usub.sat.i16(i16 [[TMP0]], i16 -1)
// SIGNED-NEXT: store i16 [[TMP1]], ptr @suf, align 2
// SIGNED-NEXT: ret void
//
// UNSIGNED-LABEL: @dec_suf(
// UNSIGNED-NEXT: entry:
// UNSIGNED-NEXT: [[TMP0:%.*]] = load i16, ptr @suf, align 2
// UNSIGNED-NEXT: [[TMP1:%.*]] = call i16 @llvm.ssub.sat.i16(i16 [[TMP0]], i16 32767)
// UNSIGNED-NEXT: [[TMP2:%.*]] = icmp slt i16 [[TMP1]], 0
// UNSIGNED-NEXT: [[SATMIN:%.*]] = select i1 [[TMP2]], i16 0, i16 [[TMP1]]
// UNSIGNED-NEXT: [[RESIZE:%.*]] = trunc i16 [[SATMIN]] to i15
// UNSIGNED-NEXT: [[RESIZE1:%.*]] = zext i15 [[RESIZE]] to i16
// UNSIGNED-NEXT: store i16 [[RESIZE1]], ptr @suf, align 2
// UNSIGNED-NEXT: ret void
//
void dec_suf(void) {
suf--;
}
// CHECK-LABEL: @neg_a(
// CHECK-NEXT: entry:
// CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr @a, align 4
// CHECK-NEXT: [[TMP1:%.*]] = sub i32 0, [[TMP0]]
// CHECK-NEXT: store i32 [[TMP1]], ptr @a, align 4
// CHECK-NEXT: ret void
//
void neg_a(void) {
a = -a;
}
// CHECK-LABEL: @neg_f(
// CHECK-NEXT: entry:
// CHECK-NEXT: [[TMP0:%.*]] = load i16, ptr @f, align 2
// CHECK-NEXT: [[TMP1:%.*]] = sub i16 0, [[TMP0]]
// CHECK-NEXT: store i16 [[TMP1]], ptr @f, align 2
// CHECK-NEXT: ret void
//
void neg_f(void) {
f = -f;
}
// CHECK-LABEL: @neg_usa(
// CHECK-NEXT: entry:
// CHECK-NEXT: [[TMP0:%.*]] = load i16, ptr @usa, align 2
// CHECK-NEXT: [[TMP1:%.*]] = sub i16 0, [[TMP0]]
// CHECK-NEXT: store i16 [[TMP1]], ptr @usa, align 2
// CHECK-NEXT: ret void
//
void neg_usa(void) {
usa = -usa;
}
// CHECK-LABEL: @neg_uf(
// CHECK-NEXT: entry:
// CHECK-NEXT: [[TMP0:%.*]] = load i16, ptr @uf, align 2
// CHECK-NEXT: [[TMP1:%.*]] = sub i16 0, [[TMP0]]
// CHECK-NEXT: store i16 [[TMP1]], ptr @uf, align 2
// CHECK-NEXT: ret void
//
void neg_uf(void) {
uf = -uf;
}
// CHECK-LABEL: @neg_sa(
// CHECK-NEXT: entry:
// CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr @sa, align 4
// CHECK-NEXT: [[TMP1:%.*]] = call i32 @llvm.ssub.sat.i32(i32 0, i32 [[TMP0]])
// CHECK-NEXT: store i32 [[TMP1]], ptr @sa, align 4
// CHECK-NEXT: ret void
//
void neg_sa(void) {
sa = -sa;
}
// CHECK-LABEL: @neg_sf(
// CHECK-NEXT: entry:
// CHECK-NEXT: [[TMP0:%.*]] = load i16, ptr @sf, align 2
// CHECK-NEXT: [[TMP1:%.*]] = call i16 @llvm.ssub.sat.i16(i16 0, i16 [[TMP0]])
// CHECK-NEXT: store i16 [[TMP1]], ptr @sf, align 2
// CHECK-NEXT: ret void
//
void neg_sf(void) {
sf = -sf;
}
// SIGNED-LABEL: @neg_susa(
// SIGNED-NEXT: entry:
// SIGNED-NEXT: [[TMP0:%.*]] = load i16, ptr @susa, align 2
// SIGNED-NEXT: [[TMP1:%.*]] = call i16 @llvm.usub.sat.i16(i16 0, i16 [[TMP0]])
// SIGNED-NEXT: store i16 [[TMP1]], ptr @susa, align 2
// SIGNED-NEXT: ret void
//
// UNSIGNED-LABEL: @neg_susa(
// UNSIGNED-NEXT: entry:
// UNSIGNED-NEXT: [[TMP0:%.*]] = load i16, ptr @susa, align 2
// UNSIGNED-NEXT: [[TMP1:%.*]] = call i16 @llvm.ssub.sat.i16(i16 0, i16 [[TMP0]])
// UNSIGNED-NEXT: [[TMP2:%.*]] = icmp slt i16 [[TMP1]], 0
// UNSIGNED-NEXT: [[SATMIN:%.*]] = select i1 [[TMP2]], i16 0, i16 [[TMP1]]
// UNSIGNED-NEXT: [[RESIZE:%.*]] = trunc i16 [[SATMIN]] to i15
// UNSIGNED-NEXT: [[RESIZE1:%.*]] = zext i15 [[RESIZE]] to i16
// UNSIGNED-NEXT: store i16 [[RESIZE1]], ptr @susa, align 2
// UNSIGNED-NEXT: ret void
//
void neg_susa(void) {
susa = -susa;
}
// SIGNED-LABEL: @neg_suf(
// SIGNED-NEXT: entry:
// SIGNED-NEXT: [[TMP0:%.*]] = load i16, ptr @suf, align 2
// SIGNED-NEXT: [[TMP1:%.*]] = call i16 @llvm.usub.sat.i16(i16 0, i16 [[TMP0]])
// SIGNED-NEXT: store i16 [[TMP1]], ptr @suf, align 2
// SIGNED-NEXT: ret void
//
// UNSIGNED-LABEL: @neg_suf(
// UNSIGNED-NEXT: entry:
// UNSIGNED-NEXT: [[TMP0:%.*]] = load i16, ptr @suf, align 2
// UNSIGNED-NEXT: [[TMP1:%.*]] = call i16 @llvm.ssub.sat.i16(i16 0, i16 [[TMP0]])
// UNSIGNED-NEXT: [[TMP2:%.*]] = icmp slt i16 [[TMP1]], 0
// UNSIGNED-NEXT: [[SATMIN:%.*]] = select i1 [[TMP2]], i16 0, i16 [[TMP1]]
// UNSIGNED-NEXT: [[RESIZE:%.*]] = trunc i16 [[SATMIN]] to i15
// UNSIGNED-NEXT: [[RESIZE1:%.*]] = zext i15 [[RESIZE]] to i16
// UNSIGNED-NEXT: store i16 [[RESIZE1]], ptr @suf, align 2
// UNSIGNED-NEXT: ret void
//
void neg_suf(void) {
suf = -suf;
}
// CHECK-LABEL: @plus_a(
// CHECK-NEXT: entry:
// CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr @a, align 4
// CHECK-NEXT: store i32 [[TMP0]], ptr @a, align 4
// CHECK-NEXT: ret void
//
void plus_a(void) {
a = +a;
}
// CHECK-LABEL: @plus_uf(
// CHECK-NEXT: entry:
// CHECK-NEXT: [[TMP0:%.*]] = load i16, ptr @uf, align 2
// CHECK-NEXT: store i16 [[TMP0]], ptr @uf, align 2
// CHECK-NEXT: ret void
//
void plus_uf(void) {
uf = +uf;
}
// CHECK-LABEL: @plus_sa(
// CHECK-NEXT: entry:
// CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr @sa, align 4
// CHECK-NEXT: store i32 [[TMP0]], ptr @sa, align 4
// CHECK-NEXT: ret void
//
void plus_sa(void) {
sa = +sa;
}
// CHECK-LABEL: @not_a(
// CHECK-NEXT: entry:
// CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr @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]], ptr @i, align 4
// CHECK-NEXT: ret void
//
void not_a(void) {
i = !a;
}
// CHECK-LABEL: @not_uf(
// CHECK-NEXT: entry:
// CHECK-NEXT: [[TMP0:%.*]] = load i16, ptr @uf, align 2
// CHECK-NEXT: [[TOBOOL:%.*]] = icmp ne i16 [[TMP0]], 0
// CHECK-NEXT: [[LNOT:%.*]] = xor i1 [[TOBOOL]], true
// CHECK-NEXT: [[LNOT_EXT:%.*]] = zext i1 [[LNOT]] to i32
// CHECK-NEXT: store i32 [[LNOT_EXT]], ptr @i, align 4
// CHECK-NEXT: ret void
//
void not_uf(void) {
i = !uf;
}
// CHECK-LABEL: @not_susa(
// CHECK-NEXT: entry:
// CHECK-NEXT: [[TMP0:%.*]] = load i16, ptr @susa, align 2
// CHECK-NEXT: [[TOBOOL:%.*]] = icmp ne i16 [[TMP0]], 0
// CHECK-NEXT: [[LNOT:%.*]] = xor i1 [[TOBOOL]], true
// CHECK-NEXT: [[LNOT_EXT:%.*]] = zext i1 [[LNOT]] to i32
// CHECK-NEXT: store i32 [[LNOT_EXT]], ptr @i, align 4
// CHECK-NEXT: ret void
//
void not_susa(void) {
i = !susa;
}
Codebase Browser
llvm