3 // Copyright 2017 The Go Authors. All rights reserved.
4 // Use of this source code is governed by a BSD-style
5 // license that can be found in the LICENSE file.
7 // This file tests the splitting of constants into
8 // multiple immediates on arm.
14 const c32a = 0x00aa00dd
15 const c32s = 0x00ffff00
16 const c64a = 0x00aa00dd55000066
17 const c64s = 0x00ffff00004fff00
20 func add32a(x uint32) uint32 {
25 func add32s(x uint32) uint32 {
30 func sub32a(x uint32) uint32 {
35 func sub32s(x uint32) uint32 {
40 func or32(x uint32) uint32 {
45 func xor32(x uint32) uint32 {
50 func subr32a(x uint32) uint32 {
55 func subr32s(x uint32) uint32 {
60 func bic32(x uint32) uint32 {
65 func add64a(x uint64) uint64 {
70 func add64s(x uint64) uint64 {
75 func sub64a(x uint64) uint64 {
80 func sub64s(x uint64) uint64 {
85 func or64(x uint64) uint64 {
90 func xor64(x uint64) uint64 {
95 func subr64a(x uint64) uint64 {
100 func subr64s(x uint64) uint64 {
105 func bic64(x uint64) uint64 {
109 // Note: x-c gets rewritten to x+(-c), so SUB and SBC are not directly testable.
110 // I disabled that rewrite rule before running this test.
118 var a uint32 = 0x11111111
120 if want, got = a+c32a, add32a(a); got != want {
121 panic(fmt.Sprintf("add32a(%x) = %x, want %x", a, got, want))
123 if want, got = a+c32s, add32s(a); got != want {
124 panic(fmt.Sprintf("add32s(%x) = %x, want %x", a, got, want))
126 if want, got = a-c32a, sub32a(a); got != want {
127 panic(fmt.Sprintf("sub32a(%x) = %x, want %x", a, got, want))
129 if want, got = a-c32s, sub32s(a); got != want {
130 panic(fmt.Sprintf("sub32s(%x) = %x, want %x", a, got, want))
132 if want, got = a|c32a, or32(a); got != want {
133 panic(fmt.Sprintf("or32(%x) = %x, want %x", a, got, want))
135 if want, got = a^c32a, xor32(a); got != want {
136 panic(fmt.Sprintf("xor32(%x) = %x, want %x", a, got, want))
138 if want, got = c32a-a, subr32a(a); got != want {
139 panic(fmt.Sprintf("subr32a(%x) = %x, want %x", a, got, want))
141 if want, got = c32s-a, subr32s(a); got != want {
142 panic(fmt.Sprintf("subr32s(%x) = %x, want %x", a, got, want))
144 if want, got = a&^c32a, bic32(a); got != want {
145 panic(fmt.Sprintf("bic32(%x) = %x, want %x", a, got, want))
150 var a uint64 = 0x1111111111111111
152 if want, got = a+c64a, add64a(a); got != want {
153 panic(fmt.Sprintf("add64a(%x) = %x, want %x", a, got, want))
155 if want, got = a+c64s, add64s(a); got != want {
156 panic(fmt.Sprintf("add64s(%x) = %x, want %x", a, got, want))
158 if want, got = a-c64a, sub64a(a); got != want {
159 panic(fmt.Sprintf("sub64a(%x) = %x, want %x", a, got, want))
161 if want, got = a-c64s, sub64s(a); got != want {
162 panic(fmt.Sprintf("sub64s(%x) = %x, want %x", a, got, want))
164 if want, got = a|c64a, or64(a); got != want {
165 panic(fmt.Sprintf("or64(%x) = %x, want %x", a, got, want))
167 if want, got = a^c64a, xor64(a); got != want {
168 panic(fmt.Sprintf("xor64(%x) = %x, want %x", a, got, want))
170 if want, got = c64a-a, subr64a(a); got != want {
171 panic(fmt.Sprintf("subr64a(%x) = %x, want %x", a, got, want))
173 if want, got = c64s-a, subr64s(a); got != want {
174 panic(fmt.Sprintf("subr64s(%x) = %x, want %x", a, got, want))
176 if want, got = a&^c64a, bic64(a); got != want {
177 panic(fmt.Sprintf("bic64(%x) = %x, want %x", a, got, want))