| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| ; RUN: opt < %s -instcombine -S | FileCheck %s |
| |
| ; This is related to https://bugs.llvm.org/show_bug.cgi?id=36682 |
| |
| ; In *all* of these, uitofp and bitcast should be instcombine'd out. |
| |
| define i1 @i32_cast_cmp_eq_int_0_uitofp_float(i32 %i) { |
| ; CHECK-LABEL: @i32_cast_cmp_eq_int_0_uitofp_float( |
| ; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[I:%.*]], 0 |
| ; CHECK-NEXT: ret i1 [[CMP]] |
| ; |
| %f = uitofp i32 %i to float |
| %b = bitcast float %f to i32 |
| %cmp = icmp eq i32 %b, 0 |
| ret i1 %cmp |
| } |
| |
| define <2 x i1> @i32_cast_cmp_eq_int_0_uitofp_float_vec(<2 x i32> %i) { |
| ; CHECK-LABEL: @i32_cast_cmp_eq_int_0_uitofp_float_vec( |
| ; CHECK-NEXT: [[CMP:%.*]] = icmp eq <2 x i32> [[I:%.*]], zeroinitializer |
| ; CHECK-NEXT: ret <2 x i1> [[CMP]] |
| ; |
| %f = uitofp <2 x i32> %i to <2 x float> |
| %b = bitcast <2 x float> %f to <2 x i32> |
| %cmp = icmp eq <2 x i32> %b, <i32 0, i32 0> |
| ret <2 x i1> %cmp |
| } |
| |
| define <3 x i1> @i32_cast_cmp_eq_int_0_uitofp_float_vec_undef(<3 x i32> %i) { |
| ; CHECK-LABEL: @i32_cast_cmp_eq_int_0_uitofp_float_vec_undef( |
| ; CHECK-NEXT: [[CMP:%.*]] = icmp eq <3 x i32> [[I:%.*]], zeroinitializer |
| ; CHECK-NEXT: ret <3 x i1> [[CMP]] |
| ; |
| %f = uitofp <3 x i32> %i to <3 x float> |
| %b = bitcast <3 x float> %f to <3 x i32> |
| %cmp = icmp eq <3 x i32> %b, <i32 0, i32 undef, i32 0> |
| ret <3 x i1> %cmp |
| } |
| |
| define i1 @i32_cast_cmp_ne_int_0_uitofp_float(i32 %i) { |
| ; CHECK-LABEL: @i32_cast_cmp_ne_int_0_uitofp_float( |
| ; CHECK-NEXT: [[CMP:%.*]] = icmp ne i32 [[I:%.*]], 0 |
| ; CHECK-NEXT: ret i1 [[CMP]] |
| ; |
| %f = uitofp i32 %i to float |
| %b = bitcast float %f to i32 |
| %cmp = icmp ne i32 %b, 0 |
| ret i1 %cmp |
| } |
| |
| define <2 x i1> @i32_cast_cmp_ne_int_0_uitofp_float_vec(<2 x i32> %i) { |
| ; CHECK-LABEL: @i32_cast_cmp_ne_int_0_uitofp_float_vec( |
| ; CHECK-NEXT: [[CMP:%.*]] = icmp ne <2 x i32> [[I:%.*]], zeroinitializer |
| ; CHECK-NEXT: ret <2 x i1> [[CMP]] |
| ; |
| %f = uitofp <2 x i32> %i to <2 x float> |
| %b = bitcast <2 x float> %f to <2 x i32> |
| %cmp = icmp ne <2 x i32> %b, <i32 0, i32 0> |
| ret <2 x i1> %cmp |
| } |
| |
| define <3 x i1> @i32_cast_cmp_ne_int_0_uitofp_float_vec_undef(<3 x i32> %i) { |
| ; CHECK-LABEL: @i32_cast_cmp_ne_int_0_uitofp_float_vec_undef( |
| ; CHECK-NEXT: [[CMP:%.*]] = icmp ne <3 x i32> [[I:%.*]], zeroinitializer |
| ; CHECK-NEXT: ret <3 x i1> [[CMP]] |
| ; |
| %f = uitofp <3 x i32> %i to <3 x float> |
| %b = bitcast <3 x float> %f to <3 x i32> |
| %cmp = icmp ne <3 x i32> %b, <i32 0, i32 undef, i32 0> |
| ret <3 x i1> %cmp |
| } |
| |
| define i1 @i32_cast_cmp_eq_int_0_uitofp_double(i32 %i) { |
| ; CHECK-LABEL: @i32_cast_cmp_eq_int_0_uitofp_double( |
| ; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[I:%.*]], 0 |
| ; CHECK-NEXT: ret i1 [[CMP]] |
| ; |
| %f = uitofp i32 %i to double |
| %b = bitcast double %f to i64 |
| %cmp = icmp eq i64 %b, 0 |
| ret i1 %cmp |
| } |
| |
| define <2 x i1> @i32_cast_cmp_eq_int_0_uitofp_double_vec(<2 x i32> %i) { |
| ; CHECK-LABEL: @i32_cast_cmp_eq_int_0_uitofp_double_vec( |
| ; CHECK-NEXT: [[CMP:%.*]] = icmp eq <2 x i32> [[I:%.*]], zeroinitializer |
| ; CHECK-NEXT: ret <2 x i1> [[CMP]] |
| ; |
| %f = uitofp <2 x i32> %i to <2 x double> |
| %b = bitcast <2 x double> %f to <2 x i64> |
| %cmp = icmp eq <2 x i64> %b, <i64 0, i64 0> |
| ret <2 x i1> %cmp |
| } |
| |
| define <3 x i1> @i32_cast_cmp_eq_int_0_uitofp_double_vec_undef(<3 x i32> %i) { |
| ; CHECK-LABEL: @i32_cast_cmp_eq_int_0_uitofp_double_vec_undef( |
| ; CHECK-NEXT: [[CMP:%.*]] = icmp eq <3 x i32> [[I:%.*]], zeroinitializer |
| ; CHECK-NEXT: ret <3 x i1> [[CMP]] |
| ; |
| %f = uitofp <3 x i32> %i to <3 x double> |
| %b = bitcast <3 x double> %f to <3 x i64> |
| %cmp = icmp eq <3 x i64> %b, <i64 0, i64 undef, i64 0> |
| ret <3 x i1> %cmp |
| } |
| |
| define i1 @i32_cast_cmp_ne_int_0_uitofp_double(i32 %i) { |
| ; CHECK-LABEL: @i32_cast_cmp_ne_int_0_uitofp_double( |
| ; CHECK-NEXT: [[CMP:%.*]] = icmp ne i32 [[I:%.*]], 0 |
| ; CHECK-NEXT: ret i1 [[CMP]] |
| ; |
| %f = uitofp i32 %i to double |
| %b = bitcast double %f to i64 |
| %cmp = icmp ne i64 %b, 0 |
| ret i1 %cmp |
| } |
| |
| define <2 x i1> @i32_cast_cmp_ne_int_0_uitofp_double_vec(<2 x i32> %i) { |
| ; CHECK-LABEL: @i32_cast_cmp_ne_int_0_uitofp_double_vec( |
| ; CHECK-NEXT: [[CMP:%.*]] = icmp ne <2 x i32> [[I:%.*]], zeroinitializer |
| ; CHECK-NEXT: ret <2 x i1> [[CMP]] |
| ; |
| %f = uitofp <2 x i32> %i to <2 x double> |
| %b = bitcast <2 x double> %f to <2 x i64> |
| %cmp = icmp ne <2 x i64> %b, <i64 0, i64 0> |
| ret <2 x i1> %cmp |
| } |
| |
| define <3 x i1> @i32_cast_cmp_ne_int_0_uitofp_double_vec_undef(<3 x i32> %i) { |
| ; CHECK-LABEL: @i32_cast_cmp_ne_int_0_uitofp_double_vec_undef( |
| ; CHECK-NEXT: [[CMP:%.*]] = icmp ne <3 x i32> [[I:%.*]], zeroinitializer |
| ; CHECK-NEXT: ret <3 x i1> [[CMP]] |
| ; |
| %f = uitofp <3 x i32> %i to <3 x double> |
| %b = bitcast <3 x double> %f to <3 x i64> |
| %cmp = icmp ne <3 x i64> %b, <i64 0, i64 undef, i64 0> |
| ret <3 x i1> %cmp |
| } |
| |
| define i1 @i32_cast_cmp_eq_int_0_uitofp_half(i32 %i) { |
| ; CHECK-LABEL: @i32_cast_cmp_eq_int_0_uitofp_half( |
| ; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[I:%.*]], 0 |
| ; CHECK-NEXT: ret i1 [[CMP]] |
| ; |
| %f = uitofp i32 %i to half |
| %b = bitcast half %f to i16 |
| %cmp = icmp eq i16 %b, 0 |
| ret i1 %cmp |
| } |
| |
| define <2 x i1> @i32_cast_cmp_eq_int_0_uitofp_half_vec(<2 x i32> %i) { |
| ; CHECK-LABEL: @i32_cast_cmp_eq_int_0_uitofp_half_vec( |
| ; CHECK-NEXT: [[CMP:%.*]] = icmp eq <2 x i32> [[I:%.*]], zeroinitializer |
| ; CHECK-NEXT: ret <2 x i1> [[CMP]] |
| ; |
| %f = uitofp <2 x i32> %i to <2 x half> |
| %b = bitcast <2 x half> %f to <2 x i16> |
| %cmp = icmp eq <2 x i16> %b, <i16 0, i16 0> |
| ret <2 x i1> %cmp |
| } |
| |
| define <3 x i1> @i32_cast_cmp_eq_int_0_uitofp_half_vec_undef(<3 x i32> %i) { |
| ; CHECK-LABEL: @i32_cast_cmp_eq_int_0_uitofp_half_vec_undef( |
| ; CHECK-NEXT: [[CMP:%.*]] = icmp eq <3 x i32> [[I:%.*]], zeroinitializer |
| ; CHECK-NEXT: ret <3 x i1> [[CMP]] |
| ; |
| %f = uitofp <3 x i32> %i to <3 x half> |
| %b = bitcast <3 x half> %f to <3 x i16> |
| %cmp = icmp eq <3 x i16> %b, <i16 0, i16 undef, i16 0> |
| ret <3 x i1> %cmp |
| } |
| |
| define i1 @i32_cast_cmp_ne_int_0_uitofp_half(i32 %i) { |
| ; CHECK-LABEL: @i32_cast_cmp_ne_int_0_uitofp_half( |
| ; CHECK-NEXT: [[CMP:%.*]] = icmp ne i32 [[I:%.*]], 0 |
| ; CHECK-NEXT: ret i1 [[CMP]] |
| ; |
| %f = uitofp i32 %i to half |
| %b = bitcast half %f to i16 |
| %cmp = icmp ne i16 %b, 0 |
| ret i1 %cmp |
| } |
| |
| define <2 x i1> @i32_cast_cmp_ne_int_0_uitofp_half_vec(<2 x i32> %i) { |
| ; CHECK-LABEL: @i32_cast_cmp_ne_int_0_uitofp_half_vec( |
| ; CHECK-NEXT: [[CMP:%.*]] = icmp ne <2 x i32> [[I:%.*]], zeroinitializer |
| ; CHECK-NEXT: ret <2 x i1> [[CMP]] |
| ; |
| %f = uitofp <2 x i32> %i to <2 x half> |
| %b = bitcast <2 x half> %f to <2 x i16> |
| %cmp = icmp ne <2 x i16> %b, <i16 0, i16 0> |
| ret <2 x i1> %cmp |
| } |
| |
| define <3 x i1> @i32_cast_cmp_ne_int_0_uitofp_half_vec_undef(<3 x i32> %i) { |
| ; CHECK-LABEL: @i32_cast_cmp_ne_int_0_uitofp_half_vec_undef( |
| ; CHECK-NEXT: [[CMP:%.*]] = icmp ne <3 x i32> [[I:%.*]], zeroinitializer |
| ; CHECK-NEXT: ret <3 x i1> [[CMP]] |
| ; |
| %f = uitofp <3 x i32> %i to <3 x half> |
| %b = bitcast <3 x half> %f to <3 x i16> |
| %cmp = icmp ne <3 x i16> %b, <i16 0, i16 undef, i16 0> |
| ret <3 x i1> %cmp |
| } |