test/Transforms/InstCombine/icmp-range.ll

   1 ; RUN: opt < %s -instcombine -S | FileCheck %s
   2 ; These should be InstSimplify checks, but most of the code
   3 ; is currently only in InstCombine.  TODO: move supporting code
   4
   5 ; Definitely out of range
   6 define i1 @test_nonzero(i32* nocapture readonly %arg) {
   7 ; CHECK-LABEL:test_nonzero
   8 ; CHECK: ret i1 true
   9   %val = load i32* %arg, !range !0
  10   %rval = icmp ne i32 %val, 0
  11   ret i1 %rval
  12 }
  13 define i1 @test_nonzero2(i32* nocapture readonly %arg) {
  14 ; CHECK-LABEL:test_nonzero2
  15 ; CHECK: ret i1 false
  16   %val = load i32* %arg, !range !0
  17   %rval = icmp eq i32 %val, 0
  18   ret i1 %rval
  19 }
  20
  21 ; Potentially in range
  22 define i1 @test_nonzero3(i32* nocapture readonly %arg) {
  23 ; CHECK-LABEL: test_nonzero3
  24 ; Check that this does not trigger - it wouldn't be legal
  25 ; CHECK: icmp
  26   %val = load i32* %arg, !range !1
  27   %rval = icmp ne i32 %val, 0
  28   ret i1 %rval
  29 }
  30
  31 ; Definitely in range
  32 define i1 @test_nonzero4(i8* nocapture readonly %arg) {
  33 ; CHECK-LABEL: test_nonzero4
  34 ; CHECK: ret i1 false
  35   %val = load i8* %arg, !range !2
  36   %rval = icmp ne i8 %val, 0
  37   ret i1 %rval
  38 }
  39
  40 define i1 @test_nonzero5(i8* nocapture readonly %arg) {
  41 ; CHECK-LABEL: test_nonzero5
  42 ; CHECK: ret i1 false
  43   %val = load i8* %arg, !range !2
  44   %rval = icmp ugt i8 %val, 0
  45   ret i1 %rval
  46 }
  47
  48 ; Cheaper checks (most values in range meet requirements)
  49 define i1 @test_nonzero6(i8* %argw) {
  50 ; CHECK-LABEL: test_nonzero6
  51 ; CHECK: icmp ne i8 %val, 0
  52   %val = load i8* %argw, !range !3
  53   %rval = icmp sgt i8 %val, 0
  54   ret i1 %rval
  55 }
  56
  57
  58 !0 = metadata !{i32 1, i32 6}
  59 !1 = metadata !{i32 0, i32 6}
  60 !2 = metadata !{i8 0, i8 1}
  61 !3 = metadata !{i8 0, i8 6}