polly/test/ScopDetect/non-simple-memory-accesses.ll

   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