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 @test5(i32 %X) {
  51   %P = getelementptr inbounds [10 x i16]* @G16, i32 0, i32 %X
  52   %Q = load i16* %P
  53   %R = icmp eq i16 %Q, 69
  54   ret i1 %R
  55 ; CHECK: @test5
  56 ; CHECK-NEXT: icmp eq i32 %X, 2
  57 ; CHECK-NEXT: icmp eq i32 %X, 7
  58 ; CHECK-NEXT: %R = or i1
  59 ; CHECK-NEXT: ret i1 %R
  60 }
  61
  62 define i1 @test6(i32 %X) {
  63   %P = getelementptr inbounds [6 x double]* @GD, i32 0, i32 %X
  64   %Q = load double* %P
  65   %R = fcmp ogt double %Q, 0.0
  66   ret i1 %R
  67 ; CHECK: @test6
  68 ; CHECK-NEXT: add i32 %X, -1
  69 ; CHECK-NEXT: %R = icmp ult i32 {{.*}}, 3
  70 ; CHECK-NEXT: ret i1 %R
  71 }
  72
  73 define i1 @test7(i32 %X) {
  74   %P = getelementptr inbounds [6 x double]* @GD, i32 0, i32 %X
  75   %Q = load double* %P
  76   %R = fcmp olt double %Q, 0.0
  77   ret i1 %R
  78 ; CHECK: @test7
  79 ; CHECK-NEXT: add i32 %X, -1
  80 ; CHECK-NEXT: %R = icmp ugt i32 {{.*}}, 2
  81 ; CHECK-NEXT: ret i1 %R
  82 }
  83
  84 define i1 @test8(i32 %X) {
  85   %P = getelementptr inbounds [10 x i16]* @G16, i32 0, i32 %X
  86   %Q = load i16* %P
  87   %R = and i16 %Q, 3
  88   %S = icmp eq i16 %R, 0
  89   ret i1 %S
  90 ; CHECK: @test8
  91 ; CHECK-NEXT: add i32 %X, -8
  92 ; CHECK-NEXT: icmp ult i32 {{.*}}, 2
  93 ; CHECK-NEXT: ret i1
  94 }
  95
  96 @GA = internal constant [4 x { i32, i32 } ] [
  97   { i32, i32 } { i32 1, i32 0 },
  98   { i32, i32 } { i32 2, i32 1 },
  99   { i32, i32 } { i32 3, i32 1 },
 100   { i32, i32 } { i32 4, i32 0 }
 101 ]
 102
 103 define i1 @test9(i32 %X) {
 104   %P = getelementptr inbounds [4 x { i32, i32 } ]* @GA, i32 0, i32 %X, i32 1
 105   %Q = load i32* %P
 106   %R = icmp eq i32 %Q, 1
 107   ret i1 %R
 108 ; CHECK: @test9
 109 ; CHECK-NEXT: add i32 %X, -1
 110 ; CHECK-NEXT: icmp ult i32 {{.*}}, 2
 111 ; CHECK-NEXT: ret i1
 112 }