1 ; RUN: llc %s -o - -fast-isel=true -O1 -verify-machineinstrs | FileCheck %s 2 3 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" 4 target triple = "x86_64-apple-unknown" 5 6 ; This test failed the machine verifier because the trunc at the start of the 7 ; method was extracing a subreg and killing the source register. The kill flag was 8 ; invalid here as the source of the trunc could still be used elsewhere. 9 10 ; CHECK-LABEL: @test 11 12 define i32 @test(i32 %block8x8) { 13 bb: 14 %tmp9 = trunc i32 %block8x8 to i1 15 %tmp10 = zext i1 %tmp9 to i32 16 %tmp11 = mul i32 %tmp10, 8 17 %tmp12 = zext i32 %tmp11 to i64 18 br label %bb241 19 20 bb241: ; preds = %bb241, %bb 21 %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, 1 24 %lsr.iv.next4 = add i64 %lsr.iv3, 32 25 %exitcond = icmp eq i32 %lsr.iv.next2, 8 26 br i1 %exitcond, label %.preheader.preheader, label %bb241 27 28 .preheader.preheader: ; preds = %bb241 29 %tmp18 = lshr i32 %block8x8, 1 30 br label %bb270 31 32 bb270: ; preds = %bb270, %.preheader.preheader 33 %lsr.iv = phi i32 [ %lsr.iv.next, %bb270 ], [ %tmp18, %.preheader.preheader ] 34 %lsr.iv.next = add i32 %lsr.iv, 4 35 %tmp272 = icmp slt i32 %lsr.iv.next, 100 36 br i1 %tmp272, label %bb270, label %.loopexit 37 38 .loopexit: ; preds = %bb270 39 ret i32 0 40 } 41
