276 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -mtriple=x86_64-apple-darwin10.2 < %s | FileCheck %s -check-prefix=X643; RUN: llc -mtriple=i686-apple-darwin10.2 -fixup-byte-word-insts=1 < %s | FileCheck %s -check-prefixes=X86,X86-BWON4; RUN: llc -mtriple=i686-apple-darwin10.2 -fixup-byte-word-insts=0 < %s | FileCheck %s -check-prefixes=X86,X86-BWOFF5 6target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"7 8; rdar://78601109 10define void @test1(ptr nocapture %a0, i8 zeroext %a1) nounwind ssp {11; X64-LABEL: test1:12; X64: ## %bb.0: ## %entry13; X64-NEXT: movb %sil, (%rdi)14; X64-NEXT: retq15;16; X86-BWON-LABEL: test1:17; X86-BWON: ## %bb.0: ## %entry18; X86-BWON-NEXT: movzbl {{[0-9]+}}(%esp), %eax19; X86-BWON-NEXT: movl {{[0-9]+}}(%esp), %ecx20; X86-BWON-NEXT: movb %al, (%ecx)21; X86-BWON-NEXT: retl22;23; X86-BWOFF-LABEL: test1:24; X86-BWOFF: ## %bb.0: ## %entry25; X86-BWOFF-NEXT: movb {{[0-9]+}}(%esp), %al26; X86-BWOFF-NEXT: movl {{[0-9]+}}(%esp), %ecx27; X86-BWOFF-NEXT: movb %al, (%ecx)28; X86-BWOFF-NEXT: retl29entry:30 %A = load i32, ptr %a0, align 431 %B = and i32 %A, -256 ; 0xFFFFFF0032 %C = zext i8 %a1 to i3233 %D = or i32 %C, %B34 store i32 %D, ptr %a0, align 435 ret void36}37 38define void @test2(ptr nocapture %a0, i8 zeroext %a1) nounwind ssp {39; X64-LABEL: test2:40; X64: ## %bb.0: ## %entry41; X64-NEXT: movb %sil, 1(%rdi)42; X64-NEXT: retq43;44; X86-BWON-LABEL: test2:45; X86-BWON: ## %bb.0: ## %entry46; X86-BWON-NEXT: movzbl {{[0-9]+}}(%esp), %eax47; X86-BWON-NEXT: movl {{[0-9]+}}(%esp), %ecx48; X86-BWON-NEXT: movb %al, 1(%ecx)49; X86-BWON-NEXT: retl50;51; X86-BWOFF-LABEL: test2:52; X86-BWOFF: ## %bb.0: ## %entry53; X86-BWOFF-NEXT: movb {{[0-9]+}}(%esp), %al54; X86-BWOFF-NEXT: movl {{[0-9]+}}(%esp), %ecx55; X86-BWOFF-NEXT: movb %al, 1(%ecx)56; X86-BWOFF-NEXT: retl57entry:58 %A = load i32, ptr %a0, align 459 %B = and i32 %A, -65281 ; 0xFFFF00FF60 %C = zext i8 %a1 to i3261 %CS = shl i32 %C, 862 %D = or i32 %B, %CS63 store i32 %D, ptr %a0, align 464 ret void65}66 67define void @test3(ptr nocapture %a0, i16 zeroext %a1) nounwind ssp {68; X64-LABEL: test3:69; X64: ## %bb.0: ## %entry70; X64-NEXT: movw %si, (%rdi)71; X64-NEXT: retq72;73; X86-BWON-LABEL: test3:74; X86-BWON: ## %bb.0: ## %entry75; X86-BWON-NEXT: movzwl {{[0-9]+}}(%esp), %eax76; X86-BWON-NEXT: movl {{[0-9]+}}(%esp), %ecx77; X86-BWON-NEXT: movw %ax, (%ecx)78; X86-BWON-NEXT: retl79;80; X86-BWOFF-LABEL: test3:81; X86-BWOFF: ## %bb.0: ## %entry82; X86-BWOFF-NEXT: movw {{[0-9]+}}(%esp), %ax83; X86-BWOFF-NEXT: movl {{[0-9]+}}(%esp), %ecx84; X86-BWOFF-NEXT: movw %ax, (%ecx)85; X86-BWOFF-NEXT: retl86entry:87 %A = load i32, ptr %a0, align 488 %B = and i32 %A, -65536 ; 0xFFFF000089 %C = zext i16 %a1 to i3290 %D = or i32 %B, %C91 store i32 %D, ptr %a0, align 492 ret void93}94 95define void @test4(ptr nocapture %a0, i16 zeroext %a1) nounwind ssp {96; X64-LABEL: test4:97; X64: ## %bb.0: ## %entry98; X64-NEXT: movw %si, 2(%rdi)99; X64-NEXT: retq100;101; X86-BWON-LABEL: test4:102; X86-BWON: ## %bb.0: ## %entry103; X86-BWON-NEXT: movzwl {{[0-9]+}}(%esp), %eax104; X86-BWON-NEXT: movl {{[0-9]+}}(%esp), %ecx105; X86-BWON-NEXT: movw %ax, 2(%ecx)106; X86-BWON-NEXT: retl107;108; X86-BWOFF-LABEL: test4:109; X86-BWOFF: ## %bb.0: ## %entry110; X86-BWOFF-NEXT: movw {{[0-9]+}}(%esp), %ax111; X86-BWOFF-NEXT: movl {{[0-9]+}}(%esp), %ecx112; X86-BWOFF-NEXT: movw %ax, 2(%ecx)113; X86-BWOFF-NEXT: retl114entry:115 %A = load i32, ptr %a0, align 4116 %B = and i32 %A, 65535 ; 0x0000FFFF117 %C = zext i16 %a1 to i32118 %CS = shl i32 %C, 16119 %D = or i32 %B, %CS120 store i32 %D, ptr %a0, align 4121 ret void122}123 124define void @test5(ptr nocapture %a0, i16 zeroext %a1) nounwind ssp {125; X64-LABEL: test5:126; X64: ## %bb.0: ## %entry127; X64-NEXT: movw %si, 2(%rdi)128; X64-NEXT: retq129;130; X86-BWON-LABEL: test5:131; X86-BWON: ## %bb.0: ## %entry132; X86-BWON-NEXT: movzwl {{[0-9]+}}(%esp), %eax133; X86-BWON-NEXT: movl {{[0-9]+}}(%esp), %ecx134; X86-BWON-NEXT: movw %ax, 2(%ecx)135; X86-BWON-NEXT: retl136;137; X86-BWOFF-LABEL: test5:138; X86-BWOFF: ## %bb.0: ## %entry139; X86-BWOFF-NEXT: movw {{[0-9]+}}(%esp), %ax140; X86-BWOFF-NEXT: movl {{[0-9]+}}(%esp), %ecx141; X86-BWOFF-NEXT: movw %ax, 2(%ecx)142; X86-BWOFF-NEXT: retl143entry:144 %A = load i64, ptr %a0, align 4145 %B = and i64 %A, -4294901761 ; 0xFFFFFFFF0000FFFF146 %C = zext i16 %a1 to i64147 %CS = shl i64 %C, 16148 %D = or i64 %B, %CS149 store i64 %D, ptr %a0, align 4150 ret void151}152 153define void @test6(ptr nocapture %a0, i8 zeroext %a1) nounwind ssp {154; X64-LABEL: test6:155; X64: ## %bb.0: ## %entry156; X64-NEXT: movb %sil, 5(%rdi)157; X64-NEXT: retq158;159; X86-BWON-LABEL: test6:160; X86-BWON: ## %bb.0: ## %entry161; X86-BWON-NEXT: movzbl {{[0-9]+}}(%esp), %eax162; X86-BWON-NEXT: movl {{[0-9]+}}(%esp), %ecx163; X86-BWON-NEXT: movb %al, 5(%ecx)164; X86-BWON-NEXT: retl165;166; X86-BWOFF-LABEL: test6:167; X86-BWOFF: ## %bb.0: ## %entry168; X86-BWOFF-NEXT: movb {{[0-9]+}}(%esp), %al169; X86-BWOFF-NEXT: movl {{[0-9]+}}(%esp), %ecx170; X86-BWOFF-NEXT: movb %al, 5(%ecx)171; X86-BWOFF-NEXT: retl172entry:173 %A = load i64, ptr %a0, align 4174 %B = and i64 %A, -280375465082881 ; 0xFFFF00FFFFFFFFFF175 %C = zext i8 %a1 to i64176 %CS = shl i64 %C, 40177 %D = or i64 %B, %CS178 store i64 %D, ptr %a0, align 4179 ret void180}181 182define i32 @test7(ptr nocapture %a0, i8 zeroext %a1, ptr %P2) nounwind {183; X64-LABEL: test7:184; X64: ## %bb.0: ## %entry185; X64-NEXT: movl (%rdx), %eax186; X64-NEXT: movb %sil, 5(%rdi)187; X64-NEXT: retq188;189; X86-BWON-LABEL: test7:190; X86-BWON: ## %bb.0: ## %entry191; X86-BWON-NEXT: movzbl {{[0-9]+}}(%esp), %ecx192; X86-BWON-NEXT: movl {{[0-9]+}}(%esp), %edx193; X86-BWON-NEXT: movl {{[0-9]+}}(%esp), %eax194; X86-BWON-NEXT: movl (%eax), %eax195; X86-BWON-NEXT: movb %cl, 5(%edx)196; X86-BWON-NEXT: retl197;198; X86-BWOFF-LABEL: test7:199; X86-BWOFF: ## %bb.0: ## %entry200; X86-BWOFF-NEXT: movb {{[0-9]+}}(%esp), %cl201; X86-BWOFF-NEXT: movl {{[0-9]+}}(%esp), %edx202; X86-BWOFF-NEXT: movl {{[0-9]+}}(%esp), %eax203; X86-BWOFF-NEXT: movl (%eax), %eax204; X86-BWOFF-NEXT: movb %cl, 5(%edx)205; X86-BWOFF-NEXT: retl206entry:207 %OtherLoad = load i32 , ptr%P2208 %A = load i64, ptr %a0, align 4209 %B = and i64 %A, -280375465082881 ; 0xFFFF00FFFFFFFFFF210 %C = zext i8 %a1 to i64211 %CS = shl i64 %C, 40212 %D = or i64 %B, %CS213 store i64 %D, ptr %a0, align 4214 ret i32 %OtherLoad215}216 217; PR7833218 219@g_16 = internal global i32 -1220 221define void @test8() nounwind {222; X64-LABEL: test8:223; X64: ## %bb.0:224; X64-NEXT: orb $1, _g_16(%rip)225; X64-NEXT: retq226;227; X86-LABEL: test8:228; X86: ## %bb.0:229; X86-NEXT: orb $1, _g_16230; X86-NEXT: retl231 %tmp = load i32, ptr @g_16232 store i32 0, ptr @g_16233 %or = or i32 %tmp, 1234 store i32 %or, ptr @g_16235 ret void236}237 238define void @test9() nounwind {239; X64-LABEL: test9:240; X64: ## %bb.0:241; X64-NEXT: orb $1, _g_16(%rip)242; X64-NEXT: retq243;244; X86-LABEL: test9:245; X86: ## %bb.0:246; X86-NEXT: orb $1, _g_16247; X86-NEXT: retl248 %tmp = load i32, ptr @g_16249 %or = or i32 %tmp, 1250 store i32 %or, ptr @g_16251 ret void252}253 254; rdar://8494845 + PR8244255define i8 @test10(ptr %P) nounwind ssp {256; X64-LABEL: test10:257; X64: ## %bb.0: ## %entry258; X64-NEXT: movsbl (%rdi), %eax259; X64-NEXT: shrl $8, %eax260; X64-NEXT: ## kill: def $al killed $al killed $eax261; X64-NEXT: retq262;263; X86-LABEL: test10:264; X86: ## %bb.0: ## %entry265; X86-NEXT: movl {{[0-9]+}}(%esp), %eax266; X86-NEXT: movsbl (%eax), %eax267; X86-NEXT: movb %ah, %al268; X86-NEXT: retl269entry:270 %tmp = load i8, ptr %P, align 1271 %conv = sext i8 %tmp to i32272 %shr3 = lshr i32 %conv, 8273 %conv2 = trunc i32 %shr3 to i8274 ret i8 %conv2275}276