blob: 3f8d86d6e3ff8295514036b36a8285170993194e [file] [log] [blame]
; RUN: llc -march=hexagon -O2 < %s
; REQUIRES: asserts
; Test that the dead and kill flags are not added incorrectly during the
; Hexagon Expand Condsets pass. The pass shouldn't add a kill flag to a use that
; is tied to a definition, and the pass shouldn't remove the dead flag for a
; definition that is really dead. The removal of the dead flag causes an assert
; in the Machine Scheduler when querying live interval information.
define void @f0() #0 {
b0:
br label %b1
b1: ; preds = %b3, %b0
%v0 = load i16, i16* undef, align 4
%v1 = sext i16 %v0 to i32
%v2 = and i32 %v1, 7
%v3 = sub nsw i32 8, %v2
%v4 = sub nsw i32 8, 0
br label %b2
b2: ; preds = %b2, %b1
%v5 = phi i8* [ undef, %b1 ], [ %v16, %b2 ]
%v6 = phi i32 [ 4, %b1 ], [ %v17, %b2 ]
%v7 = load i8, i8* undef, align 1
%v8 = zext i8 %v7 to i32
%v9 = mul nuw nsw i32 %v8, %v3
%v10 = add nuw nsw i32 0, %v9
%v11 = mul nuw nsw i32 %v10, %v4
%v12 = add nuw nsw i32 0, %v11
%v13 = lshr i32 %v12, 6
%v14 = trunc i32 %v13 to i8
store i8 %v14, i8* %v5, align 1
%v15 = getelementptr inbounds i8, i8* %v5, i32 1
%v16 = select i1 undef, i8* undef, i8* %v15
%v17 = add nsw i32 %v6, -1
%v18 = icmp eq i32 %v17, 0
br i1 %v18, label %b3, label %b2
b3: ; preds = %b2
br i1 undef, label %b1, label %b4
b4: ; preds = %b3
ret void
}
attributes #0 = { nounwind "target-cpu"="hexagonv65" }