llvm/test/Transforms/SCCP/apint-select.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=sccp -S | FileCheck %s
   3
   4 @A = constant i32 10
   5
   6 define i712 @test1() {
   7 ; CHECK-LABEL: @test1(
   8 ; CHECK-NEXT:    [[BB:%.*]] = and i64 ptrtoint (ptr @A to i64), undef
   9 ; CHECK-NEXT:    [[C:%.*]] = icmp sge i64 [[BB]], 0
  10 ; CHECK-NEXT:    [[X:%.*]] = select i1 [[C]], i712 0, i712 1
  11 ; CHECK-NEXT:    ret i712 [[X]]
  12 ;
  13   %B = ptrtoint ptr @A to i64
  14   %BB = and i64 %B, undef
  15   %C = icmp sge i64 %BB, 0
  16   %X = select i1 %C, i712 0, i712 1
  17   ret i712 %X
  18 }
  19
  20
  21
  22 define i712 @test2(i1 %C) {
  23 ; CHECK-LABEL: @test2(
  24 ; CHECK-NEXT:    ret i712 0
  25 ;
  26   %X = select i1 %C, i712 0, i712 undef
  27   ret i712 %X
  28 }