llvm/test/Transforms/SimplifyCFG/phi-to-select-constexpr-icmp.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -passes=simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S %s | FileCheck %s
   3
   4 @glob = internal constant [5 x ptr] zeroinitializer, align 16
   5
   6 ; Make sure simplifycfg does not crash when dealing with icmp constant
   7 ; expressions.
   8 define i1 @test(i1 %c) {
   9 ; CHECK-LABEL: @test(
  10 ; CHECK-NEXT:  entry:
  11 ; CHECK-NEXT:    [[SPEC_SELECT:%.*]] = select i1 [[C:%.*]], i1 false, i1 icmp ugt (ptr inttoptr (i64 -40 to ptr), ptr @glob)
  12 ; CHECK-NEXT:    ret i1 [[SPEC_SELECT]]
  13 ;
  14 entry:
  15   br i1 %c, label %if.then, label %exit
  16
  17 if.then:
  18   br label %exit
  19
  20 exit:
  21   %p = phi i1 [ false, %if.then ], [ icmp ult (ptr @glob, ptr inttoptr (i64 -40 to ptr)), %entry ]
  22   ret i1 %p
  23 }