test/CodeGen/Hexagon/tfr-cleanup.ll

; RUN: llc -march=hexagon -O3 -hexagon-eif=0 < %s | FileCheck %s
; Without TFR cleanup, the last block contained
; {
;   r3 = xor(r1, r2)
;   r1 = #0
; }
; {
;   r7 = r1
;   r0 = zxtb(r3)
; }
; After TFR cleanup, the copy "r7 = r1" should be simplified to "r7 = #0".
; There shouldn't be any register copies in that block anymore.
;
; CHECK: LBB0_5:
; CHECK-NOT: r{{[0-9]+}} = r{{[0-9]+}}

target triple = "hexagon"

; Function Attrs: nounwind readnone
define i64 @f0(i64 %a0, i32 %a1, i32 %a2) #0 {
b0:
  %v0 = trunc i64 %a0 to i32
  %v1 = lshr i64 %a0, 32
  %v2 = trunc i64 %v1 to i32
  %v3 = lshr i64 %a0, 40
  %v4 = lshr i64 %a0, 48
  %v5 = trunc i64 %v4 to i16
  %v6 = icmp sgt i32 %a2, %a1
  %v7 = lshr i32 %v0, 10
  br i1 %v6, label %b1, label %b2

b1:                                               ; preds = %b0
  %v8 = add nsw i32 %v7, 4190971
  %v9 = and i32 %v8, 4194303
  %v10 = shl nuw nsw i64 %v3, 24
  %v11 = trunc i64 %v10 to i32
  %v12 = ashr exact i32 %v11, 24
  %v13 = or i32 %v12, 102
  br label %b3

b2:                                               ; preds = %b0
  %v14 = add nsw i32 %v7, 4189760
  %v15 = trunc i64 %v3 to i32
  %v16 = or i32 %v15, 119
  br label %b3

b3:                                               ; preds = %b2, %b1
  %v17 = phi i32 [ %v13, %b1 ], [ %v16, %b2 ]
  %v18 = phi i32 [ %v9, %b1 ], [ %v14, %b2 ]
  %v19 = shl i32 %v18, 10
  %v20 = icmp sgt i32 %a1, %a2
  br i1 %v20, label %b4, label %b5

b4:                                               ; preds = %b3
  %v21 = and i32 %v2, 140
  %v22 = or i32 %v21, 115
  %v23 = and i16 %v5, 12345
  br label %b6

b5:                                               ; preds = %b3
  %v24 = xor i32 %v2, 23
  %v25 = or i16 %v5, 12345
  br label %b6

b6:                                               ; preds = %b5, %b4
  %v26 = phi i16 [ %v23, %b4 ], [ %v25, %b5 ]
  %v27 = phi i32 [ %v22, %b4 ], [ %v24, %b5 ]
  %v28 = zext i16 %v26 to i64
  %v29 = shl nuw i64 %v28, 48
  %v30 = and i32 %v27, 255
  %v31 = zext i32 %v30 to i64
  %v32 = shl nuw nsw i64 %v31, 40
  %v33 = and i32 %v17, 255
  %v34 = zext i32 %v33 to i64
  %v35 = shl nuw nsw i64 %v34, 32
  %v36 = zext i32 %v19 to i64
  %v37 = or i64 %v36, %v35
  %v38 = or i64 %v37, %v29
  %v39 = or i64 %v38, %v32
  ret i64 %v39
}

attributes #0 = { nounwind readnone "target-cpu"="hexagonv55" }