[llvm] 034ec9d - [StructurizeCFG] Precommit test case for D120312

[Jay Foad via llvm-commits]

Author: Jay Foad
Date: 2022-02-22T10:10:46Z
New Revision: 034ec9d708cbcb1393c496212013e2b3c05e4dd1

URL: https://github.com/llvm/llvm-project/commit/034ec9d708cbcb1393c496212013e2b3c05e4dd1
DIFF: https://github.com/llvm/llvm-project/commit/034ec9d708cbcb1393c496212013e2b3c05e4dd1.diff

LOG: [StructurizeCFG] Precommit test case for D120312

Added: 
    

Modified: 
    llvm/test/Transforms/StructurizeCFG/invert-condition.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/StructurizeCFG/invert-condition.ll b/llvm/test/Transforms/StructurizeCFG/invert-condition.ll
index c5db5ad0e4d3..5b6f1d854517 100644
--- a/llvm/test/Transforms/StructurizeCFG/invert-condition.ll
+++ b/llvm/test/Transforms/StructurizeCFG/invert-condition.ll
@@ -28,3 +28,39 @@ bb2:                                              ; preds = %bb2, %bb
 bb5:                                              ; preds = %bb2
   ret void
 }
+
+; FIXME: StructurizeCFG modifies I5 in-place without updating the use of I5 in
+; the phi instruction.
+define void @invert_condition_phi(i32 %arg) {
+; CHECK-LABEL: @invert_condition_phi(
+; CHECK-NEXT:  main_body:
+; CHECK-NEXT:    [[I5:%.*]] = icmp ne i32 [[ARG:%.*]], 0
+; CHECK-NEXT:    br i1 [[I5]], label [[IF1:%.*]], label [[ENDIF1:%.*]]
+; CHECK:       if1:
+; CHECK-NEXT:    br label [[ENDIF1]]
+; CHECK:       endif1:
+; CHECK-NEXT:    [[I7:%.*]] = phi i1 [ [[I5]], [[MAIN_BODY:%.*]] ], [ false, [[IF1]] ]
+; CHECK-NEXT:    [[I7_INV:%.*]] = xor i1 [[I7]], true
+; CHECK-NEXT:    br i1 [[I7_INV]], label [[IF4:%.*]], label [[ENDIF4:%.*]]
+; CHECK:       if4:
+; CHECK-NEXT:    br label [[ENDIF4]]
+; CHECK:       endif4:
+; CHECK-NEXT:    ret void
+;
+main_body:
+  %i5 = icmp eq i32 %arg, 0
+  br i1 %i5, label %endif1, label %if1
+
+if1:
+  br label %endif1
+
+endif1:
+  %i7 = phi i1 [ false, %if1 ], [ %i5, %main_body ]
+  br i1 %i7, label %endif4, label %if4
+
+if4:
+  br label %endif4
+
+endif4:
+  ret void
+}