418 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -mtriple=i686-unknown-unknown -mattr=cmov -verify-machineinstrs | FileCheck %s3 4define i32 @func_f(i32 %X) {5; CHECK-LABEL: func_f:6; CHECK: # %bb.0: # %entry7; CHECK-NEXT: movl {{[0-9]+}}(%esp), %eax8; CHECK-NEXT: incl %eax9; CHECK-NEXT: jns baz@PLT # TAILCALL10; CHECK-NEXT: # %bb.1: # %cond_true11; CHECK-NEXT: calll bar@PLT12; CHECK-NEXT: jmp baz@PLT # TAILCALL13entry:14 %tmp1 = add i32 %X, 115 %tmp = icmp slt i32 %tmp1, 016 br i1 %tmp, label %cond_true, label %cond_next, !prof !117 18cond_true: ; preds = %entry19 %tmp2 = tail call i32 (...) @bar( )20 br label %cond_next21 22cond_next: ; preds = %cond_true, %entry23 %tmp3 = tail call i32 (...) @baz( )24 ret i32 undef25}26 27declare i32 @bar(...)28declare i32 @baz(...)29 30; rdar://1063322131; rdar://1135526832define i32 @func_g(i32 %a, i32 %b) nounwind {33; CHECK-LABEL: func_g:34; CHECK: # %bb.0:35; CHECK-NEXT: movl {{[0-9]+}}(%esp), %eax36; CHECK-NEXT: xorl %ecx, %ecx37; CHECK-NEXT: subl {{[0-9]+}}(%esp), %eax38; CHECK-NEXT: cmovsl %ecx, %eax39; CHECK-NEXT: retl40 %sub = sub nsw i32 %a, %b41 %cmp = icmp sgt i32 %sub, 042 %cond = select i1 %cmp, i32 %sub, i32 043 ret i32 %cond44}45 46; rdar://1073441147define i32 @func_h(i32 %a, i32 %b) nounwind {48; CHECK-LABEL: func_h:49; CHECK: # %bb.0:50; CHECK-NEXT: movl {{[0-9]+}}(%esp), %eax51; CHECK-NEXT: xorl %ecx, %ecx52; CHECK-NEXT: subl {{[0-9]+}}(%esp), %eax53; CHECK-NEXT: cmovlel %ecx, %eax54; CHECK-NEXT: retl55 %cmp = icmp slt i32 %b, %a56 %sub = sub nsw i32 %a, %b57 %cond = select i1 %cmp, i32 %sub, i32 058 ret i32 %cond59}60 61define i32 @func_i(i32 %a, i32 %b) nounwind {62; CHECK-LABEL: func_i:63; CHECK: # %bb.0:64; CHECK-NEXT: movl {{[0-9]+}}(%esp), %eax65; CHECK-NEXT: xorl %ecx, %ecx66; CHECK-NEXT: subl {{[0-9]+}}(%esp), %eax67; CHECK-NEXT: cmovlel %ecx, %eax68; CHECK-NEXT: retl69 %cmp = icmp sgt i32 %a, %b70 %sub = sub nsw i32 %a, %b71 %cond = select i1 %cmp, i32 %sub, i32 072 ret i32 %cond73}74 75define i32 @func_j(i32 %a, i32 %b) nounwind {76; CHECK-LABEL: func_j:77; CHECK: # %bb.0:78; CHECK-NEXT: movl {{[0-9]+}}(%esp), %eax79; CHECK-NEXT: xorl %ecx, %ecx80; CHECK-NEXT: subl {{[0-9]+}}(%esp), %eax81; CHECK-NEXT: cmovbel %ecx, %eax82; CHECK-NEXT: retl83 %cmp = icmp ugt i32 %a, %b84 %sub = sub i32 %a, %b85 %cond = select i1 %cmp, i32 %sub, i32 086 ret i32 %cond87}88 89define i32 @func_k(i32 %a, i32 %b) nounwind {90; CHECK-LABEL: func_k:91; CHECK: # %bb.0:92; CHECK-NEXT: movl {{[0-9]+}}(%esp), %eax93; CHECK-NEXT: xorl %ecx, %ecx94; CHECK-NEXT: subl {{[0-9]+}}(%esp), %eax95; CHECK-NEXT: cmovbel %ecx, %eax96; CHECK-NEXT: retl97 %cmp = icmp ult i32 %b, %a98 %sub = sub i32 %a, %b99 %cond = select i1 %cmp, i32 %sub, i32 0100 ret i32 %cond101}102 103; redundant cmp instruction104define i32 @func_l(i32 %a, i32 %b) nounwind {105; CHECK-LABEL: func_l:106; CHECK: # %bb.0:107; CHECK-NEXT: movl {{[0-9]+}}(%esp), %ecx108; CHECK-NEXT: movl %ecx, %eax109; CHECK-NEXT: subl {{[0-9]+}}(%esp), %eax110; CHECK-NEXT: cmovlel %ecx, %eax111; CHECK-NEXT: retl112 %cmp = icmp slt i32 %b, %a113 %sub = sub nsw i32 %a, %b114 %cond = select i1 %cmp, i32 %sub, i32 %a115 ret i32 %cond116}117 118define i32 @func_m(i32 %a, i32 %b) nounwind {119; CHECK-LABEL: func_m:120; CHECK: # %bb.0:121; CHECK-NEXT: movl {{[0-9]+}}(%esp), %ecx122; CHECK-NEXT: movl {{[0-9]+}}(%esp), %eax123; CHECK-NEXT: subl %ecx, %eax124; CHECK-NEXT: cmovgl %ecx, %eax125; CHECK-NEXT: retl126 %cmp = icmp sgt i32 %a, %b127 %sub = sub nsw i32 %a, %b128 %cond = select i1 %cmp, i32 %b, i32 %sub129 ret i32 %cond130}131 132; (This used to test that an unsafe removal of cmp in bb.0 is not happening,133; but now we can do so safely).134define i32 @func_l2(i32 %a, i32 %b) nounwind {135; CHECK-LABEL: func_l2:136; CHECK: # %bb.0:137; CHECK-NEXT: movl {{[0-9]+}}(%esp), %eax138; CHECK-NEXT: movl %eax, %ecx139; CHECK-NEXT: subl {{[0-9]+}}(%esp), %ecx140; CHECK-NEXT: jne .LBB8_2141; CHECK-NEXT: # %bb.1: # %if.then142; CHECK-NEXT: cmovll %ecx, %eax143; CHECK-NEXT: retl144; CHECK-NEXT: .LBB8_2: # %if.else145; CHECK-NEXT: movl %ecx, %eax146; CHECK-NEXT: retl147 %cmp = icmp eq i32 %b, %a148 %sub = sub nsw i32 %a, %b149 br i1 %cmp, label %if.then, label %if.else150 151if.then:152 %cmp2 = icmp sgt i32 %b, %a153 %sel = select i1 %cmp2, i32 %sub, i32 %a154 ret i32 %sel155 156if.else:157 ret i32 %sub158}159 160define i32 @func_l3(i32 %a, i32 %b) nounwind {161; CHECK-LABEL: func_l3:162; CHECK: # %bb.0:163; CHECK-NEXT: movl {{[0-9]+}}(%esp), %eax164; CHECK-NEXT: subl {{[0-9]+}}(%esp), %eax165; CHECK-NEXT: jge .LBB9_2166; CHECK-NEXT: # %bb.1: # %if.then167; CHECK-NEXT: retl168; CHECK-NEXT: .LBB9_2: # %if.else169; CHECK-NEXT: incl %eax170; CHECK-NEXT: retl171 %cmp = icmp sgt i32 %b, %a172 %sub = sub nsw i32 %a, %b173 br i1 %cmp, label %if.then, label %if.else174 175if.then:176 ret i32 %sub177 178if.else:179 %add = add nsw i32 %sub, 1180 ret i32 %add181}182 183; rdar://11830760184; When Movr0 is between sub and cmp, we need to move "Movr0" before sub.185define i32 @func_l4(i32 %a, i32 %b) nounwind {186; CHECK-LABEL: func_l4:187; CHECK: # %bb.0:188; CHECK-NEXT: movl {{[0-9]+}}(%esp), %eax189; CHECK-NEXT: xorl %ecx, %ecx190; CHECK-NEXT: subl {{[0-9]+}}(%esp), %eax191; CHECK-NEXT: cmovll %ecx, %eax192; CHECK-NEXT: retl193 %cmp = icmp sgt i32 %b, %a194 %sub = sub i32 %a, %b195 %.sub = select i1 %cmp, i32 0, i32 %sub196 ret i32 %.sub197}198 199; rdar://11540023200define i32 @func_n(i32 %x, i32 %y) nounwind {201; CHECK-LABEL: func_n:202; CHECK: # %bb.0:203; CHECK-NEXT: movl {{[0-9]+}}(%esp), %ecx204; CHECK-NEXT: movl {{[0-9]+}}(%esp), %eax205; CHECK-NEXT: cmpl %ecx, %eax206; CHECK-NEXT: cmovsl %ecx, %eax207; CHECK-NEXT: retl208 %sub = sub nsw i32 %x, %y209 %cmp = icmp slt i32 %sub, 0210 %y.x = select i1 %cmp, i32 %y, i32 %x211 ret i32 %y.x212}213 214; PR://13046215define void @func_o() nounwind uwtable {216; CHECK-LABEL: func_o:217; CHECK: # %bb.0: # %entry218; CHECK-NEXT: testb %al, %al219; CHECK-NEXT: je .LBB12_1220; CHECK-NEXT: # %bb.2: # %if.end.i221; CHECK-NEXT: testb %al, %al222; CHECK-NEXT: jne .LBB12_5223; CHECK-NEXT: # %bb.3: # %sw.bb224; CHECK-NEXT: testb %al, %al225; CHECK-NEXT: jne .LBB12_8226; CHECK-NEXT: # %bb.4: # %if.end29227; CHECK-NEXT: movzwl (%eax), %eax228; CHECK-NEXT: imull $-13107, %eax, %eax # imm = 0xCCCD229; CHECK-NEXT: rorw %ax230; CHECK-NEXT: movzwl %ax, %eax231; CHECK-NEXT: cmpl $6554, %eax # imm = 0x199A232; CHECK-NEXT: jae .LBB12_5233; CHECK-NEXT: .LBB12_8: # %if.then44234; CHECK-NEXT: testb %al, %al235; CHECK-NEXT: je .LBB12_9236; CHECK-NEXT: # %bb.10: # %if.else.i104237; CHECK-NEXT: retl238; CHECK-NEXT: .LBB12_5: # %sw.default239; CHECK-NEXT: testb %al, %al240; CHECK-NEXT: jne .LBB12_7241; CHECK-NEXT: # %bb.6: # %if.then.i96242; CHECK-NEXT: .LBB12_1: # %if.then.i243; CHECK-NEXT: .LBB12_9: # %if.then.i103244; CHECK-NEXT: .LBB12_7: # %if.else.i97245entry:246 %0 = load i16, ptr undef, align 2247 br i1 poison, label %if.then.i, label %if.end.i248 249if.then.i: ; preds = %entry250 unreachable251 252if.end.i: ; preds = %entry253 br i1 poison, label %sw.bb, label %sw.default254 255sw.bb: ; preds = %if.end.i256 br i1 poison, label %if.then44, label %if.end29257 258if.end29: ; preds = %sw.bb259 %1 = urem i16 %0, 10260 %cmp25 = icmp eq i16 %1, 0261 %. = select i1 %cmp25, i16 2, i16 0262 br i1 %cmp25, label %if.then44, label %sw.default263 264sw.default: ; preds = %if.end29, %if.end.i265 br i1 poison, label %if.then.i96, label %if.else.i97266 267if.then.i96: ; preds = %sw.default268 unreachable269 270if.else.i97: ; preds = %sw.default271 unreachable272 273if.then44: ; preds = %if.end29, %sw.bb274 %aModeRefSel.1.ph = phi i16 [ %., %if.end29 ], [ 3, %sw.bb ]275 br i1 poison, label %if.then.i103, label %if.else.i104276 277if.then.i103: ; preds = %if.then44278 unreachable279 280if.else.i104: ; preds = %if.then44281 ret void282}283 284; rdar://11855129285define i32 @func_p(i32 %a, i32 %b) nounwind {286; CHECK-LABEL: func_p:287; CHECK: # %bb.0:288; CHECK-NEXT: movl {{[0-9]+}}(%esp), %eax289; CHECK-NEXT: xorl %ecx, %ecx290; CHECK-NEXT: addl {{[0-9]+}}(%esp), %eax291; CHECK-NEXT: cmovsl %ecx, %eax292; CHECK-NEXT: retl293 %add = add nsw i32 %b, %a294 %cmp = icmp sgt i32 %add, 0295 %add. = select i1 %cmp, i32 %add, i32 0296 ret i32 %add.297}298 299; PR13475300; We don't need an explicit cmp here. A sub/neg combo will do.301 302define i32 @func_q(i32 %a0, i32 %a1, i32 %a2) {303; CHECK-LABEL: func_q:304; CHECK: # %bb.0:305; CHECK-NEXT: movl {{[0-9]+}}(%esp), %eax306; CHECK-NEXT: xorl %ecx, %ecx307; CHECK-NEXT: subl {{[0-9]+}}(%esp), %eax308; CHECK-NEXT: sbbl %ecx, %ecx309; CHECK-NEXT: negl %eax310; CHECK-NEXT: xorl %ecx, %eax311; CHECK-NEXT: retl312 %t1 = icmp ult i32 %a0, %a1313 %t2 = sub i32 %a1, %a0314 %t3 = select i1 %t1, i32 -1, i32 0315 %t4 = xor i32 %t2, %t3316 ret i32 %t4317}318 319; rdar://11873276320define ptr @func_r(ptr %base, ptr nocapture %offset, i32 %size) nounwind {321; CHECK-LABEL: func_r:322; CHECK: # %bb.0: # %entry323; CHECK-NEXT: movl {{[0-9]+}}(%esp), %edx324; CHECK-NEXT: movl (%edx), %ecx325; CHECK-NEXT: xorl %eax, %eax326; CHECK-NEXT: subl {{[0-9]+}}(%esp), %ecx327; CHECK-NEXT: jl .LBB15_2328; CHECK-NEXT: # %bb.1: # %if.end329; CHECK-NEXT: movl {{[0-9]+}}(%esp), %eax330; CHECK-NEXT: movl %ecx, (%edx)331; CHECK-NEXT: addl %ecx, %eax332; CHECK-NEXT: .LBB15_2: # %return333; CHECK-NEXT: retl334entry:335 %0 = load i32, ptr %offset, align 8336 %cmp = icmp slt i32 %0, %size337 br i1 %cmp, label %return, label %if.end338 339if.end:340 %sub = sub nsw i32 %0, %size341 store i32 %sub, ptr %offset, align 8342 %add.ptr = getelementptr inbounds i8, ptr %base, i32 %sub343 br label %return344 345return:346 %retval.0 = phi ptr [ %add.ptr, %if.end ], [ null, %entry ]347 ret ptr %retval.0348}349 350; Test optimizations of dec/inc.351define i32 @func_dec(i32 %a) nounwind {352; CHECK-LABEL: func_dec:353; CHECK: # %bb.0:354; CHECK-NEXT: movl {{[0-9]+}}(%esp), %eax355; CHECK-NEXT: xorl %ecx, %ecx356; CHECK-NEXT: decl %eax357; CHECK-NEXT: cmovsl %ecx, %eax358; CHECK-NEXT: retl359 %sub = sub nsw i32 %a, 1360 %cmp = icmp sgt i32 %sub, 0361 %cond = select i1 %cmp, i32 %sub, i32 0362 ret i32 %cond363}364 365define i32 @func_inc(i32 %a) nounwind {366; CHECK-LABEL: func_inc:367; CHECK: # %bb.0:368; CHECK-NEXT: movl {{[0-9]+}}(%esp), %eax369; CHECK-NEXT: xorl %ecx, %ecx370; CHECK-NEXT: incl %eax371; CHECK-NEXT: cmovsl %ecx, %eax372; CHECK-NEXT: retl373 %add = add nsw i32 %a, 1374 %cmp = icmp sgt i32 %add, 0375 %cond = select i1 %cmp, i32 %add, i32 0376 ret i32 %cond377}378 379; PR13966380@b = common global i32 0, align 4381@a = common global i32 0, align 4382define i32 @func_test1(i32 %p1) nounwind uwtable {383; CHECK-LABEL: func_test1:384; CHECK: # %bb.0: # %entry385; CHECK-NEXT: movl b, %eax386; CHECK-NEXT: xorl %ecx, %ecx387; CHECK-NEXT: cmpl {{[0-9]+}}(%esp), %eax388; CHECK-NEXT: setb %cl389; CHECK-NEXT: movl a, %eax390; CHECK-NEXT: testl %eax, %ecx391; CHECK-NEXT: je .LBB18_2392; CHECK-NEXT: # %bb.1: # %if.then393; CHECK-NEXT: decl %eax394; CHECK-NEXT: movl %eax, a395; CHECK-NEXT: .LBB18_2: # %if.end396; CHECK-NEXT: retl397entry:398 %t0 = load i32, ptr @b, align 4399 %cmp = icmp ult i32 %t0, %p1400 %conv = zext i1 %cmp to i32401 %t1 = load i32, ptr @a, align 4402 %and = and i32 %conv, %t1403 %conv1 = trunc i32 %and to i8404 %t2 = urem i8 %conv1, 3405 %tobool = icmp eq i8 %t2, 0406 br i1 %tobool, label %if.end, label %if.then407 408if.then:409 %dec = add nsw i32 %t1, -1410 store i32 %dec, ptr @a, align 4411 br label %if.end412 413if.end:414 ret i32 undef415}416 417!1 = !{!"branch_weights", i32 2, i32 1}418