polly/test/CodeGen/region-with-instructions.ll

   1 ; RUN: opt %loadPolly -polly-codegen -S < %s | FileCheck %s
   2
   3 ; CHECK-LABEL:   polly.stmt.bb48:
   4 ; CHECK-NEXT:   %[[offset:.*]] = shl i64 %polly.indvar, 3
   5 ; CHECK-NEXT:   %scevgep = getelementptr i8, ptr %A, i64 %[[offset]]
   6 ; CHECK-NEXT:   %tmp51_p_scalar_ = load i64, ptr %scevgep,
   7 ; CHECK-NEXT:   %p_tmp52 = and i64 %tmp51_p_scalar_, %tmp26
   8 ; CHECK-NEXT:   %p_tmp53 = icmp eq i64 %p_tmp52, %tmp26
   9 ; CHECK-NEXT:   store i64 42, ptr %scevgep, align 8
  10 ; CHECK-NEXT:   br i1 %p_tmp53, label %polly.stmt.bb54, label %polly.stmt.bb56.exit
  11
  12 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
  13
  14 define void @quux(i32 %arg, i32 %arg1, ptr %A, i64 %tmp9, i64 %tmp24, i64 %tmp14, i64 %tmp22, i64 %tmp44) {
  15 bb:
  16   %tmp26 = or i64 %tmp22, %tmp24
  17   br label %bb39
  18
  19 bb39:                                             ; preds = %bb39, %bb38
  20   %tmp45 = icmp eq i64 %tmp44, %tmp9
  21   br i1 %tmp45, label %bb46, label %bb81
  22
  23 bb46:                                             ; preds = %bb39
  24   %tmp47 = or i64 1, %tmp14
  25   br label %bb48
  26
  27 bb48:                                             ; preds = %bb56, %bb46
  28   %tmp49 = phi i64 [ 0, %bb46 ], [ %tmp57, %bb56 ]
  29   %tmp50 = getelementptr inbounds i64, ptr %A, i64 %tmp49
  30   %tmp51 = load i64, ptr %tmp50, align 8
  31   %tmp52 = and i64 %tmp51, %tmp26
  32   %tmp53 = icmp eq i64 %tmp52, %tmp26
  33   store i64 42, ptr %tmp50, align 8
  34   br i1 %tmp53, label %bb54, label %bb56
  35
  36 bb54:                                             ; preds = %bb48
  37   %tmp55 = xor i64 %tmp51, %tmp47
  38   store i64 %tmp55, ptr %tmp50, align 8
  39   br label %bb56
  40
  41 bb56:                                             ; preds = %bb54, %bb48
  42   %tmp57 = add nuw nsw i64 %tmp49, 1
  43   %tmp58 = icmp eq i64 %tmp57, %tmp9
  44   br i1 %tmp58, label %bb81, label %bb48
  45
  46 bb81:                                             ; preds = %bb74, %bb56
  47   ret void
  48 }