blob: 4b9591ffeb2bab3996b7602752562c822ce1e49c [file] [log] [blame]
; RUN: llc -mtriple=arm64-apple-darwin < %s | FileCheck %s
; Check that the peephole optimizer knows about sext and zext instructions.
; CHECK: test1sext
define i32 @test1sext(i64 %A, i64 %B, ptr %P, ptr %P2) nounwind {
%C = add i64 %A, %B
; CHECK: add x[[SUM:[0-9]+]], x0, x1
%D = trunc i64 %C to i32
%E = shl i64 %C, 32
%F = ashr i64 %E, 32
; CHECK: sxtw x[[EXT:[0-9]+]], w[[SUM]]
store volatile i64 %F, ptr %P2
; CHECK: str x[[EXT]]
store volatile i32 %D, ptr %P
; Reuse low bits of extended register, don't extend live range of SUM.
; CHECK: str w[[SUM]]
ret i32 %D
}