llvm-project

1
; RUN: opt %loadNPMPolly '-passes=print<polly-detect>' -disable-output < %s 2>&1 | FileCheck %s
2
;
3
; Verify that we do not model atomic memory accesses. We did not reason about
4
; how to handle them correctly and the Alias Set Tracker models some of them
5
; only as Unknown Instructions, which we do not know how to handle either.;
6
;
7
; CHECK-NOT: Valid
8
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
9

10
@global = external global i64, align 8
11

12
declare void @foo55()
13

14
define void @blam107() {
15
bb:
16
  br label %bb1
17

18
bb1:                                              ; preds = %bb
19
  %tmp = load atomic i8, ptr @global acquire, align 8
20
  br i1 false, label %bb2, label %bb3
21

22
bb2:                                              ; preds = %bb1
23
  tail call void @foo55() #6
24
  br label %bb3
25

26
bb3:                                              ; preds = %bb2, %bb1
27
  unreachable
28
}
29

30