1; RUN: opt %loadNPMPolly '-passes=print<polly-function-scops>' -polly-allow-differing-element-types -disable-output < %s 2>&1 | FileCheck %s 2; 3; void multiple_types(i8 *A) { 4; for (long i = 0; i < 100; i++) { 5; A[i] = *(i128 *)&A[16 * i] + 6; *(i192 *)&A[24 * i]; 7; } 8; } 9; 10; 11; CHECK: Arrays { 12; CHECK: i64 MemRef_A[*]; // Element size 8 13; CHECK: } 14; CHECK: Arrays (Bounds as pw_affs) { 15; CHECK: i64 MemRef_A[*]; // Element size 8 16; CHECK: } 17; CHECK: Alias Groups (0): 18; CHECK: n/a 19; CHECK: Statements { 20; CHECK: Stmt_bb2 21; CHECK: Domain := 22; CHECK: { Stmt_bb2[i0] : 0 <= i0 <= 99 }; 23; CHECK: Schedule := 24; CHECK: { Stmt_bb2[i0] -> [i0] }; 25; CHECK: ReadAccess := [Reduction Type: NONE] [Scalar: 0] 26; CHECK: { Stmt_bb2[i0] -> MemRef_A[o0] : 2i0 <= o0 <= 1 + 2i0 } 27; CHECK: ReadAccess := [Reduction Type: NONE] [Scalar: 0] 28; CHECK: { Stmt_bb2[i0] -> MemRef_A[o0] : 3i0 <= o0 <= 2 + 3i0 } 29; CHECK: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0] 30; CHECK: { Stmt_bb2[i0] -> MemRef_A[o0] : 2i0 <= o0 <= 1 + 2i0 } 31; CHECK: } 32 33target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 34 35define void @multiple_types(ptr %A) { 36bb: 37 br label %bb1 38 39bb1: ; preds = %bb20, %bb 40 %i.0 = phi i64 [ 0, %bb ], [ %tmp21, %bb20 ] 41 %exitcond = icmp ne i64 %i.0, 100 42 br i1 %exitcond, label %bb2, label %bb22 43 44bb2: ; preds = %bb1 45 %load.i128.offset = mul i64 %i.0, 16 46 %load.i128.ptr = getelementptr inbounds i8, ptr %A, i64 %load.i128.offset 47 %load.i128.val = load i128, ptr %load.i128.ptr 48 49 %load.i192.offset = mul i64 %i.0, 24 50 %load.i192.ptr = getelementptr inbounds i8, ptr %A, i64 %load.i192.offset 51 %load.i192.val = load i192, ptr %load.i192.ptr 52 %load.i192.val.trunc = trunc i192 %load.i192.val to i128 53 54 %sum = add i128 %load.i128.val, %load.i192.val.trunc 55 store i128 %sum, ptr %load.i128.ptr 56 br label %bb20 57 58bb20: ; preds = %bb2 59 %tmp21 = add nuw nsw i64 %i.0, 1 60 br label %bb1 61 62bb22: ; preds = %bb1 63 ret void 64} 65 66