projects
/
oota-llvm.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Taints the non-acquire RMW's store address with the load part
[oota-llvm.git]
/
test
/
Verifier
/
dominates.ll
diff --git
a/test/Verifier/dominates.ll
b/test/Verifier/dominates.ll
index 17e2c3399967d3d2071ba9ecb44f21edcb81c59c..c5424bbede3d77e04b617a94b807c2f5ce920574 100644
(file)
--- a/
test/Verifier/dominates.ll
+++ b/
test/Verifier/dominates.ll
@@
-10,14
+10,14
@@
define i32 @f1(i32 %x) {
}
declare i32 @g()
}
declare i32 @g()
-define void @f2(i32 %x) {
+define void @f2(i32 %x)
personality i32 ()* @g
{
bb0:
%y1 = invoke i32 @g() to label %bb1 unwind label %bb2
bb1:
ret void
bb2:
%y2 = phi i32 [%y1, %bb0]
bb0:
%y1 = invoke i32 @g() to label %bb1 unwind label %bb2
bb1:
ret void
bb2:
%y2 = phi i32 [%y1, %bb0]
- %y3 = landingpad i32
personality i32 ()* @g
+ %y3 = landingpad i32
cleanup
ret void
; CHECK: Instruction does not dominate all uses!
cleanup
ret void
; CHECK: Instruction does not dominate all uses!
@@
-26,13
+26,13
@@
bb2:
; CHECK-NEXT: %y2 = phi i32 [ %y1, %bb0 ]
}
; CHECK-NEXT: %y2 = phi i32 [ %y1, %bb0 ]
}
-define void @f3(i32 %x) {
+define void @f3(i32 %x)
personality i32 ()* @g
{
bb0:
%y1 = invoke i32 @g() to label %bb1 unwind label %bb2
bb1:
ret void
bb2:
bb0:
%y1 = invoke i32 @g() to label %bb1 unwind label %bb2
bb1:
ret void
bb2:
- %y2 = landingpad i32
personality i32 ()* @g
+ %y2 = landingpad i32
cleanup
br label %bb3
bb3:
cleanup
br label %bb3
bb3: