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

   1 ; RUN: opt %loadPolly -polly-detect \
   2 ; RUN:   -analyze < %s | FileCheck %s
   3 ;
   4 ; Verify that we do not model atomic memory accesses. We did not reason about
   5 ; how to handle them correctly and the Alias Set Tracker models some of them
   6 ; only as Unknown Instructions, which we do not know how to handle either.;
   7 ;
   8 ; CHECK-NOT: Valid
   9 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
  10
  11 @global = external global i64, align 8
  12
  13 declare void @foo55()
  14
  15 define void @blam107() {
  16 bb:
  17   br label %bb1
  18
  19 bb1:                                              ; preds = %bb
  20   %tmp = load atomic i8, i8* bitcast (i64* @global to i8*) acquire, align 8
  21   br i1 false, label %bb2, label %bb3
  22
  23 bb2:                                              ; preds = %bb1
  24   tail call void @foo55() #6
  25   br label %bb3
  26
  27 bb3:                                              ; preds = %bb2, %bb1
  28   unreachable
  29 }
  30