97 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -mtriple=ve | FileCheck %s3 4declare void @foo() noreturn5 6;;; Check a case where a separate branch is needed and where the original7;;; order should be reversed. Copied from SystemZ/branch-08.ll8 9define i32 @f1(i32 %a, ptr %bptr) {10; CHECK-LABEL: f1:11; CHECK: # %bb.0: # %entry12; CHECK-NEXT: st %s9, (, %s11)13; CHECK-NEXT: st %s10, 8(, %s11)14; CHECK-NEXT: or %s9, 0, %s1115; CHECK-NEXT: lea %s11, -240(, %s11)16; CHECK-NEXT: brge.l %s11, %s8, .LBB0_417; CHECK-NEXT: # %bb.3: # %entry18; CHECK-NEXT: ld %s61, 24(, %s14)19; CHECK-NEXT: or %s62, 0, %s020; CHECK-NEXT: lea %s63, 31521; CHECK-NEXT: shm.l %s63, (%s61)22; CHECK-NEXT: shm.l %s8, 8(%s61)23; CHECK-NEXT: shm.l %s11, 16(%s61)24; CHECK-NEXT: monc25; CHECK-NEXT: or %s0, 0, %s6226; CHECK-NEXT: .LBB0_4: # %entry27; CHECK-NEXT: ldl.sx %s1, (, %s1)28; CHECK-NEXT: cmpu.w %s0, %s1, %s029; CHECK-NEXT: brlt.w 0, %s0, .LBB0_230; CHECK-NEXT: # %bb.1: # %return31; CHECK-NEXT: or %s0, 1, (0)132; CHECK-NEXT: or %s11, 0, %s933; CHECK-NEXT: ld %s10, 8(, %s11)34; CHECK-NEXT: ld %s9, (, %s11)35; CHECK-NEXT: b.l.t (, %s10)36; CHECK-NEXT: .LBB0_2: # %callit37; CHECK-NEXT: lea %s0, foo@lo38; CHECK-NEXT: and %s0, %s0, (32)039; CHECK-NEXT: lea.sl %s12, foo@hi(, %s0)40; CHECK-NEXT: bsic %s10, (, %s12)41entry:42 %b = load i32, ptr %bptr43 %cmp = icmp ult i32 %a, %b44 br i1 %cmp, label %callit, label %return45 46callit:47 call void @foo()48 unreachable49 50return:51 ret i32 152}53 54;;; Same again with a fused compare and branch.55 56define i32 @f2(i32 %a) {57; CHECK-LABEL: f2:58; CHECK: # %bb.0: # %entry59; CHECK-NEXT: st %s9, (, %s11)60; CHECK-NEXT: st %s10, 8(, %s11)61; CHECK-NEXT: or %s9, 0, %s1162; CHECK-NEXT: lea %s11, -240(, %s11)63; CHECK-NEXT: brge.l %s11, %s8, .LBB1_464; CHECK-NEXT: # %bb.3: # %entry65; CHECK-NEXT: ld %s61, 24(, %s14)66; CHECK-NEXT: or %s62, 0, %s067; CHECK-NEXT: lea %s63, 31568; CHECK-NEXT: shm.l %s63, (%s61)69; CHECK-NEXT: shm.l %s8, 8(%s61)70; CHECK-NEXT: shm.l %s11, 16(%s61)71; CHECK-NEXT: monc72; CHECK-NEXT: or %s0, 0, %s6273; CHECK-NEXT: .LBB1_4: # %entry74; CHECK-NEXT: breq.w 0, %s0, .LBB1_275; CHECK-NEXT: # %bb.1: # %return76; CHECK-NEXT: or %s0, 1, (0)177; CHECK-NEXT: or %s11, 0, %s978; CHECK-NEXT: ld %s10, 8(, %s11)79; CHECK-NEXT: ld %s9, (, %s11)80; CHECK-NEXT: b.l.t (, %s10)81; CHECK-NEXT: .LBB1_2: # %callit82; CHECK-NEXT: lea %s0, foo@lo83; CHECK-NEXT: and %s0, %s0, (32)084; CHECK-NEXT: lea.sl %s12, foo@hi(, %s0)85; CHECK-NEXT: bsic %s10, (, %s12)86entry:87 %cmp = icmp eq i32 %a, 088 br i1 %cmp, label %callit, label %return89 90callit:91 call void @foo()92 unreachable93 94return:95 ret i32 196}97