30 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<detect>' -polly-print-detect -disable-output < %s 2>&1 | FileCheck %s2;3; Verify that we do not model atomic memory accesses. We did not reason about4; how to handle them correctly and the Alias Set Tracker models some of them5; only as Unknown Instructions, which we do not know how to handle either.;6;7; CHECK-NOT: Valid8target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"9 10@global = external global i64, align 811 12declare void @foo55()13 14define void @blam107() {15bb:16 br label %bb117 18bb1: ; preds = %bb19 %tmp = load atomic i8, ptr @global acquire, align 820 br i1 false, label %bb2, label %bb321 22bb2: ; preds = %bb123 tail call void @foo55() #624 br label %bb325 26bb3: ; preds = %bb2, %bb127 unreachable28}29 30