[llvm] [llvm] Remove `br i1 undef` from regression tests (PR #116161)

Lee Wei via llvm-commits llvm-commits at lists.llvm.org
Thu Nov 14 14:37:47 PST 2024


================
@@ -50,13 +53,13 @@ entry:
   br label %while.cond
 
 while.cond:
-  br i1 undef, label %while.end, label %while.body
+  br i1 %arg, label %while.end, label %while.body
 
 while.body:                                       ; preds = %while.cond
-  br i1 undef, label %if.then165, label %while.cond
+  br i1 %arg, label %if.then165, label %while.cond
 
 if.then165:                                       ; preds = %while.body
-  br i1 undef, label %while.cond, label %for.body.lr.ph.i81
+  br i1 %arg, label %while.cond, label %for.body.lr.ph.i81
----------------
leewei05 wrote:

@nunoplopes A question here, for this case https://alive2.llvm.org/ce/z/RvwJpB
1. Does infinite loop be seen as Undefined Behavior for Alive2? I remembered John told me that Alive2 unrolls loops twice and after that Alive2 just gives up.

There are two `icmp undef` cases here. The first one was `icmp ult i32 0, undef`, so I replaced it with `false`. The second one was ` icmp ult i32 %inc.i125, undef`, so I replaced it with `%arg`.

https://github.com/llvm/llvm-project/pull/116161


More information about the llvm-commits mailing list