469 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -mtriple=x86_64-linux | FileCheck %s --check-prefix=X643; RUN: llc < %s -mtriple=i686 -mattr=cmov | FileCheck %s --check-prefix=X864 5declare i4 @llvm.udiv.fix.sat.i4 (i4, i4, i32)6declare i15 @llvm.udiv.fix.sat.i15 (i15, i15, i32)7declare i16 @llvm.udiv.fix.sat.i16 (i16, i16, i32)8declare i18 @llvm.udiv.fix.sat.i18 (i18, i18, i32)9declare i64 @llvm.udiv.fix.sat.i64 (i64, i64, i32)10declare <4 x i32> @llvm.udiv.fix.sat.v4i32(<4 x i32>, <4 x i32>, i32)11 12define i16 @func(i16 %x, i16 %y) nounwind {13; X64-LABEL: func:14; X64: # %bb.0:15; X64-NEXT: movzwl %si, %ecx16; X64-NEXT: movzwl %di, %eax17; X64-NEXT: shll $8, %eax18; X64-NEXT: xorl %edx, %edx19; X64-NEXT: divl %ecx20; X64-NEXT: cmpl $131071, %eax # imm = 0x1FFFF21; X64-NEXT: movl $131071, %ecx # imm = 0x1FFFF22; X64-NEXT: cmovael %ecx, %eax23; X64-NEXT: shrl %eax24; X64-NEXT: # kill: def $ax killed $ax killed $eax25; X64-NEXT: retq26;27; X86-LABEL: func:28; X86: # %bb.0:29; X86-NEXT: movzwl {{[0-9]+}}(%esp), %ecx30; X86-NEXT: movl {{[0-9]+}}(%esp), %eax31; X86-NEXT: movzwl %ax, %eax32; X86-NEXT: shll $8, %eax33; X86-NEXT: xorl %edx, %edx34; X86-NEXT: divl %ecx35; X86-NEXT: cmpl $131071, %eax # imm = 0x1FFFF36; X86-NEXT: movl $131071, %ecx # imm = 0x1FFFF37; X86-NEXT: cmovael %ecx, %eax38; X86-NEXT: shrl %eax39; X86-NEXT: # kill: def $ax killed $ax killed $eax40; X86-NEXT: retl41 %tmp = call i16 @llvm.udiv.fix.sat.i16(i16 %x, i16 %y, i32 7)42 ret i16 %tmp43}44 45define i16 @func2(i8 %x, i8 %y) nounwind {46; X64-LABEL: func2:47; X64: # %bb.0:48; X64-NEXT: movsbl %dil, %eax49; X64-NEXT: andl $32767, %eax # imm = 0x7FFF50; X64-NEXT: movsbl %sil, %ecx51; X64-NEXT: andl $32767, %ecx # imm = 0x7FFF52; X64-NEXT: shll $14, %eax53; X64-NEXT: xorl %edx, %edx54; X64-NEXT: divl %ecx55; X64-NEXT: cmpl $32767, %eax # imm = 0x7FFF56; X64-NEXT: movl $32767, %ecx # imm = 0x7FFF57; X64-NEXT: cmovbl %eax, %ecx58; X64-NEXT: addl %ecx, %ecx59; X64-NEXT: movswl %cx, %eax60; X64-NEXT: shrl %eax61; X64-NEXT: # kill: def $ax killed $ax killed $eax62; X64-NEXT: retq63;64; X86-LABEL: func2:65; X86: # %bb.0:66; X86-NEXT: movsbl {{[0-9]+}}(%esp), %ecx67; X86-NEXT: andl $32767, %ecx # imm = 0x7FFF68; X86-NEXT: movsbl {{[0-9]+}}(%esp), %eax69; X86-NEXT: andl $32767, %eax # imm = 0x7FFF70; X86-NEXT: shll $14, %eax71; X86-NEXT: xorl %edx, %edx72; X86-NEXT: divl %ecx73; X86-NEXT: cmpl $32767, %eax # imm = 0x7FFF74; X86-NEXT: movl $32767, %ecx # imm = 0x7FFF75; X86-NEXT: cmovbl %eax, %ecx76; X86-NEXT: addl %ecx, %ecx77; X86-NEXT: movswl %cx, %eax78; X86-NEXT: shrl %eax79; X86-NEXT: # kill: def $ax killed $ax killed $eax80; X86-NEXT: retl81 %x2 = sext i8 %x to i1582 %y2 = sext i8 %y to i1583 %tmp = call i15 @llvm.udiv.fix.sat.i15(i15 %x2, i15 %y2, i32 14)84 %tmp2 = sext i15 %tmp to i1685 ret i16 %tmp286}87 88define i16 @func3(i15 %x, i8 %y) nounwind {89; X64-LABEL: func3:90; X64: # %bb.0:91; X64-NEXT: # kill: def $edi killed $edi def $rdi92; X64-NEXT: leal (%rdi,%rdi), %eax93; X64-NEXT: movzbl %sil, %ecx94; X64-NEXT: shll $4, %ecx95; X64-NEXT: # kill: def $ax killed $ax killed $eax96; X64-NEXT: xorl %edx, %edx97; X64-NEXT: divw %cx98; X64-NEXT: # kill: def $ax killed $ax def $eax99; X64-NEXT: movzwl %ax, %ecx100; X64-NEXT: cmpl $32767, %ecx # imm = 0x7FFF101; X64-NEXT: movl $32767, %ecx # imm = 0x7FFF102; X64-NEXT: cmovbl %eax, %ecx103; X64-NEXT: addl %ecx, %ecx104; X64-NEXT: movswl %cx, %eax105; X64-NEXT: shrl %eax106; X64-NEXT: # kill: def $ax killed $ax killed $eax107; X64-NEXT: retq108;109; X86-LABEL: func3:110; X86: # %bb.0:111; X86-NEXT: movl {{[0-9]+}}(%esp), %eax112; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx113; X86-NEXT: addl %eax, %eax114; X86-NEXT: movzbl %cl, %ecx115; X86-NEXT: shll $4, %ecx116; X86-NEXT: # kill: def $ax killed $ax killed $eax117; X86-NEXT: xorl %edx, %edx118; X86-NEXT: divw %cx119; X86-NEXT: # kill: def $ax killed $ax def $eax120; X86-NEXT: movzwl %ax, %ecx121; X86-NEXT: cmpl $32767, %ecx # imm = 0x7FFF122; X86-NEXT: movl $32767, %ecx # imm = 0x7FFF123; X86-NEXT: cmovbl %eax, %ecx124; X86-NEXT: addl %ecx, %ecx125; X86-NEXT: movswl %cx, %eax126; X86-NEXT: shrl %eax127; X86-NEXT: # kill: def $ax killed $ax killed $eax128; X86-NEXT: retl129 %y2 = sext i8 %y to i15130 %y3 = shl i15 %y2, 7131 %tmp = call i15 @llvm.udiv.fix.sat.i15(i15 %x, i15 %y3, i32 4)132 %tmp2 = sext i15 %tmp to i16133 ret i16 %tmp2134}135 136define i4 @func4(i4 %x, i4 %y) nounwind {137; X64-LABEL: func4:138; X64: # %bb.0:139; X64-NEXT: andb $15, %sil140; X64-NEXT: andb $15, %dil141; X64-NEXT: shlb $2, %dil142; X64-NEXT: movzbl %dil, %eax143; X64-NEXT: divb %sil144; X64-NEXT: movzbl %al, %ecx145; X64-NEXT: cmpb $15, %cl146; X64-NEXT: movl $15, %eax147; X64-NEXT: cmovbl %ecx, %eax148; X64-NEXT: # kill: def $al killed $al killed $eax149; X64-NEXT: retq150;151; X86-LABEL: func4:152; X86: # %bb.0:153; X86-NEXT: movzbl {{[0-9]+}}(%esp), %ecx154; X86-NEXT: andb $15, %cl155; X86-NEXT: movzbl {{[0-9]+}}(%esp), %eax156; X86-NEXT: andb $15, %al157; X86-NEXT: shlb $2, %al158; X86-NEXT: movzbl %al, %eax159; X86-NEXT: divb %cl160; X86-NEXT: movzbl %al, %ecx161; X86-NEXT: cmpb $15, %al162; X86-NEXT: movl $15, %eax163; X86-NEXT: cmovbl %ecx, %eax164; X86-NEXT: # kill: def $al killed $al killed $eax165; X86-NEXT: retl166 %tmp = call i4 @llvm.udiv.fix.sat.i4(i4 %x, i4 %y, i32 2)167 ret i4 %tmp168}169 170define i64 @func5(i64 %x, i64 %y) nounwind {171; X64-LABEL: func5:172; X64: # %bb.0:173; X64-NEXT: pushq %rax174; X64-NEXT: movq %rsi, %rdx175; X64-NEXT: leaq (%rdi,%rdi), %rax176; X64-NEXT: movq %rdi, %rsi177; X64-NEXT: shrq $63, %rsi178; X64-NEXT: shldq $31, %rax, %rsi179; X64-NEXT: shlq $32, %rdi180; X64-NEXT: xorl %ecx, %ecx181; X64-NEXT: callq __udivti3@PLT182; X64-NEXT: cmpq $2, %rdx183; X64-NEXT: movq $-1, %rcx184; X64-NEXT: cmovaeq %rcx, %rax185; X64-NEXT: movl $1, %ecx186; X64-NEXT: cmovbq %rdx, %rcx187; X64-NEXT: shrdq $1, %rcx, %rax188; X64-NEXT: popq %rcx189; X64-NEXT: retq190;191; X86-LABEL: func5:192; X86: # %bb.0:193; X86-NEXT: pushl %ebp194; X86-NEXT: movl %esp, %ebp195; X86-NEXT: pushl %esi196; X86-NEXT: andl $-16, %esp197; X86-NEXT: subl $80, %esp198; X86-NEXT: movl 8(%ebp), %eax199; X86-NEXT: movl 12(%ebp), %ecx200; X86-NEXT: movl 16(%ebp), %edx201; X86-NEXT: movl 20(%ebp), %esi202; X86-NEXT: movl %esi, {{[0-9]+}}(%esp)203; X86-NEXT: movl %edx, {{[0-9]+}}(%esp)204; X86-NEXT: movl %ecx, %edx205; X86-NEXT: shrl %edx206; X86-NEXT: movl %edx, {{[0-9]+}}(%esp)207; X86-NEXT: shldl $31, %eax, %ecx208; X86-NEXT: movl %ecx, {{[0-9]+}}(%esp)209; X86-NEXT: shll $31, %eax210; X86-NEXT: movl %eax, {{[0-9]+}}(%esp)211; X86-NEXT: leal {{[0-9]+}}(%esp), %eax212; X86-NEXT: movl %eax, (%esp)213; X86-NEXT: movl $0, {{[0-9]+}}(%esp)214; X86-NEXT: movl $0, {{[0-9]+}}(%esp)215; X86-NEXT: movl $0, {{[0-9]+}}(%esp)216; X86-NEXT: calll __udivti3217; X86-NEXT: subl $4, %esp218; X86-NEXT: movl {{[0-9]+}}(%esp), %eax219; X86-NEXT: orl {{[0-9]+}}(%esp), %eax220; X86-NEXT: movl $-1, %eax221; X86-NEXT: movl $-1, %edx222; X86-NEXT: jne .LBB4_2223; X86-NEXT: # %bb.1:224; X86-NEXT: movl {{[0-9]+}}(%esp), %eax225; X86-NEXT: movl {{[0-9]+}}(%esp), %edx226; X86-NEXT: .LBB4_2:227; X86-NEXT: leal -4(%ebp), %esp228; X86-NEXT: popl %esi229; X86-NEXT: popl %ebp230; X86-NEXT: retl231 %tmp = call i64 @llvm.udiv.fix.sat.i64(i64 %x, i64 %y, i32 31)232 ret i64 %tmp233}234 235define i18 @func6(i16 %x, i16 %y) nounwind {236; X64-LABEL: func6:237; X64: # %bb.0:238; X64-NEXT: movswl %di, %eax239; X64-NEXT: andl $262143, %eax # imm = 0x3FFFF240; X64-NEXT: movswl %si, %ecx241; X64-NEXT: andl $262143, %ecx # imm = 0x3FFFF242; X64-NEXT: shll $7, %eax243; X64-NEXT: xorl %edx, %edx244; X64-NEXT: divl %ecx245; X64-NEXT: cmpl $262143, %eax # imm = 0x3FFFF246; X64-NEXT: movl $262143, %ecx # imm = 0x3FFFF247; X64-NEXT: cmovael %ecx, %eax248; X64-NEXT: retq249;250; X86-LABEL: func6:251; X86: # %bb.0:252; X86-NEXT: movswl {{[0-9]+}}(%esp), %ecx253; X86-NEXT: andl $262143, %ecx # imm = 0x3FFFF254; X86-NEXT: movswl {{[0-9]+}}(%esp), %eax255; X86-NEXT: andl $262143, %eax # imm = 0x3FFFF256; X86-NEXT: shll $7, %eax257; X86-NEXT: xorl %edx, %edx258; X86-NEXT: divl %ecx259; X86-NEXT: cmpl $262143, %eax # imm = 0x3FFFF260; X86-NEXT: movl $262143, %ecx # imm = 0x3FFFF261; X86-NEXT: cmovael %ecx, %eax262; X86-NEXT: retl263 %x2 = sext i16 %x to i18264 %y2 = sext i16 %y to i18265 %tmp = call i18 @llvm.udiv.fix.sat.i18(i18 %x2, i18 %y2, i32 7)266 ret i18 %tmp267}268 269define i16 @func7(i16 %x, i16 %y) nounwind {270; X64-LABEL: func7:271; X64: # %bb.0:272; X64-NEXT: movzwl %si, %ecx273; X64-NEXT: movzwl %di, %eax274; X64-NEXT: addl %eax, %eax275; X64-NEXT: shlq $16, %rax276; X64-NEXT: xorl %edx, %edx277; X64-NEXT: divq %rcx278; X64-NEXT: cmpq $131071, %rax # imm = 0x1FFFF279; X64-NEXT: movl $131071, %ecx # imm = 0x1FFFF280; X64-NEXT: cmovaeq %rcx, %rax281; X64-NEXT: shrl %eax282; X64-NEXT: # kill: def $ax killed $ax killed $rax283; X64-NEXT: retq284;285; X86-LABEL: func7:286; X86: # %bb.0:287; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax288; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx289; X86-NEXT: movl %ecx, %edx290; X86-NEXT: shll $17, %edx291; X86-NEXT: shrl $15, %ecx292; X86-NEXT: andl $1, %ecx293; X86-NEXT: pushl $0294; X86-NEXT: pushl %eax295; X86-NEXT: pushl %ecx296; X86-NEXT: pushl %edx297; X86-NEXT: calll __udivdi3298; X86-NEXT: addl $16, %esp299; X86-NEXT: cmpl $131071, %eax # imm = 0x1FFFF300; X86-NEXT: movl $131071, %ecx # imm = 0x1FFFF301; X86-NEXT: cmovael %ecx, %eax302; X86-NEXT: testl %edx, %edx303; X86-NEXT: cmovnel %ecx, %eax304; X86-NEXT: shrl %eax305; X86-NEXT: # kill: def $ax killed $ax killed $eax306; X86-NEXT: retl307 %tmp = call i16 @llvm.udiv.fix.sat.i16(i16 %x, i16 %y, i32 16)308 ret i16 %tmp309}310 311define <4 x i32> @vec(<4 x i32> %x, <4 x i32> %y) nounwind {312; X64-LABEL: vec:313; X64: # %bb.0:314; X64-NEXT: pxor %xmm2, %xmm2315; X64-NEXT: pxor %xmm3, %xmm3316; X64-NEXT: punpckhdq {{.*#+}} xmm3 = xmm3[2],xmm0[2],xmm3[3],xmm0[3]317; X64-NEXT: movq %xmm3, %rax318; X64-NEXT: movdqa %xmm1, %xmm4319; X64-NEXT: punpckhdq {{.*#+}} xmm4 = xmm4[2],xmm2[2],xmm4[3],xmm2[3]320; X64-NEXT: movq %xmm4, %rcx321; X64-NEXT: xorl %edx, %edx322; X64-NEXT: divq %rcx323; X64-NEXT: movq %rax, %xmm8324; X64-NEXT: pshufd {{.*#+}} xmm3 = xmm3[2,3,2,3]325; X64-NEXT: movq %xmm3, %rax326; X64-NEXT: movdqa %xmm1, %xmm3327; X64-NEXT: psrldq {{.*#+}} xmm3 = xmm3[12,13,14,15],zero,zero,zero,zero,zero,zero,zero,zero,zero,zero,zero,zero328; X64-NEXT: movq %xmm3, %rcx329; X64-NEXT: xorl %edx, %edx330; X64-NEXT: divq %rcx331; X64-NEXT: movq %rax, %xmm3332; X64-NEXT: punpcklqdq {{.*#+}} xmm8 = xmm8[0],xmm3[0]333; X64-NEXT: movdqa {{.*#+}} xmm4 = [9223372039002259456,9223372039002259456]334; X64-NEXT: movdqa %xmm8, %xmm3335; X64-NEXT: pxor %xmm4, %xmm3336; X64-NEXT: pshufd {{.*#+}} xmm6 = xmm3[1,1,3,3]337; X64-NEXT: movdqa {{.*#+}} xmm7 = [2147483649,2147483649,2147483649,2147483649]338; X64-NEXT: pcmpeqd %xmm7, %xmm6339; X64-NEXT: movdqa {{.*#+}} xmm5 = [9223372043297226751,9223372043297226751]340; X64-NEXT: movdqa %xmm5, %xmm9341; X64-NEXT: pcmpgtd %xmm3, %xmm9342; X64-NEXT: pshufd {{.*#+}} xmm10 = xmm9[0,0,2,2]343; X64-NEXT: pand %xmm6, %xmm10344; X64-NEXT: pshufd {{.*#+}} xmm3 = xmm9[1,1,3,3]345; X64-NEXT: por %xmm10, %xmm3346; X64-NEXT: pcmpeqd %xmm6, %xmm6347; X64-NEXT: pand %xmm3, %xmm8348; X64-NEXT: pxor %xmm6, %xmm3349; X64-NEXT: por %xmm8, %xmm3350; X64-NEXT: psrlq $1, %xmm3351; X64-NEXT: punpckldq {{.*#+}} xmm2 = xmm2[0],xmm0[0],xmm2[1],xmm0[1]352; X64-NEXT: movq %xmm2, %rax353; X64-NEXT: movd %xmm1, %ecx354; X64-NEXT: xorl %edx, %edx355; X64-NEXT: divq %rcx356; X64-NEXT: movq %rax, %xmm8357; X64-NEXT: pshufd {{.*#+}} xmm0 = xmm2[2,3,2,3]358; X64-NEXT: movq %xmm0, %rax359; X64-NEXT: psrlq $32, %xmm1360; X64-NEXT: movq %xmm1, %rcx361; X64-NEXT: xorl %edx, %edx362; X64-NEXT: divq %rcx363; X64-NEXT: movq %rax, %xmm0364; X64-NEXT: punpcklqdq {{.*#+}} xmm8 = xmm8[0],xmm0[0]365; X64-NEXT: pxor %xmm8, %xmm4366; X64-NEXT: pshufd {{.*#+}} xmm0 = xmm4[1,1,3,3]367; X64-NEXT: pcmpeqd %xmm7, %xmm0368; X64-NEXT: pcmpgtd %xmm4, %xmm5369; X64-NEXT: pshufd {{.*#+}} xmm1 = xmm5[0,0,2,2]370; X64-NEXT: pand %xmm0, %xmm1371; X64-NEXT: pshufd {{.*#+}} xmm0 = xmm5[1,1,3,3]372; X64-NEXT: por %xmm1, %xmm0373; X64-NEXT: pxor %xmm0, %xmm6374; X64-NEXT: pand %xmm8, %xmm0375; X64-NEXT: por %xmm6, %xmm0376; X64-NEXT: psrlq $1, %xmm0377; X64-NEXT: shufps {{.*#+}} xmm0 = xmm0[0,2],xmm3[0,2]378; X64-NEXT: retq379;380; X86-LABEL: vec:381; X86: # %bb.0:382; X86-NEXT: pushl %ebp383; X86-NEXT: pushl %ebx384; X86-NEXT: pushl %edi385; X86-NEXT: pushl %esi386; X86-NEXT: subl $8, %esp387; X86-NEXT: movl {{[0-9]+}}(%esp), %esi388; X86-NEXT: movl {{[0-9]+}}(%esp), %ebx389; X86-NEXT: movl {{[0-9]+}}(%esp), %ebp390; X86-NEXT: movl {{[0-9]+}}(%esp), %eax391; X86-NEXT: leal (%eax,%eax), %ecx392; X86-NEXT: shrl $31, %eax393; X86-NEXT: shldl $31, %ecx, %eax394; X86-NEXT: pushl $0395; X86-NEXT: pushl {{[0-9]+}}(%esp)396; X86-NEXT: pushl %eax397; X86-NEXT: pushl $0398; X86-NEXT: calll __udivdi3399; X86-NEXT: addl $16, %esp400; X86-NEXT: movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill401; X86-NEXT: movl %edx, %edi402; X86-NEXT: leal (%ebx,%ebx), %eax403; X86-NEXT: shrl $31, %ebx404; X86-NEXT: shldl $31, %eax, %ebx405; X86-NEXT: pushl $0406; X86-NEXT: pushl %ebp407; X86-NEXT: pushl %ebx408; X86-NEXT: pushl $0409; X86-NEXT: calll __udivdi3410; X86-NEXT: addl $16, %esp411; X86-NEXT: movl %eax, (%esp) # 4-byte Spill412; X86-NEXT: movl %edx, %ebx413; X86-NEXT: leal (%esi,%esi), %eax414; X86-NEXT: shrl $31, %esi415; X86-NEXT: shldl $31, %eax, %esi416; X86-NEXT: pushl $0417; X86-NEXT: pushl {{[0-9]+}}(%esp)418; X86-NEXT: pushl %esi419; X86-NEXT: pushl $0420; X86-NEXT: calll __udivdi3421; X86-NEXT: addl $16, %esp422; X86-NEXT: movl %edx, %esi423; X86-NEXT: movl {{[0-9]+}}(%esp), %edx424; X86-NEXT: leal (%edx,%edx), %ecx425; X86-NEXT: shrl $31, %edx426; X86-NEXT: shldl $31, %ecx, %edx427; X86-NEXT: movl %edx, %ecx428; X86-NEXT: cmpl $2, %esi429; X86-NEXT: movl $-1, %edx430; X86-NEXT: cmovael %edx, %eax431; X86-NEXT: movl $1, %ebp432; X86-NEXT: cmovael %ebp, %esi433; X86-NEXT: shldl $31, %eax, %esi434; X86-NEXT: cmpl $2, %ebx435; X86-NEXT: movl (%esp), %eax # 4-byte Reload436; X86-NEXT: cmovael %edx, %eax437; X86-NEXT: cmovael %ebp, %ebx438; X86-NEXT: shldl $31, %eax, %ebx439; X86-NEXT: cmpl $2, %edi440; X86-NEXT: movl {{[-0-9]+}}(%e{{[sb]}}p), %eax # 4-byte Reload441; X86-NEXT: cmovael %edx, %eax442; X86-NEXT: cmovael %ebp, %edi443; X86-NEXT: shldl $31, %eax, %edi444; X86-NEXT: pushl $0445; X86-NEXT: pushl {{[0-9]+}}(%esp)446; X86-NEXT: pushl %ecx447; X86-NEXT: pushl $0448; X86-NEXT: calll __udivdi3449; X86-NEXT: addl $16, %esp450; X86-NEXT: cmpl $2, %edx451; X86-NEXT: movl $-1, %ecx452; X86-NEXT: cmovael %ecx, %eax453; X86-NEXT: cmovbl %edx, %ebp454; X86-NEXT: shldl $31, %eax, %ebp455; X86-NEXT: movl {{[0-9]+}}(%esp), %eax456; X86-NEXT: movl %ebp, 12(%eax)457; X86-NEXT: movl %edi, 8(%eax)458; X86-NEXT: movl %ebx, 4(%eax)459; X86-NEXT: movl %esi, (%eax)460; X86-NEXT: addl $8, %esp461; X86-NEXT: popl %esi462; X86-NEXT: popl %edi463; X86-NEXT: popl %ebx464; X86-NEXT: popl %ebp465; X86-NEXT: retl $4466 %tmp = call <4 x i32> @llvm.udiv.fix.sat.v4i32(<4 x i32> %x, <4 x i32> %y, i32 31)467 ret <4 x i32> %tmp468}469