test/CodeGen/ARM/select-imm.ll

   1 ; RUN: llc < %s -march=arm                  | FileCheck %s --check-prefix=ARM
   2 ; RUN: llc < %s -march=arm -mattr=+thumb2   | FileCheck %s --check-prefix=ARMT2
   3 ; RUN: llc < %s -march=thumb -mattr=+thumb2 | FileCheck %s --check-prefix=THUMB2
   4
   5 define i32 @t1(i32 %c) nounwind readnone {
   6 entry:
   7 ; ARM-LABEL: t1:
   8 ; ARM: mov [[R1:r[0-9]+]], #101
   9 ; ARM: orr [[R1b:r[0-9]+]], [[R1]], #256
  10 ; ARM: movgt {{r[0-1]}}, #123
  11
  12 ; ARMT2-LABEL: t1:
  13 ; ARMT2: movw [[R:r[0-1]]], #357
  14 ; ARMT2: movwgt [[R]], #123
  15
  16 ; THUMB2-LABEL: t1:
  17 ; THUMB2: movw [[R:r[0-1]]], #357
  18 ; THUMB2: movgt [[R]], #123
  19
  20   %0 = icmp sgt i32 %c, 1
  21   %1 = select i1 %0, i32 123, i32 357
  22   ret i32 %1
  23 }
  24
  25 define i32 @t2(i32 %c) nounwind readnone {
  26 entry:
  27 ; ARM-LABEL: t2:
  28 ; ARM: mov [[R:r[0-9]+]], #101
  29 ; ARM: orr [[R]], [[R]], #256
  30 ; ARM: movle [[R]], #123
  31
  32 ; ARMT2-LABEL: t2:
  33 ; ARMT2: mov [[R:r[0-1]]], #123
  34 ; ARMT2: movwgt [[R]], #357
  35
  36 ; THUMB2-LABEL: t2:
  37 ; THUMB2: mov{{(s|\.w)}} [[R:r[0-1]]], #123
  38 ; THUMB2: movwgt [[R]], #357
  39
  40   %0 = icmp sgt i32 %c, 1
  41   %1 = select i1 %0, i32 357, i32 123
  42   ret i32 %1
  43 }
  44
  45 define i32 @t3(i32 %a) nounwind readnone {
  46 entry:
  47 ; ARM-LABEL: t3:
  48 ; ARM: mov [[R:r[0-1]]], #0
  49 ; ARM: moveq [[R]], #1
  50
  51 ; ARMT2-LABEL: t3:
  52 ; ARMT2: mov [[R:r[0-1]]], #0
  53 ; ARMT2: movweq [[R]], #1
  54
  55 ; THUMB2-LABEL: t3:
  56 ; THUMB2: mov{{(s|\.w)}} [[R:r[0-1]]], #0
  57 ; THUMB2: moveq [[R]], #1
  58   %0 = icmp eq i32 %a, 160
  59   %1 = zext i1 %0 to i32
  60   ret i32 %1
  61 }
  62
  63 define i32 @t4(i32 %a, i32 %b, i32 %x) nounwind {
  64 entry:
  65 ; ARM-LABEL: t4:
  66 ; ARM: ldr
  67 ; ARM: mov{{lt|ge}}
  68
  69 ; ARMT2-LABEL: t4:
  70 ; ARMT2: movwlt [[R0:r[0-9]+]], #65365
  71 ; ARMT2: movtlt [[R0]], #65365
  72
  73 ; THUMB2-LABEL: t4:
  74 ; THUMB2: mvnlt [[R0:r[0-9]+]], #11141290
  75   %0 = icmp slt i32 %a, %b
  76   %1 = select i1 %0, i32 4283826005, i32 %x
  77   ret i32 %1
  78 }
  79
  80 ; rdar://9758317
  81 define i32 @t5(i32 %a) nounwind {
  82 entry:
  83 ; ARM-LABEL: t5:
  84 ; ARM-NOT: mov
  85 ; ARM: cmp r0, #1
  86 ; ARM-NOT: mov
  87 ; ARM: movne r0, #0
  88
  89 ; THUMB2-LABEL: t5:
  90 ; THUMB2-NOT: mov
  91 ; THUMB2: cmp r0, #1
  92 ; THUMB2: it ne
  93 ; THUMB2: movne r0, #0
  94   %cmp = icmp eq i32 %a, 1
  95   %conv = zext i1 %cmp to i32
  96   ret i32 %conv
  97 }
  98
  99 define i32 @t6(i32 %a) nounwind {
 100 entry:
 101 ; ARM-LABEL: t6:
 102 ; ARM-NOT: mov
 103 ; ARM: cmp r0, #0
 104 ; ARM: movne r0, #1
 105
 106 ; THUMB2-LABEL: t6:
 107 ; THUMB2-NOT: mov
 108 ; THUMB2: cmp r0, #0
 109 ; THUMB2: it ne
 110 ; THUMB2: movne r0, #1
 111   %tobool = icmp ne i32 %a, 0
 112   %lnot.ext = zext i1 %tobool to i32
 113   ret i32 %lnot.ext
 114 }