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 // Addition between different fixed point types 544ebc2c8SBevin Hansson short _Accum sa_const = 1.0hk + 2.0hk; 644ebc2c8SBevin Hansson // CHECK-DAG: @sa_const = {{.*}}global i16 384, align 2 744ebc2c8SBevin Hansson _Accum a_const = 1.0hk + 2.0k; 844ebc2c8SBevin Hansson // CHECK-DAG: @a_const = {{.*}}global i32 98304, align 4 944ebc2c8SBevin Hansson long _Accum la_const = 1.0hk + 2.0lk; 1044ebc2c8SBevin Hansson // CHECK-DAG: @la_const = {{.*}}global i64 6442450944, align 8 1144ebc2c8SBevin Hansson short _Accum sa_const2 = 0.5hr + 2.0hk; 1244ebc2c8SBevin Hansson // CHECK-DAG: @sa_const2 = {{.*}}global i16 320, align 2 1344ebc2c8SBevin Hansson short _Accum sa_const3 = 0.5r + 2.0hk; 1444ebc2c8SBevin Hansson // CHECK-DAG: @sa_const3 = {{.*}}global i16 320, align 2 1544ebc2c8SBevin Hansson short _Accum sa_const4 = 0.5lr + 2.0hk; 1644ebc2c8SBevin Hansson // CHECK-DAG: @sa_const4 = {{.*}}global i16 320, align 2 1744ebc2c8SBevin Hansson 1844ebc2c8SBevin Hansson // Unsigned addition 1944ebc2c8SBevin Hansson unsigned short _Accum usa_const = 1.0uhk + 2.0uhk; 2044ebc2c8SBevin Hansson // SIGNED-DAG: @usa_const = {{.*}}global i16 768, align 2 2144ebc2c8SBevin Hansson // UNSIGNED-DAG: @usa_const = {{.*}}global i16 384, align 2 2244ebc2c8SBevin Hansson 2344ebc2c8SBevin Hansson // Unsigned + signed 2444ebc2c8SBevin Hansson short _Accum sa_const5 = 1.0uhk + 2.0hk; 2544ebc2c8SBevin Hansson // CHECK-DAG: @sa_const5 = {{.*}}global i16 384, align 2 2644ebc2c8SBevin Hansson 2744ebc2c8SBevin Hansson // Addition with negative number 2844ebc2c8SBevin Hansson short _Accum sa_const6 = 0.5hr + (-2.0hk); 2944ebc2c8SBevin Hansson // CHECK-DAG: @sa_const6 = {{.*}}global i16 -192, align 2 3044ebc2c8SBevin Hansson 3144ebc2c8SBevin Hansson // Int addition 3244ebc2c8SBevin Hansson unsigned short _Accum usa_const2 = 2 + 0.5uhk; 3344ebc2c8SBevin Hansson // SIGNED-DAG: @usa_const2 = {{.*}}global i16 640, align 2 3444ebc2c8SBevin Hansson // UNSIGNED-DAG: @usa_const2 = {{.*}}global i16 320, align 2 3544ebc2c8SBevin Hansson short _Accum sa_const7 = 2 + (-0.5hk); 3644ebc2c8SBevin Hansson // CHECK-DAG: @sa_const7 = {{.*}}global i16 192, align 2 3744ebc2c8SBevin Hansson short _Accum sa_const8 = 257 + (-2.0hk); 3844ebc2c8SBevin Hansson // CHECK-DAG: @sa_const8 = {{.*}}global i16 32640, align 2 3944ebc2c8SBevin Hansson long _Fract lf_const = -0.5lr + 1; 4044ebc2c8SBevin Hansson // CHECK-DAG: @lf_const = {{.*}}global i32 1073741824, align 4 4144ebc2c8SBevin Hansson 4244ebc2c8SBevin Hansson // Saturated addition 4344ebc2c8SBevin Hansson _Sat short _Accum sat_sa_const = (_Sat short _Accum)128.0hk + 128.0hk; 4444ebc2c8SBevin Hansson // CHECK-DAG: @sat_sa_const = {{.*}}global i16 32767, align 2 4544ebc2c8SBevin Hansson _Sat unsigned short _Accum sat_usa_const = (_Sat unsigned short _Accum)128.0uhk + 128.0uhk; 4644ebc2c8SBevin Hansson // SIGNED-DAG: @sat_usa_const = {{.*}}global i16 -1, align 2 4744ebc2c8SBevin Hansson // UNSIGNED-DAG: @sat_usa_const = {{.*}}global i16 32767, align 2 4844ebc2c8SBevin Hansson _Sat short _Accum sat_sa_const2 = (_Sat short _Accum)128.0hk + 128; 4944ebc2c8SBevin Hansson // CHECK-DAG: @sat_sa_const2 = {{.*}}global i16 32767, align 2 5044ebc2c8SBevin Hansson _Sat unsigned short _Accum sat_usa_const2 = (_Sat unsigned short _Accum)128.0uhk + 128; 5144ebc2c8SBevin Hansson // SIGNED-DAG: @sat_usa_const2 = {{.*}}global i16 -1, align 2 5244ebc2c8SBevin Hansson // UNSIGNED-DAG: @sat_usa_const2 = {{.*}}global i16 32767, align 2 5344ebc2c8SBevin Hansson _Sat unsigned short _Accum sat_usa_const3 = (_Sat unsigned short _Accum)0.5uhk + (-2); 5444ebc2c8SBevin Hansson // CHECK-DAG: @sat_usa_const3 = {{.*}}global i16 0, align 2 55