497 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -mtriple=i686-unknown-unknown | FileCheck %s --check-prefixes=X863; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s --check-prefixes=X644 5define i8 @cmov_bsr8(i8 %x, i8 %y) nounwind {6; X86-LABEL: cmov_bsr8:7; X86: # %bb.0:8; X86-NEXT: movzbl {{[0-9]+}}(%esp), %ecx9; X86-NEXT: testb %cl, %cl10; X86-NEXT: je .LBB0_111; X86-NEXT: # %bb.2: # %cond.false12; X86-NEXT: movzbl %cl, %eax13; X86-NEXT: bsrl %eax, %eax14; X86-NEXT: xorl $7, %eax15; X86-NEXT: testb %cl, %cl16; X86-NEXT: je .LBB0_417; X86-NEXT: .LBB0_5: # %cond.end18; X86-NEXT: xorb $7, %al19; X86-NEXT: # kill: def $al killed $al killed $eax20; X86-NEXT: retl21; X86-NEXT: .LBB0_1:22; X86-NEXT: movb $8, %al23; X86-NEXT: testb %cl, %cl24; X86-NEXT: jne .LBB0_525; X86-NEXT: .LBB0_4:26; X86-NEXT: movzbl {{[0-9]+}}(%esp), %eax27; X86-NEXT: # kill: def $al killed $al killed $eax28; X86-NEXT: retl29;30; X64-LABEL: cmov_bsr8:31; X64: # %bb.0:32; X64-NEXT: movzbl %dil, %ecx33; X64-NEXT: movl $15, %eax34; X64-NEXT: bsrl %ecx, %eax35; X64-NEXT: testb %cl, %cl36; X64-NEXT: cmovel %esi, %eax37; X64-NEXT: # kill: def $al killed $al killed $eax38; X64-NEXT: retq39 %1 = tail call i8 @llvm.ctlz.i8(i8 %x, i1 false)40 %2 = xor i8 %1, 741 %3 = icmp eq i8 %x, 042 %4 = select i1 %3, i8 %y, i8 %243 ret i8 %444}45 46define i8 @cmov_bsr8_undef(i8 %x, i8 %y) nounwind {47; X86-LABEL: cmov_bsr8_undef:48; X86: # %bb.0:49; X86-NEXT: movzbl {{[0-9]+}}(%esp), %eax50; X86-NEXT: testl %eax, %eax51; X86-NEXT: jne .LBB1_152; X86-NEXT: # %bb.2:53; X86-NEXT: movzbl {{[0-9]+}}(%esp), %eax54; X86-NEXT: # kill: def $al killed $al killed $eax55; X86-NEXT: retl56; X86-NEXT: .LBB1_1:57; X86-NEXT: bsrl %eax, %eax58; X86-NEXT: # kill: def $al killed $al killed $eax59; X86-NEXT: retl60;61; X64-LABEL: cmov_bsr8_undef:62; X64: # %bb.0:63; X64-NEXT: movzbl %dil, %ecx64; X64-NEXT: bsrl %ecx, %eax65; X64-NEXT: testb %cl, %cl66; X64-NEXT: cmovel %esi, %eax67; X64-NEXT: # kill: def $al killed $al killed $eax68; X64-NEXT: retq69 %1 = tail call i8 @llvm.ctlz.i8(i8 %x, i1 true)70 %2 = xor i8 %1, 771 %3 = icmp ne i8 %x, 072 %4 = select i1 %3, i8 %2, i8 %y73 ret i8 %474}75 76define i16 @cmov_bsr16(i16 %x, i16 %y) nounwind {77; X86-LABEL: cmov_bsr16:78; X86: # %bb.0:79; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax80; X86-NEXT: testw %ax, %ax81; X86-NEXT: je .LBB2_182; X86-NEXT: # %bb.2: # %cond.false83; X86-NEXT: bsrw %ax, %cx84; X86-NEXT: xorl $15, %ecx85; X86-NEXT: testw %ax, %ax86; X86-NEXT: jne .LBB2_487; X86-NEXT: .LBB2_5: # %cond.end88; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax89; X86-NEXT: # kill: def $ax killed $ax killed $eax90; X86-NEXT: retl91; X86-NEXT: .LBB2_1:92; X86-NEXT: movw $16, %cx93; X86-NEXT: testw %ax, %ax94; X86-NEXT: je .LBB2_595; X86-NEXT: .LBB2_4:96; X86-NEXT: movzwl %cx, %eax97; X86-NEXT: xorl $15, %eax98; X86-NEXT: # kill: def $ax killed $ax killed $eax99; X86-NEXT: retl100;101; X64-LABEL: cmov_bsr16:102; X64: # %bb.0:103; X64-NEXT: movw $31, %ax104; X64-NEXT: bsrw %di, %ax105; X64-NEXT: cmovel %esi, %eax106; X64-NEXT: # kill: def $ax killed $ax killed $eax107; X64-NEXT: retq108 %1 = tail call i16 @llvm.ctlz.i16(i16 %x, i1 false)109 %2 = xor i16 %1, 15110 %3 = icmp ne i16 %x, 0111 %4 = select i1 %3, i16 %2, i16 %y112 ret i16 %4113}114 115define i16 @cmov_bsr16_undef(i16 %x, i16 %y) nounwind {116; X86-LABEL: cmov_bsr16_undef:117; X86: # %bb.0:118; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax119; X86-NEXT: testw %ax, %ax120; X86-NEXT: je .LBB3_1121; X86-NEXT: # %bb.2:122; X86-NEXT: bsrw %ax, %ax123; X86-NEXT: retl124; X86-NEXT: .LBB3_1:125; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax126; X86-NEXT: retl127;128; X64-LABEL: cmov_bsr16_undef:129; X64: # %bb.0:130; X64-NEXT: bsrw %di, %ax131; X64-NEXT: cmovel %esi, %eax132; X64-NEXT: # kill: def $ax killed $ax killed $eax133; X64-NEXT: retq134 %1 = tail call i16 @llvm.ctlz.i16(i16 %x, i1 true)135 %2 = xor i16 %1, 15136 %3 = icmp eq i16 %x, 0137 %4 = select i1 %3, i16 %y, i16 %2138 ret i16 %4139}140 141define i32 @cmov_bsr32(i32 %x, i32 %y) nounwind {142; X86-LABEL: cmov_bsr32:143; X86: # %bb.0:144; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx145; X86-NEXT: testl %ecx, %ecx146; X86-NEXT: je .LBB4_1147; X86-NEXT: # %bb.2: # %cond.false148; X86-NEXT: bsrl %ecx, %eax149; X86-NEXT: xorl $31, %eax150; X86-NEXT: testl %ecx, %ecx151; X86-NEXT: je .LBB4_4152; X86-NEXT: .LBB4_5: # %cond.end153; X86-NEXT: xorl $31, %eax154; X86-NEXT: retl155; X86-NEXT: .LBB4_1:156; X86-NEXT: movl $32, %eax157; X86-NEXT: testl %ecx, %ecx158; X86-NEXT: jne .LBB4_5159; X86-NEXT: .LBB4_4:160; X86-NEXT: movl {{[0-9]+}}(%esp), %eax161; X86-NEXT: retl162;163; X64-LABEL: cmov_bsr32:164; X64: # %bb.0:165; X64-NEXT: movl %esi, %eax166; X64-NEXT: bsrl %edi, %eax167; X64-NEXT: retq168 %1 = tail call i32 @llvm.ctlz.i32(i32 %x, i1 false)169 %2 = xor i32 %1, 31170 %3 = icmp eq i32 %x, 0171 %4 = select i1 %3, i32 %y, i32 %2172 ret i32 %4173}174 175define i32 @cmov_bsr32_undef(i32 %x, i32 %y) nounwind {176; X86-LABEL: cmov_bsr32_undef:177; X86: # %bb.0:178; X86-NEXT: movl {{[0-9]+}}(%esp), %eax179; X86-NEXT: testl %eax, %eax180; X86-NEXT: jne .LBB5_1181; X86-NEXT: # %bb.2:182; X86-NEXT: movl {{[0-9]+}}(%esp), %eax183; X86-NEXT: retl184; X86-NEXT: .LBB5_1:185; X86-NEXT: bsrl %eax, %eax186; X86-NEXT: retl187;188; X64-LABEL: cmov_bsr32_undef:189; X64: # %bb.0:190; X64-NEXT: movl %esi, %eax191; X64-NEXT: bsrl %edi, %eax192; X64-NEXT: retq193 %1 = tail call i32 @llvm.ctlz.i32(i32 %x, i1 true)194 %2 = xor i32 %1, 31195 %3 = icmp ne i32 %x, 0196 %4 = select i1 %3, i32 %2, i32 %y197 ret i32 %4198}199 200define i64 @cmov_bsr64(i64 %x, i64 %y) nounwind {201; X86-LABEL: cmov_bsr64:202; X86: # %bb.0:203; X86-NEXT: pushl %esi204; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx205; X86-NEXT: movl {{[0-9]+}}(%esp), %esi206; X86-NEXT: xorl %edx, %edx207; X86-NEXT: movl %esi, %eax208; X86-NEXT: orl %ecx, %eax209; X86-NEXT: je .LBB6_1210; X86-NEXT: # %bb.2: # %cond.false211; X86-NEXT: testl %ecx, %ecx212; X86-NEXT: jne .LBB6_3213; X86-NEXT: # %bb.4: # %cond.false214; X86-NEXT: bsrl %esi, %eax215; X86-NEXT: xorl $31, %eax216; X86-NEXT: orl $32, %eax217; X86-NEXT: orl %ecx, %esi218; X86-NEXT: je .LBB6_7219; X86-NEXT: jmp .LBB6_6220; X86-NEXT: .LBB6_1:221; X86-NEXT: movl $64, %eax222; X86-NEXT: orl %ecx, %esi223; X86-NEXT: jne .LBB6_6224; X86-NEXT: .LBB6_7: # %cond.end225; X86-NEXT: movl {{[0-9]+}}(%esp), %edx226; X86-NEXT: movl {{[0-9]+}}(%esp), %eax227; X86-NEXT: popl %esi228; X86-NEXT: retl229; X86-NEXT: .LBB6_3:230; X86-NEXT: bsrl %ecx, %eax231; X86-NEXT: xorl $31, %eax232; X86-NEXT: orl %ecx, %esi233; X86-NEXT: je .LBB6_7234; X86-NEXT: .LBB6_6:235; X86-NEXT: xorl $63, %eax236; X86-NEXT: popl %esi237; X86-NEXT: retl238;239; X64-LABEL: cmov_bsr64:240; X64: # %bb.0:241; X64-NEXT: movq %rsi, %rax242; X64-NEXT: bsrq %rdi, %rax243; X64-NEXT: retq244 %1 = tail call i64 @llvm.ctlz.i64(i64 %x, i1 false)245 %2 = xor i64 %1, 63246 %3 = icmp ne i64 %x, 0247 %4 = select i1 %3, i64 %2, i64 %y248 ret i64 %4249}250 251define i64 @cmov_bsr64_undef(i64 %x, i64 %y) nounwind {252; X86-LABEL: cmov_bsr64_undef:253; X86: # %bb.0:254; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx255; X86-NEXT: movl {{[0-9]+}}(%esp), %edx256; X86-NEXT: testl %edx, %edx257; X86-NEXT: jne .LBB7_1258; X86-NEXT: # %bb.2:259; X86-NEXT: bsrl %ecx, %eax260; X86-NEXT: xorl $31, %eax261; X86-NEXT: orl $32, %eax262; X86-NEXT: orl %edx, %ecx263; X86-NEXT: jne .LBB7_5264; X86-NEXT: .LBB7_4:265; X86-NEXT: movl {{[0-9]+}}(%esp), %eax266; X86-NEXT: movl {{[0-9]+}}(%esp), %edx267; X86-NEXT: retl268; X86-NEXT: .LBB7_1:269; X86-NEXT: bsrl %edx, %eax270; X86-NEXT: xorl $31, %eax271; X86-NEXT: orl %edx, %ecx272; X86-NEXT: je .LBB7_4273; X86-NEXT: .LBB7_5:274; X86-NEXT: xorl $63, %eax275; X86-NEXT: xorl %edx, %edx276; X86-NEXT: retl277;278; X64-LABEL: cmov_bsr64_undef:279; X64: # %bb.0:280; X64-NEXT: movq %rsi, %rax281; X64-NEXT: bsrq %rdi, %rax282; X64-NEXT: retq283 %1 = tail call i64 @llvm.ctlz.i64(i64 %x, i1 true)284 %2 = xor i64 %1, 63285 %3 = icmp eq i64 %x, 0286 %4 = select i1 %3, i64 %y, i64 %2287 ret i64 %4288}289 290define i128 @cmov_bsr128(i128 %x, i128 %y) nounwind {291; X86-LABEL: cmov_bsr128:292; X86: # %bb.0:293; X86-NEXT: pushl %ebp294; X86-NEXT: movl %esp, %ebp295; X86-NEXT: pushl %ebx296; X86-NEXT: pushl %edi297; X86-NEXT: pushl %esi298; X86-NEXT: andl $-16, %esp299; X86-NEXT: subl $16, %esp300; X86-NEXT: movl 32(%ebp), %ebx301; X86-NEXT: movl 24(%ebp), %ecx302; X86-NEXT: movl 36(%ebp), %esi303; X86-NEXT: movl 28(%ebp), %edi304; X86-NEXT: movl %edi, %eax305; X86-NEXT: orl %esi, %eax306; X86-NEXT: movl %ecx, %edx307; X86-NEXT: orl %ebx, %edx308; X86-NEXT: orl %eax, %edx309; X86-NEXT: je .LBB8_1310; X86-NEXT: # %bb.2: # %cond.false311; X86-NEXT: testl %esi, %esi312; X86-NEXT: jne .LBB8_3313; X86-NEXT: # %bb.4: # %cond.false314; X86-NEXT: bsrl %ebx, %esi315; X86-NEXT: xorl $31, %esi316; X86-NEXT: orl $32, %esi317; X86-NEXT: testl %edi, %edi318; X86-NEXT: je .LBB8_7319; X86-NEXT: .LBB8_6:320; X86-NEXT: bsrl %edi, %eax321; X86-NEXT: xorl $31, %eax322; X86-NEXT: jmp .LBB8_8323; X86-NEXT: .LBB8_1:324; X86-NEXT: xorl %eax, %eax325; X86-NEXT: movl $128, %esi326; X86-NEXT: jmp .LBB8_11327; X86-NEXT: .LBB8_3:328; X86-NEXT: bsrl %esi, %esi329; X86-NEXT: xorl $31, %esi330; X86-NEXT: testl %edi, %edi331; X86-NEXT: jne .LBB8_6332; X86-NEXT: .LBB8_7: # %cond.false333; X86-NEXT: bsrl %ecx, %eax334; X86-NEXT: xorl $31, %eax335; X86-NEXT: orl $32, %eax336; X86-NEXT: .LBB8_8: # %cond.false337; X86-NEXT: movl %ebx, %edx338; X86-NEXT: orl 36(%ebp), %edx339; X86-NEXT: jne .LBB8_10340; X86-NEXT: # %bb.9: # %cond.false341; X86-NEXT: orl $64, %eax342; X86-NEXT: movl %eax, %esi343; X86-NEXT: .LBB8_10: # %cond.false344; X86-NEXT: xorl %eax, %eax345; X86-NEXT: .LBB8_11: # %cond.end346; X86-NEXT: xorl %ebx, %ebx347; X86-NEXT: xorl %edx, %edx348; X86-NEXT: orl 32(%ebp), %ecx349; X86-NEXT: orl 36(%ebp), %edi350; X86-NEXT: orl %ecx, %edi351; X86-NEXT: je .LBB8_12352; X86-NEXT: # %bb.13: # %cond.end353; X86-NEXT: xorl $127, %esi354; X86-NEXT: movl %eax, %ecx355; X86-NEXT: jmp .LBB8_14356; X86-NEXT: .LBB8_12:357; X86-NEXT: movl 52(%ebp), %edx358; X86-NEXT: movl 48(%ebp), %ebx359; X86-NEXT: movl 44(%ebp), %ecx360; X86-NEXT: movl 40(%ebp), %esi361; X86-NEXT: .LBB8_14: # %cond.end362; X86-NEXT: movl 8(%ebp), %eax363; X86-NEXT: movl %edx, 12(%eax)364; X86-NEXT: movl %ebx, 8(%eax)365; X86-NEXT: movl %ecx, 4(%eax)366; X86-NEXT: movl %esi, (%eax)367; X86-NEXT: leal -12(%ebp), %esp368; X86-NEXT: popl %esi369; X86-NEXT: popl %edi370; X86-NEXT: popl %ebx371; X86-NEXT: popl %ebp372; X86-NEXT: retl $4373;374; X64-LABEL: cmov_bsr128:375; X64: # %bb.0:376; X64-NEXT: bsrq %rsi, %r8377; X64-NEXT: xorq $63, %r8378; X64-NEXT: movl $127, %eax379; X64-NEXT: bsrq %rdi, %rax380; X64-NEXT: xorq $63, %rax381; X64-NEXT: addq $64, %rax382; X64-NEXT: testq %rsi, %rsi383; X64-NEXT: cmovneq %r8, %rax384; X64-NEXT: xorq $127, %rax385; X64-NEXT: xorl %r8d, %r8d386; X64-NEXT: orq %rsi, %rdi387; X64-NEXT: cmoveq %rdx, %rax388; X64-NEXT: cmoveq %rcx, %r8389; X64-NEXT: movq %r8, %rdx390; X64-NEXT: retq391 %1 = tail call i128 @llvm.ctlz.i128(i128 %x, i1 false)392 %2 = xor i128 %1, 127393 %3 = icmp eq i128 %x, 0394 %4 = select i1 %3, i128 %y, i128 %2395 ret i128 %4396}397 398define i128 @cmov_bsr128_undef(i128 %x, i128 %y) nounwind {399; X86-LABEL: cmov_bsr128_undef:400; X86: # %bb.0:401; X86-NEXT: pushl %ebp402; X86-NEXT: movl %esp, %ebp403; X86-NEXT: pushl %ebx404; X86-NEXT: pushl %edi405; X86-NEXT: pushl %esi406; X86-NEXT: andl $-16, %esp407; X86-NEXT: subl $16, %esp408; X86-NEXT: movl 28(%ebp), %edx409; X86-NEXT: movl 32(%ebp), %edi410; X86-NEXT: movl 36(%ebp), %eax411; X86-NEXT: testl %eax, %eax412; X86-NEXT: jne .LBB9_1413; X86-NEXT: # %bb.2:414; X86-NEXT: bsrl %edi, %esi415; X86-NEXT: xorl $31, %esi416; X86-NEXT: orl $32, %esi417; X86-NEXT: jmp .LBB9_3418; X86-NEXT: .LBB9_1:419; X86-NEXT: bsrl %eax, %esi420; X86-NEXT: xorl $31, %esi421; X86-NEXT: .LBB9_3:422; X86-NEXT: movl 24(%ebp), %ebx423; X86-NEXT: testl %edx, %edx424; X86-NEXT: jne .LBB9_4425; X86-NEXT: # %bb.5:426; X86-NEXT: bsrl %ebx, %ecx427; X86-NEXT: xorl $31, %ecx428; X86-NEXT: orl $32, %ecx429; X86-NEXT: orl %eax, %edi430; X86-NEXT: je .LBB9_7431; X86-NEXT: jmp .LBB9_8432; X86-NEXT: .LBB9_4:433; X86-NEXT: bsrl %edx, %ecx434; X86-NEXT: xorl $31, %ecx435; X86-NEXT: orl %eax, %edi436; X86-NEXT: jne .LBB9_8437; X86-NEXT: .LBB9_7:438; X86-NEXT: orl $64, %ecx439; X86-NEXT: movl %ecx, %esi440; X86-NEXT: .LBB9_8:441; X86-NEXT: orl %eax, %edx442; X86-NEXT: orl 32(%ebp), %ebx443; X86-NEXT: orl %edx, %ebx444; X86-NEXT: jne .LBB9_9445; X86-NEXT: # %bb.10:446; X86-NEXT: movl 48(%ebp), %edx447; X86-NEXT: movl 52(%ebp), %edi448; X86-NEXT: movl 40(%ebp), %esi449; X86-NEXT: movl 44(%ebp), %ecx450; X86-NEXT: jmp .LBB9_11451; X86-NEXT: .LBB9_9:452; X86-NEXT: xorl $127, %esi453; X86-NEXT: xorl %ecx, %ecx454; X86-NEXT: xorl %edx, %edx455; X86-NEXT: xorl %edi, %edi456; X86-NEXT: .LBB9_11:457; X86-NEXT: movl 8(%ebp), %eax458; X86-NEXT: movl %edi, 12(%eax)459; X86-NEXT: movl %edx, 8(%eax)460; X86-NEXT: movl %ecx, 4(%eax)461; X86-NEXT: movl %esi, (%eax)462; X86-NEXT: leal -12(%ebp), %esp463; X86-NEXT: popl %esi464; X86-NEXT: popl %edi465; X86-NEXT: popl %ebx466; X86-NEXT: popl %ebp467; X86-NEXT: retl $4468;469; X64-LABEL: cmov_bsr128_undef:470; X64: # %bb.0:471; X64-NEXT: bsrq %rsi, %r8472; X64-NEXT: xorq $63, %r8473; X64-NEXT: bsrq %rdi, %rax474; X64-NEXT: xorq $63, %rax475; X64-NEXT: orq $64, %rax476; X64-NEXT: testq %rsi, %rsi477; X64-NEXT: cmovneq %r8, %rax478; X64-NEXT: xorq $127, %rax479; X64-NEXT: xorl %r8d, %r8d480; X64-NEXT: orq %rsi, %rdi481; X64-NEXT: cmoveq %rdx, %rax482; X64-NEXT: cmoveq %rcx, %r8483; X64-NEXT: movq %r8, %rdx484; X64-NEXT: retq485 %1 = tail call i128 @llvm.ctlz.i128(i128 %x, i1 true)486 %2 = xor i128 %1, 127487 %3 = icmp ne i128 %x, 0488 %4 = select i1 %3, i128 %2, i128 %y489 ret i128 %4490}491 492declare i8 @llvm.ctlz.i8(i8, i1)493declare i16 @llvm.ctlz.i16(i16, i1)494declare i32 @llvm.ctlz.i32(i32, i1)495declare i64 @llvm.ctlz.i64(i64, i1)496declare i128 @llvm.ctlz.i128(i128, i1)497