180 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-prefix=X863; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s --check-prefix=X644 5define i64 @test1(ptr %data) {6; X86-LABEL: test1:7; X86: # %bb.0: # %entry8; X86-NEXT: movl {{[0-9]+}}(%esp), %eax9; X86-NEXT: movzbl (%eax), %eax10; X86-NEXT: shll $2, %eax11; X86-NEXT: andl $60, %eax12; X86-NEXT: xorl %edx, %edx13; X86-NEXT: retl14;15; X64-LABEL: test1:16; X64: # %bb.0: # %entry17; X64-NEXT: movl (%rdi), %eax18; X64-NEXT: shll $2, %eax19; X64-NEXT: andl $60, %eax20; X64-NEXT: retq21entry:22 %bf.load = load i8, ptr %data, align 423 %bf.clear = shl i8 %bf.load, 224 %0 = and i8 %bf.clear, 6025 %mul = zext i8 %0 to i6426 ret i64 %mul27}28 29define ptr @test2(ptr %data) {30; X86-LABEL: test2:31; X86: # %bb.0: # %entry32; X86-NEXT: movl {{[0-9]+}}(%esp), %eax33; X86-NEXT: movzbl (%eax), %ecx34; X86-NEXT: andl $15, %ecx35; X86-NEXT: leal (%eax,%ecx,4), %eax36; X86-NEXT: retl37;38; X64-LABEL: test2:39; X64: # %bb.0: # %entry40; X64-NEXT: movl (%rdi), %eax41; X64-NEXT: andl $15, %eax42; X64-NEXT: leaq (%rdi,%rax,4), %rax43; X64-NEXT: retq44entry:45 %bf.load = load i8, ptr %data, align 446 %bf.clear = shl i8 %bf.load, 247 %0 = and i8 %bf.clear, 6048 %mul = zext i8 %0 to i6449 %add.ptr = getelementptr inbounds i8, ptr %data, i64 %mul50 ret ptr %add.ptr51}52 53; If the shift op is SHL, the logic op can only be AND.54define i64 @test3(ptr %data) {55; X86-LABEL: test3:56; X86: # %bb.0: # %entry57; X86-NEXT: movl {{[0-9]+}}(%esp), %eax58; X86-NEXT: movzbl (%eax), %eax59; X86-NEXT: shlb $2, %al60; X86-NEXT: xorb $60, %al61; X86-NEXT: movzbl %al, %eax62; X86-NEXT: xorl %edx, %edx63; X86-NEXT: retl64;65; X64-LABEL: test3:66; X64: # %bb.0: # %entry67; X64-NEXT: movzbl (%rdi), %eax68; X64-NEXT: shlb $2, %al69; X64-NEXT: xorb $60, %al70; X64-NEXT: movzbl %al, %eax71; X64-NEXT: retq72entry:73 %bf.load = load i8, ptr %data, align 474 %bf.clear = shl i8 %bf.load, 275 %0 = xor i8 %bf.clear, 6076 %mul = zext i8 %0 to i6477 ret i64 %mul78}79 80define i64 @test4(ptr %data) {81; X86-LABEL: test4:82; X86: # %bb.0: # %entry83; X86-NEXT: movl {{[0-9]+}}(%esp), %eax84; X86-NEXT: movzbl (%eax), %eax85; X86-NEXT: shrl $2, %eax86; X86-NEXT: andl $-4, %eax87; X86-NEXT: xorl %edx, %edx88; X86-NEXT: retl89;90; X64-LABEL: test4:91; X64: # %bb.0: # %entry92; X64-NEXT: movzbl (%rdi), %eax93; X64-NEXT: shrl $2, %eax94; X64-NEXT: andl $-4, %eax95; X64-NEXT: retq96entry:97 %bf.load = load i8, ptr %data, align 498 %bf.clear = lshr i8 %bf.load, 299 %0 = and i8 %bf.clear, 60100 %1 = zext i8 %0 to i64101 ret i64 %1102}103 104define i64 @test5(ptr %data) {105; X86-LABEL: test5:106; X86: # %bb.0: # %entry107; X86-NEXT: movl {{[0-9]+}}(%esp), %eax108; X86-NEXT: movzbl (%eax), %eax109; X86-NEXT: shrl $2, %eax110; X86-NEXT: xorl $60, %eax111; X86-NEXT: xorl %edx, %edx112; X86-NEXT: retl113;114; X64-LABEL: test5:115; X64: # %bb.0: # %entry116; X64-NEXT: movzbl (%rdi), %eax117; X64-NEXT: shrl $2, %eax118; X64-NEXT: xorq $60, %rax119; X64-NEXT: retq120entry:121 %bf.load = load i8, ptr %data, align 4122 %bf.clear = lshr i8 %bf.load, 2123 %0 = xor i8 %bf.clear, 60124 %1 = zext i8 %0 to i64125 ret i64 %1126}127 128define i64 @test6(ptr %data) {129; X86-LABEL: test6:130; X86: # %bb.0: # %entry131; X86-NEXT: movl {{[0-9]+}}(%esp), %eax132; X86-NEXT: movzbl (%eax), %eax133; X86-NEXT: shrl $2, %eax134; X86-NEXT: orl $60, %eax135; X86-NEXT: xorl %edx, %edx136; X86-NEXT: retl137;138; X64-LABEL: test6:139; X64: # %bb.0: # %entry140; X64-NEXT: movzbl (%rdi), %eax141; X64-NEXT: shrl $2, %eax142; X64-NEXT: orq $60, %rax143; X64-NEXT: retq144entry:145 %bf.load = load i8, ptr %data, align 4146 %bf.clear = lshr i8 %bf.load, 2147 %0 = or i8 %bf.clear, 60148 %1 = zext i8 %0 to i64149 ret i64 %1150}151 152; Load is folded with sext.153define i64 @test8(ptr %data) {154; X86-LABEL: test8:155; X86: # %bb.0: # %entry156; X86-NEXT: movl {{[0-9]+}}(%esp), %eax157; X86-NEXT: movsbl (%eax), %eax158; X86-NEXT: movzwl %ax, %eax159; X86-NEXT: shrl $2, %eax160; X86-NEXT: orl $60, %eax161; X86-NEXT: xorl %edx, %edx162; X86-NEXT: retl163;164; X64-LABEL: test8:165; X64: # %bb.0: # %entry166; X64-NEXT: movsbl (%rdi), %eax167; X64-NEXT: movzwl %ax, %eax168; X64-NEXT: shrl $2, %eax169; X64-NEXT: orl $60, %eax170; X64-NEXT: retq171entry:172 %bf.load = load i8, ptr %data, align 4173 %ext = sext i8 %bf.load to i16174 %bf.clear = lshr i16 %ext, 2175 %0 = or i16 %bf.clear, 60176 %1 = zext i16 %0 to i64177 ret i64 %1178}179 180