101 lines · plain
1; RUN: llc < %s -mtriple=thumbv8 -show-mc-encoding | FileCheck %s2; CHECK-NOT: orrsne r0, r1 @ encoding: [0x08,0x43]3; Narrow tORR cannot be predicated and set CPSR at the same time!4 5declare void @f(i32)6 7define void @initCloneLookups() #1 {8entry:9 br label %for.cond1.preheader10 11for.cond1.preheader: ; preds = %for.inc24, %entry12 %cmp108 = phi i1 [ true, %entry ], [ %cmp, %for.inc24 ]13 %y.0105 = phi i32 [ 1, %entry ], [ %inc25, %for.inc24 ]14 %notlhs = icmp slt i32 %y.0105, 615 %notlhs69 = icmp sgt i32 %y.0105, 416 %sub = add nsw i32 %y.0105, -117 %cmp1.i = icmp sgt i32 %sub, 518 %cmp1.i54 = icmp sgt i32 %y.0105, 519 br i1 %cmp108, label %if.then.us, label %for.cond1.preheader.for.cond1.preheader.split_crit_edge20 21for.cond1.preheader.for.cond1.preheader.split_crit_edge: ; preds = %for.cond1.preheader22 br i1 %notlhs, label %for.inc.us101, label %for.inc23 24if.then.us: ; preds = %for.cond1.preheader, %for.inc.us25 %x.071.us = phi i32 [ %inc.us.pre-phi, %for.inc.us ], [ 1, %for.cond1.preheader ]26 %notrhs.us = icmp sge i32 %x.071.us, %y.010527 %or.cond44.not.us = or i1 %notrhs.us, %notlhs28 %notrhs70.us = icmp sle i32 %x.071.us, %y.010529 %tobool.us = or i1 %notrhs70.us, %notlhs6930 %or.cond66.us = and i1 %or.cond44.not.us, %tobool.us31 br i1 %or.cond66.us, label %getHexxagonIndex.exit52.us, label %if.then.us.for.inc.us_crit_edge32 33if.then.us.for.inc.us_crit_edge: ; preds = %if.then.us34 %inc.us.pre = add nsw i32 %x.071.us, 135 br label %for.inc.us36 37getHexxagonIndex.exit52.us: ; preds = %if.then.us38 %cmp3.i.us = icmp slt i32 %x.071.us, 539 %or.cond.i.us = and i1 %cmp1.i, %cmp3.i.us40 %..i.us = sext i1 %or.cond.i.us to i3241 tail call void @f(i32 %..i.us) #342 %add.us = add nsw i32 %x.071.us, 143 %cmp3.i55.us = icmp slt i32 %add.us, 544 %or.cond.i56.us = and i1 %cmp1.i54, %cmp3.i55.us45 %..i57.us = sext i1 %or.cond.i56.us to i3246 tail call void @f(i32 %..i57.us) #347 %or.cond.i48.us = and i1 %notlhs69, %cmp3.i55.us48 %..i49.us = sext i1 %or.cond.i48.us to i3249 tail call void @f(i32 %..i49.us) #350 br label %for.inc.us51 52for.inc.us: ; preds = %if.then.us.for.inc.us_crit_edge, %getHexxagonIndex.exit52.us53 %inc.us.pre-phi = phi i32 [ %inc.us.pre, %if.then.us.for.inc.us_crit_edge ], [ %add.us, %getHexxagonIndex.exit52.us ]54 %exitcond109 = icmp eq i32 %inc.us.pre-phi, 1055 br i1 %exitcond109, label %for.inc24, label %if.then.us56 57for.inc.us101: ; preds = %for.cond1.preheader.for.cond1.preheader.split_crit_edge, %for.inc.us10158 %x.071.us74 = phi i32 [ %add.us89, %for.inc.us101 ], [ 1, %for.cond1.preheader.for.cond1.preheader.split_crit_edge ]59 %cmp3.i.us84 = icmp slt i32 %x.071.us74, 560 %or.cond.i.us85 = and i1 %cmp1.i, %cmp3.i.us8461 %..i.us86 = sext i1 %or.cond.i.us85 to i3262 tail call void @f(i32 %..i.us86) #363 %add.us89 = add nsw i32 %x.071.us74, 164 %cmp3.i55.us93 = icmp slt i32 %add.us89, 565 %or.cond.i56.us94 = and i1 %cmp1.i54, %cmp3.i55.us9366 %..i57.us95 = sext i1 %or.cond.i56.us94 to i3267 tail call void @f(i32 %..i57.us95) #368 %or.cond.i48.us97 = and i1 %notlhs69, %cmp3.i55.us9369 %..i49.us98 = sext i1 %or.cond.i48.us97 to i3270 tail call void @f(i32 %..i49.us98) #371 %exitcond110 = icmp eq i32 %add.us89, 1072 br i1 %exitcond110, label %for.inc24, label %for.inc.us10173 74for.inc: ; preds = %for.cond1.preheader.for.cond1.preheader.split_crit_edge, %for.inc75 %x.071 = phi i32 [ %add, %for.inc ], [ 1, %for.cond1.preheader.for.cond1.preheader.split_crit_edge ]76 %cmp3.i = icmp slt i32 %x.071, 577 %or.cond.i = and i1 %cmp1.i, %cmp3.i78 %..i = sext i1 %or.cond.i to i3279 tail call void @f(i32 %..i) #380 %add = add nsw i32 %x.071, 181 %cmp3.i55 = icmp slt i32 %add, 582 %or.cond.i56 = and i1 %cmp1.i54, %cmp3.i5583 %..i57 = sext i1 %or.cond.i56 to i3284 tail call void @f(i32 %..i57) #385 %or.cond.i48 = and i1 %notlhs69, %cmp3.i5586 %..i49 = sext i1 %or.cond.i48 to i3287 tail call void @f(i32 %..i49) #388 %exitcond = icmp eq i32 %add, 1089 br i1 %exitcond, label %for.inc24, label %for.inc90 91for.inc24: ; preds = %for.inc, %for.inc.us101, %for.inc.us92 %inc25 = add nsw i32 %y.0105, 193 %cmp = icmp slt i32 %inc25, 1094 %exitcond111 = icmp eq i32 %inc25, 1095 br i1 %exitcond111, label %for.end26, label %for.cond1.preheader96 97for.end26: ; preds = %for.inc2498 ret void99}100 101