41 lines · plain
1; RUN: llc %s -o - -fast-isel=true -O1 -verify-machineinstrs | FileCheck %s2 3target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"4target triple = "x86_64-apple-unknown"5 6; This test failed the machine verifier because the trunc at the start of the7; method was extracing a subreg and killing the source register. The kill flag was8; invalid here as the source of the trunc could still be used elsewhere.9 10; CHECK-LABEL: @test11 12define i32 @test(i32 %block8x8) {13bb:14 %tmp9 = trunc i32 %block8x8 to i115 %tmp10 = zext i1 %tmp9 to i3216 %tmp11 = mul i32 %tmp10, 817 %tmp12 = zext i32 %tmp11 to i6418 br label %bb24119 20bb241: ; preds = %bb241, %bb21 %lsr.iv3 = phi i64 [ %lsr.iv.next4, %bb241 ], [ %tmp12, %bb ]22 %lsr.iv1 = phi i32 [ %lsr.iv.next2, %bb241 ], [ 0, %bb ]23 %lsr.iv.next2 = add nuw nsw i32 %lsr.iv1, 124 %lsr.iv.next4 = add i64 %lsr.iv3, 3225 %exitcond = icmp eq i32 %lsr.iv.next2, 826 br i1 %exitcond, label %.preheader.preheader, label %bb24127 28.preheader.preheader: ; preds = %bb24129 %tmp18 = lshr i32 %block8x8, 130 br label %bb27031 32bb270: ; preds = %bb270, %.preheader.preheader33 %lsr.iv = phi i32 [ %lsr.iv.next, %bb270 ], [ %tmp18, %.preheader.preheader ]34 %lsr.iv.next = add i32 %lsr.iv, 435 %tmp272 = icmp slt i32 %lsr.iv.next, 10036 br i1 %tmp272, label %bb270, label %.loopexit37 38.loopexit: ; preds = %bb27039 ret i32 040}41