llvm/test/Transforms/InstCombine/align-attr.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -instcombine -S | FileCheck %s
   3 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   4 target triple = "x86_64-unknown-linux-gnu"
   5
   6 ; Function Attrs: nounwind uwtable
   7 define i32 @foo1(i32* align 32 %a) #0 {
   8 ; CHECK-LABEL: @foo1(
   9 ; CHECK-NEXT:  entry:
  10 ; CHECK-NEXT:    [[TMP0:%.*]] = load i32, i32* [[A:%.*]], align 32
  11 ; CHECK-NEXT:    ret i32 [[TMP0]]
  12 ;
  13 entry:
  14   %0 = load i32, i32* %a, align 4
  15   ret i32 %0
  16
  17 }
  18
  19 define i32 @foo2(i32* align 32 %a) #0 {
  20 ; CHECK-LABEL: @foo2(
  21 ; CHECK-NEXT:  entry:
  22 ; CHECK-NEXT:    [[V:%.*]] = call i32* @func1(i32* [[A:%.*]])
  23 ; CHECK-NEXT:    [[TMP0:%.*]] = load i32, i32* [[A]], align 32
  24 ; CHECK-NEXT:    ret i32 [[TMP0]]
  25 ;
  26 entry:
  27   %v = call i32* @func1(i32* %a)
  28   %0 = load i32, i32* %v, align 4
  29   ret i32 %0
  30
  31 }
  32
  33 declare i32* @func1(i32* returned) nounwind
  34