1; RUN: opt < %s -instcombine -S | FileCheck %s 2 3; Check all scalar / vector combinations for a pair of bitcasts. 4 5define ppc_fp128 @bitcast_bitcast_s_s_s(i128 %a) { 6 %bc1 = bitcast i128 %a to fp128 7 %bc2 = bitcast fp128 %bc1 to ppc_fp128 8 ret ppc_fp128 %bc2 9 10; CHECK-LABEL: @bitcast_bitcast_s_s_s( 11; CHECK-NEXT: %bc2 = bitcast i128 %a to ppc_fp128 12; CHECK-NEXT: ret ppc_fp128 %bc2 13} 14 15define <2 x i32> @bitcast_bitcast_s_s_v(i64 %a) { 16 %bc1 = bitcast i64 %a to double 17 %bc2 = bitcast double %bc1 to <2 x i32> 18 ret <2 x i32> %bc2 19 20; CHECK-LABEL: @bitcast_bitcast_s_s_v( 21; CHECK-NEXT: %bc2 = bitcast i64 %a to <2 x i32> 22; CHECK-NEXT: ret <2 x i32> %bc2 23} 24 25define double @bitcast_bitcast_s_v_s(i64 %a) { 26 %bc1 = bitcast i64 %a to <2 x i32> 27 %bc2 = bitcast <2 x i32> %bc1 to double 28 ret double %bc2 29 30; CHECK-LABEL: @bitcast_bitcast_s_v_s( 31; CHECK-NEXT: %bc2 = bitcast i64 %a to double 32; CHECK-NEXT: ret double %bc2 33} 34 35define <2 x i32> @bitcast_bitcast_s_v_v(i64 %a) { 36 %bc1 = bitcast i64 %a to <4 x i16> 37 %bc2 = bitcast <4 x i16> %bc1 to <2 x i32> 38 ret <2 x i32> %bc2 39 40; CHECK-LABEL: @bitcast_bitcast_s_v_v( 41; CHECK-NEXT: %bc2 = bitcast i64 %a to <2 x i32> 42; CHECK-NEXT: ret <2 x i32> %bc2 43} 44 45define i64 @bitcast_bitcast_v_s_s(<2 x i32> %a) { 46 %bc1 = bitcast <2 x i32> %a to double 47 %bc2 = bitcast double %bc1 to i64 48 ret i64 %bc2 49 50; CHECK-LABEL: @bitcast_bitcast_v_s_s( 51; CHECK-NEXT: %bc2 = bitcast <2 x i32> %a to i64 52; CHECK-NEXT: ret i64 %bc2 53} 54 55define <4 x i16> @bitcast_bitcast_v_s_v(<2 x i32> %a) { 56 %bc1 = bitcast <2 x i32> %a to double 57 %bc2 = bitcast double %bc1 to <4 x i16> 58 ret <4 x i16> %bc2 59 60; CHECK-LABEL: @bitcast_bitcast_v_s_v( 61; CHECK-NEXT: %bc2 = bitcast <2 x i32> %a to <4 x i16> 62; CHECK-NEXT: ret <4 x i16> %bc2 63} 64 65define double @bitcast_bitcast_v_v_s(<2 x float> %a) { 66 %bc1 = bitcast <2 x float> %a to <4 x i16> 67 %bc2 = bitcast <4 x i16> %bc1 to double 68 ret double %bc2 69 70; CHECK-LABEL: @bitcast_bitcast_v_v_s( 71; CHECK-NEXT: %bc2 = bitcast <2 x float> %a to double 72; CHECK-NEXT: ret double %bc2 73} 74 75define <2 x i32> @bitcast_bitcast_v_v_v(<2 x float> %a) { 76 %bc1 = bitcast <2 x float> %a to <4 x i16> 77 %bc2 = bitcast <4 x i16> %bc1 to <2 x i32> 78 ret <2 x i32> %bc2 79 80; CHECK-LABEL: @bitcast_bitcast_v_v_v( 81; CHECK-NEXT: %bc2 = bitcast <2 x float> %a to <2 x i32> 82; CHECK-NEXT: ret <2 x i32> %bc2 83} 84 85