test/Transforms/InstCombine/apint-and.ll

   1 ; RUN: opt < %s -instcombine -S | FileCheck %s
   2
   3 ; FIXME: Some of these tests belong in InstSimplify.
   4
   5 ; Integer BitWidth <= 64 && BitWidth % 8 != 0.
   6
   7 define i39 @test0(i39 %A) {
   8 ; CHECK-LABEL: @test0(
   9 ; CHECK-NEXT:    ret i39 0
  10 ;
  11   %B = and i39 %A, 0 ; zero result
  12   ret i39 %B
  13 }
  14
  15 define i15 @test2(i15 %x) {
  16 ; CHECK-LABEL: @test2(
  17 ; CHECK-NEXT:    ret i15 %x
  18 ;
  19   %tmp.2 = and i15 %x, -1 ; noop
  20   ret i15 %tmp.2
  21 }
  22
  23 define i23 @test3(i23 %x) {
  24 ; CHECK-LABEL: @test3(
  25 ; CHECK-NEXT:    ret i23 0
  26 ;
  27   %tmp.0 = and i23 %x, 127
  28   %tmp.2 = and i23 %tmp.0, 128
  29   ret i23 %tmp.2
  30 }
  31
  32 define i1 @test4(i37 %x) {
  33 ; CHECK-LABEL: @test4(
  34 ; CHECK-NEXT:    [[B:%.*]] = icmp ugt i37 %x, 2147483647
  35 ; CHECK-NEXT:    ret i1 [[B]]
  36 ;
  37   %A = and i37 %x, -2147483648
  38   %B = icmp ne i37 %A, 0
  39   ret i1 %B
  40 }
  41
  42 define i7 @test5(i7 %A, i7* %P) {
  43 ; CHECK-LABEL: @test5(
  44 ; CHECK-NEXT:    [[B:%.*]] = or i7 %A, 3
  45 ; CHECK-NEXT:    [[C:%.*]] = xor i7 [[B]], 12
  46 ; CHECK-NEXT:    store i7 [[C]], i7* %P, align 1
  47 ; CHECK-NEXT:    ret i7 3
  48 ;
  49   %B = or i7 %A, 3
  50   %C = xor i7 %B, 12
  51   store i7 %C, i7* %P
  52   %r = and i7 %C, 3
  53   ret i7 %r
  54 }
  55
  56 define i47 @test7(i47 %A) {
  57 ; CHECK-LABEL: @test7(
  58 ; CHECK-NEXT:    [[TMP1:%.*]] = lshr i47 %A, 39
  59 ; CHECK-NEXT:    ret i47 [[TMP1]]
  60 ;
  61   %X = ashr i47 %A, 39 ;; sign extend
  62   %C1 = and i47 %X, 255
  63   ret i47 %C1
  64 }
  65
  66 ; Integer BitWidth > 64 && BitWidth <= 1024.
  67
  68 define i999 @test8(i999 %A) {
  69 ; CHECK-LABEL: @test8(
  70 ; CHECK-NEXT:    ret i999 0
  71 ;
  72   %B = and i999 %A, 0 ; zero result
  73   ret i999 %B
  74 }
  75
  76 define i1005 @test9(i1005 %x) {
  77 ; CHECK-LABEL: @test9(
  78 ; CHECK-NEXT:    ret i1005 %x
  79 ;
  80   %tmp.2 = and i1005 %x, -1 ; noop
  81   ret i1005 %tmp.2
  82 }
  83
  84 define i123 @test10(i123 %x) {
  85 ; CHECK-LABEL: @test10(
  86 ; CHECK-NEXT:    ret i123 0
  87 ;
  88   %tmp.0 = and i123 %x, 127
  89   %tmp.2 = and i123 %tmp.0, 128
  90   ret i123 %tmp.2
  91 }
  92
  93 define i1 @test11(i737 %x) {
  94 ; CHECK-LABEL: @test11(
  95 ; CHECK-NEXT:    [[B:%.*]] = icmp ugt i737 %x, 2147483647
  96 ; CHECK-NEXT:    ret i1 [[B]]
  97 ;
  98   %A = and i737 %x, -2147483648
  99   %B = icmp ne i737 %A, 0
 100   ret i1 %B
 101 }
 102
 103 define i117 @test12(i117 %A, i117* %P) {
 104 ; CHECK-LABEL: @test12(
 105 ; CHECK-NEXT:    [[B:%.*]] = or i117 %A, 3
 106 ; CHECK-NEXT:    [[C:%.*]] = xor i117 [[B]], 12
 107 ; CHECK-NEXT:    store i117 [[C]], i117* %P, align 4
 108 ; CHECK-NEXT:    ret i117 3
 109 ;
 110   %B = or i117 %A, 3
 111   %C = xor i117 %B, 12
 112   store i117 %C, i117* %P
 113   %r = and i117 %C, 3
 114   ret i117 %r
 115 }
 116
 117 define i1024 @test13(i1024 %A) {
 118 ; CHECK-LABEL: @test13(
 119 ; CHECK-NEXT:    [[TMP1:%.*]] = lshr i1024 %A, 1016
 120 ; CHECK-NEXT:    ret i1024 [[TMP1]]
 121 ;
 122   %X = ashr i1024 %A, 1016 ;; sign extend
 123   %C1 = and i1024 %X, 255
 124   ret i1024 %C1
 125 }
 126