mirrors/llvm-project
0
0
Fork 0
mirror of https://github.com/llvm/llvm-project.git synced 2025-04-19 01:46:49 +00:00
Code Issues Projects Releases Wiki Activity

[JumpThreading][NFC] Pre-commit for invalid LVI.

Browse Source 
(cherry picked from commit 5855a4be9cbc3c4584d8a1632886c347044dfbef)
This commit is contained in:
DianQK 2023-09-03 12:18:57 +08:00 committed by Tobias Hieta
parent 9597525dc1
commit ae9c45b112
1 changed files with 53 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

53
llvm/test/Transforms/JumpThreading/invalidate-lvi.ll Normal file
View File

@ -0,0 +1,53 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 3
; RUN: opt -S -passes=jump-threading < %s | FileCheck %s
declare void @set_value(ptr)
declare void @bar()
define void @foo(i1 %0) {
; CHECK-LABEL: define void @foo(
; CHECK-SAME: i1 [[TMP0:%.*]]) {
; CHECK-NEXT: start:
; CHECK-NEXT: [[V:%.*]] = alloca i64, align 8
; CHECK-NEXT: call void @set_value(ptr [[V]])
; CHECK-NEXT: [[L1:%.*]] = load i64, ptr [[V]], align 8
; CHECK-NEXT: br i1 [[TMP0]], label [[BB0:%.*]], label [[BB4:%.*]]
; CHECK: bb0:
; CHECK-NEXT: [[C1:%.*]] = icmp eq i64 [[L1]], 0
; CHECK-NEXT: br i1 [[C1]], label [[BB1:%.*]], label [[BB4]]
; CHECK: bb1:
; CHECK-NEXT: store i64 0, ptr [[V]], align 8
; CHECK-NEXT: br label [[BB4]]
; CHECK: bb4:
; CHECK-NEXT: [[L2:%.*]] = phi i64 [ 0, [[BB1]] ], [ [[L1]], [[BB0]] ], [ [[L1]], [[START:%.*]] ]
; CHECK-NEXT: ret void
;
start:
%v = alloca i64, align 8
call void @set_value(ptr %v)
%l1 = load i64, ptr %v, align 8, !range !0
br i1 %0, label %bb0, label %bb2
bb0: ; preds = %start
%c1 = icmp eq i64 %l1, 0
br i1 %c1, label %bb1, label %bb2
bb1: ; preds = %bb0
store i64 0, ptr %v, align 8
br label %bb2
bb2: ; preds = %bb1, %bb0, %start
%l2 = load i64, ptr %v, align 8
%1 = icmp eq i64 %l2, 2
br i1 %1, label %bb3, label %bb4
bb3: ; preds = %bb2
call void @bar()
ret void
bb4: ; preds = %bb2
ret void
}
!0 = !{i64 0, i64 2}