1 ; RUN: opt < %s -instcombine -S | FileCheck %s
3 ; This turns into a&1 != 0
4 define <2 x i1> @test1(<2 x i64> %a) {
5 %t = trunc <2 x i64> %a to <2 x i1>
9 ; CHECK: and <2 x i64> %a, <i64 1, i64 1>
10 ; CHECK: icmp ne <2 x i64> %1, zeroinitializer
13 ; The ashr turns into an lshr.
14 define <2 x i64> @test2(<2 x i64> %a) {
15 %b = and <2 x i64> %a, <i64 65535, i64 65535>
16 %t = ashr <2 x i64> %b, <i64 1, i64 1>
19 ; CHECK-LABEL: @test2(
20 ; CHECK: and <2 x i64> %a, <i64 65535, i64 65535>
21 ; CHECK: lshr <2 x i64> %b, <i64 1, i64 1>
26 define <2 x i64> @test3(<4 x float> %a, <4 x float> %b) nounwind readnone {
28 %cmp = fcmp ord <4 x float> %a, zeroinitializer
29 %sext = sext <4 x i1> %cmp to <4 x i32>
30 %cmp4 = fcmp ord <4 x float> %b, zeroinitializer
31 %sext5 = sext <4 x i1> %cmp4 to <4 x i32>
32 %and = and <4 x i32> %sext, %sext5
33 %conv = bitcast <4 x i32> %and to <2 x i64>
36 ; CHECK-LABEL: @test3(
37 ; CHECK: fcmp ord <4 x float> %a, %b
40 define <2 x i64> @test4(<4 x float> %a, <4 x float> %b) nounwind readnone {
42 %cmp = fcmp uno <4 x float> %a, zeroinitializer
43 %sext = sext <4 x i1> %cmp to <4 x i32>
44 %cmp4 = fcmp uno <4 x float> %b, zeroinitializer
45 %sext5 = sext <4 x i1> %cmp4 to <4 x i32>
46 %or = or <4 x i32> %sext, %sext5
47 %conv = bitcast <4 x i32> %or to <2 x i64>
49 ; CHECK-LABEL: @test4(
50 ; CHECK: fcmp uno <4 x float> %a, %b
55 define <2 x i64> @test5(<4 x float> %a, <4 x float> %b) nounwind readnone {
57 %cmp = fcmp ult <4 x float> %a, zeroinitializer
58 %sext = sext <4 x i1> %cmp to <4 x i32>
59 %cmp4 = fcmp ult <4 x float> %b, zeroinitializer
60 %sext5 = sext <4 x i1> %cmp4 to <4 x i32>
61 %and = and <4 x i32> %sext, %sext5
62 %conv = bitcast <4 x i32> %and to <2 x i64>
65 ; CHECK-LABEL: @test5(
66 ; CHECK: sext <4 x i1> %cmp to <4 x i32>
67 ; The sext-and pair is canonicalized to a select.
68 ; CHECK: select <4 x i1> %cmp4, <4 x i32> %sext, <4 x i32> zeroinitializer
72 define void @convert(<2 x i32>* %dst.addr, <2 x i64> %src) nounwind {
74 %val = trunc <2 x i64> %src to <2 x i32>
75 %add = add <2 x i32> %val, <i32 1, i32 1>
76 store <2 x i32> %add, <2 x i32>* %dst.addr
80 define <2 x i65> @foo(<2 x i64> %t) {
81 %a = trunc <2 x i64> %t to <2 x i32>
82 %b = zext <2 x i32> %a to <2 x i65>
85 define <2 x i64> @bar(<2 x i65> %t) {
86 %a = trunc <2 x i65> %t to <2 x i32>
87 %b = zext <2 x i32> %a to <2 x i64>
90 define <2 x i65> @foos(<2 x i64> %t) {
91 %a = trunc <2 x i64> %t to <2 x i32>
92 %b = sext <2 x i32> %a to <2 x i65>
95 define <2 x i64> @bars(<2 x i65> %t) {
96 %a = trunc <2 x i65> %t to <2 x i32>
97 %b = sext <2 x i32> %a to <2 x i64>
100 define <2 x i64> @quxs(<2 x i64> %t) {
101 %a = trunc <2 x i64> %t to <2 x i32>
102 %b = sext <2 x i32> %a to <2 x i64>
105 define <2 x i64> @quxt(<2 x i64> %t) {
106 %a = shl <2 x i64> %t, <i64 32, i64 32>
107 %b = ashr <2 x i64> %a, <i64 32, i64 32>
110 define <2 x double> @fa(<2 x double> %t) {
111 %a = fptrunc <2 x double> %t to <2 x float>
112 %b = fpext <2 x float> %a to <2 x double>
115 define <2 x double> @fb(<2 x double> %t) {
116 %a = fptoui <2 x double> %t to <2 x i64>
117 %b = uitofp <2 x i64> %a to <2 x double>
120 define <2 x double> @fc(<2 x double> %t) {
121 %a = fptosi <2 x double> %t to <2 x i64>
122 %b = sitofp <2 x i64> %a to <2 x double>
127 ; This was a crasher, so no CHECK statements.
128 define <4 x float> @f(i32 %a) nounwind alwaysinline {
131 %dim = insertelement <4 x i32> undef, i32 %a, i32 0
132 %dim30 = insertelement <4 x i32> %dim, i32 %a, i32 1
133 %dim31 = insertelement <4 x i32> %dim30, i32 %a, i32 2
134 %dim32 = insertelement <4 x i32> %dim31, i32 %a, i32 3
136 %offset_ptr = getelementptr <4 x float>* null, i32 1
137 %offset_int = ptrtoint <4 x float>* %offset_ptr to i64
138 %sizeof32 = trunc i64 %offset_int to i32
140 %smearinsert33 = insertelement <4 x i32> undef, i32 %sizeof32, i32 0
141 %smearinsert34 = insertelement <4 x i32> %smearinsert33, i32 %sizeof32, i32 1
142 %smearinsert35 = insertelement <4 x i32> %smearinsert34, i32 %sizeof32, i32 2
143 %smearinsert36 = insertelement <4 x i32> %smearinsert35, i32 %sizeof32, i32 3
145 %delta_scale = mul <4 x i32> %dim32, %smearinsert36
146 %offset_delta = add <4 x i32> zeroinitializer, %delta_scale
148 %offset_varying_delta = add <4 x i32> %offset_delta, undef
150 ret <4 x float> undef