2003-08-17-BranchFold.ll 441 B

12345678910111213141516171819202122
  1. ; This test checks to make sure that 'br X, Dest, Dest' is folded into
  2. ; 'br Dest'
  3. ; RUN: opt < %s -simplifycfg -S | FileCheck %s
  4. declare void @noop()
  5. ; CHECK-NOT: br i1 %c2
  6. define i32 @test(i1 %c1, i1 %c2) {
  7. call void @noop( )
  8. br i1 %c1, label %A, label %Y
  9. A: ; preds = %0
  10. call void @noop( )
  11. br i1 %c2, label %X, label %X
  12. X: ; preds = %Y, %A, %A
  13. call void @noop( )
  14. ret i32 0
  15. Y: ; preds = %0
  16. call void @noop( )
  17. br label %X
  18. }