llvm/test/Transforms/JumpThreading/phi-xor-branch.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -S -passes=jump-threading %s | FileCheck %s
   3
   4 ; https://github.com/llvm/llvm-project/issues/58812
   5
   6 define void @test() {
   7 ; CHECK-LABEL: @test(
   8 ; CHECK-NEXT:  entry:
   9 ; CHECK-NEXT:    br label [[EXIT:%.*]]
  10 ; CHECK:       loop:
  11 ; CHECK-NEXT:    [[DUMMY:%.*]] = phi i16 [ 0, [[LOOP:%.*]] ]
  12 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i16 0, 1
  13 ; CHECK-NEXT:    [[XOR:%.*]] = xor i1 false, [[XOR]]
  14 ; CHECK-NEXT:    br i1 [[XOR]], label [[LOOP]], label [[EXIT]]
  15 ; CHECK:       exit:
  16 ; CHECK-NEXT:    ret void
  17 ;
  18 entry:
  19   br i1 false, label %loop, label %exit
  20
  21 loop:
  22   %bool = phi i1 [ %xor, %loop.latch ], [ false, %entry ]
  23   %cmp = icmp eq i16 0, 1
  24   %xor = xor i1 %cmp, %bool
  25   br i1 %bool, label %loop.latch, label %exit
  26
  27 loop.latch:
  28   %dummy = phi i16 [ 0, %loop ]
  29   br label %loop
  30
  31 exit:
  32   ret void
  33 }