[ARM] Do not generate Tag_DIV_use=AllowDIVExt when hardware div is non-optional:...
[oota-llvm.git] / test / Analysis / GlobalsModRef / modreftest.ll
index f84725a3859c6c41b28463edad2e65749cf48434..3eed916e83b4e2b4a244ed992d30947c1acefb18 100644 (file)
@@ -1,7 +1,12 @@
-; RUN: opt %s -globalsmodref-aa -gvn | llvm-dis | not grep load
+; RUN: opt < %s -basicaa -globalsmodref-aa -gvn -S | FileCheck %s
+
 @X = internal global i32 4             ; <i32*> [#uses=2]
 
 define i32 @test(i32* %P) {
+; CHECK:      @test
+; CHECK-NEXT: store i32 12, i32* @X
+; CHECK-NEXT: call void @doesnotmodX()
+; CHECK-NEXT: ret i32 12
        store i32 12, i32* @X
        call void @doesnotmodX( )
        %V = load i32* @X               ; <i32> [#uses=1]