test/Transforms/InstCombine/load-cmp.ll

   1 ; RUN: opt < %s -instcombine -S | FileCheck %s
   2
   3 @G16 = internal constant [10 x i16] [i16 35, i16 82, i16 69, i16 81, i16 85,
   4                                      i16 73, i16 82, i16 69, i16 68, i16 0]
   5 @GD = internal constant [6 x double]
   6    [double -10.0, double 1.0, double 4.0, double 2.0, double -20.0, double -40.0]
   7
   8 define i1 @test1(i32 %X) {
   9   %P = getelementptr inbounds [10 x i16]* @G16, i32 0, i32 %X
  10   %Q = load i16* %P
  11   %R = icmp eq i16 %Q, 0
  12   ret i1 %R
  13 ; CHECK: @test1
  14 ; CHECK-NEXT: %R = icmp eq i32 %X, 9
  15 ; CHECK-NEXT: ret i1 %R
  16 }
  17
  18 define i1 @test2(i32 %X) {
  19   %P = getelementptr inbounds [10 x i16]* @G16, i32 0, i32 %X
  20   %Q = load i16* %P
  21   %R = icmp slt i16 %Q, 85
  22   ret i1 %R
  23 ; CHECK: @test2
  24 ; CHECK-NEXT: %R = icmp ne i32 %X, 4
  25 ; CHECK-NEXT: ret i1 %R
  26 }
  27
  28 define i1 @test3(i32 %X) {
  29   %P = getelementptr inbounds [6 x double]* @GD, i32 0, i32 %X
  30   %Q = load double* %P
  31   %R = fcmp oeq double %Q, 1.0
  32   ret i1 %R
  33 ; CHECK: @test3
  34 ; CHECK-NEXT: %R = icmp eq i32 %X, 1
  35 ; CHECK-NEXT: ret i1 %R
  36 }
  37
  38 define i1 @test4(i32 %X) {
  39   %P = getelementptr inbounds [10 x i16]* @G16, i32 0, i32 %X
  40   %Q = load i16* %P
  41   %R = icmp sle i16 %Q, 73
  42   ret i1 %R
  43 ; CHECK: @test4
  44 ; CHECK-NEXT: lshr i32 933, %X
  45 ; CHECK-NEXT: and i32 {{.*}}, 1
  46 ; CHECK-NEXT: %R = icmp ne i32 {{.*}}, 0
  47 ; CHECK-NEXT: ret i1 %R
  48 }
  49
  50 define i1 @test4_i16(i16 %X) {
  51   %P = getelementptr inbounds [10 x i16]* @G16, i32 0, i16 %X
  52   %Q = load i16* %P
  53   %R = icmp sle i16 %Q, 73
  54   ret i1 %R
  55 ; CHECK: @test4_i16
  56 ; CHECK-NEXT: lshr i16 933, %X
  57 ; CHECK-NEXT: and i16 {{.*}}, 1
  58 ; CHECK-NEXT: %R = icmp ne i16 {{.*}}, 0
  59 ; CHECK-NEXT: ret i1 %R
  60 }
  61
  62 define i1 @test5(i32 %X) {
  63   %P = getelementptr inbounds [10 x i16]* @G16, i32 0, i32 %X
  64   %Q = load i16* %P
  65   %R = icmp eq i16 %Q, 69
  66   ret i1 %R
  67 ; CHECK: @test5
  68 ; CHECK-NEXT: icmp eq i32 %X, 2
  69 ; CHECK-NEXT: icmp eq i32 %X, 7
  70 ; CHECK-NEXT: %R = or i1
  71 ; CHECK-NEXT: ret i1 %R
  72 }
  73
  74 define i1 @test6(i32 %X) {
  75   %P = getelementptr inbounds [6 x double]* @GD, i32 0, i32 %X
  76   %Q = load double* %P
  77   %R = fcmp ogt double %Q, 0.0
  78   ret i1 %R
  79 ; CHECK: @test6
  80 ; CHECK-NEXT: add i32 %X, -1
  81 ; CHECK-NEXT: %R = icmp ult i32 {{.*}}, 3
  82 ; CHECK-NEXT: ret i1 %R
  83 }
  84
  85 define i1 @test7(i32 %X) {
  86   %P = getelementptr inbounds [6 x double]* @GD, i32 0, i32 %X
  87   %Q = load double* %P
  88   %R = fcmp olt double %Q, 0.0
  89   ret i1 %R
  90 ; CHECK: @test7
  91 ; CHECK-NEXT: add i32 %X, -1
  92 ; CHECK-NEXT: %R = icmp ugt i32 {{.*}}, 2
  93 ; CHECK-NEXT: ret i1 %R
  94 }
  95
  96 define i1 @test8(i32 %X) {
  97   %P = getelementptr inbounds [10 x i16]* @G16, i32 0, i32 %X
  98   %Q = load i16* %P
  99   %R = and i16 %Q, 3
 100   %S = icmp eq i16 %R, 0
 101   ret i1 %S
 102 ; CHECK: @test8
 103 ; CHECK-NEXT: and i32 %X, -2
 104 ; CHECK-NEXT: icmp eq i32 {{.*}}, 8
 105 ; CHECK-NEXT: ret i1
 106 }
 107
 108 @GA = internal constant [4 x { i32, i32 } ] [
 109   { i32, i32 } { i32 1, i32 0 },
 110   { i32, i32 } { i32 2, i32 1 },
 111   { i32, i32 } { i32 3, i32 1 },
 112   { i32, i32 } { i32 4, i32 0 }
 113 ]
 114
 115 define i1 @test9(i32 %X) {
 116   %P = getelementptr inbounds [4 x { i32, i32 } ]* @GA, i32 0, i32 %X, i32 1
 117   %Q = load i32* %P
 118   %R = icmp eq i32 %Q, 1
 119   ret i1 %R
 120 ; CHECK: @test9
 121 ; CHECK-NEXT: add i32 %X, -1
 122 ; CHECK-NEXT: icmp ult i32 {{.*}}, 2
 123 ; CHECK-NEXT: ret i1
 124 }