xref: /llvm-project/llvm/test/Transforms/EarlyCSE/gep.ll (revision 38fffa630ee80163dc65e759392ad29798905679)
12d1e8a03SDianQK; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 3
22d1e8a03SDianQK; RUN: opt < %s -S -passes=early-cse -earlycse-debug-hash | FileCheck %s
32d1e8a03SDianQK; RUN: opt < %s -S -passes='early-cse<memssa>' | FileCheck %s
42d1e8a03SDianQK
52d1e8a03SDianQK%T1 = type { i64, i64, i64 }
62d1e8a03SDianQK
72d1e8a03SDianQKdeclare void @use_vec(<4 x ptr>);
82d1e8a03SDianQK
92d1e8a03SDianQKdefine void @foo(ptr %a, <4 x i64> %b, i64 %i) {
102d1e8a03SDianQK; CHECK-LABEL: define void @foo(
112d1e8a03SDianQK; CHECK-SAME: ptr [[A:%.*]], <4 x i64> [[B:%.*]], i64 [[I:%.*]]) {
122d1e8a03SDianQK; CHECK-NEXT:    [[S1A:%.*]] = getelementptr i8, ptr [[A]], i64 8
132d1e8a03SDianQK; CHECK-NEXT:    [[N1D:%.*]] = getelementptr i8, ptr [[A]], i64 7
142d1e8a03SDianQK; CHECK-NEXT:    [[N1G:%.*]] = getelementptr i32, ptr [[A]], i64 1
152d1e8a03SDianQK; CHECK-NEXT:    [[N1H:%.*]] = getelementptr i8, ptr [[A]], i64 [[I]]
16*38fffa63SPaul Walker; CHECK-NEXT:    [[V:%.*]] = getelementptr i64, ptr [[A]], <4 x i64> splat (i64 1)
172d1e8a03SDianQK; CHECK-NEXT:    call void @use_vec(<4 x ptr> [[V]])
182d1e8a03SDianQK; CHECK-NEXT:    [[V2:%.*]] = getelementptr i64, ptr [[A]], <4 x i64> <i64 0, i64 2, i64 1, i64 1>
192d1e8a03SDianQK; CHECK-NEXT:    call void @use_vec(<4 x ptr> [[V2]])
202d1e8a03SDianQK; CHECK-NEXT:    ret void
212d1e8a03SDianQK;
222d1e8a03SDianQK  %s1a = getelementptr i8, ptr %a, i64 8
232d1e8a03SDianQK  %s1av = load i64, ptr %s1a
242d1e8a03SDianQK  %s1b = getelementptr inbounds i8, ptr %a, i64 8
252d1e8a03SDianQK  %s1bv = load i64, ptr %s1b
262d1e8a03SDianQK  %s1c = getelementptr %T1, ptr %a, i64 0, i32 1
272d1e8a03SDianQK  %s1cv = load i64, ptr %s1c
282d1e8a03SDianQK  %n1d = getelementptr i8, ptr %a, i64 7
292d1e8a03SDianQK  %n1dv = load i64, ptr %n1d
302d1e8a03SDianQK  %s1e = getelementptr i64, ptr %a, i64 1
312d1e8a03SDianQK  %s1ev = load i64, ptr %s1e
322d1e8a03SDianQK  %s1f = getelementptr i32, ptr %a, i64 2
332d1e8a03SDianQK  %s1fv = load i64, ptr %s1f
342d1e8a03SDianQK  %n1g = getelementptr i32, ptr %a, i64 1
352d1e8a03SDianQK  %n1gv = load i64, ptr %n1g
362d1e8a03SDianQK  %n1h = getelementptr i8, ptr %a, i64 %i
372d1e8a03SDianQK  %n1hv = load i64, ptr %n1h
382d1e8a03SDianQK
392d1e8a03SDianQK  %v = getelementptr i64, ptr %a, <4 x i64> <i64 1, i64 1, i64 1, i64 1>
402d1e8a03SDianQK  call void @use_vec(<4 x ptr> %v)
412d1e8a03SDianQK  %v2 = getelementptr i64, ptr %a, <4 x i64> <i64 0, i64 2, i64 1, i64 1>
422d1e8a03SDianQK  call void @use_vec(<4 x ptr> %v2)
432d1e8a03SDianQK  ret void
442d1e8a03SDianQK}
45