1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136
|
; RUN: llc -march=mips < %s | FileCheck %s -check-prefixes=ALL,MIPS
; RUN: llc -march=mips < %s -mattr=+micromips | FileCheck %s -check-prefixes=ALL,MM
; Test the patterns used for constant materialization.
; Constants generated using li16
define i32 @Li16LowBoundary() {
entry:
; ALL-LABEL: Li16LowBoundary:
; MIPS: addiu $2, $zero, -1
; MM: li16 $2, -1
; ALL-NOT: lui
; ALL-NOT: ori
; MIPS-NOT: li16
; MM-NOT: addiu
ret i32 -1
}
define i32 @Li16HighBoundary() {
entry:
; ALL-LABEL: Li16HighBoundary:
; MIPS: addiu $2, $zero, 126
; MM: li16 $2, 126
; ALL-NOT: lui
; ALL-NOT: ori
; MM-NOT: addiu
; MIPS-NOT: li16
ret i32 126
}
; Constants generated using addiu
define i32 @AddiuLowBoundary() {
entry:
; ALL-LABEL: AddiuLowBoundary:
; ALL: addiu $2, $zero, -32768
; ALL-NOT: lui
; ALL-NOT: ori
; ALL-NOT: li16
ret i32 -32768
}
define i32 @AddiuZero() {
entry:
; ALL-LABEL: AddiuZero:
; MIPS: addiu $2, $zero, 0
; MM: li16 $2, 0
; ALL-NOT: lui
; ALL-NOT: ori
; MIPS-NOT: li16
; MM-NOT: addiu
ret i32 0
}
define i32 @AddiuHighBoundary() {
entry:
; ALL-LABEL: AddiuHighBoundary:
; ALL: addiu $2, $zero, 32767
; ALL-NOT: lui
; ALL-NOT: ori
; ALL-NOT: li16
ret i32 32767
}
; Constants generated using ori
define i32 @OriLowBoundary() {
entry:
; ALL-LABEL: OriLowBoundary:
; ALL: ori $2, $zero, 32768
; ALL-NOT: addiu
; ALL-NOT: lui
; ALL-NOT: li16
ret i32 32768
}
define i32 @OriHighBoundary() {
entry:
; ALL-LABEL: OriHighBoundary:
; ALL: ori $2, $zero, 65535
; ALL-NOT: addiu
; ALL-NOT: lui
; ALL-NOT: li16
ret i32 65535
}
; Constants generated using lui
define i32 @LuiPositive() {
entry:
; ALL-LABEL: LuiPositive:
; ALL: lui $2, 1
; ALL-NOT: addiu
; ALL-NOT: ori
; ALL-NOT: li16
ret i32 65536
}
define i32 @LuiNegative() {
entry:
; ALL-LABEL: LuiNegative:
; ALL: lui $2, 65535
; ALL-NOT: addiu
; ALL-NOT: ori
; ALL-NOT: li16
ret i32 -65536
}
; Constants generated using a combination of lui and ori
define i32 @LuiWithLowBitsSet() {
entry:
; ALL-LABEL: LuiWithLowBitsSet:
; ALL: lui $1, 1
; ALL: ori $2, $1, 1
; ALL-NOT: addiu
; ALL-NOT: li16
ret i32 65537
}
define i32 @BelowAddiuLowBoundary() {
entry:
; ALL-LABEL: BelowAddiuLowBoundary:
; ALL: lui $1, 65535
; ALL: ori $2, $1, 32767
; ALL-NOT: addiu
; ALL-NOT: li16
ret i32 -32769
}
|