test/CodeGen/PowerPC/i1-ext-fold.ll

   1 ; RUN: llc -verify-machineinstrs -mcpu=pwr7 < %s | FileCheck %s
   2 ; RUN: llc -verify-machineinstrs -mcpu=pwr7 -ppc-gen-isel=false < %s | FileCheck --check-prefix=CHECK-NO-ISEL %s
   3 target datalayout = "E-m:e-i64:64-n32:64"
   4 target triple = "powerpc64-unknown-linux-gnu"
   5
   6 ; Function Attrs: nounwind readnone
   7 define signext i32 @foo(i32 signext %a, i32 signext %b) #0 {
   8 entry:
   9   %cmp = icmp slt i32 %a, %b
  10   %conv = zext i1 %cmp to i32
  11   %shl = shl nuw nsw i32 %conv, 4
  12   ret i32 %shl
  13
  14 ; CHECK-LABEL: @foo
  15 ; CHECK-NO-ISEL-LABEL: @foo
  16 ; CHECK-DAG: cmpw
  17 ; CHECK-DAG: li [[REG1:[0-9]+]], 0
  18 ; CHECK-DAG: li [[REG2:[0-9]+]], 16
  19 ; CHECK: isel 3, [[REG2]], [[REG1]],
  20 ; CHECK: blr
  21
  22 ; CHECK-NO-ISEL: bc 12, 0, [[TRUE:.LBB[0-9]+]]
  23 ; CHECK-NO-ISEL: ori 3, 5, 0
  24 ; CHECK-NO-ISEL-NEXT: blr
  25 ; CHECK-NO-ISEL-NEXT: [[TRUE]]
  26 ; CHECK-NO-ISEL-NEXT: addi 3, 12, 0
  27 ; CHECK-NO-ISEL-NEXT: blr
  28 }
  29
  30 ; Function Attrs: nounwind readnone
  31 define signext i32 @foo2(i32 signext %a, i32 signext %b) #0 {
  32 entry:
  33   %cmp = icmp slt i32 %a, %b
  34   %conv = zext i1 %cmp to i32
  35   %shl = shl nuw nsw i32 %conv, 4
  36   %add1 = or i32 %shl, 5
  37   ret i32 %add1
  38
  39 ; CHECK-LABEL: @foo2
  40 ; CHECK-NO-ISEL-LABEL: @foo2
  41 ; CHECK-DAG: cmpw
  42 ; CHECK-DAG: li [[REG1:[0-9]+]], 5
  43 ; CHECK-DAG: li [[REG2:[0-9]+]], 21
  44 ; CHECK: isel 3, [[REG2]], [[REG1]],
  45 ; CHECK: blr
  46
  47 ; CHECK-NO-ISEL: bc 12, 0, [[TRUE:.LBB[0-9]+]]
  48 ; CHECK-NO-ISEL: ori 3, 5, 0
  49 ; CHECK-NO-ISEL-NEXT: blr
  50 ; CHECK-NO-ISEL-NEXT: [[TRUE]]
  51 ; CHECK-NO-ISEL-NEXT: addi 3, 12, 0
  52 ; CHECK-NO-ISEL-NEXT: blr
  53 }
  54
  55 ; Function Attrs: nounwind readnone
  56 define signext i32 @foo3(i32 signext %a, i32 signext %b) #0 {
  57 entry:
  58   %cmp = icmp sle i32 %a, %b
  59   %conv = zext i1 %cmp to i32
  60   %shl = shl nuw nsw i32 %conv, 4
  61   ret i32 %shl
  62
  63 ; CHECK-LABEL: @foo3
  64 ; CHECK-NO-ISEL-LABEL: @foo3
  65 ; CHECK-DAG: cmpw
  66 ; CHECK-DAG: li [[REG1:[0-9]+]], 16
  67 ; CHECK: isel 3, 0, [[REG1]],
  68 ; CHECK: blr
  69
  70 ; CHECK-NO-ISEL: bc 12, 1, [[TRUE:.LBB[0-9]+]]
  71 ; CHECK-NO-ISEL: ori 3, 5, 0
  72 ; CHECK-NO-ISEL-NEXT: blr
  73 ; CHECK-NO-ISEL-NEXT: [[TRUE]]
  74 ; CHECK-NO-ISEL-NEXT: addi 3, 0, 0
  75 ; CHECK-NO-ISEL-NEXT: blr
  76 }
  77
  78 attributes #0 = { nounwind readnone }
  79