llvm/test/Transforms/JumpThreading/phi-copy-to-pred.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -passes=jump-threading -S < %s | FileCheck %s

declare void @f()
declare void @g()
declare void @h()

define i32 @test(i1 %cond, i1 %a, i1 %b) {
; CHECK-LABEL: @test(
; CHECK-NEXT:    br i1 [[COND:%.*]], label [[A:%.*]], label [[C:%.*]]
; CHECK:       A:
; CHECK-NEXT:    call void @f()
; CHECK-NEXT:    br i1 [[A:%.*]], label [[EXIT1:%.*]], label [[EXIT2:%.*]]
; CHECK:       C:
; CHECK-NEXT:    call void @g()
; CHECK-NEXT:    br i1 [[B:%.*]], label [[EXIT1]], label [[EXIT2]]
; CHECK:       EXIT1:
; CHECK-NEXT:    ret i32 0
; CHECK:       EXIT2:
; CHECK-NEXT:    ret i32 1
;
  br i1 %cond, label %A, label %B
A:
  call void @f()
  br label %C
B:
  call void @g()
  br label %C
C:
  %p = phi i1 [%a, %A], [%b, %B] ; Check that this is removed
  br i1 %p, label %EXIT1, label %EXIT2
EXIT1:
  ret i32 0
EXIT2:
  ret i32 1
}

define i32 @test2(i1 %cond, i1 %a, i1 %b) {
; CHECK-LABEL: @test2(
; CHECK-NEXT:    br i1 [[COND:%.*]], label [[A:%.*]], label [[C:%.*]]
; CHECK:       A:
; CHECK-NEXT:    call void @f()
; CHECK-NEXT:    [[P_FR1:%.*]] = freeze i1 [[A:%.*]]
; CHECK-NEXT:    br i1 [[P_FR1]], label [[EXIT1:%.*]], label [[EXIT2:%.*]]
; CHECK:       C:
; CHECK-NEXT:    call void @g()
; CHECK-NEXT:    [[P_FR:%.*]] = freeze i1 [[B:%.*]]
; CHECK-NEXT:    br i1 [[P_FR]], label [[EXIT1]], label [[EXIT2]]
; CHECK:       EXIT1:
; CHECK-NEXT:    ret i32 0
; CHECK:       EXIT2:
; CHECK-NEXT:    ret i32 1
;
  br i1 %cond, label %A, label %B
A:
  call void @f()
  br label %C
B:
  call void @g()
  br label %C
C:
  %p = phi i1 [%a, %A], [%b, %B] ; Check that this is removed
  %p.fr = freeze i1 %p
  br i1 %p.fr, label %EXIT1, label %EXIT2
EXIT1:
  ret i32 0
EXIT2:
  ret i32 1
}

; origin: https://github.com/llvm/llvm-project/issues/197725
define i32 @PR197725() {
; CHECK-LABEL: @PR197725(
; CHECK-NEXT:  exit:
; CHECK-NEXT:    [[NOT:%.*]] = xor i32 0, 1
; CHECK-NEXT:    [[NOT1:%.*]] = xor i32 [[NOT]], 1
; CHECK-NEXT:    ret i32 [[NOT]]
;
entry:
  br i1 false, label %loop2, label %loop1
loop1:
  %cond = phi i1 [ %tobool, %loop2 ], [ false, %entry ]
  %val = phi i32 [ %not_phi, %loop2 ], [ 0, %entry ]
  %not = xor i32 %val, 1
  br i1 %cond, label %exit, label %loop2
exit:
  ret i32 %val
loop2:
  %not_phi = phi i32 [ %not, %loop1 ], [ 0, %entry ]
  %tobool = icmp ne i8 1, 0
  br label %loop1
}