maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[Test] Add a test exposing a miscompile in SimpleLoopUnswitch. 

The miscompile was introduced by 6b4b1dc6ec.
This commit is contained in:
Daniil Suchkov 2021-09-28 23:30:50 +00:00
parent af7ac1d95b
commit bdd52e8bae
1 changed files with 41 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

41
llvm/test/Transforms/SimpleLoopUnswitch/nontrivial-unswitch-invariant-select-bug.ll Normal file
View File

@ -0,0 +1,41 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -passes='simple-loop-unswitch<nontrivial>' -S < %s | FileCheck %s
; FIXME: We should not replace `true` with `false` here!
define i1 @bar() {
; CHECK-LABEL: @bar(
; CHECK-NEXT: ret i1 false
;
ret i1 true
}
; FIXME: We shouldn't unswitch this loop!
define void @foo() {
; CHECK-LABEL: @foo(
; CHECK-NEXT: entry:
; CHECK-NEXT: br i1 true, label [[ENTRY_SPLIT_US:%.*]], label [[ENTRY_SPLIT:%.*]]
; CHECK: entry.split.us:
; CHECK-NEXT: br label [[HEADER_US:%.*]]
; CHECK: header.us:
; CHECK-NEXT: [[VAL_US:%.*]] = select i1 true, i1 true, i1 false
; CHECK-NEXT: br label [[EXIT_SPLIT_US:%.*]]
; CHECK: exit.split.us:
; CHECK-NEXT: br label [[EXIT:%.*]]
; CHECK: entry.split:
; CHECK-NEXT: br label [[HEADER:%.*]]
; CHECK: header:
; CHECK-NEXT: [[VAL:%.*]] = select i1 false, i1 false, i1 false
; CHECK-NEXT: br label [[HEADER]]
; CHECK: exit:
; CHECK-NEXT: ret void
;
entry:
br label %header
header:
%val = select i1 true, i1 true, i1 false
br i1 %val, label %exit, label %header
exit:
ret void
}