256 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -mtriple=i686-- | FileCheck %s --check-prefix=X863; RUN: llc < %s -mtriple=x86_64-- | FileCheck %s --check-prefix=X644 5; 0xff00ff00 = 42782553606; 0x00ff00ff = 167119357define i32 @rev16(i32 %a) {8; X86-LABEL: rev16:9; X86: # %bb.0:10; X86-NEXT: movl {{[0-9]+}}(%esp), %eax11; X86-NEXT: bswapl %eax12; X86-NEXT: rorl $16, %eax13; X86-NEXT: retl14;15; X64-LABEL: rev16:16; X64: # %bb.0:17; X64-NEXT: movl %edi, %eax18; X64-NEXT: bswapl %eax19; X64-NEXT: rorl $16, %eax20; X64-NEXT: retq21 %l8 = shl i32 %a, 822 %r8 = lshr i32 %a, 823 %mask_l8 = and i32 %l8, 427825536024 %mask_r8 = and i32 %r8, 1671193525 %tmp = or i32 %mask_l8, %mask_r826 ret i32 %tmp27}28 29define i32 @not_rev16(i32 %a) {30; X86-LABEL: not_rev16:31; X86: # %bb.0:32; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx33; X86-NEXT: movl %ecx, %eax34; X86-NEXT: shll $8, %eax35; X86-NEXT: shrl $8, %ecx36; X86-NEXT: andl $65280, %ecx # imm = 0xFF0037; X86-NEXT: andl $16711680, %eax # imm = 0xFF000038; X86-NEXT: orl %ecx, %eax39; X86-NEXT: retl40;41; X64-LABEL: not_rev16:42; X64: # %bb.0:43; X64-NEXT: movl %edi, %eax44; X64-NEXT: shll $8, %eax45; X64-NEXT: shrl $8, %edi46; X64-NEXT: andl $65280, %edi # imm = 0xFF0047; X64-NEXT: andl $16711680, %eax # imm = 0xFF000048; X64-NEXT: orl %edi, %eax49; X64-NEXT: retq50 %l8 = shl i32 %a, 851 %r8 = lshr i32 %a, 852 %mask_r8 = and i32 %r8, 427825536053 %mask_l8 = and i32 %l8, 1671193554 %tmp = or i32 %mask_r8, %mask_l855 ret i32 %tmp56}57 58define i32 @extra_maskop_uses2(i32 %a) {59; X86-LABEL: extra_maskop_uses2:60; X86: # %bb.0:61; X86-NEXT: movl {{[0-9]+}}(%esp), %eax62; X86-NEXT: movl %eax, %ecx63; X86-NEXT: shll $8, %ecx64; X86-NEXT: shrl $8, %eax65; X86-NEXT: andl $-16711936, %ecx # imm = 0xFF00FF0066; X86-NEXT: andl $16711935, %eax # imm = 0xFF00FF67; X86-NEXT: leal (%eax,%ecx), %edx68; X86-NEXT: imull %ecx, %eax69; X86-NEXT: imull %edx, %eax70; X86-NEXT: retl71;72; X64-LABEL: extra_maskop_uses2:73; X64: # %bb.0:74; X64-NEXT: # kill: def $edi killed $edi def $rdi75; X64-NEXT: movl %edi, %eax76; X64-NEXT: shll $8, %eax77; X64-NEXT: shrl $8, %edi78; X64-NEXT: andl $-16711936, %eax # imm = 0xFF00FF0079; X64-NEXT: andl $16711935, %edi # imm = 0xFF00FF80; X64-NEXT: leal (%rdi,%rax), %ecx81; X64-NEXT: imull %edi, %eax82; X64-NEXT: imull %ecx, %eax83; X64-NEXT: # kill: def $eax killed $eax killed $rax84; X64-NEXT: retq85 %l8 = shl i32 %a, 886 %r8 = lshr i32 %a, 887 %mask_l8 = and i32 %l8, 427825536088 %mask_r8 = and i32 %r8, 1671193589 %or = or i32 %mask_r8, %mask_l890 %mul = mul i32 %mask_r8, %mask_l8 ; another use of the mask ops91 %r = mul i32 %mul, %or ; and use that result92 ret i32 %r93}94 95define i32 @bswap_ror_commuted(i32 %a) {96; X86-LABEL: bswap_ror_commuted:97; X86: # %bb.0:98; X86-NEXT: movl {{[0-9]+}}(%esp), %eax99; X86-NEXT: bswapl %eax100; X86-NEXT: rorl $16, %eax101; X86-NEXT: retl102;103; X64-LABEL: bswap_ror_commuted:104; X64: # %bb.0:105; X64-NEXT: movl %edi, %eax106; X64-NEXT: bswapl %eax107; X64-NEXT: rorl $16, %eax108; X64-NEXT: retq109 %l8 = shl i32 %a, 8110 %r8 = lshr i32 %a, 8111 %mask_l8 = and i32 %l8, 4278255360112 %mask_r8 = and i32 %r8, 16711935113 %tmp = or i32 %mask_r8, %mask_l8114 ret i32 %tmp115}116 117define i32 @different_shift_amount(i32 %a) {118; X86-LABEL: different_shift_amount:119; X86: # %bb.0:120; X86-NEXT: movl {{[0-9]+}}(%esp), %eax121; X86-NEXT: movl %eax, %ecx122; X86-NEXT: shll $9, %ecx123; X86-NEXT: shrl $8, %eax124; X86-NEXT: andl $-16712192, %ecx # imm = 0xFF00FE00125; X86-NEXT: andl $16711935, %eax # imm = 0xFF00FF126; X86-NEXT: orl %ecx, %eax127; X86-NEXT: retl128;129; X64-LABEL: different_shift_amount:130; X64: # %bb.0:131; X64-NEXT: movl %edi, %eax132; X64-NEXT: shll $9, %eax133; X64-NEXT: shrl $8, %edi134; X64-NEXT: andl $-16712192, %eax # imm = 0xFF00FE00135; X64-NEXT: andl $16711935, %edi # imm = 0xFF00FF136; X64-NEXT: orl %edi, %eax137; X64-NEXT: retq138 %l8 = shl i32 %a, 9139 %r8 = lshr i32 %a, 8140 %mask_l8 = and i32 %l8, 4278255360141 %mask_r8 = and i32 %r8, 16711935142 %tmp = or i32 %mask_l8, %mask_r8143 ret i32 %tmp144}145 146define i32 @different_constant(i32 %a) {147; X86-LABEL: different_constant:148; X86: # %bb.0:149; X86-NEXT: movl {{[0-9]+}}(%esp), %eax150; X86-NEXT: shrl $8, %eax151; X86-NEXT: andl $16711935, %eax # imm = 0xFF00FF152; X86-NEXT: retl153;154; X64-LABEL: different_constant:155; X64: # %bb.0:156; X64-NEXT: movl %edi, %eax157; X64-NEXT: shrl $8, %eax158; X64-NEXT: andl $16711935, %eax # imm = 0xFF00FF159; X64-NEXT: retq160 %l8 = shl i32 %a, 8161 %r8 = lshr i32 %a, 8162 %mask_l8 = and i32 %l8, 42163 %mask_r8 = and i32 %r8, 16711935164 %tmp = or i32 %mask_l8, %mask_r8165 ret i32 %tmp166}167 168define i32 @different_op(i32 %a) {169; X86-LABEL: different_op:170; X86: # %bb.0:171; X86-NEXT: movl {{[0-9]+}}(%esp), %eax172; X86-NEXT: movl %eax, %ecx173; X86-NEXT: shll $8, %ecx174; X86-NEXT: shrl $8, %eax175; X86-NEXT: addl $16711936, %ecx # imm = 0xFF0100176; X86-NEXT: andl $16711935, %eax # imm = 0xFF00FF177; X86-NEXT: orl %ecx, %eax178; X86-NEXT: retl179;180; X64-LABEL: different_op:181; X64: # %bb.0:182; X64-NEXT: movl %edi, %eax183; X64-NEXT: shll $8, %eax184; X64-NEXT: shrl $8, %edi185; X64-NEXT: addl $16711936, %eax # imm = 0xFF0100186; X64-NEXT: andl $16711935, %edi # imm = 0xFF00FF187; X64-NEXT: orl %edi, %eax188; X64-NEXT: retq189 %l8 = shl i32 %a, 8190 %r8 = lshr i32 %a, 8191 %mask_l8 = sub i32 %l8, 4278255360192 %mask_r8 = and i32 %r8, 16711935193 %tmp = or i32 %mask_l8, %mask_r8194 ret i32 %tmp195}196 197define i32 @different_vars(i32 %a, i32 %b) {198; X86-LABEL: different_vars:199; X86: # %bb.0:200; X86-NEXT: movl {{[0-9]+}}(%esp), %eax201; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx202; X86-NEXT: shll $8, %ecx203; X86-NEXT: shrl $8, %eax204; X86-NEXT: andl $-16711936, %ecx # imm = 0xFF00FF00205; X86-NEXT: andl $16711935, %eax # imm = 0xFF00FF206; X86-NEXT: orl %ecx, %eax207; X86-NEXT: retl208;209; X64-LABEL: different_vars:210; X64: # %bb.0:211; X64-NEXT: # kill: def $esi killed $esi def $rsi212; X64-NEXT: # kill: def $edi killed $edi def $rdi213; X64-NEXT: shll $8, %edi214; X64-NEXT: shrl $8, %esi215; X64-NEXT: andl $-16711936, %edi # imm = 0xFF00FF00216; X64-NEXT: andl $16711935, %esi # imm = 0xFF00FF217; X64-NEXT: leal (%rsi,%rdi), %eax218; X64-NEXT: retq219 %l8 = shl i32 %a, 8220 %r8 = lshr i32 %b, 8221 %mask_l8 = and i32 %l8, 4278255360222 %mask_r8 = and i32 %r8, 16711935223 %tmp = or i32 %mask_l8, %mask_r8224 ret i32 %tmp225}226 227; 0xff000000 = 4278190080228; 0x00ff0000 = 16711680229; 0x0000ff00 = 65280230; 0x000000ff = 255231define i32 @f2(i32 %a) {232; X86-LABEL: f2:233; X86: # %bb.0:234; X86-NEXT: movl {{[0-9]+}}(%esp), %eax235; X86-NEXT: bswapl %eax236; X86-NEXT: roll $16, %eax237; X86-NEXT: retl238;239; X64-LABEL: f2:240; X64: # %bb.0:241; X64-NEXT: movl %edi, %eax242; X64-NEXT: bswapl %eax243; X64-NEXT: roll $16, %eax244; X64-NEXT: retq245 %l8 = shl i32 %a, 8246 %r8 = lshr i32 %a, 8247 %masklo_l8 = and i32 %l8, 65280248 %maskhi_l8 = and i32 %l8, 4278190080249 %masklo_r8 = and i32 %r8, 255250 %maskhi_r8 = and i32 %r8, 16711680251 %tmp1 = or i32 %masklo_l8, %masklo_r8252 %tmp2 = or i32 %maskhi_l8, %maskhi_r8253 %tmp = or i32 %tmp1, %tmp2254 ret i32 %tmp255}256