llvm/test/Transforms/SCCP/select.ll

   1 ; RUN: opt < %s -passes=sccp -S | FileCheck %s
   2
   3 define i32 @test1(i1 %C) {
   4 ; CHECK-LABEL: define i32 @test1(
   5 ; CHECK-NEXT:   ret i32 0
   6 ;
   7         %X = select i1 %C, i32 0, i32 0         ; <i32> [#uses=1]
   8         ret i32 %X
   9 }
  10
  11 define i32 @test2(i1 %C) {
  12 ; CHECK-LABEL: define i32 @test2(
  13 ; CHECK-NEXT:   ret i32 0
  14 ;
  15         %X = select i1 %C, i32 0, i32 undef             ; <i32> [#uses=1]
  16         ret i32 %X
  17 }
  18
  19 define i1 @f2(i32 %x, i1 %cmp) {
  20 ; CHECK-LABEL: define i1 @f2(i32 %x, i1 %cmp) {
  21 ; CHECK-NEXT:    %sel.1 = select i1 %cmp, i32 %x, i32 10
  22 ; CHECK-NEXT:    %c.1 = icmp sgt i32 %sel.1, 300
  23 ; CHECK-NEXT:    %c.2 = icmp sgt i32 %sel.1, 100
  24 ; CHECK-NEXT:    %c.3 = icmp eq i32 %sel.1, 50
  25 ; CHECK-NEXT:    %c.4 = icmp slt i32 %sel.1, 9
  26 ; CHECK-NEXT:    %res.1 = add i1 %c.1, %c.2
  27 ; CHECK-NEXT:    %res.2 = add i1 %res.1, %c.3
  28 ; CHECK-NEXT:    %res.3 = add i1 %res.2, %c.4
  29 ; CHECK-NEXT:    ret i1 %res.3
  30 ;
  31   %sel.1 = select i1 %cmp, i32 %x, i32 10
  32   %c.1 = icmp sgt i32 %sel.1, 300
  33   %c.2 = icmp sgt i32 %sel.1, 100
  34   %c.3 = icmp eq i32 %sel.1, 50
  35   %c.4 = icmp slt i32 %sel.1, 9
  36   %res.1 = add i1 %c.1, %c.2
  37   %res.2 = add i1 %res.1, %c.3
  38   %res.3 = add i1 %res.2, %c.4
  39   ret i1 %res.3
  40 }