test/CodeGen/X86/dagcombine-and-setcc.ll

   1 ; RUN: llc < %s | FileCheck %s
   2
   3 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
   4 target triple = "x86_64-apple-macosx10.10.0"
   5
   6 ; Function Attrs: nounwind
   7 declare i32 @printf(i8* nocapture readonly, ...)
   8
   9 ; On X86 1 is true and 0 is false, so we can't perform the combine:
  10 ; (and (setgt X,  true), (setgt Y,  true)) -> (setgt (or X, Y), true)
  11 ; This combine only works if the true value is -1.
  12
  13
  14 ;CHECK: cmpl
  15 ;CHECK: setg
  16 ;CHECK: cmpl
  17 ;CHECK: setg
  18 ;CHECK: andb
  19
  20 @.str = private unnamed_addr constant [4 x i8] c"%d\0A\00", align 1
  21 ; Function Attrs: optsize ssp uwtable
  22 define i32 @foo(i32 %a, i32 %b, i32 * %c) {
  23 if.else429:
  24   %cmp.i1144 = icmp eq i32* %c, null
  25   %cmp430 = icmp slt i32 %a, 2
  26   %cmp432 = icmp slt i32 %b, 2
  27   %or.cond710 = or i1 %cmp430, %cmp432
  28   %or.cond710.not = xor i1 %or.cond710, true
  29   %brmerge1448 = or i1 %cmp.i1144, %or.cond710.not
  30   br i1 %brmerge1448, label %ret1, label %ret2
  31
  32 ret1:
  33   ret i32 0
  34
  35 ret2:
  36   ret i32 1
  37 }
  38
  39 define i32 @main(i32 %argc, i8** nocapture readnone %argv) {
  40   %res = alloca i32, align 4
  41   %t = call i32 @foo(i32 1, i32 2, i32* %res) #3
  42   %v = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), i32 %t)
  43   ret i32 0
  44 }
  45
  46
  47