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 [3 x double] [double 1.0, double 4.0, double -20.0]
   6
   7 define i1 @test1(i32 %X) {
   8   %P = getelementptr [10 x i16]* @G16, i32 0, i32 %X
   9   %Q = load i16* %P
  10   %R = icmp eq i16 %Q, 0
  11   ret i1 %R
  12 ; CHECK: @test1
  13 ; CHECK-NEXT: %R = icmp eq i32 %X, 9
  14 ; CHECK-NEXT: ret i1 %R
  15 }
  16
  17 define i1 @test2(i32 %X) {
  18   %P = getelementptr [10 x i16]* @G16, i32 0, i32 %X
  19   %Q = load i16* %P
  20   %R = icmp slt i16 %Q, 85
  21   ret i1 %R
  22 ; CHECK: @test2
  23 ; CHECK-NEXT: %R = icmp ne i32 %X, 4
  24 ; CHECK-NEXT: ret i1 %R
  25 }
  26
  27 define i1 @test3(i32 %X) {
  28   %P = getelementptr [3 x double]* @GD, i32 0, i32 %X
  29   %Q = load double* %P
  30   %R = fcmp oeq double %Q, 1.0
  31   ret i1 %R
  32 ; CHECK: @test3
  33 ; CHECK-NEXT: %R = icmp eq i32 %X, 0
  34 ; CHECK-NEXT: ret i1 %R
  35 }
  36
  37 define i1 @test4(i32 %X) {
  38   %P = getelementptr [10 x i16]* @G16, i32 0, i32 %X
  39   %Q = load i16* %P
  40   %R = icmp sle i16 %Q, 73
  41   ret i1 %R
  42 ; CHECK: @test4
  43 ; CHECK-NEXT: lshr i32 933, %X
  44 ; CHECK-NEXT: and i32 {{.*}}, 1
  45 ; CHECK-NEXT: %R = icmp ne i32 {{.*}}, 0
  46 ; CHECK-NEXT: ret i1 %R
  47 }
  48
  49 define i1 @test5(i32 %X) {
  50   %P = getelementptr [10 x i16]* @G16, i32 0, i32 %X
  51   %Q = load i16* %P
  52   %R = icmp eq i16 %Q, 69
  53   ret i1 %R
  54 ; CHECK: @test5
  55 ; CHECK-NEXT: icmp eq i32 %X, 2
  56 ; CHECK-NEXT: icmp eq i32 %X, 7
  57 ; CHECK-NEXT: %R = or i1
  58 ; CHECK-NEXT: ret i1 %R
  59 }