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 (i32* @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   %P = getelementptr i32, i32* @A, i32 0
  14   %B = ptrtoint i32* %P to i64
  15   %BB = and i64 %B, undef
  16   %C = icmp sge i64 %BB, 0
  17   %X = select i1 %C, i712 0, i712 1
  18   ret i712 %X
  19 }
  20
  21
  22
  23 define i712 @test2(i1 %C) {
  24 ; CHECK-LABEL: @test2(
  25 ; CHECK-NEXT:    ret i712 0
  26 ;
  27   %X = select i1 %C, i712 0, i712 undef
  28   ret i712 %X
  29 }