llvm/test/Transforms/SimplifyCFG/nonintegral.ll

   1 ; RUN: opt -passes=simplifycfg -S < %s | FileCheck %s
   2
   3 target datalayout = "ni:1"
   4
   5 define void @test_01(ptr addrspace(1) align 8 %ptr) {
   6 ; CHECK-LABEL: @test_01(
   7 ; CHECK-NOT:   ptrtoint
   8 ; CHECK-NEXT:  icmp eq ptr addrspace(1) %ptr, null
   9 ; CHECK-NOT:   ptrtoint
  10   %cond1 = icmp eq ptr addrspace(1) %ptr, null
  11   %cond2 = icmp eq ptr addrspace(1) %ptr, null
  12   br i1 %cond1, label %true1, label %false1
  13
  14 true1:
  15   br i1 %cond2, label %true2, label %false2
  16
  17 false1:
  18   store i64 1, ptr addrspace(1) %ptr, align 8
  19   br label %true1
  20
  21 true2:
  22   store i64 2, ptr addrspace(1) %ptr, align 8
  23   ret void
  24
  25 false2:
  26   store i64 3, ptr addrspace(1) %ptr, align 8
  27   ret void
  28 }