xref: /llvm-project/clang/test/Frontend/fixed_point_sub_const.c (revision c5de4dd1eab00df76c1a68c5f397304ceacb71f2)
1*c5de4dd1SFangrui Song // RUN: %clang_cc1 -ffixed-point -triple x86_64-unknown-linux-gnu -emit-llvm %s -o - | FileCheck %s --check-prefixes=CHECK,SIGNED
2*c5de4dd1SFangrui Song // RUN: %clang_cc1 -ffixed-point -triple x86_64-unknown-linux-gnu -fpadding-on-unsigned-fixed-point -emit-llvm %s -o - | FileCheck %s --check-prefixes=CHECK,UNSIGNED
344ebc2c8SBevin Hansson 
444ebc2c8SBevin Hansson // Subtraction between different fixed point types
544ebc2c8SBevin Hansson short _Accum sa_const = 1.0hk - 2.0hk;
644ebc2c8SBevin Hansson // CHECK-DAG: @sa_const  = {{.*}}global i16 -128, align 2
744ebc2c8SBevin Hansson _Accum a_const = 1.0hk - 2.0k;
844ebc2c8SBevin Hansson // CHECK-DAG: @a_const   = {{.*}}global i32 -32768, align 4
944ebc2c8SBevin Hansson long _Accum la_const = 1.0hk - 2.0lk;
1044ebc2c8SBevin Hansson // CHECK-DAG: @la_const  = {{.*}}global i64 -2147483648, align 8
1144ebc2c8SBevin Hansson short _Accum sa_const2 = 0.5hr - 2.0hk;
1244ebc2c8SBevin Hansson // CHECK-DAG: @sa_const2  = {{.*}}global i16 -192, align 2
1344ebc2c8SBevin Hansson short _Accum sa_const3 = 0.5r - 2.0hk;
1444ebc2c8SBevin Hansson // CHECK-DAG: @sa_const3  = {{.*}}global i16 -192, align 2
1544ebc2c8SBevin Hansson short _Accum sa_const4 = 0.5lr - 2.0hk;
1644ebc2c8SBevin Hansson // CHECK-DAG: @sa_const4  = {{.*}}global i16 -192, align 2
1744ebc2c8SBevin Hansson short _Accum sa_const5 = 2.0hk - 0.5lr;
1844ebc2c8SBevin Hansson // CHECK-DAG: @sa_const5  = {{.*}}global i16 192, align 2
1944ebc2c8SBevin Hansson 
2044ebc2c8SBevin Hansson // Unsigned subtraction
2144ebc2c8SBevin Hansson unsigned short _Accum usa_const = 3.0uhk - 2.0uhk;
2244ebc2c8SBevin Hansson // SIGNED-DAG:   @usa_const = {{.*}}global i16 256, align 2
2344ebc2c8SBevin Hansson // UNSIGNED-DAG: @usa_const = {{.*}}global i16 128, align 2
2444ebc2c8SBevin Hansson 
2544ebc2c8SBevin Hansson // Unsigned - signed
2644ebc2c8SBevin Hansson short _Accum sa_const6 = 1.0uhk - 2.0hk;
2744ebc2c8SBevin Hansson // CHECK-DAG: @sa_const6 = {{.*}}global i16 -128, align 2
2844ebc2c8SBevin Hansson 
2944ebc2c8SBevin Hansson // Subtraction with negative number
3044ebc2c8SBevin Hansson short _Accum sa_const7 = 0.5hr - (-2.0hk);
3144ebc2c8SBevin Hansson // CHECK-DAG: @sa_const7 = {{.*}}global i16 320, align 2
3244ebc2c8SBevin Hansson 
3344ebc2c8SBevin Hansson // Int subtraction
3444ebc2c8SBevin Hansson unsigned short _Accum usa_const2 = 2 - 0.5uhk;
3544ebc2c8SBevin Hansson // SIGNED-DAG:   @usa_const2 = {{.*}}global i16 384, align 2
3644ebc2c8SBevin Hansson // UNSIGNED-DAG: @usa_const2 = {{.*}}global i16 192, align 2
3744ebc2c8SBevin Hansson short _Accum sa_const8 = 2 - (-0.5hk);
3844ebc2c8SBevin Hansson // CHECK-DAG: @sa_const8 = {{.*}}global i16 320, align 2
3944ebc2c8SBevin Hansson short _Accum sa_const9 = 257 - 2.0hk;
4044ebc2c8SBevin Hansson // CHECK-DAG: @sa_const9 = {{.*}}global i16 32640, align 2
4144ebc2c8SBevin Hansson long _Fract lf_const = 0.5lr - 1;
4244ebc2c8SBevin Hansson // CHECK-DAG: @lf_const  = {{.*}}global i32 -1073741824, align 4
4344ebc2c8SBevin Hansson 
4444ebc2c8SBevin Hansson // Saturated subtraction
4544ebc2c8SBevin Hansson _Sat short _Accum sat_sa_const = (_Sat short _Accum)128.0hk - (-128.0hk);
4644ebc2c8SBevin Hansson // CHECK-DAG: @sat_sa_const = {{.*}}global i16 32767, align 2
4744ebc2c8SBevin Hansson _Sat unsigned short _Accum sat_usa_const = (_Sat unsigned short _Accum)128.0uhk - (-128.0uhk);
4844ebc2c8SBevin Hansson // CHECK-DAG: @sat_usa_const = {{.*}}global i16 0, align 2
4944ebc2c8SBevin Hansson _Sat short _Accum sat_sa_const2 = (_Sat short _Accum)128.0hk - (-128);
5044ebc2c8SBevin Hansson // CHECK-DAG: @sat_sa_const2 = {{.*}}global i16 32767, align 2
5144ebc2c8SBevin Hansson _Sat unsigned short _Accum sat_usa_const2 = (_Sat unsigned short _Accum)128.0uhk - (-128);
5244ebc2c8SBevin Hansson // SIGNED-DAG:   @sat_usa_const2 = {{.*}}global i16 -1, align 2
5344ebc2c8SBevin Hansson // UNSIGNED-DAG: @sat_usa_const2 = {{.*}}global i16 32767, align 2
5444ebc2c8SBevin Hansson _Sat unsigned short _Accum sat_usa_const3 = (_Sat unsigned short _Accum)0.5uhk - 2;
5544ebc2c8SBevin Hansson // CHECK-DAG:   @sat_usa_const3 = {{.*}}global i16 0, align 2
5644ebc2c8SBevin Hansson _Sat short _Accum sat_sa_const3 = (_Sat short _Accum)-128.0hk - 128;
5744ebc2c8SBevin Hansson // CHECK-DAG: @sat_sa_const3 = {{.*}}global i16 -32768, align 2
5844ebc2c8SBevin Hansson _Sat short _Accum sat_sa_const4 = (_Sat short _Accum)-150.0hk - 130.0lk;
5944ebc2c8SBevin Hansson // CHECK-DAG: @sat_sa_const4 = {{.*}}global i16 -32768, align 2
60