1 ; RUN: llc -verify-machineinstrs -O0 < %s -mtriple=aarch64-none-linux-gnu | FileCheck %s
5 ; Not produced by move wide instructions, but good to make sure we can return 0 anyway:
18 ; CHECK: movz x0, #65535
24 ; CHECK: movz x0, #1, lsl #16
30 ; CHECK: movz x0, #65535, lsl #16
36 ; CHECK: movz x0, #1, lsl #32
42 ; CHECK: movz x0, #65535, lsl #32
43 ret i64 281470681743360
48 ; CHECK: movz x0, #1, lsl #48
49 ret i64 281474976710656
52 ; A 32-bit MOVN can generate some 64-bit patterns that a 64-bit one
53 ; couldn't. Useful even for i64
56 ; CHECK: movn w0, #60875
66 define i64 @test10() {
68 ; CHECK: movn x0, #60875, lsl #16
69 ret i64 18446744069720047615
72 ; For reasonably legitimate reasons returning an i32 results in the
73 ; selection of an i64 constant, so we need a different idiom to test that selection
76 define void @test11() {
78 ; CHECK: mov {{w[0-9]+}}, wzr
79 store i32 0, i32* @var32
83 define void @test12() {
85 ; CHECK: movz {{w[0-9]+}}, #1
86 store i32 1, i32* @var32
90 define void @test13() {
92 ; CHECK: movz {{w[0-9]+}}, #65535
93 store i32 65535, i32* @var32
97 define void @test14() {
99 ; CHECK: movz {{w[0-9]+}}, #1, lsl #16
100 store i32 65536, i32* @var32
104 define void @test15() {
106 ; CHECK: movz {{w[0-9]+}}, #65535, lsl #16
107 store i32 4294901760, i32* @var32
111 define void @test16() {
113 ; CHECK: movn {{w[0-9]+}}, #0
114 store i32 -1, i32* @var32
118 define i64 @test17() {
121 ; Mustn't MOVN w0 here.