reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

    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
}