llvm/test/Transforms/CodeGenPrepare/X86/ext-logicop.ll

   1 ; RUN: opt < %s -codegenprepare -S -mtriple=x86_64-unknown-unknown    | FileCheck %s
   2
   3
   4 @a = global [10 x i8] zeroinitializer, align 1
   5 declare void @foo()
   6
   7 ; ext(and(ld, cst)) -> and(ext(ld), ext(cst))
   8 define void @test1(ptr %p, i32 %ll) {
   9 ; CHECK-LABEL: @test1
  10 ; CHECK-NEXT:  entry:
  11 ; CHECK-NEXT:    load
  12 ; CHECK-NEXT:    zext
  13 ; CHECK-NEXT:    and
  14 entry:
  15   %tmp = load i8, ptr @a, align 1
  16   %and = and i8 %tmp, 60
  17   %cmp = icmp ugt i8 %and, 20
  18   br i1 %cmp, label %if.then, label %if.end
  19
  20 if.then:                                          ; preds = %entry
  21   %conv2 = zext i8 %and to i32
  22   %add = add nsw i32 %conv2, %ll
  23   store i32 %add, ptr %p, align 4
  24   br label %if.end
  25
  26 if.end:                                           ; preds = %if.then, %entry
  27   tail call void @foo()
  28   ret void
  29 }
  30
  31 ; ext(or(ld, cst)) -> or(ext(ld), ext(cst))
  32 define void @test2(ptr %p, i32 %ll) {
  33 ; CHECK-LABEL: @test2
  34 ; CHECK-NEXT:  entry:
  35 ; CHECK-NEXT:    load
  36 ; CHECK-NEXT:    zext
  37 ; CHECK-NEXT:    or
  38 entry:
  39   %tmp = load i8, ptr @a, align 1
  40   %or = or i8 %tmp, 60
  41   %cmp = icmp ugt i8 %or, 20
  42   br i1 %cmp, label %if.then, label %if.end
  43
  44 if.then:                                          ; preds = %entry
  45   %conv2 = zext i8 %or to i32
  46   %add = add nsw i32 %conv2, %ll
  47   store i32 %add, ptr %p, align 4
  48   br label %if.end
  49
  50 if.end:                                           ; preds = %if.then, %entry
  51   tail call void @foo()
  52   ret void
  53 }
  54
  55 ; ext(and(shl(ld, cst), cst)) -> and(shl(ext(ld), ext(cst)), ext(cst))
  56 define void @test3(ptr %p, i32 %ll) {
  57 ; CHECK-LABEL: @test3
  58 ; CHECK-NEXT:  entry:
  59 ; CHECK-NEXT:    load
  60 ; CHECK-NEXT:    zext
  61 ; CHECK-NEXT:    shl
  62 ; CHECK-NEXT:    and
  63 entry:
  64   %tmp = load i8, ptr @a, align 1
  65   %shl = shl i8 %tmp, 2
  66   %and = and i8 %shl, 60
  67   %cmp = icmp ugt i8 %and, 20
  68   br i1 %cmp, label %if.then, label %if.end
  69
  70 if.then:                                          ; preds = %entry
  71   %conv2 = zext i8 %and to i32
  72   %add = add nsw i32 %conv2, %ll
  73   store i32 %add, ptr %p, align 4
  74   br label %if.end
  75
  76 if.end:                                           ; preds = %if.then, %entry
  77   tail call void @foo()
  78   ret void
  79 }
  80
  81 ; zext(shrl(ld, cst)) -> shrl(zext(ld), zext(cst))
  82 define void @test4(ptr %p, i32 %ll) {
  83 ; CHECK-LABEL: @test4
  84 ; CHECK-NEXT:  entry:
  85 ; CHECK-NEXT:    load
  86 ; CHECK-NEXT:    zext
  87 ; CHECK-NEXT:    lshr
  88 entry:
  89   %tmp = load i8, ptr @a, align 1
  90   %lshr = lshr i8 %tmp, 2
  91   %cmp = icmp ugt i8 %lshr, 20
  92   br i1 %cmp, label %if.then, label %if.end
  93
  94 if.then:                                          ; preds = %entry
  95   %conv2 = zext i8 %lshr to i32
  96   %add = add nsw i32 %conv2, %ll
  97   store i32 %add, ptr %p, align 4
  98   br label %if.end
  99
 100 if.end:                                           ; preds = %if.then, %entry
 101   tail call void @foo()
 102   ret void
 103 }
 104
 105 ; ext(xor(ld, cst)) -> xor(ext(ld), ext(cst))
 106 define void @test5(ptr %p, i32 %ll) {
 107 ; CHECK-LABEL: @test5
 108 ; CHECK-NEXT:  entry:
 109 ; CHECK-NEXT:    load
 110 ; CHECK-NEXT:    zext
 111 ; CHECK-NEXT:    xor
 112 entry:
 113   %tmp = load i8, ptr @a, align 1
 114   %xor = xor i8 %tmp, 60
 115   %cmp = icmp ugt i8 %xor, 20
 116   br i1 %cmp, label %if.then, label %if.end
 117
 118 if.then:                                          ; preds = %entry
 119   %conv2 = zext i8 %xor to i32
 120   %add = add nsw i32 %conv2, %ll
 121   store i32 %add, ptr %p, align 4
 122   br label %if.end
 123
 124 if.end:                                           ; preds = %if.then, %entry
 125   tail call void @foo()
 126   ret void
 127 }
 128